图与图学

图与文字、数字一样,在人类的社会进步、经济建设和科技发展过程中起着不可替代的作用。但图与图学的定义与地位从历史和当前角度来看,仍是一个没有深刻和系统阐明的问题。现在的工程图学、计算机图形学、计算机图像学等各有自己的学科定义、定位以及各自独立的发展道路,但由于没有与图和图学相关联,致使这些学科呈现出某种分散性和局限性。从形(几何)的角度揭示图的本质,给出了形与图的科学表述。提出"大图学"概念,整合分散在其他学科中的与图相关的科学与技术。重新认识与定位图学的地位和作用,给出它的定位与定义,构建了图学学科的整体框架和三级学科分类体系。认为文学、数学、图学三者构成了科学与工程发展的基础,昭示了图学的基础性和重要性。     

基于ConGolog并发语言面向角色的工作流建模

长期以来 ,人们提出了各种工作流建模方法 ,但都缺乏对工作流模型形式化的描述手段 .面向角色的工作流建模把工作流看出是由各个角色之间的交互行为构成的系统 .因而 ,角色内部的复杂的行为活动以及角色之间的交互行为可以采用 Con Golog语言来定义 .本文提出了采用 Con Golog并发语言来描述工作流模型的方法 ,所建议的方法不仅使工作流模型具有严密的语义 ,并能对模型进行推理和验证     

用单板机控制的平行倒立摆系统

本文介绍了在国内由作者首次实现的用8位单板机控制的平行倒立摆系统,它较国外同类装置控制简单,价格便宜。文中还介绍了该系统的数学模型,控制算式及用PC机辅助单板机控制器设计的方法。文末还给出了仿真和实验结果的比较。     

基于UML OCL、支持团队开发的企业组织元模型

组织模型不仅要支持传统的纵向的组织结构,而且还要支持以团队方式工作的横向组织结构。本文提出了包含组织纵向和横向结构的组织元模型,并采用UML对象约束语言(OCL)描述了元模型中实体与实体之间的联系和约束关系。除用OCL描述组织结构外,还显式地给出了组织规则的OCL表示方法。这样,便可将组织规则与组织结构相分离,从而在组织结构不变的情况下,通过修改组织规则,以达到提供企业敏捷性的目的。     

高激励项集的挖掘研究

基于支持度的关联规则只能找出所有的频繁集,无法找到那些非频繁但效用很高的项集;基于效用的关联规则致力于发现所有高效用项集,无法找到效用不高但支持度与效用的积很大的项集。为克服支持度与效用的不足,提出了一种新的项集重要性的度量方法（即激励）及一种自下而上的挖掘高激励项集的算法HM-Two-Phase-Miner。激励集成了支持度与效用的优点,能同时表达项集的语义特性与统计特性。HM-Two-Phase-Miner利用事务权重激励向下封闭特性进行减枝,有效提高了算法的性能。