用Petri网模型处理机组组合问题的时间约束

把一种受控记时Petri网系统模型应用于具有时间约束的机组启停状态转换过程,在机组组合的动态规划法中,既处理了冷、热启动费用和最小启停机时间约束,又减少了计算费用的状态数,算法的效率将会大大提高.     

一种具有时间约束的最优导引律设计方法

针对导弹空中弹道多约束控制的需求,根据最优控制理论的设计思想,设计了一种具有飞行时间约束的导引律设计方法。该方法首先建立了弹目相对运动模型,推导了无量纲化的弹体运动状态方程,将终端约束要求转化为具有末端约束条件的最优控制问题;然后通过在具有弹道倾角约束的最优导引律中引入时变修正项,实现了对导弹飞行时间的准确控制;最后在不同初始条件和约束要求下,通过弹道仿真实验。实验表明,该方法能够满足多约束的指标要求,具有一定了鲁棒性能。     

基于时间-有色Petri网的电梯系统的建模与分析

根据时间Petri网和有色Petri网的知识，提出了基于时间-有色Petri网（TCPN）的电梯运行模型。依据此模型将电梯在每层的运行情况分类说明。电梯如何运行是由控制命令统一调度，控制命令是由与电梯运行状态相应的颜色集组成。最后举例说明此模型可在单台电梯控制系统和电梯群控系统中应用。     

基于Petri网的工作流时间建模

针对工作流系统的特点对时延Petri网模型进行扩展,提出了一种新的工作流建模方法.并以某一检查案例为工作流模型,进行了工作流建模和时间性能分析.     

一种扩充的面向对象 Petri 网

在面向对象的Ｐｅｔｒｉ网基础上，引入依赖消息，提出了一种扩充的面向对象Ｐｅｔｒｉ网（ＥＯＰＮ）模型，并以企业中的一项生产活动——ＰＣＢ元件贴装为实例，建立了描述这一活动系统的完整的ＥＯＰＮ模型，据此实现了物料分配的优化调度，构成了ＣＡＤ／ＣＡＭ集成系统中重要的一环     

一种动态的时延约束费用优化多播路由算法

对动态环境下满足时延约束且费用最优的多播路由算法进行了研究.改进了一种触发重组算法,该算法根据一个区域内的节点加入或退出次数来确定对多播树的损害程度,若达到所给定平衡因子的值则触发重组.仿真表明,该算法具有较好的性能,能满足某些特殊的场合的要求.     

一种扩充的面向对象Petri网

在面向对象的Ｐｅｔｒｉ网基础上，引入依赖消息，提出了一种扩充的面向对象Ｐｅｔｒｉ网（ＥＯＰＮ）模型，并以企业中的一项生产活动－－ＰＣＢ元件贴装为实例，建立了描述这一活动系统的完整的ＥＯＰＮ模型，据此实现了物料分配的优化调度，构成了ＣＡＤ／ＣＡＭ集成系统中重要的一环。     

具有时间约束的软构件的时间消耗表示和评价

提出了构件性能参数中的时间消耗表示和构件动态组装时的时间消耗约束的判断方法．提出一种时间消耗约束求和模型和两种时间消耗的评价方法,基于一个类3C的构件模型,并采用XML实现构件描述,通过时间评价的使用实例,显示本方法在动态组装中检验时间消耗约束的可行性．     

基于性能分析的一种OOPN关联矩阵建立方法

目的从性能分析角度建立面向对象Petri网(OOPN,Object-Oriented Petri Nets)关联矩阵。方法通过建立OOPN中可量化的基本元素包括:资源、弧的权重等的数量化模型以及双向弧、同步通道等的性能等价模型,从而得到OOPN的数量化模型。结果基于数量化模型完成了OOPN关联矩阵的建立,以公路施工中的土方装载、运输、平整为例演示了该方法。结论利用该方法建立的OOPN关联矩阵能够对资源均衡配置等性能指标进行优化计算,对生产实践具有指导意义。     

车联网中一种时间约束的数据广播算法

为解决车联网中时间约束条件下的数据广播问题,将该问题规约为二分图的约束最小顶点覆盖问题。证明该问题是NP-Hard问题,并提出一种启发式的数据广播算法。实验表明,相对于传统的路由算法,该算法充分考虑节点的联系概率及影响力,对于路由的包投递率和平均数据包端到端延时都有较大提升。     

A modeling method of semiconductor fabrication flows with extended knowledge hybrid Petri nets

