共查询到20条相似文献,搜索用时 94 毫秒
1.
2.
计算机取证必须遵循严格的过程和程序,否则,所荻取的证据缺乏可靠性和真实性。建立一个实用的计算机取证模型很重要,因为它能不依赖任何一种特殊的技术或组织环境,为研究支撑调查工作的技术提供一种抽象的参考构架。文章针对法律执行过程模型这一数字取证模型进行了简单的分析。 相似文献
3.
4.
合流性反映了主动规则集确定性行为特性。目前保证合流性的主动规则执行算法基本是串行的,而已有的并行规则执行算法并不保证合流性结果。本文扩展了已有的主动规则执行模型,给出具有最大并行度的合流性主动规则处理算法,并证明了该算的正确性。 相似文献
5.
模型驱动体系架构(MDA)是对象管理组织(OMG)2001年7月提出的先进的软件开发方法学,对开发基于HLA的仿真联邦具有很好的借鉴作用;在系统地总结了MDA系统开发原理的基础上,归纳了MDA系统开发的技术优势;将MDA应用于基于HLA仿真系统的开发,初步探讨了基于MDA的联邦开发和执行过程,并描述了该过程模型的顶层视图。 相似文献
6.
为提高工作流系统的适应性和可维护性,提出了一种可重构的工作流执行模型。该模型面向活动行为的相异性和动态性,把活动状态作为描述过程状态的特征,给出了过程状态的形式化定义,建立了过程状态间的层次化关系与优先级关系。在该基础上,严格地给出了基于基本特征集和基于相容特征集的过程状态精化方法,设计了自动生成过程状态转移关系的算法。最后,结合实际应用讨论了一种基于规则的执行模型可重构性实现方法。应用该方法能够提高工作流管理系统适应企业业务过程需求快速变化的能力。 相似文献
7.
模型驱动的业务流程执行方法研究 总被引:2,自引:0,他引:2
模型驱动体系结构对于增强业务流程管理系统的模型重用性和软件开发效率有重要作用.以往研究主要集中于MDA在流程建立阶段的作用,目的是介绍模型驱动方法在流程执行阶段的应用.采用构造基于XML Schema的业务流程集成元模型,包括过程、业务数据和组织机构三方面,再基于元模型建立易于扩展和重用的平台无关模型,最后按映射规则生成代码组件、SQL语句和用户界面,并由三种模型的逻辑关系得到业务流程执行元模型的框架.实践结果表明基于XML的业务流程模型能方便地转换为可执行的程序组件,并能在业务流程引擎的协调下有效运行.模型驱动方法能有效地运用在业务流程的执行阶段,下一步的研究重点是业务流程引擎代码框架的映射规则定义以及MDA在业务流程仿真中的应用实现. 相似文献
8.
9.
胡国友 《计算机与数字工程》2001,29(6):31-33,30
本文对数据库应用的执行流程进行了一个抽象,指出数据库应用流程通常都具有的几个步骤,从而使数据库应用程序的开发过程中可以更加有效的进行设计和实现。 相似文献
10.
科技文献老化过程的动态模型 总被引:2,自引:0,他引:2
本文分析研究了几种科技文献老数学模型,讨论了引文年代分布数据统计中文频次的采样误差及累积引文频次时间坐标的选取,基于过程辨识理论,提出了科技了文献老化的传递函数模型。 相似文献
11.
支持保质设计过程的质量数据总体模型研究 总被引:8,自引:0,他引:8
保质设计是近年来兴起的一种设计方法。文章从Morup质量两类论现点出发,对基于保质设计思想的设计活动进行了分析,并在此基础上,提出了保质设计的信息集成模型及信息转换的结构化模型,进而探讨了支持保质设计的数据总体模型。 相似文献
12.
13.
14.
15.
提出了IDEF与UML两者结合的系统建模方法,能够有效地避免IDEF对信息过程流建模和UML语义描述精确性及使用灵活性的不足.该方法采用IDEF0进行系统功能建模,用IDEF1x和UML模型进行信息建模和面向对象的软件系统设计.用该方法设计的沈阳某冶金设备有限公司的基于组件的生产过程管理系统模型具有良好的维护性、可扩展性和重用性,证明了该方法的可行性. 相似文献
16.
语义标识的过程模型是基于领域本体对过程模型中活动的前置条件&效果进行标识后所产生的模型.语义过程模型的可执行性问题是确保语义过程模型质量的核心问题,同时已被证明是一个co-NP难问题.基于关联变量集模型定义了语义过程模型的动态语义;定义了该动态语义的命题公式的编码规则;提出了基于可满足性求解器的可执行性分析方法;该方法能判定可执行性问题同时当模型不满足可执行性时能反馈出有问题的活动;此外,实现了相应的原型工具SPMT,该工具支持对语义过程模型的建模及可执行性分析;最后通过实际例子对以上理论及工具进行了有效性验证. 相似文献
17.
18.
本文通过建立软件开发过程的层级模型,将软件开发中的“过程”的概念层级化,将原来众多复杂的因素划分到不同的抽象层次:组织结构层、过程流层和物件流层。根据不同的抽象层的特点,采取不同的措施,有效地对整个开发过程进行控制与改善。 相似文献
19.
为解决三维模型语义检索中用户检索意图不一致问题,建立多粒度语义检索框架,使学习模型能够有效地适应用户的不同检索意图。首先对模型分类知识进行层次划分,形成语义概念的多粒度结构。然后提取一种多视图特征来描述三维模型的形状特性,并采用高斯过程分类器建立不同粒度层次上的学习模型,实现低层特征和查询概念之间的语义一致性描述。和已有研究相比,多粒度语义检索框架使用户可通过语义粒度级别变化进行检索意图设置,从而检索结果尽可能符合用户语义。在实验部分,采用三维模型基准数据库对框架进行算法性能测试。结果表明,检索准确率要明显提高,并且符合人类思维特点。 相似文献
20.
工作流平台中动态流程模型的研究 总被引:1,自引:0,他引:1
在已有的动态工作流模型——黑盒模型的基础上进行改进,应用可插拔的子流程节点代替黑盒节点,提出了更加容易实现的动态流程模型——DSP(Dynamic SubProcess)模型,并成功地将其应用于网络化集成产品开发项目管理工具的项目中。 相似文献