连续网模拟优化方法研究

1

作者 葛茂荣 《武汉测绘科技大学学报》 CSCD 1990年第4期91-97,共7页

本文根据连续网精度数字化分析的结数,建立了适用于大规模连续网优化的快速选择最优附加观测量的方法。借此,成功地将解析模拟法应用到较大规模连续网的优化设计和改进中。

关键词 连续网 模拟 优化 分区 搜索

原文传递

建立我国卫星定位连续运行站网的若干思考 被引量：75

2

作者 刘经南 刘晖 《武汉大学学报（信息科学版）》 EI CSCD 北大核心 2003年第S1期27-31,共5页

回顾了全球卫星导航系统 (GNSS)卫星定位连续运行站网 (CORS)技术的发展历史 ,描述了这一技术当前发展的动态和特点 ,指出了中国当前发展这一技术中存在的几个问题。在此基础上 ,提出了在中国发展这一技术的若干建议和思路及建立区域参... 回顾了全球卫星导航系统 (GNSS)卫星定位连续运行站网 (CORS)技术的发展历史 ,描述了这一技术当前发展的动态和特点 ,指出了中国当前发展这一技术中存在的几个问题。在此基础上 ,提出了在中国发展这一技术的若干建议和思路及建立区域参考站网、专业应用网和国家参考站网三种网络层次的概念 ,阐述了它们的关系 ,并建议以此思路来建立中国各层次卫星定位连续运行站网的建设运行规范。 展开更多

关键词 卫星定位 连续运行参考站网 区域参考站网 专业应用连续运行网 国家参考站网

下载PDF 职称材料

最大速度变化的连续Petri网(VCPN)的动态演变及性质判定 被引量：9

3

作者 叶志宝 赵义军 董焕河 《计算机研究与发展》 EI CSCD 北大核心 2002年第3期330-334,共5页

最大速度变化的连续 Petri网 (VCPN)是由 David等最早提出的一类时延连续 Petri模型 ,但并未对其动态及结构性质给出分析方法 .首先给出了 VCPN的相区间的定义及其划分 ,并结合实例对 VCPN的动态演变过程进行了分析 .在此基础上 ,结合 V... 最大速度变化的连续 Petri网 (VCPN)是由 David等最早提出的一类时延连续 Petri模型 ,但并未对其动态及结构性质给出分析方法 .首先给出了 VCPN的相区间的定义及其划分 ,并结合实例对 VCPN的动态演变过程进行了分析 .在此基础上 ,结合 VCPN的稳定的相区间 ,进一步对其性质给出了相应的定义及判定定理 .利用这些结论 ,可以对由 VCPN模拟的系统进行性能分析 .这种分析方法对某些系统利用 展开更多

关键词 连续PETRI网 离散事件系统 动态演变 动态性质 结构性质 绝对公平性

下载PDF 职称材料

区间速率连续Petri网的有效冲突及其消解 被引量：7

4

作者 廖伟志 古天龙 《计算机科学》 CSCD 北大核心 2006年第10期221-224,F0004,共5页

有效冲突是Petri网及其扩展模型的重要行为。本文讨论了区间速率连续Petri网模型的有效冲突问题。通过划分区间速率连续Petri网的标识等价类,提出了区间速率连续Petri网在任意标识下的瞬时引发速率的有效求解方法,并提出了区间速率连续P... 有效冲突是Petri网及其扩展模型的重要行为。本文讨论了区间速率连续Petri网模型的有效冲突问题。通过划分区间速率连续Petri网的标识等价类,提出了区间速率连续Petri网在任意标识下的瞬时引发速率的有效求解方法,并提出了区间速率连续Petri网最大瞬时引发速率有效冲突的判定及消解方法。最后给出相应的分析例子。 展开更多

关键词 区间速率连续PETRI网 有效冲突 瞬时引发速率 标识等价美

下载PDF 职称材料

GPS接收机检定方法的实验研究 被引量：6

5

作者 张健 张惠 《计量与测试技术》 2009年第8期37-38,共2页

