又一花岗岩火焰切石机在莱州研制成功

目前由山东省莱州市柞村镇迟家村泽峰矿山机械厂厂长迟利民研制的花岗岩矿山开采切割专用机械——花岗岩火焰切石机获得成功。我国目前各地矿山花岗岩矿体的分割剥离大多采用人工炮轰方式,由于花岗岩石质坚硬,因     

业务过程协同模式的研究

在对协同业务过程进行分析的基础上,总结了多个业务过程在进行协同时的45种协同模式。首先针对双边的交互和协同,总结了7种基本协同模式。在此基础上,研究了几种常见的扩展模式,包括回执、授权撤销、多边协同等,并总结了38种扩展模式。给出了这些基本模式和扩展模式的一些基本应用场景。使用Petri网,给出了这些协同模式的形式化表示。     

UML类结构的形式化

为面向对象建模概念建立坚实的语义基础,越来越受到人们的重视。通过提供精确的概念特征定义,可建立精确的面向对象的行为模型和结构模型,便于对模型进行严格的分析。ＵＭＬ是一种被推荐的面向对象建模语言,ＲＡＩＳＥ是欧洲流行的一种形式方法,该文使用ＲＡＩＳＥ来表达ＵＭＬ类结构的含义。     

CORBA工作流时间Petri网建模与分析

基于时间Petri网和工作流分析技术,引入时间工作流网概念,建立CORBA系统中由一组受时间约束的子工作流协作组成的工作流的时间工作流网模型,并基于该模型分析时间工作流网模型的有效性,验证了模型与系统需求规范的一致性.     

基于wordNet的类别可拓展网页分类系统

基于文本写作常采用一个意思由多个不同写法的单词来表述,研究词义文本分类法被用来替代使用关键词分类算法以提高分类准确率.分析wordNet内Synset架构,认为一个兼顾词义以及词义间关系的词义文本分类系统可应用到网页分类中.该系统同时注意到固定的文本类别结构以及结构内不断增长的文件数目间的区别,加入了基于类别信息聚类方法的类别拓展的功能.仿真实验证明,该分类系统与现有的基于语义的分类系统相比,在分类准确度性能上能提高13%.基于类别信息类聚的文本拓展功能与采用基于相似度的类聚方法的系统相比获得了一个质量更高的新增类别.     

基于UML的药库管理系统开发

阐述一个医院药库信息系统的建立过程。用面向对象编程(OOP)PowerBuilder为实现手段,采用OOAD方法,使用ROSE作为CASE工具,用UML中的相应的可视化方法建立起医院的业务工作流视图、功能视图、信息视图、组织视图和资源视图等。即,在工作流建模方面采用活动图(ACTIVEDIAGRAM)描述业务流程;在功能建模方面采用用例图(UseCasediagram)表达功能需求;在信息建模方面采用交互图(INTERACTIVEDIAGRAM)及类图(classdiagram)建立逻辑模型。此系统已在实际使用。     

多视点需求工程中视点集成过程的研究

多视点需求工程方法以视点的形式,分散、独立地获取和表示不同项目相关人员的需求信息.为生成一份统一的规格说明,必须对所有相关的视点进行集成.讨论了以公共开发方式作为视点的集成方式,并基于范畴理论对集成过程进行建模.同时,以公共开发的选取为导向,提出了视点集成的两种优化策略,并证明了它们的有效性.此外,讨论了视点集成的结果与集成的顺序之间的关系.     

利用双堆栈降低时间复杂度的新算法

分析了由树的前序序列和中序序列建树问题的递归算法的最坏时间复杂度和平均时间复杂度,以及利用哈希表改进查找得到的算法的时间复杂度;提出了利用两个堆栈构造的新算法,并证明其最坏时间复杂度与平均时间复杂度均为Ｏ（ｎ）。