【摘 要】
：
在Petri网模型中,抑制弧用于表示除输入库所条件外,仅当指定库所为空时变迁才可以触发的情况,可以应用于各类Petri网中。在广泛使用的Petri网模型工具CPN Tools中没有直接提供抑制弧,仅给出了两种等价处理方法。通过对抑制弧的问题进行分析,提出在CPN Tools使用List解决抑制弧问题的改进方法。此方法具有良好的通用性和易用性,并且仅通过修改DropOneInList函数的内容就可以
【机 构】
：
中国科学院光电研究院,中国科学院研究生院,中国科学院空间应用工程与技术中心
论文部分内容阅读
在Petri网模型中,抑制弧用于表示除输入库所条件外,仅当指定库所为空时变迁才可以触发的情况,可以应用于各类Petri网中。在广泛使用的Petri网模型工具CPN Tools中没有直接提供抑制弧,仅给出了两种等价处理方法。通过对抑制弧的问题进行分析,提出在CPN Tools使用List解决抑制弧问题的改进方法。此方法具有良好的通用性和易用性,并且仅通过修改DropOneInList函数的内容就可以实现随机、栈方式、队列方式、优先级等各种令牌提取方法。
其他文献
针对现有网络在可靠性和服务质量方面所存在的缺陷,以增强网络生存性为目标,对现有IP网络的生存性机制进行了研究。以路径相异性为基础,提出一种具有生存性的Overlay网络构建方法。构建过程使用重叠惩罚思想为每个源—目的对按照业务的QoS参数计算合适的路径,由这些路径构成节点对之间的Overlay虚拟拓扑。此网络拓扑不仅可以保证故障情况下的合理路径快速倒换,而且可以满足业务的需求。使用路径相似度和路径
从实践教学在高等农业教育中的重要性出发，结合植物病理学实践教学改革的探索，提出了研究型实践教学的实现途径。
传统的理工科优秀研究生奖学金评定体系存在三大缺失：一是重结果评定轻过程评定．二是重工具评定轻区别评定，三是重工具程序轻教育引导。要克服传统评定体系的缺失，关键是构建以育
为了解决谱聚类方法中大规模的相似性矩阵的存储和特征分解困难的问题,利用权核K-均值算法的目标函数和图谱划分准则的等价性,将图谱划分准则作为免疫克隆选择优化算法的亲和度函数,提出一种利用免疫克隆选择优化算法求解图谱划分问题的新方法——免疫克隆选择图划分方法。该方法在免疫克隆选择操作的过程中引入了一个个体修正算子,使得个体以更快的速度向更优的个体进化。此外,在新方法中还引入了流形距离测度来构造相似性矩
模拟生物学家在优秀种子间进行杂交得到更好基因种子的方式,对实数编码遗传算法的种群进行优选,只在优选后的种群间杂交,可使算法快速收敛于极优值;同时,每代都加入新的随机种子,保持种群多样化。实验表明,该算法达到最优值的速度明显快于基本实数编码遗传算法。
基于聚类技术,提出了改进的基于道路网络的聚类算法,并利用该算法运算得到车辆路线。通过实施验证,在符合卷烟需求量、车辆装载量限制、行驶里程等约束条件下,所得到的配送线路,零售商数量近20000,并且达到了路程最短、费用最小、时间最短的配送要求,最大化地节省了配送费用,提高了企业的经济效益。
为了解决遗传算法(GA)中好的建筑块被破坏的问题,提出基于CBR-GA的建筑块重组方法。首先反复运行简单的遗传算法找到多个局部最优解,并选择多个不同的局部最优解构建案例库;然后应用差异化学习方法产生新案例,有效解决了GA中随机交叉对建筑块破坏的问题;最后通过4阶欺骗问题验证了新算法的可行性。
针对井下传感器状态类型复杂多变、被测参量数据庞大等问题,采用主元分析法对数据进行降维处理。利用RBF神经网络实现特征层数据融合,并建立基本信任分配函数,再以证据理论对非精确信息的表示和推理优势,有效实现了故障检测和分离。实例仿真表明,利用主元分析和D-S理论能正确定位并准确分离出失效传感器。
面对海量音乐数据,如何在基于内容检索时对其建立索引以提高检索速度是一个非常重要的研究内容。以句为单位对音乐内容提取特征并建立索引时,库中保存的是音乐旋律的相对特征,但用户在哼唱检索时,有时会哼唱一段包含多句的音乐来检索,这就需要生成多句特征。对此提出单句特征和多句转换及匹配问题的解决方案并应用于检索系统中,获得了较好的检索效果,相关成果也可应用于具有相似结构的时间序列数据的检索系统中。
以航空维修服务行业为背景,在分析以往信息技术解决方案应用于航空维修管理系统中弊端的基础上,结合产品全生命周期管理理念,构建基于语义面向服务架构的航空维修系统体系结构;深入研究体系结构中资源层、基础构造层、实现层及应用层的构建,进而探讨企业间业务流程协同的实现,以优化航空维修供应链企业间异构平台、系统间的信息集成和知识共享,提高其企业间业务协同的效率。