基于工作流的办公自动化系统研究与设计

工作流技术是当前信息领域关注的一个焦点,是办公自动化系统的核心技术之一.研究了工作流建模的基本理论和实现技术,提出了一个能描述完整业务流程的工作流模型;最后根据建立的工作流模型在LotusDomino/Notes平台上设计并实现了一个以公文管理为核心的办公自动化系统,验证了技术可行性和工作流平台实现的有效性.     

基于工作流模式的BPMN过程模型验证方法

针对业务流程建模符号过程模型语义验证问题,提出了一种新方法.该方法基于正确的业务流程建模符号过程模型是工作流模式的合理组合的理念,通过扩展和改进业务流程建模符号及其执行语义,设计了工作流模式的形式化编码规则;借鉴Petri网化简方法,设计了工作流模式组合化简规则;基于工作流模式编码及组合化简规则,给出了业务流程建模符号过程模型验证方法.应用示例表明了该方法的有效性.     

基于描述逻辑的工作流冲突检测算法

针对工作流模型中出现的活动冲突问题,构建了用于工作流模型检测的TBox和ABox,并提出了基于描述逻辑的冲突检测算法.通过对工作流模型网络的分解和检测,得出结论:该冲突检测算法不仅能检测出发生冲突的活动数目,而且能够检测出冲突的具体活动,有利于设计者改进工作流模型设计.     

基于Agent的分布式工作流控制模型研究

为了实现虚拟企业的业务过程管理,引入智能体,设计了一种新型工作流控制模型.该模型利用任务执行智能体的信息传递,实现分布式工作流的动态划分;利用评估工作流引擎,实现对工作流中任务前置条件的评价.任务执行智能体所实施的工作流执行与控制算法,分两个阶段评价工作流的依赖,避免了不必要的依赖评价和信息发送,从而有效完成虚拟企业的分布式工作流控制.     

一种网格工作流的时间管理方法

为方便网格工作流的时间管理,提出了一个服务的时间模型,为服务内部流程自动生成一个与之具备等价时间信息的服务,进而提出了网格工作流模型.该模型将网格工作流的时间问题转化为服务的时间问题,并设计了算法,以判定能否满足网格工作流中的时间约束,计算网格工作流的最短执行时间,以及活动的最早和最晚结束时间,从而较好地实现了网格工作流的时间管理.     

计算机化制造网格的工作流管理研究

为了实现制造网格平台中业务流程的构建、执行和管理监控,研究了计算机化制造网格中工作流管理的体系架构,并对传统的工作流模型进行了扩充,设计了计算机化制造网格平台下的工作流模型.     

基于工作流管理的远程协同设计系统研究

采用工作流技术可对协同设计中多群体多层次的设计任务和设计进程进行有效管理和控制。基于工作流管理的思想,建立了以项目和任务为中心的协同设计工作流模型,该模型由过程模型、组织模型、资源模型和数据模型构成。提出了基于工作流管理的协同设计系统体系结构,在此基础上构建了基于工作流管理的远程协同设计原型系统,可适应远程项目协作的需求。     

基于着色Petri网的工作流建模和合理性分析

针对工作流模型表达能力较差，以及合理性不容易验证的问题，将工作流管理联盟定义的工作流模型映射为工作流网络。通过应用统一的资源管理器和引入着色Petri网，得到着色工作流网模型，这种模型更简单、更容易计算机化。在定义并证明两种不会破坏原工作流网络结构特性和系统行为的调整映射的基础上，将该工作流网络调整为完全的扩展自由选择网，使所有工作流模型的合理性问题都可以在多项式时间里得到解决。     

符合XPDL规范的工作流系统设计与开发

分析了工作流在PDM系统中的作用,基于XPDL规范和元模型设计方法,进行工作流系统的设计和开发。通过设计合理的工作流引擎,元模型的定义,实现工作流模板定义、工作流引擎服务、流程启动界面、任务箱、流程监控等流程管理功能。最后通过案例介绍了工作流系统在实际中的应用。     

支持DFMC的柔性工作流模型研究

针对大规模定制设计中设计过程动态性特点，建立了一个基于对象元结构的柔性工作流模型——对象元工作流模型0MWM。首先定义了模型中各个对象、对象提取方法，进而给出工作流概念模型，并论述了模型的工作流程控制策略。对象元工作流模型可以适应大规模定制设计过程的动态调整，并可随设计过程变化方便地修改、扩充。实践证明，对象元工作流模型对于处理大规模定制设计中的复杂流程及非确定型业务流程处理，能给出满意的解决结果。     

A simple tool for stereological assessment of digital images: the STEPanizer

