基于粒子群算法的多约束3D NoC协同测试规划

为了提高三维片上网络(3D NoC)资源内核的测试效率,对多约束下的3D NoC进行测试规划。在硅通孔(TSV)数量、功耗以及带宽约束下,分别将TSV位置、IP核测试数据分配作为两个寻优变量,利用离散粒子群算法协同进化,以减少测试时间并提高TSV利用率。在算法中引入全局次优极值对粒子进行指导,提高全局搜索能力;并通过自适应参数调整策略增加种群多样性,从而改善粒子搜索的停滞现象。以国际标准测试集ITC'02中的电路作为仿真对象,仿真结果表明,算法能够有效地完成在多约束下对TSV位置的寻优并合理分配通信资源,缩短了测试时间,提高了TSV利用率。     

基于Petri网和模拟退火遗传算法的并行测试研究

针对自动测试系统中并行测试任务调度复杂、难以优化的问题，提出了一种Petri网技术和模拟退火遗传算法相结合的任务调度优化算法。首先为并行测试系统建立时间Petri网模型，然后将激发的变迁序列集作为并行测试任务调度路径。为了得到最优路径，引入模拟退火遗传（GASA）算法进行搜索。在搜索过程中，将能激发的变迁序列作为染色体，进行选择、交叉和变异。为了防止算法出现收敛过早，陷入局部最优解的现象，还要对个体进行模拟退火操作，最后得到测试完成时间最短的任务调度序列。     

基于UML和Petri网的雷达测试系统建模方法研究

针对自动测试系统组建过程中出现的问题,提出一种基于UML和Petri网相结合的层次化建模方法.该方法结合了统一建模语言(UML)和Petri网的优点,首先利用UML为系统搭建上层框架,进行系统的功能设计;然后将系统的类图和活动图映射为Petri网,从而能以Petri网的数学形式和软件仿真工具为基础,对系统的动态行为进行评估和验证;最后以某雷达测试系统的搭建为例,和人工组建方法进行了对比,验证了提出的层次化建模方法在系统组建的效率和正确率方面的有效性.     

基于拆卸Petri网和混沌粒子群的拆卸序列规划

为解决燃气涡轮发电机组虚拟拆装训练中拆卸序列规划问题,提出了基于拆卸Petri网和混沌粒子群优化算法的拆卸序列规划方法。在基本Petri网的基础上进行拓展,引入了时间元素,构建了拆卸Petri网模型;针对粒子群优化算法容易陷入局部极值的不足,将混沌寻优方法嵌入到粒子群优化算法中,结合早熟评判标准,提高粒子群算法全局寻优能力。运用上述方法,以最短时间为目标,对分配机匣的完全拆卸序列进行仿真实验,得到了符合实际操作规律,可行有效的拆卸序列。     

基于时间Petri网的断路器虚拟装配系统研究

提出了一种基于时间Petri网模型的断路器自动化虚拟装配系统,采用时间约束的嵌套式Petri网模型对装配系统行为逻辑进行描述。将建立的Petri网模型中的库所、变迁与Unity 3D软件的虚拟场景中的实体对象相对应,采用时序驱动的方法在Unity 3D中对断路器自动化装配实体进行了虚拟重现。开发了基于C#函数库的虚拟装配系统数据交换引擎,可通过Wi-Fi、工业串口与外部实体实现数据交换。采用包围盒法对虚拟装配单元和零部件进行碰撞检测设计,进而实现了断路器自动化装配系统的虚拟现实仿真,并验证了该系统的可行性和有效性。     

基于着色随机时间Petri网的维修性建模方法

产品的维修性是决定其维修品质与寿命周期费用的关键因素,维修性建模是维修性设计的重要环节,对产品的维修性水平有重要影响.对维修性建模方法进行深入研究:利用着色随机时间Petri网的库所与颜色标记等基本要素描述维修对象、维修资源等维修实体及其状态,基于库所、颜色标记、随机时间变迁等基本要素给出维修实体状态与维修作业关系以及维修作业逻辑关系的描述方法,并以此为基础构建基于着色随机时间Petri网的维修过程模型.根据该模型提出基于蒙特卡罗法的维修时间仿真算法以及维修资源需求量计算方法.结合某型飞机前起落架系统给出维修过程建模与维修时间仿真、维修资源需求量计算实例,表明模型与方法的优越性.     