提出了不同型号测地型GPS接收机联合检测、联合数据处理的方法,这在GPS检定和实际的应用测量工作中具有重要意义。

关键词 GPS 检定方法 联合检测 GPS连续运行网

下载PDF 职称材料

连续系统的受控连续Petri网模型 被引量：1

6

作者 张伟 孙优贤 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2001年第3期312-317,共6页

对于连续系统提出了一种受控连续 Petri网模型 .该模型充分考虑了系统状态的时变性质 ,在普通连续 Petri网的基础上 ,对连续变迁的激发速度及触发规则进行了重新定义 ,从而能直观地、充分地描述受控连续系统的演变 ,从而为混杂系统统一... 对于连续系统提出了一种受控连续 Petri网模型 .该模型充分考虑了系统状态的时变性质 ,在普通连续 Petri网的基础上 ,对连续变迁的激发速度及触发规则进行了重新定义 ,从而能直观地、充分地描述受控连续系统的演变 ,从而为混杂系统统一的 Petri网模型框架的建立提供了理论基础 .利用模型详细讨论了连续系统的时间最优控制问题的连续 Petri网描述 . 展开更多

关键词 受控连续Petri网 混杂系统 变迁

下载PDF 职称材料

企业生产与能耗过程模型及其仿真连续Petri网方法 被引量：4

7

作者 张悦 王坚 《计算机集成制造系统》 EI CSCD 北大核心 2011年第12期2714-2722,共9页

为解决连续型企业生产过程能耗仿真的问题,研究了企业生产和能耗耦合关系,定义了主设备、主速率等相关概念。采用连续Petri网的方法建立了带信息参数的连续型企业生产与能耗过程模型。提出了一种针对企业生产计划进行生产调度排程仿真... 为解决连续型企业生产过程能耗仿真的问题,研究了企业生产和能耗耦合关系,定义了主设备、主速率等相关概念。采用连续Petri网的方法建立了带信息参数的连续型企业生产与能耗过程模型。提出了一种针对企业生产计划进行生产调度排程仿真能源消耗过程的方法,并加以实例仿真验证。该方法在将物料分为原辅料、中间产品、外销产品、最终产品和排放五种类型的基础上,可以有效地模拟企业生产能耗过程中能源流、物料流和信息流,对连续型企业能源平衡和能源管理具有重要的辅助作用。 展开更多

关键词 连续型企业 能源 物料 信息 连续PETRI网 生产速率

下载PDF 职称材料

变速连续Petri网的性质及运行分析 被引量：1

8

作者 张永刚 叶鲁卿 《华中理工大学学报》 CSCD 北大核心 1999年第3期52-55,共4页

给出了一种变速连续Ｐｅｔｒｉ网的定义及主要性质．详细阐述了其运行算法．在算法中主要考虑了对冲突的检测及处理．给出了一个示例，并通过仿真得到了其运行情况．

关键词 PETRI网 运行算法 运行分析 VCPN 连续PETRI网

下载PDF 职称材料

最大速度恒定的连续Petri网(CCPN)的性质及判定方法 被引量：3

9

作者 赵义军 王培良 《系统工程学报》 CSCD 2000年第1期107-112,共6页

最大速度恒定的连续 Petri网 (CCPN)是由 David等最早提出的一类时延连续 Petri网模型 ,但并未对其性质给出确切的定义及相应的判定方法 .文 [1]中给出了 CCPN的演变图及其构造算法 .本文在给出 CCPN有关性质的定义的基础上 ,结合 CCPN... 最大速度恒定的连续 Petri网 (CCPN)是由 David等最早提出的一类时延连续 Petri网模型 ,但并未对其性质给出确切的定义及相应的判定方法 .文 [1]中给出了 CCPN的演变图及其构造算法 .本文在给出 CCPN有关性质的定义的基础上 ,结合 CCPN的演变图 ,进一步对其性质给出了相应的判定定理 ,利用这些结论 ,可以对由 展开更多

关键词 连续PETRI网 演变图 结构性质 绝对公平性

