检索结果-内蒙古大学图书馆

信息系统学报 2009年第1期 11-24页

作者：刘曼路范绍坤赵建良窦万春亚利桑那大学Eller管理学院管理信息系统系计算机软件新技术国家重点实验室南京大学

业务流程管理需要从概念和逻辑这两个层面对企业的业务流程进行建模分析。概念模型通常用于过程分析,实现业务流程的改进与完善;系统实现时则常常依赖特定的逻辑模型,逻辑模型主要用于定义系统执行过程中所涉及的软件模块以及模块间的... 详细信息

业务流程管理需要从概念和逻辑这两个层面对企业的业务流程进行建模分析。概念模型通常用于过程分析,实现业务流程的改进与完善;系统实现时则常常依赖特定的逻辑模型,逻辑模型主要用于定义系统执行过程中所涉及的软件模块以及模块间的行为关联。然而,概念模型到逻辑模型的转换非常困难,其转换过程往往产生一些意想不到的错误信息。本文提出了一种有效而准确地进行模型转换的形式化方法。本文首先给出了概念业务流程模型到相应逻辑业务流程模型的转换步骤;接着,根据需求分析的结果,提出了一个模型转换算法;最后,构建了一个用于模型验证的框架,用于检验转换后的逻辑模型与转换前的概念模型是否一致。在该模型验证框架中,概念模型和逻辑模型主要使用业务本体的形式进行描述,一致性约束则由SWRL规则进行描述,并在KAON2推理引擎中进行验证分析。

关键词：业务流程模型概念模型逻辑模型模型转换模型验证

来源：评论

学校读者我要写书评

暂无评论

数据链可靠传输协议的设计与仿真

数据链可靠传输协议的设计与仿真

引用

中国系统仿真学会成立20周年大会暨学术年会

作者：黄高阳黄英君骆志刚管乃洋潘志辉国防科技大学计算机学院，长沙 410073 国防科技大学信息系统与管理学院，长沙 410073

无连接可靠传输协议在数据链系统的建设中占有重要地位，其性能的优劣直接影响数据链的整体性能。针对数据链用户服务层报文可变的特点设计了分段重组协议，然后为保证无线接传输的可靠性设计了确认重传机制，并在此基础上引入了窗口机... 详细信息

无连接可靠传输协议在数据链系统的建设中占有重要地位，其性能的优劣直接影响数据链的整体性能。针对数据链用户服务层报文可变的特点设计了分段重组协议，然后为保证无线接传输的可靠性设计了确认重传机制，并在此基础上引入了窗口机制以控制应用层报文流量，最后通过在0PNET中建立仿真模型以及干扰实验场景验证了所设计协议的有效性。实验结果表明协议在强干扰条件下基本能够保证数据的可靠传输。

关键词：数据链无线通信可靠传输协议窗口机制报文流量确认重传机制可靠性设计

来源：评论

学校读者我要写书评

暂无评论

基于探索性分析的信息系统效能评估方法

引用

科学技术与工程 2009年第22期9卷 6702-6707页

作者：李志猛谈群汪彦明徐传福国防科技大学信息系统与管理学院长沙410073 国防科技大学计算机学院并行与分布处理国家重点实验室长沙410073

各类信息系统在现代战争中的应用越来越广泛,如何评价信息系统的军事应用效能成为了一项重要而困难的工作。针对信息系统的效能评估需求,提出了一种探索性的效能评估方法,给出了信息系统军事应用效能评估的可用框架和一般过程,并通过信... 详细信息

各类信息系统在现代战争中的应用越来越广泛,如何评价信息系统的军事应用效能成为了一项重要而困难的工作。针对信息系统的效能评估需求,提出了一种探索性的效能评估方法,给出了信息系统军事应用效能评估的可用框架和一般过程,并通过信息系统支持导弹精确打击的效能评估案例,演示了评估流程。该方法充分结合了模型分析、仿真实验与传统的系统分析经验,将自顶向下探索性分析思想与自底向上仿真实验评估方法进行融合,为信息系统的效能评估提供新的方法论支持。

关键词：探索性分析信息系统效能评估案例

来源：评论

学校读者我要写书评

暂无评论

基于贝叶斯网络的装备作战效能仿真结果分析方法

引用

系统仿真学报 2008年第23期20卷 6519-6523页

作者：王磊刘喜春徐传福杨峰国防科技大学信息系统与管理学院系统工程系长沙410073 国防科技大学计算机学院长沙410073

针对由于装备作战效能仿真过程中因素之间的非线性、不确定关系造成的仿真结果数据分析困难的问题,提出了使用贝叶斯网络进行作战效能仿真结果分析的基本思路。论述了基于贝叶斯网络的作战效能分析模型的建模方法和基本流程,提出了正向... 详细信息

针对由于装备作战效能仿真过程中因素之间的非线性、不确定关系造成的仿真结果数据分析困难的问题,提出了使用贝叶斯网络进行作战效能仿真结果分析的基本思路。论述了基于贝叶斯网络的作战效能分析模型的建模方法和基本流程,提出了正向探索模式、态势扰动分析模式、因果追溯分析模式和截断分析模式四种基于贝叶斯网络的效能分析模式。通过实例分析得出:在仿真结果分析中使用贝叶斯网络可以得到比传统分析方法更深入、更直观的结论。

关键词：贝叶斯网络仿真结果分析作战效能评估不确定性

来源：评论

学校读者我要写书评

暂无评论

关于本科毕业设计的几点思考