STEPanizer is an easy-to-use computer-based software tool for the stereological assessment of digitally captured images from all kinds of microscopical (LM, TEM, LSM) and macroscopical (radiology, tomography) imaging modalities. The program design focuses on providing the user a defined workflow adapted to most basic stereological tasks. The software is compact, that is user friendly without being bulky. STEPanizer comprises the creation of test systems, the appropriate display of digital images with superimposed test systems, a scaling facility, a counting module and an export function for the transfer of results to spreadsheet programs. Here we describe the major workflow of the tool illustrating the application on two examples from transmission electron microscopy and light microscopy, respectively.     

齿轮传动计算机辅助设计系统的开发

以模块化设计和参数化设计为指导思想,以VisualBasic为编程语言和开发工具,对AutoCAD软件进行二次开发,研制出了界面友好的齿轮传动计算机辅助设计系统。该系统包括齿轮传动设计系统和绘图系统两个子系统,分别实现齿轮设计和绘图自动化。     

基于AutoCAD用VB二次开发滚动轴承CAD系统

以模块化设计思想为指导,以Visual Basic为开发工具,对AutoCAD软件进行二次开发,研制出了用户界面友好的滚动轴承CAD系统。该系统实现了设计绘图一体化,显著提高了设计与绘图的质量和效率。     

基于ANSYS的铁路客车车体结构参数化研究

根据我国通用铁路客车车体钢结构的特点,基于大型有限元分析软件ANSYS,应用参数化程序设计语言APDL对铁路客车车体进行参数化建模,并采用TCL/TK语言为界面二次开发语言,实现ANSYS内部参数与对话框输入参数间的相互传递,更好地适应了人机交互。通过对话框调整车体结构相应参数,便可自动生成车体钢结构几何模型,大大缩短了设计周期,提高了设计效率,为后续快速进行有限元分析奠定了基础。     

链传动CAD系统的研制与开发

以模块化设计思想为指导,以Visual Basic 6．0的呵视化的、面向对象的编程语言为开发工具,开发用户界面友好的链传动CAD系统。该系统显著提高了设计与绘图的质量和效率。     

飞机钣金零件制造模型管理方法

分析了飞机钣金零件制造模型的典型状态组成,以框肋零件为例描述了零件制造模型设计态、毛坯态、成形件态和成品件态的内容.在此基础上,针对人员、数据和流程数据管理三要素,建立了基于多态模型的飞机钣金零件制造模型管理方法.对于人员管理,定义了飞机钣金零件制造的人员角色及其主要职责,采用基于规则的权限控制方法;对于数据管理,采用多态模型组织制造模型,以成形件态为例描述了节点数据模型;对于流程管理,以成形件态成形模具所用几何模型的设计为例,建立了流程管理模型.最后,以产品数据管理系统为平台建立了集成应用框架,验证了制造模型管理方法工程化应用的可行性.     

带传动 CAD设计系统的实现

以模块化设计思想为指导，以Viasual Basic6．0可视化的面向对象的编程语言为开发工具，开发了用户界面友好的带传动CAD设计系统，提高了设计质量，大大减少了设计工作量。     

基于AutoCAD的滚子链传动计算机辅助设计系统

以模块化设计思想为指导,以VisualBasic为开发工具,对AutoCAD软件进行二次开发,研制出了用户界面友好的滚子链传动的计算机辅助设计系统。该系统能实现滚子链传动设计与校核的自动化、绘图的自动化,并能实现了设计与绘图的一体化。     

基于VB6.0的通用机械零件CAD系统开发

以模块化设计思想为指导 ,用 VB6.0这个可视化的、面象对象的编程语言为开发工具 ,开发了用户界面友好的通用机械零件 CAD软件 ,提高了设计质量 ,大大减少了设计工作量     

运载火箭气动外形CAD/CFD集成设计系统研究

运载火箭模块化设计带来了"组合爆炸"的难题,为了提高气动外形设计和仿真的效率,开展了数字化集成设计技术研究。首先,规划了系统总体架构,设计了开放的四层软件体系架构,并定制了软件工作流程。然后,对气动设计参数进行分类,建立了设计模板库。对Pro/E进行了二次开发,实现了几何建模参数化和模型干涉检查等功能。基于Python语言,编写了参数化网格生成脚本,综合应用CFD-GEOM、Gambit、Fluent等工具软件,实现了仿真分析自动化。基于VC++6.0开发了图形用户界面,实现了设计过程、研制数据和应用工具的系统集成。最后,通过某型运载火箭的应用实例,验证了系统的正确性和有效性。