下载PDF 职称材料

不同型号GPS接收机联合检测的实验研究 被引量：3

10

作者 张健 马燕 《上海计量测试》 2009年第3期22-23,共2页

该文提出了在GPS检定工作中,不同型号测地型GPS接收机可以进行联合检测、联合数据处理的方法,这在GPS检定工作和测量工作中具有重要意义。

关键词 GPS 联合检测 GPS连续运行网

下载PDF 职称材料

区间速率连续Petri网模型行为分析研究 被引量：2

11

作者 廖伟志 古天龙 王汝凉 《小型微型计算机系统》 CSCD 北大核心 2006年第8期1490-1494,共5页

讨论了区间速率连续Petri网模型的行为分析问题.通过划分标识等价类提出了任意标识下区间速率连续Petri网各个迁移瞬时引发速率的求解方法,并在此基础上给出了区间速率连续Petri网的行为演变算法.同时给出了区间速率连续Petri网行为演... 讨论了区间速率连续Petri网模型的行为分析问题.通过划分标识等价类提出了任意标识下区间速率连续Petri网各个迁移瞬时引发速率的求解方法,并在此基础上给出了区间速率连续Petri网的行为演变算法.同时给出了区间速率连续Petri网行为演变的混杂自动机模型构造方法.应用例子表明了所提出行为分析方法的有效性. 展开更多

关键词 区间速率连续PETRI网 行为分析 标识等价类 混杂自动机

下载PDF 职称材料

福建省GNSS连续观测台网建设 被引量：3

12

作者 吴绍祖 林树 +1 位作者 李祖宁 周峥嵘 《华南地震》 2009年第3期71-77,共7页

对建设中的福建省GNSS连续观测台网的建设目标、设计指导思想、台站布网原则、技术与设备方案等方面进行了简述。福建省GNSS连续观测台网将在原有GPS连续观测站的基础上再新建30个GNSS连续观测站,连续观测站将达到41个。台网建成后,能... 对建设中的福建省GNSS连续观测台网的建设目标、设计指导思想、台站布网原则、技术与设备方案等方面进行了简述。福建省GNSS连续观测台网将在原有GPS连续观测站的基础上再新建30个GNSS连续观测站,连续观测站将达到41个。台网建成后,能有效监测福建省内各主要断裂带的地壳运动、重力和水准变化,同时也可为福建省内用户提供导航与定位服务。 展开更多

关键词 GNSS 连续观测台网 建设 导航与定位

下载PDF 职称材料

一类区间速率连续Petri网的可达稳态分析 被引量：2

13

作者 廖伟志 文瑛 王汝凉 《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期44-47,共4页

连续Petri网已被证明为诸多系统的有效描述工具,而系统性能分析与连续Petri网的稳态有密切关系.本文讨论了一类区间速率连续Petri网(Interval speed Continuous Petri Nets,简称ICPN)的可达稳态问题.通过分析区间速率连续Petri网的使能... 连续Petri网已被证明为诸多系统的有效描述工具,而系统性能分析与连续Petri网的稳态有密切关系.本文讨论了一类区间速率连续Petri网(Interval speed Continuous Petri Nets,简称ICPN)的可达稳态问题.通过分析区间速率连续Petri网的使能与引发语义证明了一类区间速率连续Petri网在最大引发模式下可达稳态的有关定理.研究表明这类区间速率连续Petri网在最大引发模式下其可达稳态及最终速率仅与各个迁移的区间速率有关,而与初始标识无关,从而避免了因构造演变图而产生状态爆炸的问题. 展开更多

关键词 区间速率连续PETRI网 稳态 连续加权环 标识

下载PDF 职称材料

基于确定时间连续Petri网的航空发动机总装资源调度 被引量：2

14

作者 汤新民 钟诗胜 《计算机集成制造系统》 EI CSCD 北大核心 2008年第9期1752-1758,共7页

