业务流程建模中流程校验的研究与实现

随着计算机网络技术的迅速发展,企业的信息化程度不断提高,以自动化流程为核心理念的工作流管理系统应用越来越普及,对工作流管理系统的可靠性和正确性要求也越来越高.提出了一种工作流建模时的验证方法:在工作流管理系统的工作流建模环境中加入流程验证模块,对建模过程中可能产生的错误进行验证,进而建立简洁实用的流程;通过分析流程中的异常和失败的类型,增强系统的纠错能力,减少引擎处理的压力;对有着特殊应用的建模过程,能够方便地添加自定义的验证条件,为流程的正确运行提供有效的保障;向基于规则化的工作流系统提供建模完整性的方案,获得系统工作流的稳健性.     

利用网络动力学评估复杂社会网络知识传播性能

为了对复杂社会网络知识传播性能进行评估,提出了利用复杂网络动力学和知识传播指数相结合的评估模型,该模型综合考虑了网络的拓扑特性、个人的知识普及能力和对知识的感兴趣程度,通过网络知识传播指数阈值的大小来衡量网络的知识传播性能.通过仿真发现,知识在社会网络中的传播对均匀网络平均度值和无标度网络初始传播节点度值的依赖性小,对知识传播指数的依赖性大;在相同条件限制下,无标度社会网络的知识传播性能要高于平均度值相等的均匀社会网络.     

建筑造型元素——构架的设计与创意

合理的构架设计不仅升华了建筑的外观造型,而且丰富了建筑整体的内涵;失败的构架设计则会产生适得其反的效果。创意的构架设计则是从时代发展的变化趋势着手,赋予构架新的生命。介绍了构架的作用,从过渡空间、形态转换、建筑特性、技术结合、灵活可变5个方面探讨了构架造型的设计创意,揭示了构架造型的设计手法,并剖析了构架这种造型元素在当前建筑设计上的发展趋势,提出应当注重构架的一体化设计,强调构架与实用功能相结合,并应充分发挥构架造型价值的设计观点。     

基于系统动力学的工程项目目标控制

针对工程项目目标控制问题,通过德尔菲法确定工程项目目标控制的主要影响因素,基于系统动力学反馈与仿真分析理论建立了工程项目目标控制系统动力学模型。采用专家打分法确定参数,利用Vensim软件对模型进行模拟演化和算例分析,讨论不同策略和策略组合的工程项目目标控制效果,最终得到基于算例工程的理想方案为0时增加人工8人,0时加班1 d,管理费水平为3。采用该方案,该工程的完工时间提前47.2%,质量下降2.0%,费用上升6.7%。通过不同策略和策略组合的效果比较,得出结论：加班宜尽量少用,尤其要避免连续加班;尽量避免无效管理费用支出,但对于可以带来管理水平提高的管理费用支出宜适量增加;增加人工越早越好。     

基于DoDAF的远程目指系统作战体系结构

针对军事信息系统规模庞大、组成结构复杂以及越来越短的产品研制周期要求,在深入研究DoDAF（Department of Defense Architecture Framework）体系结构建模思想及理论的基础上,提出一种基于DoDAF的远程目指系统作战体系结构建模方法。通过分析作战体系结构产品的内涵,以及相互关联关系,给出了具体的体系结构设计步骤及产品实现形式。结合具体典型实例给出了体系结构产品的设计过程,最后通过动态仿真实验对所建立的模型进行了验证。实验结果表明,基于该方法建立模型合理可行、直观易懂、步骤简明清晰。     

分队战术训练仿真系统CGF技术

计算机生成兵力(CGF)是攻防对抗作战仿真的重要组成部分和重点研究内容,也是分队战术训练仿真系统的一个重要技术支撑。给出了仿真系统中CGF实体在基于HLA协议下的功能结构和拓扑结构,介绍了仿真系统中CGF建模所研究的内容和实体建模技术,最后指出了将人工智能技术应用于CGF实体行为决策建模的思路。     

系统动力学防空战场信息战模型

现代条件下的防空作战是一种信息化作战样式,阐明了防空信息战的基本概念,论述了系统动力学用于研究防空信息作战的适用性,建立了防空战场信息战的系统动力学模型,通过对模型不同仿真结果的比较,印证了制信息权在防空作战中的重要性,做出了防空战场信息作战的对策分析。     

“打击时敏目标”任务的Petri网建模方法

对武器装备体系而言,作为现代战争中的重要样式"打击时敏目标"任务可分为获取时间窗口和利用时间窗口打击目标两个阶段。首先分析了打击时敏目标任务的过程,然后提出使用广义随机Petri网(GSPN)描述时间窗口的获取过程的方法,引入了负位置和负令牌的概念,最后提出用改进的GSPN描述利用时间窗口打击目标的过程的方法,并建立了一个"打击时敏目标"任务的Petri网模型。     

反电动势对无扰载荷航天器精确定向的影响

无扰载荷航天器中非接触式作动器反电动势会引起有效载荷模块与支持模块之间的耦合，影响有效载荷模块的精确定向性能。通过建立无扰载荷航天器的耦合动力学模型，分析非接触式作动器反电动势对有效载荷模块精确定向性能的影响。考虑六支杆立方构型无扰载荷接口，结合拉格朗日方程和牛顿欧拉方法建立有效载荷模块平台动力学模型。推导非接触式作动器的输出力模型，并引入有效载荷模块平台动力学模型，给出考虑非接触式作动器反电动势的耦合动力学模型。将支持模块上飞轮动静不平衡引起的谐振作为干扰力矩，建立了无扰载荷航天器在轨定向状态的Simulink仿真模型。仿真结果表明，反电动势系数越大，干扰力矩对有效载荷模块的影响越大，有效载荷模块精确定向精度越低。     

基于传递闭包的任务时序依赖关系建模方法

建立正确、有效的任务模型是正确引导出信息系统需求的关键步骤。文中针对任务间时序依赖关系,给出与任务建模相关的若干形式定义和命题,帮助分析人员判断任务间的并发和死锁。给出任务间时序依赖关系建模的详细步骤,并根据时序依赖关系的传递性质,给出一种任务关系图上的传递闭包方法,可以帮助分析人员直观地判断任务间时序依赖关系的问题和错误,科学、合理地标记各个任务的时序等级属性,帮助建模人员从全局上明确各个任务在执行时所处的相对位置,以及在每个阶段需要同时展开哪些任务。