排序方式: 共有44条查询结果,搜索用时 15 毫秒
1.
WF-net是一种工作流模型,合理性是衡量WF-net模型正确性的一个标准,不合理的工作流模型会导致运行错误.但是合理性验证问题是NP-complete问题,妨碍了WF-net的广泛应用.工作流模型WRI WF-net是WF-net的子集,能够直接保证工作流模型的合理性,这样只需确保用户建立的工作流模型符合WRI WF-net的约束,而不需要进行合理性验证.提出一个WRI WF-net的验证方法,能够在结构上验证模型是否满足WRI WF-net的约束,并且阐述了方法的实现. 相似文献
2.
随着社会经济的不断发展,人口与土地之间的矛盾变得越来越突出,因此,对于土地整理工作的要求也随之提升.土地整理是实现土地合理利用的前提条件,本文首先对土地整理的有关情况进行了讨论,在对此项工作必要性以及存在的问题进行分析的基础上,对如何做好此项工作提出了建议. 相似文献
3.
半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准.从基础理论层面上对版结构化数据进行研究,在考察了进程代数和空间逻辑的有关结果后,从模型和逻辑系统的角度对半结构化数据特别是XML语言进行刻画.在[1]的基础上,在数据模型中加入了受限算子,并提出一种新的空间逻辑——树逻辑,在其中引入了一个新的模态算子,它们的意义在于能够对私有数据的性质进行刻画和表达.此外,通过修正数据模型中的同余关系,使得模型符合数据的有序性,从而使其更为合理.在此基础上证明了树逻辑系统公式可满足性的不可判定性,从而说明针对整个树逻辑系统的模型检测算法是不存在的.同时选择了其中一个子逻辑系统,给出了其模型检测算法,并证明了该算法的正确性. 相似文献
4.
表达式元性理论形式系统的扩充及其强标准化性质 总被引:1,自引:1,他引:0
在[1]所给出的Marin-Loef表达式元性理论形式系统的基础上,通过引入所谓的引用表达式和协引用表达式的形式表示,对其进行了扩充,同时证明了扩充形式系统的强标准化定理。 相似文献
5.
主要研究了一种基于状态空间的混成系统设计方法的理论基础.首先,在引入相关的CONTROL语言的基础上,给出了其用“演化机”定义的操作语义和用扩展的Hoare 逻辑形式系统H′定义的公理语义.然后证明了H′是以演化机为模型的,即论证了H′的合理性.从而,在某种程度上保证了设计过程的正确性,提高了混成系统设计的可靠性 相似文献
6.
网构化软件处于开放、动态、难控的环境之中,需能感知并适应环境的变化,以持续提供用户满意的服务.传统软件构造技术缺乏对环境感知和适应的系统支持.本文在前期工作基础上,提出一种面向网构软件的软件结构,通过为软件系统配备先验的环境模型和环境规约来实现环境处理的显式化.进而,介绍了我们使用这种方式来处理开放环境之分布异步性、感知信息的不一致性以及环境中人类用户行为特性等的若干具体技术进展.而后,讨论了一种先验环境模型及环境规约的开发方法原理,给出了相应的环境驱动逻辑的静态表达与运行实现机制.该方法和机制可较好地支持环境处理与应用业务逻辑间的关注分离. 相似文献
7.
软件自动化的智能化途径 总被引:2,自引:0,他引:2
近年来,国际上软件自动化的研究又取得了进展,对软件设计过程和所需知识的认识不断深化。其形式化工作也有了一定的发展,在此基础上出现了一些比较成功的软件自动化系统,其中有些在特定的领域内接近了人的水平。如CYPRESS/KIDS系统、STRATA系统和MEDUSA系统等,这些系统尽管各自在某一方面取得了进展,但有一共同的弱点就是适应性较差,系统往往只能适用于设计者预先考虑过的问题范围甚至局限于专门问题,影响了软件自动化的推广应用。问题症结在于现有软件自动化系统尚不具备智能,即缺乏自学习能力,系统不能自动从解题实践或用户实例中获取算法设计知识。特别地,在需人工干预时,系统并不 相似文献
8.
介绍了生物近距离摄影方法。在拍摄昆虫、植物、花卉等近距离生物时,选用近摄镜、接圈、微距镜头、近摄皮腔、反装接环进行拍摄和使用中一些技巧。 相似文献
9.
10.