基于模糊时间Petri网的网络计划模型

针对工程计划中工序作业时间的不确定性以及传统网络计划方法缺乏数学表达能力等问题 ,提出了用模糊时间Petri网 (fuzzy timingPetrinet,FTPN)表达工程计划、求取关键路径的新模型。在给出了时间模糊数、FTPN的形式化描述、FTPN触发规则及数学特性和工程计划FTPN建模规则的基础上 ,把求取工程计划的关键路径问题转化为一个基于FTPN代数方程求取特定标识问题 ,在此基础上 ,进一步计算了工程计划在约束条件下按时完工的可能性。结果表明 ,所提出的模型既能正确、直观地表达工程计划问题 ,又能形式化描述、计算工程计划关键路径问题。     

基于单元关系度技术的Petri网模型分解--动态制造联盟网状组织结构优化的基础

针对动态制造联盟最小完备单元图的随机Petri网模型，提出单元关系度分解技术，为求解网状结构的解析式运行指标建立了基础，通过提出单元关系度的概念，计算得到关系度序号，在单元关系度的基础上，按单元不同业务功能关系的优劣次序，将最小完备单元图的单元进行分组，然后，根据不同组内单元之间其原来关系的最高出现频次进行组间连接，最后得到了针对动态制造联盟复杂Petri网模型的分解结果，为优化和改进Petri网系统的运行提供了更直观的控制途径。     

服务主道型数字图书馆及网上参考谘询服务 :宏观检视(英文)

阐述数字图书馆之定义、优点及面世的历史背景 ,指出读者使用数字图书馆时所遇到的困难及建立服务主道型数字图书馆的重要性 .网上参考谘询服务是实施服务主道型数字图书馆的一种工具 ,能让读者觉得图书馆服务无处不在及无远弗界 .本文将检视此项服务的发展、优点及实施时之问题 .为要说明运用详情 ,亦会枚举一些实例以供参考 .特别引述的例子则是由台湾逢甲大学图书馆及美国夏威夷大学图书馆协同规划的中华经济圈经贸与工商法律国际合作资料搜集计划项目 .最后 ,提出此项服务在未来发展时应要注意的数项要点     

确定系统级测试性参数的广义随机Petri网模型

测试性设计是近年来发展起来的一门新兴学科 ,对提高复杂系统的可靠性、可维修性和可用性具有重要的意义。在测试性设计的过程中 ,合理地选择和确定测试性参数是实现费效比最优设计的关键之一 ,但目前还没有有效的方法能合理地确定每个参数的门限值或目标值。基于广义随机Petri网的原理 ,将测试看作设备整个生命周期内可靠性、维修性活动的一个有机组成部分 ,建立了系统的测试性模型。采用数值分析的方法得出系统稳态可用度与系统测试性参数之间的关系曲线 ,作为确定测试性参数的依据 ;当系统需待定的参数比较多时 ,将模型转化为一个区间线性方程 ,有效地解决了计算量大的问题。这一方法对解决复杂系统的测试性设计问题具有一定的借鉴意义     

排水管网的联合方式及趟数的合理选择

本文较系统地介绍了煤矿排水管网优化后的联合方式及其特点;论述了能耗与排水管网联合方式的内在联系;运用图解计算法求最佳排水管径的方法;利用理论上的等流量原理和装置效率高的原则确定及分析了排水管网趟数合理选择的步骤和方法,并列举了工作泵和工作管路趟数之间的数量关系,供工程中选用参考.     

引入Petri网概念的可视编程系统的设计

引进Ｐｅｔｒｉ网概念刻划图标（Ｉｃｏｎ）的动态行为和相互作用并给出一个可视化编程系统．通过例子说明本系统在编程阶段和程序运行阶段所采用的可视化技术     

一种新型的混合Petri网:步混合Petri网

Petri网是一种图形的和数学的建模工具,适合于许多系统的建模．为了提高Petri网建模能力引入运行步概念,并在连续Petri网的基础上提出一种新型混合Petri网——步混合Petri网,分析该网特点及其运行规则,并用该网分别对数字型PID控制器和模拟型PID控制器进行建模．     

非马尔可夫随机Petri网的分析方法及应用

Petri网是模型并行系统和分布式系统的一种强有效的形式化工具.它能够很好地刻画系统的动态行为、分析系统的性能.目前研究的大多数随机Petri网假定模型中所有变迁的实施时间呈指数分布,但是在许多实际系统中,变迁的实施时间呈确定性分布或一般性分布,这就需要研究非马尔可夫模型.文章主要讨论非马尔可夫随机Petri网的分析技术,即基于马尔可夫再生理论进行分析求解,并举例进行说明,在文章的最后进行了总结和展望.     

试论空三加密在地形图绘制中的应用

笔者就章丘市1：2000地形图绘制项目,按区域网法影响空三加密精度的因素主要为：影像质量、像控点选取及精度、加密点的选取及加密解算方法、加密人员的经验等,找出了影响空三加密精度的主要因素及解决办法．结合生产实践解决了1：2000地形图绘制空三加密精度问题,很好的完成地形图绘制工作,希望借此可以找到此类问题的解决办法．     

基于OBB与八叉树的数控加工碰撞干涉算法的研究

为了提高碰撞干涉的检测速度,在构造层次包围盒时融合OBB与包围球的优点,能首先将多数明显不相交物体对快速排除。干涉检测分为快速检测和详细检测两阶段,先采用分层OBB结合八叉树的算法,快速检测出可能存在干涉碰撞的叶子节点;再在包含干涉叶子节点的三角面片和OBB的三角面片之间采用基于三角面—三角形相交检测算法,实现详细干涉检测。由于刀具路径离散点具有连续性,可以设置缓冲区来减少需要处理的节点数。这些改进有效简化算法,从而提高了碰撞干涉检测的效率。