UML 2.0的形式化语义研究

由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.     

UML顺序图的COSMIC-FFP度量方法

COSMIC-FFP是新一代软件功能规模度量方法,但由于其规则过于抽象导致较难推广。本文研究UML顺序图的COSMIC-FFP度量方法,通过给出COSMIC-FFP与UML顺序图概念之间的对应关系,提出了贯穿于整个度量过程的11条规则和从UML顺序图到度量结果矩阵的度量过程。通过实例验证了所提方法能使COSMIC-FFP更具有实用性。     

基于UML的学生网上选课系统建模

本文讨论了面向对象技术的基本概念和UML建模语言,分析了高校学生网上选课的特点,结合软件工程和面向对象技术,设计了基于UML用例图和顺序图的学生网上选课系统模型,并运用UML的活动图描述了学生网上选课的工作流程.     

以UML顺序图为导向的人事管理系统设计

以人事管理系统的设计为例,以UML顺序图为导向,引申出其他的UML图,从而为各种UML图在整个软件设计开发中的作用进行了完整的描述.     

基于特权管理基础设施PMI的UML表示

首先对特权管理基础设施PMI和统一建模语言UML进行了介绍.然后利用UML中的用况图,系统顺序图和交互图(协作图、顺序图)来描述了PMI中的相关概念,建立了一个基本的PMI中部分功能的UML分析模型.     

针对软件可靠性测试的扩展UML模型的设计与实现

在研究软件可靠性测试和UML模型的基础上,找到针对软件可靠性测试的关于UML用例图和顺序图模型的扩展方法,并进行了相关原型工具的设计与实现。     

基于消息语义的UML2.0顺序图控制流分析

基于消息语义提出一种分析UML2.0顺序图控制流的方法, 分析了UML2.0顺序图消息发送和接收动作之间的关系, 并将其映射到相应的消息上, 得到消息的相继顺序关系. 根据消息的顺序关系设计了由顺序图到活动图的一致性映射规则, 并得到基于消息语义的并发控制流图（MSCCFG）, 从而获取顺序图的控制流信息.     

基于UML的学生网上选课系统建模

本文讨论了面向对象技术的基本概念和UML建模语言,分析了高校学生网上选课的特点,结合软件工程和面向对象技术,设计了基于UML用例图和顺序图的学生网上选课系统模型,并运用UML的活动图描述了学生网上选课的工作流程。     

一个工作流元模型的描述方法

论述了工作流元模型的三维性,在采用UML2.0活动图的新特性后,提出了一个基于UML2.0活动图的工作流模型,定义了此模型的形式化和非形式化描述方法,并指出了其建模规则,为探询UML2.0活动图在工作流模型描述方法中应用做了初步尝试.     

嵌入式实时软件建模方法研究

随着硬件设备计算能力的迅速提高以及社会需求的不断变化和增长,嵌入式实时软件变得越来越复杂.为了提高系统的安全性和可靠性,将基于UML的建模方法与形式化建模方法相结合,可以为嵌入式实时软件建模和验证提供一种良好的解决方案.采用UML扩展机制,在UML2.0顺序图中加入嵌入式实时软件建模所需的时间特性,并提出一种由UML2.0顺序图构造出时间自动机的方法,为下一步验证奠定理论基础.     

关于农业区划地图集中的统一协调问题

图集的统一协调,对图集质量有很大影响。本文是作者在编制北京市农业区划地图集的实践基础上,根据地图信息传输论的观点,对农业区划地图集的统一协调的内容及方法进行了探讨。试图总结编制这类图集的统一协调模式,以供读者编图时参考。     

民间法正义观的转型

研究了国家法的抽象正义观与民间法的情理正义观,认为西方国家法的抽象正义观与东方民间法的情理正义观存在实质的不同,原因在于思维方式、超验与经验传统、政治结构的差别。在现代法治理念下,传统民间法所代表的正义观将向混合正义观转型,西方法治所代表的国家法抽象正义观是其骨架。     

“真空的真空”的存在性问题

许多科学家包括诺贝尔奖获得者李政道教授都预言,真空是未来物理学的一个重要研究对象.十七世纪的伽利略时代人们曾讨论过"真空"是否存在的问题.当时的学术界分成两派,一派以帕斯卡为代表,认为真空存在,另一派以笛卡尔为代表,认为真空不存在,最后实验证明"真空存在派"正确.现代研究表明,真空并非一无所有,这样就产生了一个新的问题"排除了真空物质后的空间",即"真空的真空"是否存在.本文探讨了与"真真空"有关的问题,提出了一些观测实验方法,这些方法可以帮助我们最终解答"真真空"的存在性问题.     

关于一维非自治时滞系统点态退化一例

给出了一维非自治时滞系统点态退化的一个例子,拓宽了该领域的研究。     

人-自观念演进的否定之否定

在人与自然界的关系的演进过程中,形成了与不同文明时期相适应的人-自观念。从＂天人合一＂到＂人定胜天＂再到＂和谐共生＂,这是人-自观念演进的肯定、否定、否定之否定的辩证发展过程,也是一个合乎规律的过程,它们都是时代的产物,都包含着不同程度的合理的因素,我们必须对它们进行具体的辩证的分析。     

行政机关违法设定许可的法律责任探析

对于行政许可违法的法律责任问题，人们往往是从行政许可实施违法的角度进行研究，而对于设定违法及其责任追究的探讨却相对薄弱。然而。行政许可设定一旦违法，其对相对人和社会公共利益的损害将会更大，因此，对许可设定的违法及其责任问题进行研究，以避免违法行政行为的发生，促进政府依法行政，不仅必要而且是非常有意义的。     

曲面"侧"概念的"参照物"理解法

曲面“侧”是一个重要而难以理解的概念,本文对曲面“侧”概念的讲授方法进行了探讨,给出了曲面“侧”概念的“参照物”理解法,通过实践证明,效果良好。     

老年人生活空间移动性影响要素研究进展

 老年人生活空间移动性是老年人在日常生活中能动生活状态的重要表征。在梳理老年人生活空间移动性相关概念、测度方法基础上,分析了物质环境要素和非物质环境要素对老年人生活空间移动性的影响;提炼出有效支持老年人生活空间移动性的中观环境规划、微观环境设计和政策文化扶助层面的策略;指出了老年人生活空间移动性的研究建议和发展方向。     

十二烷基苯硝化选择性的测定

利用对位异构体的对称性由核磁共振氢谱测定了工业十二烷基苯在硝硫混酸中的硝化选择性，发现一硝化产物中对位异构体的比例为７５％￣８０％。以月桂酸和苯为原料，经氯化、酰化和还原合成了正十二烷基苯。在同样条件下研究了正十二烷基苯的硝化，由核磁共振氢谱和气相色谱分析，发现一硝化产物中对位异构体的比例仅为６０％。根据空间位阻效应，对结果进行了讨论，并与甲苯，乙苯，异丙苯等短链烷基苯的硝化结果进行了比较。