绘平面控制网图和误差椭圆图程序

本程序采用ＢＡＳＩＣ语言编制，用于ＰＣ－Ｅ５００袖珍计算机和ＮＦ－ＰＰ４０精密四色绘图仪。该程序适用于绘制各种平面控制网图和各点上的误差椭圆图。本程序使用键盘输入语句和置数语句、读数语句，计算机根据输入的数据，逐一打印，以便查对，然后绘出平面控制网图。根据使用者的需要，是否绘出各未知点上的误差椭圆图。最后打印出绘图比例尺。     

基于模糊Petri网的事故树模糊分析方法研究

为了降低获取现场采样数据精确值的难度并提高事故诊断的准确性,根据模糊事故树和模糊Petri网均具有描述事件发生因果关系链这一共同特征,采用模糊Petri网来表示事故树,建立了事故树的模糊Petri网模型,在Petri网中对事故树进行了模糊分析研究.该方法不仅可以对顶上事件各特征量进行估算,还能利用模糊Petri网推理算法进行事故诊断,实现了Petri网与事故树的紧密结合,使事故诊断更加切合实际.引入模糊集合理论到事故树分析方法,用模糊数来表示事件发生的概率,减小了获取底事件发生概率精确值的难度,在一定程度上修正了事故概率统计数据的误差.该方法可以将生产现场的实测数据与专家经验数据结合起来,使得分析结果更接近于工程实际.图2,表1,参13.     

浅谈过空巷冒落区的锚网支护技术

潞安矿业集团王庄煤矿在大断面锚网支护巷道掘进过空巷冒落区实践过程中,对空巷冒落区的现状、在掘巷道的服务功能及在掘巷道与空巷的位置关系进行了技术分析,提出了不同的掘进过空巷冒落区方案,并利用锚网支护技术对冒落区进行修复,取得了良好的效果。     

基于MCMC模拟的相关系数平稳序列模型及其应用

提出了基于MCMC方法来估计相关系数平稳序列模型的参数;给出基于贝叶斯分布的相关系数平稳序列模型参数的算法;在无信息先验分布下,模拟证明了用此方法估计相关系数平稳序列模型参数的优良效果。最后对实际的广西电网-月负荷数据,分别用基于相关系数平稳序列模型的MCMC方法和极大似然估计法以及基于经典的ARMA模型建模,结果表明采用MCMC方法得到的模型给出的预测是最好的。     

Data fusion control and guidance of surface-to-air missile under the complex circumstance based on neural-net technology

Under the complicated electromagnetism circumstance, the model of data fusion control and guidance of surface-to-air missile weapon systems is established. Such ways and theories as Elman-NN, radar tracking and filter＇s data fusion net based on the group method for data-processing （GMRDF） are applied to constructing the model of data fusion. The highly reliable state estimation of the tracking targets and the improvement in accuracy of control and guidance are obtained. The purpose is optimization design of data fusion control and guidance of surface-to-air missile weapon systems and improving the fighting effectiveness of surface-to-air missile weapon systems.     

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

最大速度恒定的连续Ｐｅｔｒｉ网是由Ｄａｖｉｄ等最早提出的一类时延连续Ｐｅｔｒｉ网模型,但并未对其性质给出确切的定义及相应的判定方法。文「１」中给出了ＣＣＰＮ的演变图及其构造算法,本文在给出ＣＣＰＮ以对扬系统进行性能分析。     

可拓信息的基本理论与方法研究

研究可拓论的重要软体——可拓信息论 .给出可拓信息的基本概念和可拓信息的度量方法 ,其中包括可拓信息的相关距离、相关度以及信息之间的相似度等概念 ,形成信息物元的特征分析法 .在此基础上讨论可拓信息的组织与处理方法、可拓信息的搜索方法及可拓信息的定性与定量结合推理方法等 .     

航空电子综合化数据传输网络建模方法研究

采用Petri网理论对航空电子综合化数据传输网络系统的建模方法进行研究。通过对研究对象的基本假设、研究对象与Petri网理论之间的关系,给出了航空电子综合化数据传输网络系统的Petri网模型     

基于R-OPN的集装箱码头物流系统建模与分析

针对集装箱码头物流系统(Container Terminal Logistics System,CTLS)建模存在的问题,通过分析CTLS的结构和行为特点,提出了基于规则的面向对象Petri网(Rule-based Object-oriented Petri Net,R-OPN)的建模方法.该方法在对象子网和门变迁中融入决策规则,建立了CTLS系统动态行为和调度控制模型,简洁明了地描述了系统状态和决策规则之间的关系.在此模型的基础上,分析了模型的结构特性(死锁,冲突等),并提出了解决冲突的决策规则,为CTLS的设计、分析、调度与仿真提供了有效的工具.     

带协同约束弧的微分Petri网及其仿真

为使Petri网中单个库所对变迁的简单逻辑约束关系扩展到多个库所对变迁复杂的协同约束关系,提出了协同约束弧的概念,并将它与微分Petri网相结合,用以对具有状态反馈控制的混杂系统建模.结合一个二阶线性系统的实例,给出了它的带协同约束弧的微分Petri网模型,并用Stateflow和Simulink结合起来对这种带有协同约束弧的微分Petri网描述与仿真.仿真结果表明:在协同约束弧控制下,适时改变控制策略,将系统切换到不同的相空间,从而使不稳定系统最终在目标区域内稳定运行.