【摘 要】
：
随着电子商务和金融软件应用日益广泛,提高这类软件系统的可靠性和安全性就显得特别重要。虽然能够提高这类软件可靠性的事务处理技术早在数据库管理系统中普遍使用,近几年在
【机 构】
：
江西师范大学计算机信息与工程学院,江西师范大学国家网络化支撑软件国际科技合作基地
【基金项目】
：
国家自然科学基金重大国际合作研究项目“若干软件新技术及其在PAR平台中的实验研究”（编号：61020106009）,国家自然科学基金面上项目：高可靠软件建模语言及模型自动转换方法研究（编号：61272075）,国家自然科学基金面上项目：新概念循环不变式及其自动探测技术研究（编号：61472167）资助
论文部分内容阅读
随着电子商务和金融软件应用日益广泛,提高这类软件系统的可靠性和安全性就显得特别重要。虽然能够提高这类软件可靠性的事务处理技术早在数据库管理系统中普遍使用,近几年在Java软件开发环境中也新增了事务处理接口JTA,但是在基于模型驱动架构设计的建模语言中嵌入事务处理机制的成功案例尚不多见。论文在已有体现模型驱动软件架构思想的PAR方法和PAR平台中,融入抽象事务处理机制,并使用融入了事务处理机制的PAR平台及其建模语言开发了具有事务处理功能的金融软件模型,通过PAR平台的模型自动转换工具生成了Java和SQL
其他文献
为了有效利用结构健康监测系统中的多源不确定数据,提高损伤识别的正确率,通过构造模糊神经网络（FNN）分类器,提出了一种新的概率赋值函数构造方法和数据融合损伤识别新方法.该
GDP时间序列具有线性和非线性的双重特征,所以传统统计预测方法、神经网络方法和集成预测方法都在预测分析时准确性不高,误差较大。文章提出由GDP时间序列,找出只具有非线性
<正>疲劳断裂失效的显微形貌最突出的特征是疲劳辉纹条纹和轮胎压痕花样,这两个特征常常作为疲劳断裂失效或疲劳断口的显微判据,即在未知断口上如果能够观察到这两种特征之一
针对机场噪声监测无线传感网络中的最小连通覆盖集问题,设计了一种基于目标区域Voronoi划分的集中式近似算法,用于分析完全覆盖目标区域所需的最低要求的节点集;为了更好地调整噪声监测节点的感知半径Rs与通信半径Rc的比值关系,在通信半径小于两倍感知半径时,提出了一种基于最小生成树的连通算法用以确保CVT算法构造的覆盖集连通所需的辅助节点。理论分析与仿真实验表明,与现有常用的集中式贪婪算法和DVC算法
对换热器Ｕ型管束的泄漏进行了综合分析，造成Ｕ型管束泄的主要原因是工质水中存在着过量的氯离子，使水中的溶解氧格外地活泼，导致了氧腐蚀。此外，温度，压力等因素，也对腐蚀产生了一定的
设计了一套拉伸冲击加载装置,配合测试系统,可以对动态拉伸加载下的材料的力学性能进行研究。实测的结果表明该装置是有效的。
全面深入地把握江苏经济发展新阶段，可以从江苏经济发展进入新阶段的基本特征、重要机遇和现实挑战这样几个方面加以分析、认识。 新阶段的基本特征 从2006年到2010年，这5年是江苏人均生产总值从3000多美元向5000美元攀升的重要时期，是江苏率先全面建成小康社会的关键时期，也是江苏率先基本实现现代化的重要准备和积累时期，江苏经济进入新的发展阶段。 (1)经济发展的工业化转型期。过去5
X射线衍射分析硬质合金,Co相的衍射峰完全被WC相衍射峰掩盖。针对此,本文介绍了用电解选择性腐蚀WC相的电解液的制配,WC和Co的阳极极化曲线的测定,最佳电解电压的选定及电解
对经热处理后出现淬裂的４２ＣｒＭｏ柱塞泵泵头体进行了断口形貌分析。结果表明，裂纹源附近的淬裂断口为沿晶断裂，其主要原因是材质中存在混晶结构及粗大晶粒所致。
本文在建筑物地基地震液化总应力简化判别方法的基础上,考虑地基土壤的剪切非线性及饱和砂土Martin非线性孔压增长模型,提出了估计建筑物地基孔压增长的简化分析方法,这一方