基于Petri网的测试⁃故障诊断一体化模型研究

现有测试性模型对复杂装备进行分层建模时,不仅需要每层装备的故障模式、影响和危害性分析（failure mode, effects and criticality analysis,简称FMECA）,还需要确定各故障模式之间的联系,增加了实际工作量和建模难度,与实际故障诊断脱节。为解决上述问题,提出一种基于Petri网的建模方法,将测试性模型与故障诊断模型相结合。首先,采用广义随机Petri网建立装备系统级的测试性模型,采用模糊Petri网（fuzzy Petri net, 简称FPN）建立子系统的故障诊断模型,完成系统到子系统的传递;其次,根据FMECA信息对故障统计数据进行处理,通过神经网络对参数进行调整学习和优化;然后,采用正向推理实现故障的准确预测,逆向推理结合最小割集完成故障定位;最后,以涡扇发动机风扇部件模型为例进行建模分析,并通过故障树和统计数据验证了模型的正确性和有效性。     

基于层次时间Petri网的工作流模型可达性分析方法

为了有效管理工作流,需要对工作流模型进行合理性分析与验证.为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri网工作流模型转化成基于层次时间Petri网工作流模型的规则及算法.证明了任何一个能够转化成基于层次时间Petri网的时间Petri网工作流模型在物理上都是可达的.在时间方面,提出了基于层次时间Petri网工作流模型的层次时间树算法,并给出了时间可达性的静态和动态分析与验证方法.通过实例验证了该方法在工作流模型的物理、时间静态和时间动态可达性分析中的有效性.     

基于时延Petri网模型的机器人装配任务规划

采用时延Petri网针对有代表性的柔性装配单元进行建模 ,柔性装配单元包括装配机器人、拧螺钉机器人、变位器和加工中心等自动装配和制造中的常用设备 ,具有较大的通用性。推导了顺序作业和并行作业的时间消耗计算方法 ,针对具体任务提出了任务规划的时间优化算法 ,通过仿真和试验两种方法对最优规划序列进行了验证。该项研究可在作业时间要求严格的场合产生优化的装配任务序列 ,并可用于指导装配系统设计     

一种离散时间区间Petri网

运用Petri网对实际系统进行建模时,事件的发生往往必须在一个时间区间序列内。针对此问题,提出一种离散时间区间Petri网模型。着重对模型的可达性进行了分析,给出模型的合法变迁序列判定算法,并在此基础上提出模型的状态可达性判定算法。通过实例分析,验证了所提的离散时间区间Petri网模型的可行性和有效性,该模型可用于工作流分析、业务过程建模等领域,能够进一步增强Petri网对离散事件系统的模拟与分析能力。     

基于时间颜色Petri网的挖掘机装配线建模与仿真

为克服工程机械产品装配线节拍人工分析方法不足的问题,以某挖掘机制造企业现有装配线为例,提出一种基于时间颜色Petri网的挖掘机装配线节拍分析的仿真模型。应用TCPN建模方法构建了装配线上单一装配工位的模型单元,根据挖掘机装配流程图构建整条装配线的模型,定义模型中颜色集、变量、变迁和库所等关键要素,给出变迁和弧上使用的函数与表达式。使用CPN Tools对所建模型进行仿真,并对模型中各工位装配性能进行分析,提出装配线平衡的改善建议。     

基于共享合成时间Petri网的船舶吊装过程建模

根据船舶吊装过程中所涉及的吊装网络约束、场地和设备约束,以及所用时间等信息,提出了一种基于共享合成时间Petri网的船台吊装过程建模方法.该方法不仅能够应用于单船吊装过程,而且可以方便地建立多船吊装过程模型.分析了该方法的可行性,给出了具体的合成算法和利用极大加法代数求解所建模型中相关时间的方法,从而提高了这类复杂过程建模的效率.最后,通过一个实例,对具体多船吊装过程建立时间Petri网模型,并给出了这类模型优化后的结果,进一步说明了该建模方法的有效性.     

