关于呼延水厂绿化的思考

结合绿化建设工作实际,提出应当通过大树移植,大面积种植草坪,爬山虎、合欢、火炬等苗木的选择,苗木名称细化,经济林木的选取等措施对呼延水厂园林进行绿化。     

形式化方法在核事故评价系统中的应用

核事故评价系统针对核事故发生后第一时间对其进行评价和预测分析,软件可靠性要求高.形式化方法具有严格数学基础,是软件开发最为重要的理论工具.本文首先用UML对系统进行分析建模,采用形式化语言对系统功能进行严格规约描述,提高系统开发的可靠性.     

面向对象和异常处理在PDM系统中的应用

PDM将整个产品生命周期的所有信息与过程都管理起来,面向对象方法使制造企业中的实体对象在PDM系统中作为系统定义的对象子类型存在,异常处理技术可使PDM系统在发生异常时程序的流程正常执行。     

联邦及仿真数据管理

联邦数据管理借助产品数据管理的概念方法，对联邦开发运行过程所涉及的人员、数据及流程进行管理，以提高系统开发速度、降低成本提高质量。从联邦开发运行过程出发，从开发过程和运行过程两个阶段介绍了联邦数据管理的内容、技术途径和发展趋势，分析了数据的表示和数据之间的接口。并且从单个联邦的数据管理出发讨论仿真领域的基础数据管理和数据标准问题，以及如何在联邦数据管理基础上进一步实施联邦开发过程并行工程。     

PDM系统中用户管理的研究

用户管理是PDM(产品数据管理)系统的一个基本功能,是实现安全管理、流程管理、项目管理等功能的基础.在深入调查研究的基础上,设计了一个能够实现动态角色管理、动态权限管理、授权方式灵活的用户管理方案.详细介绍了其中的人员组织、工作空间配置、权限管理的对象模型,并给出了权限控制的相应算法.该设计思想在为某建筑企业设计的PDM系统中得到应用,效果比较理想.     

一种用于数据库开发的UML类图的规格说明与C＋＋源代码生成技术

该文分析了信息系统软件开发的特点,并在UML静态结构模型中类图的基础上,提出了一种针对信息系统软件开发,特别是数据库系统开发的规格说明语言MISFRAME的语法原型,详细阐明了其在数据库开发中的语法定义,提供了相应的代码生成器,并说明了其生成源代码的原理.     

灰度直方图规定化实现方法的分析

通过对灰度直方图进行匹配的理论，提出了一个通过二维模型对灰度直方图进行点运算的方法．以达到图像增强的目的。     

从形式化规范自动生成系统级状态机

形式化方法能精确、无二义地描述软件规范,但其可读性、可理解性差以及缺乏有效的自动测试工具.鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性.实际应用表明,这种方法可以提高形式化规范的可读性与可理解性.     

需求分析可视化的设计与实现

大型信息系统的需求分析是一个系列建模的过程,模型的质量直接取决于开发者对应用系统知识的理解和提取。为了保证开发的系统有较高的质量,要建立一种合适的机制来保证在建模过程中对应用系统的知识获取、表达和评估工作的正确进行。本文提出了基于动态行为模型,采用可视化技术,对应用系统的需求分析进行评估,使用户更容易理解需求工程的结果,了解将要开发系统的动态行为,避免过早建立原型系统的开销。     

LX_PVM分布式多线程通讯库的实现技术

在多线程工作环境中,提供线程通讯是十分必要的。本文通过分析和探讨ＰＶＭ库在多线程通讯环境中的不足,介绍一种基于标准ＰＶＭ３版,利用ｐｔｈｒｅａｄ线程库优化线程级通讯的ＬＷ＿ＰＶＭ通讯库。