基于DL-Safe规则的UML状态图形式化和一致性验证

为了对UML状态图进行形式化验证,将状态图中的语义分为静态语义和动态语义两部分,用描述逻辑知识库表示静态语义,用DL-Safe规则表示动态语义.研究了检查UML状态图一致性的算法,该算法能够用DL-Safe规则对知识库进行推理达到检查状态图一致性的目的,最后分析了算法的可行性.     

UML 2．0状态图的XYZ/E时序逻辑语义研究

UML2.0状态图适合于描述软件体系结构中组件内部的动态行为及组件端口的行为,但UML2.0状态图的语义不够精确,使得它的描述结果不利于进行进一步的分析和验证。基于此,本文在定义UML 2.0状态图的语法的基础上,给出了UML 2.0状态图的XYZ/E时序逻辑语义,为使用UML 2.0状态图与XYZ/E相结合的方式来描述软件体系结构中组件内部的动态行为及组件端口的行为奠定了基础。     

CVD金刚石薄膜中内应力张／压性质预测的研究

对大量实验测量出的甲烷浓度和衬底温度分别在单因素变化时,金刚石薄膜内应力的变化规律进行了归纳。在此基础上,利用材料科学与相图的思想,对任意给定的甲烷浓度和衬底温度条件下制备的金刚石膜中内应力处于张应力还是压应力的情况进行了分析,绘制出金刚石膜的“内应力状态图”。结果表明：利用“内应力状态图”可以预测内应力的张／压性质,预测分析结果与实验结果一致。     

球墨铸铁共析转变组织的动态模拟

利用计算机模拟的方法，实现了球墨铸铁共析转变组织形成的动态模拟，用填充法形成球墨，用Ｍｏｎｔｅ Ｃａｒｌｏ法模拟铁素体的形成和篚。用覆盖法实现共析组织转变过程的动态模拟，并在给定的组织参数条件下显示出常温组织，为球铁显微组织的形成和热处理提供了控制依据。     

开发多任务系统的一种方法：广义状态图方法

广义状态图方法包括广义状态图的设计方法和面向状态的过程设计方法两部分。广义状态图在传统状态图的基础上扩充了动作结点的概念，利用动作结点表示系统在状态转移过程中的动作，以及多任务之间的各种减产。顷向状态的过程设计方法以广义状态图的各元素与过程设计之间的相关关系为依据，直接由广义状态图生成多任务系统的过程设计。     

基于LOTOS的动态模型的形式化研究

面向对象技术和形式化方法结合，在面向对象技术中应用形式化方法是一种有效的实现软件自动化的方法。介绍了形式化描述语言LOTOS的特性，结合面向对象技术和状态图的理论知识，给出了基于LOTOS的动态模型的形式化方法，并给出了实例说明。     

进位反馈移位寄存器状态图分布的进一步研究

进一步研究了以奇数q为连接数的FCSR的所有q 1个周期状态的状态图的圈长和计数问题，使得FCSR的状态图分布与LFSR的状态图分布一样清晰。     

一种基于MDA的UML顺序图到状态图的转换方法

MDA(model driven architecture)是解决基于不同中间件系统的集成问题．它将不同的系统都结构化成PIM(platform independent model)和PSM(platform specific model)，并针对不同的实现技术平台制定多个映射规则，然后通过这些映射规则及辅助工具将PIM转换成PSM，再将PSM不断求精直至形成最后的代码．MDA中的模型转换有4种：PIM到PIM，PIM到PSM，PSM到PSM以及PSM到PIM．其中PIM到PIM转换最显而易见的是分析模型到设计模型的转换．UML是MDA的模型描述语言，因此UML顺序图到状态图的模型转换必将为MDA中的PIM到PIM转换提供有力的支持．介绍了从一个顺序图转换成多个状态图的算法，并进一步讨论了从多个顺序图转换到状态图以及简化状态图的方法．处于一个系统中的多个状态图不是孤立的，他们各自的状态转换是相互约束的，最后给出了组合多个状态图的方法，以及如何生成在同步约束下多个状态图的转换关系，并最终得到系统的状态图．     

FSM与方法序列在面向对象的测试中的应用

在UML状态图的基础上，利用有限转状态机理论分析类状态，消除UML状态图中的子状态，将UML状态图转化成为一般有限转状态机，然后应用方法序列规范生成测试的方法序列．测试了类的方法与类状态之间的转换关系，保证测试的完整性．     

扩展UML状态图在状态时限描述中的应用