一种基于时间Petri网的航空项目数据管理模型

为了提高项目对数据冲突和动态综合管理的能力,提出了一种基于时间Petri网的航空项目数据管理模型。该模型利用库所包含项目的所有共享数据,在资源约束的条件下,进行时间、资源、成本等数据的综合管理。讨论了对资源冲突与均衡控制的调控方法。以某航空产品的制造装配为例,表明利用该模型,可以较好地处理项目运行过程中产生的资源冲突等问题,使各种资源的利用达到最优化,从而实现对资源的最大利用率。     

基于时间Petri网的实时并行设计过程建模研究

分解与重组基于特征的零件设计与工艺设计的并行过程 ,实现了基于特征的零件设计与工艺设计的实时并行 ;通过增加设计小循环次数来减少设计大循环次数 ,从而减少设计的反复过程和缩短产品开发周期。建立了基于时间Petri网零件设计与工艺设计的实时并行过程模型 ,通过计算设计循环时间 ,定量分析了实时并行过程的时域性 ,理论分析与实际基本一致 ,为实施产品实时并行设计方法提供了可靠的理论依据。     

基于Petri网的并行测试资源调度建模与验证

基于变迁时延Petri网对2个并行UUT的测试任务的资源调度问题进行了建模与验证,并采用CPNTools对系统进行了仿真。     

基于时间的制造企业供应链系统Petri网建模分析

针对制造企业供应链的运营情况,结合Petri理论中的广义随机Petri网(GSPN)以及马尔科夫链相关理论对该供应链系统建模分析,为制造企业供应链性能评价提供理论依据。结果表明:通过将GSPN以及其同构的马尔科夫链模型能清晰、快速、直观地获得供应链系统执行订单所需的时间以及供应链系统各主要结构所占系统运行时间的比例大小。该方法能快速地对供应链时间性能以及运作效率分析,为供应链系统进行改进提供思路。     

流水作业线负载平衡的时间Petri网模型

在作出流水线负载先行图的基础上，讨论了负载平衡建模的新方法——利用时间Ｐｅｔｒｉ网进行负载平衡建模方法。为圆满解决流水作业过程中的负载平衡问题提供了一条新途径     

一种基于Petri网和AGA算法的测试系统死锁预防策略

在自动测试系统中,很多任务需要并行测试.测试过程比串行测试复杂,较容易出现死锁现象,因此提出一种基于Petri网和自适应遗传算法(adaptive genetic algorithm)的死锁预防策略.在该策略中,首先为自动测试系统建立一个Petri网模型,然后将Petri网的状态方程作为约束条件,最后求出模型的发射序列即系统中无死锁的任务调度路径.Petri网的发射序列求解一直是NP问题,针对这种情况,引入自适应遗传算法对可行解空间进行全面的搜索,可得到所有无死锁的路径.最后,通过雷达接收机的并行测试例子,和启发式算法搜索进行对比,进一步体现了该死锁预防策略的优越性.     

基于Petri网的车间物料配送及路径规划方法

针对离散制造车间物料配送、废料回收效率低且成本高等问题,建立了能够描述车间资源流动状态的Petri模型.以车间物流总成本为优化目标,在分析车间资源流动的基础上结合物料配送的时间窗,提出了具有Petri网特性的软时间窗车辆路径规划方法.利用整数线性规划方法,在MATLAB软件中对实例进行求解,验证了 Petri网应用于离...     

基于Stopwatch时间Petri网的柔性作业车间优先级调度研究

作业时间不确定的柔性作业车间调度问题由于其计算复杂性、约束条件数量以及工件加工优先级等限制,难以获得最优解。采用Stopwatch时间Petri网对区间柔性作业车间优先级调度问题进行建模,通过Stopwatch状态类可达性分析方法获得模型所有可行变迁触发序列。为了准确执行变迁触发序列的时序分析,采取逆向分步法将此问题转化为线性规划问题,求出最小下界和最小上界的调度路径,进而获得基于优先级的最优调度方案。通过实验结果表明了模型的有效性,为区间柔性作业车间优先级调度提供了有效的模型支持。