为解决航空发动机总装过程中不同工艺对设备资源的竞争问题,进行了面向资源冲突的Petri网建模,将离散模型转化为确定时间连续Petri网模型。提出采用路由函数化解设备资源冲突,并对给定路由函数下系统的周期性进行了分析。为求解全局资... 为解决航空发动机总装过程中不同工艺对设备资源的竞争问题,进行了面向资源冲突的Petri网建模,将离散模型转化为确定时间连续Petri网模型。提出采用路由函数化解设备资源冲突,并对给定路由函数下系统的周期性进行了分析。为求解全局资源利用率最大的调度策略,采用粒子群优化算法优化资源路由参数,并将最优路由参数以启发函数的形式还原到离散Petri网模型调度中。案例研究表明,调度算法实现了资源的全局最优化,大大缩短了航空发动机维修周期。 展开更多

关键词 航空发动机 总装 维修资源调度 确定时间连续Petri网 粒子群优化 资源冲突建模 路由函数

下载PDF 职称材料

区间速率连续Petri网可达稳态必要性分析 被引量：2

15

作者 廖伟志 王汝凉 《计算机工程与应用》 CSCD 北大核心 2005年第25期78-80,119,共4页

文章就区间速率连续Petri网可达稳态的必要性问题进行研究,在介绍区间速率连续Petri网及其使能、引发语义的基础上首先给出区间速率连续Petri网在指定标识下具有稳态的条件;其次通过提出区间速率连续Petri网一种标识向量等价类划分方法... 文章就区间速率连续Petri网可达稳态的必要性问题进行研究,在介绍区间速率连续Petri网及其使能、引发语义的基础上首先给出区间速率连续Petri网在指定标识下具有稳态的条件;其次通过提出区间速率连续Petri网一种标识向量等价类划分方法从而给出分析区间速率连续Petri网可达稳态必要性的有效方法;最后给出一个应用例子,考察区间速率连续Petri网的可达稳态问题。 展开更多

关键词 区间速率连续PETRI网 稳态 标识向量

下载PDF 职称材料

基于常微分方程的死锁检测实验分析

16

作者 丁佐华 江明月 刘静 《计算机学报》 EI CSCD 北大核心 2009年第9期1736-1749,共14页

用静态分析方法对并发程序进行死锁检测通常比较困难,其原因是会遇到状态空间爆炸问题.文中针对作者曾提出的一种可有效避免状态爆炸问题的死锁检测方法,进行进一步实验验证.该方法的基本框架是首先将表示并发系统的离散Petri网模型连续... 用静态分析方法对并发程序进行死锁检测通常比较困难,其原因是会遇到状态空间爆炸问题.文中针对作者曾提出的一种可有效避免状态爆炸问题的死锁检测方法,进行进一步实验验证.该方法的基本框架是首先将表示并发系统的离散Petri网模型连续化,得到一种新的连续Petri网模型;在此基础上,建立系统的常微分方程模型;通过分析常微分方程组的解来检测系统中是否存在死锁.与传统方法不同点在于:该方法不需要遍历状态空间,而是分析一组常微分方程组的解.为了减少在求解常微分方程模型过程中的计算机系统的开销,作者还釆取了一系列优化策略.哲学家进餐问题被用来说明死锁检测的方法.大量的实验结果说明作者所提出的方法有着较强的静态分析能力.作为副产品,这种分析方法还可以用来判定系统的有界性. 展开更多

关键词 死锁检测 并发程序 状态爆炸 连续PETRI网 常微分方程

下载PDF 职称材料

基于常微分方程的城市交通网络分析

17

作者 吴正志 胡觉亮 丁佐华 《浙江理工大学学报（自然科学版）》 2009年第1期70-76,共7页

