排序方式: 共有19条查询结果,搜索用时 12 毫秒
1.
基于时延Petri网的房地产业工期计划管理 总被引:1,自引:0,他引:1
分析目前用于工期计划管理的主要方法,并结合房地产开发项目的特点,提出基于时延Petri网(Timed Petri Net,TPN)的工期计划管理方法。该方法具有传统方法的特点,且解决了传统方法不能实时了解工期进展状况的缺点。论文最后通过模拟房地产开发项目验证了该方法在房地产开发工期计划管理中的适用性和有效性。 相似文献
2.
为了克服数值分析方法在流体随机Petri网模型检验中的缺点,根据形式化方法,本文提出了借助混杂自动机实现流体随机Petri网模型的分析和验证的有效方法,同时介绍了流体随机Petri网到一阶混杂Petri网模型的转化方法.并根据改变不变行为状态事件之间的相互作用提出了正确的一阶混杂Petri网模型行为演变算法,在此基础上给出了流体随机Petri网的混杂自动机模型构造方法.实例分析表明,借助一阶混杂Petri网的行为演变及混杂自动机能够有效地实现流体随机Petri网模型的分析与检验. 相似文献
3.
非支配解集的质量评价方法 总被引:1,自引:0,他引:1
多目标演化算法的目的是获得逼近Pareto最优前沿的分布均匀的非支配解集合,非支配解集的质量是多目标演化算法研究的重要领域.本文对目前提出的非支配解集的质量评价方法进行分类比较,为算法的整体性能评价和算法的性能比较提供了参考依据. 相似文献
4.
为了分析基本混杂Petri网模型行为,提出了基本混杂Petri网各迁移间的冲突判定定理,讨论了消解策略,并给出了基于冲突判定和消解的基本混杂Petri网模型行为分析算法。理论分析证明了所提出定理的正确性,实例分析和比较说明了所提出算法的有效性。 相似文献
5.
6.
廖伟志 《广西师范学院学报(自然科学版)》2008,(4):101-105
《软件开发的形式化方法》课程内容抽象且缺少简单、易懂的软件开发的形式化方法的实例.为了提高学生的学习兴趣,增强学生对软件开发的形式化方法的感性认识,从而达到掌握软件开发的形式化方法的目的,该文以软件测试的形式化方法为例,探讨了基于有限状态机的软件测试原理,开发了非确定有限状态机测试用例生成工具,并通过C程序测试例子说明基于有限状态机的程序测试方法. 相似文献
7.
为了更好的解决车间调度问题,提出了一种基于时延Petri网(TdPN)和基因表达式编程相结合的调度算法。在该方法中,基因表达式编程根据时延Petri网模型中的部分变迁序列来确立染色体,每条染色体表示一种车间调度方案。作者选用了基因表达式的选择、交叉、变异三种类型进行遗传操作,利用延时 Petri网对车间调度过程的仿真,根据变迁的赋时时间获得每条染色体的相应的时间。最后本文结合基因表达式编程具有较好的寻优能力和Petri网对动态的离散事件的过程能进行很好的描述的优点,在文章实验中验证了此方法的可行性。 相似文献
8.
为了解决复杂的Petri网并行化及模拟执行问题,提出将颜色等高级Petri网转化成库所/变迁网( Place/Transition Net)的并行化预处理方法,以便能够对P/T网实现并行化。根据颜色高级Petri网与P/T网系统的特点及其内在联系,从结构模型、代数模型对颜色Petri网转化为P/T网的预处理方法进行研究,并通过实例和编程对预处理方法的正确性和有效性进行验证。实验结果表明,提出的高级Petri网并行化预处理方法是可行而有效的。 相似文献
9.
10.