A modeling method of extended knowledge hybrid Petri nets (EKHPNs), incorporating object-oriented methods into hybrid Petri nets (HPNs), was presented and used for the representation and modeling of semiconductor wafer fabrication flows. To model the discrete and continuous parts of a complex semiconductor wafer fabrication flow, the HPNs were introduced into the EKHPNs. Object-oriented methods were combined into the EKHPNs for coping with the complexity of the fabrication flow. Knowledge annotations were introduced to solve input and output conflicts of the EKHPNs.Finally, to demonstrate the validity of the EKHPN method, a real semiconductor wafer fabrication case was used to illustrate the modeling procedure. The modeling results indicate that the proposed method can be used to model a complex semiconductor wafer fabrication flow expediently.     

子矩阵约束下的一类特征值反问题

研究了子矩阵约束下反自反矩阵的逆特征值问题.利用矩阵的分解,建立了子矩阵约束下反自反矩阵的逆特征值问题有解的充要条件,得到了解的一般表达式.     

基于混合Petri网的农业生产工作流建模研究

根据农业生产的实际工作,建构一个基于混合Petri网的工作流模型.混合Petri网一般由连续和离散两个部分组成,模型连续的部分主要反映农田实际工作的进程,离散部分主要表示农机和劳动力等资源状况的变化,提出的模型还可以模拟在生产过程中的工作和间歇状态.仿真结果表明,混合Petri网模型能准确地描述农业生产的过程,在出现不确定因素的情况下能重新分配资源.该模型作为农业生产规划的参考模型,促进在不确定的环境中相关优化算法的发展.     

时间尺度上一类二阶时滞动力方程的振动性

借助Riccati变换和时间尺度的有关理论,研究了一类二阶非线性时滞动力方程解的振动性,给出了该类方程振动的几个定理.     

时间尺度上一类二阶时滞动力方程的振动定理

借助时间尺度的有关理论,研究了一类二阶非线性时滞动力方程解的振动性.给出了该类方程振动的几个定理,并推广和改进了文献中的有关结果.     

基于地震反演约束的储层建模方法及应用

为了提高储层预测及表征精度,对基于地震反演约束的储层三维建模技术方法进行了研究及应用.首先利用地质统计学反演方法生成纵波阻抗三维数据体,与常规确定性反演结果相比,地质统计学反演方法建立的波阻抗数据体具有较高的纵向分辨能力和横向预测趋势,可反映井间薄储层的厚度及物性变化.其次,建立了纵波阻抗与岩性及孔隙度、渗透率、饱和度的岩石物理模版,其低阻抗值代表储层发育好的层段和位置.最后,以纵波阻抗数据体作为趋势约束,采用随机模拟算法,建立了研究区的岩性模型及储层属性模型.通过实钻井检验,模型结果与井点资料符合较好,显示了模型的精度和本文方法的可靠性,可以满足精细油藏描述和剩余油挖潜需求.     

具有时滞的线性区间系统鲁棒稳定性进一步研究

根据微分方程理论和矩阵指数特性,提出了针对具有线性区间系统的鲁棒稳定性的几个判定条件,并与现有研究结果进行了比较.给出的数值实例表明,所提出的方法改进了相关文献的结果.参25.     

复杂工况下土-结构体系的混合约束模态法

基于动态子结构法的原理,提出了线性-非线性混合约束模态综合法,对复杂工况下的二维地基土-箱型基础-上部剪力墙结构相互作用的非线性动力问题进行分析研究。复杂工况包含了一致黏弹性边界问题和基础与周边土体的高度非线性接触问题。依据土-结构相互作用体系存在局部非线性的特性,将体系划分为若干个线性和非线性子结构。在动力时程分析中对所有非线性子结构利用自编二次开发程序逐步提取等效特性矩阵,再与经势能判据截断准则减缩过的其他线性子结构组合后进行模态综合处理,推导出含有接触关系的子结构方程与含有一致黏弹性边界的子结构方程,最后形成复杂工况下含有各个子结构的模态综合方程。分析结果表明,混合约束模态综合法与ANSYS直接计算法求得的位移、速度、加速度、水平剪力、弯矩、层间位移角动态响应时程曲线吻合良好,证明线性-非线性混合约束模态综合法是求解复杂工况下的土-结构动力相互作用问题的有效可行方法。     

变流量工况下的散热器动态仿真

为研究计量供热系统散热器在变流量工况下的动态特性,建立了散热器动态仿真模型。考虑了水流经散热器时的流动延迟,利用Lagrange法的思想,建立了流动过程、滞流过程、过渡过程的微元模型;利用Euler法建立了散热器集总模型;考虑散热量与室温的耦合关系,结合房间温度模型,进行联立求解。北京及天津2个小区采暖系统的测试结果与模拟结果吻合较好。该模型可用于变流量供热系统的节能分析。     

小波变换在时滞系统中的应用

应用小波分析理论，引入小波时滞变换矩阵，并将它应用于时滞系统求解，由于小波具有时频同时局部化的分析能力，因而可以更好地研究系统的局部性质。