首先建立城市交通网络的连续Petri网模型,用一组常微分方程来描述其语义,每个常微分方程描述交通流量的变化,交通流量可由介于0和1之间的数值来度量,此度量值显示交通堵塞的程度。针对不同的交通流速分析了各路段交通流量状况,适当调整... 首先建立城市交通网络的连续Petri网模型,用一组常微分方程来描述其语义,每个常微分方程描述交通流量的变化,交通流量可由介于0和1之间的数值来度量,此度量值显示交通堵塞的程度。针对不同的交通流速分析了各路段交通流量状况,适当调整信号灯的点火速率可以缓解城市交通阻塞问题。最后着重分析了某路段发生事故时对其它路段交通流量的影响。该方法的好处在于在做系统分析时,可避开状态爆炸问题。 展开更多

关键词 性能分析 连续PETRI网 常微分方程 城市交通

下载PDF 职称材料

一种基于AOcontPN的信息物理系统建模方法 被引量：1

18

作者 钱之琳 虞慧群 《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心 2013年第2期217-221,共5页

信息物理系统(CPS)是计算、控制和通信相融合的系统。现有的建模方法不能很好地实现其离散和连续混合的复杂行为。对此提出了一种基于面向方面连续Petri网的AOcontPN建模方法。依据CPS需求分析,将一些普遍存在的物理连续过程抽取出来,... 信息物理系统(CPS)是计算、控制和通信相融合的系统。现有的建模方法不能很好地实现其离散和连续混合的复杂行为。对此提出了一种基于面向方面连续Petri网的AOcontPN建模方法。依据CPS需求分析,将一些普遍存在的物理连续过程抽取出来,作为一个功能性的方面连续Petri网,织入到基本Petri网中。这样不仅解决了CPS系统中连续过程的行为分析、复用等问题,也使得整个系统可以使用离散系统的形式化方法来验证。 展开更多

关键词 CPS 面向方面方法 连续PETRI网 建模

下载PDF 职称材料

区间速率连续Petri网的模糊模型 被引量：1

19

作者 廖伟志 彭月英 古天龙 《计算机科学》 CSCD 北大核心 2009年第2期234-237,共4页

为了实现区间速率连续Petri网的模糊控制,建立了区间速率连续Petri网的模糊模型,定义了区间速率连续Petri网的模糊规则。进一步地,对区间速率连续Petri网的模糊控制进行了讨论,给出了库所标识收敛的定理,为基于区间速率连续Petri网描述... 为了实现区间速率连续Petri网的模糊控制,建立了区间速率连续Petri网的模糊模型,定义了区间速率连续Petri网的模糊规则。进一步地,对区间速率连续Petri网的模糊控制进行了讨论,给出了库所标识收敛的定理,为基于区间速率连续Petri网描述的模糊系统的控制提供了理论依据。实例分析表明了区间速率连续Petri网的模糊控制的可行性。 展开更多

关键词 区间速率连续PETRI网 模糊逻辑 模糊控制

下载PDF 职称材料

三维连续镍-铝(骨架)增强铝基复合材料的磨损行为 被引量：1

20

作者 张磊 童俊梅 +2 位作者 谢宝源 黄磊萍 尧军平 《特种铸造及有色合金》 CAS CSCD 北大核心 2011年第12期1090-1092,共3页

采用真空吸铸和真空热处理技术制备了三维连续镍-铝(骨架)增强铝基复合材料,研究了其在干摩擦条件下的磨损行为。结果表明,复合材料的耐磨性能远优于基体合金。主要是由于硬的Ni2Al3金属间化合物(骨架)裸露在磨损表面,成为微凸体,起承... 采用真空吸铸和真空热处理技术制备了三维连续镍-铝(骨架)增强铝基复合材料,研究了其在干摩擦条件下的磨损行为。结果表明,复合材料的耐磨性能远优于基体合金。主要是由于硬的Ni2Al3金属间化合物(骨架)裸露在磨损表面,成为微凸体,起承载作用,抑制或延迟了基体从轻微磨损向严重磨损的转变时间。同时将载荷分散至各个方向,抑制了磨损面基体合金因塑性变形产生的流失。基体合金的磨损机制为严重粘着磨损,复合材料的磨损为以磨粒磨损为主和轻微的粘着磨损。 展开更多

关键词 三维连续镍网(骨架) 复合材料 耐磨性能 磨损机制

原文传递