由于常规的UML状态图难以描述对象的状态时限，故需在建模时对其进行扩展。在概述UML状态图模型及扩展机制的基础上，以期刊编辑部稿件状态时限描述为例，探讨如何通过持续时间、最早开始时间、最早完成时间、最迟开始时间、最迟完成时间、总时差、自由时差等时间参数扩展UML状态图，以增强UML状态图描述对象活动及状态时限的能力。     

非线性群子统计理论考察高分子合金的相分离现象

从统计热力学的角度出发,应用非线性群子统计理论,对高分子合金体系平衡态相分离行为进行了理论研究,建立了二元高分子合金体系的非线性群子统计模型,推导出该体系的相分离方程。在理论和实践的基础上对二元高分子合金体系的相图进行了系统分类,并模拟了若干文献中的相图,得到了与实际曲线相当吻合的理论模拟曲线。     

硫在二甲基亚砜介质中的电化学平衡图

本文在综合实验数据的基础上,计算了硫—二甲基亚砜体系中各种形态的分子、阴离子及阴离子自由基的标准化学势,并给出了该体系的二种电化学平衡图-电位-pS图和电位-logK_1图.在此基础上,探讨了该体系在电化学氧化还原过程中的电极行为和均相转化过程,为进一步研究该体系的平衡性质和电化学行为提供了热力学依据.     

前轮自激摆振分岔特性研究

根据非线性理论研究了某非独立悬架汽车前轮自激摆振的分岔特性.利用非线性系统Hopf分岔发生的条件编制计算自激摆振分岔车速的MATLAB程序,绘制了不同转向结构参数、轮胎结构参数以及前轮定位参数对应的右车轮摆角幅值随车速变化的分岔图,分析了各参数对自激摆振的影响.结果表明,某些参数变化导致自激摆振发生时最大振幅所对应的车速改变;转向机构刚度、轮胎侧偏刚度和拖距对自激摆振的幅值影响较大.     

选择性氯化法处理难选钨中矿的热力学分析

运用现有热力学数据,绘制了Fe-W-O-Cl系和Ca-W-O-Cl系的热力学平衡图,通过这些平衡图并结合文献中已有的其它热力学资料,详细地分析了选择性氯化法处理难选钨中矿以回收有价元素的可能方案、其特点及应用范围。并进一步通过实验初步证实了这些分析的正确性。     

二自由度行星变速箱传动方案的图论法

建立了二自由度行星变速箱传动简图的平面图数学模型，采用D．M．P算法来判断传动简图的可平面性，排除构件干涉的传动简图，并采用启发式深度优先搜索方法来进行传动简图的连接，从而得到全部的可行的传动简图。按照该方法开发的行星变速箱传动方案CAD系统，计算速度大大加快，从而使该系统更具有实用价值。     

对数图解法在络合返滴定中的应用

本文讨论了对数图的制作方法及其在络合返滴定分析中的应用。     

CH4／CO2体系化学气相淀积金刚石的非平衡定态相图计算

用非平衡热力学耦合模型首次获得了由ＣＨ４／ＣＯ２体系化学气相淀积金刚石的相图。该相图与用经典平衡热力学得 结果不同,相图中出现了１个金刚石的生长区,相图中的金刚石生长区是实现金刚石气相生长的热力学基础,它的存在体现了超平衡氢原子等激活粒子对石墨的激活和对金刚石的稳定作用。     

LogPo_2-LogPs_2′、LogPo_2-LogPso_2优势区相图的计算机算法

本文采用作者提出获得优势区相图的方法,对在高温腐蚀中常用的logPO_2-log PS_2,log PO_2-log PSO_2优势区相图进行了热力学平衡关系的数学处理,使热力学问题完全转化成数学中的线性规划问题,并采用线性规划问题的计算机解法—Revised SimpleMethod编制了FORTRAN语言通用程序。此程序由于采用了合理的数学模型及新的数学解法,使其具有通用性强,准确性高,运算速度较快,尤其适合于处理更为复杂的体系等优点。作为示例,还讨论了这类优势区相图在高温腐蚀中的应用,旨在找到解决金属材料硫化的方法。     

用微计算机绘制合金相图

原理、解非线性热力学方程组的数值计算方法以及相图绘制的具体步骤和计算机程序。利用 ＩＢＭ－ＰＣ微计算机绘制了 Ｍｏ－Ｒｕ、 Ｐｔ－Ｒｅ、 Ｎｂ－Ｏｓ、 Ｗ－Ｐｄ、 Ｍｏ－Ｉｒ等二元系统的共晶、包晶相图，以及 Ｍｏ－Ｗ－Ｏｓ、 Ｒｅ－Ｈｆ－Ｍｏ等三元系统的等温截面相图，并和实验相图进行了比较。