论文部分内容阅读
对软件体系结构的一致性进行讨论,给出软件体系结构一致性定义和软件体系结构一致性仿真测试方法,并通过三层Client/Server结构中组件事务特征一致性测试说明上述方法应用,实践表明该方法可以检测软件体现结构与其约束的不一致性,并具有线性时间.
软件体系结构一致性仿真测试
【摘 要】
：
对软件体系结构的一致性进行讨论,给出软件体系结构一致性定义和软件体系结构一致性仿真测试方法,并通过三层Client/Server结构中组件事务特征一致性测试说明上述方法应用,实
【机 构】
：
东北大学信息科学与工程学院
【出 处】
：
东北大学学报：自然科学版
【发表日期】
：
2001年6期
【基金项目】
：
科技部科技型中小企业技术创新项目
其他文献
在对Ｍ－Ｊ集对应的不同周期轨道的各种混沌特征分析的基础上，研究发现与Ｍ－Ｊ集的分维分布密切相关的５个主要因数：轨道周期数、吸引率、拟李雅普诺夫指数、协方差和重心，利用计算机对Ｍ－Ｊ集整体
采用机械合金化方法获得NiAl(Co)纳米晶粉末，经过热压，成功地制备出NiAl(Co)块体纳米晶材料，其晶粒尺寸约在300－480nm，致密度可达到91％以上，室温压缩屈服强度达到1250－1400MPa，是铸态N
基于某中厚板轧机液压AGC计算机控制系统的设计和调试实践,对液压辊缝控制系统(HAPC)控制模型进行了理论研究,介绍了用PLC实现HAPC控制的系统配置,对采用PLC进行HAPC控制遇到
通过假定定常需求，常数变质变以及短缺量完全拖后，而得到了耐烦期有限的库存在系统的最优存在模型，用ＢＡＳＩＣ语言编程，进行了计算机仿真，计算选择该类库存系统的最优决策方案，目的在于找到
以SS400为研究对象,在Gleeble 1500热模拟机上,测定了在850℃未变形及变形的奥氏体CCT曲线,研究了低温急冷大变形条件下变形温度、应变量、过冷度对铁素体变形行为以及对铁素
用热分析仪测试不同升温速率下 ,氢氧化锂和二氧化锰在氧气气氛中的差热分析曲线 ,结合Doyle Ozawa法和Kissinger法研究锰酸锂合成的动力学 ;计算各反应阶段的表观活化能 ,依
研究了一类具有加性扰动不确定未知界的相似组全系统的指数实用稳定分散自适应输出反馈镇定问题，给出了系统输出反馈指数实用稳定的条件。受控系统的不确定项可以是非线性的或
对未燃煤粉的分布特性进行了二维模型实验研究。通过实现发现进入高炉的未燃煤粉主要聚积在气流流动缓慢和气流发生转折的区域或部位；在块状带，主要滞留在矿石层中。在煤气流主
采用透射电镜和X射线研究了快凝Al-Fe-V-Si-Nd纳米晶合金落带在超短电脉冲过程中，其内部微结构变化，并与等温退火处理结果相比较。结果表明：超短电脉冲处理试样的相转变温度降低
通过对金属带式无级变速器的核心部件－钢环组进行力学分析，对其静态和传动状态建立了钢环组的力学模型，得出了应用力分布规律；引入了予应力概念，使各层钢环均载，得到了钢环在传动过