扩展高级判断Petri网及其在FMS决策和控制中的应用

 提出一种新的更适合ＦＭＳ（ＦｌｅｘｉｂｌｅＭａｎｕｆａｃｔｕｒｉｎｇＳｙｓｔｅｍｓ柔性制造系统）决策和控制的扩展高级判断Ｐｅｔｒｉ网（ＥＨＬＥＰ－Ｎ）,并着重介绍它的建模方法及其在ＦＭＳ决策和控制中的应用。建立基于ＥＨＬＥＰ－Ｎ的ＦＭＳ决策控制专家系统的实践证明,ＥＨＬＥＰ－Ｎ是描述ＦＭＳ的结构、状态和动态行为的有力建模工具。部分成果已经用于航空航天部１５９厂的高级ＤＮＣ系统的设计之中。     

航天系统测试接地网接地电阻研究

对航天测试接地网接地电阻的测量方法，接地电阻的降阻方法做了理论研究，并总结分析了接地网改造过程中的实验方法，数据和工程效果，为改善航天试验设施的测试条件提供了有益的理论和工程实践结论及经验。     

加快信息化建设,推进产业信息化

中航第一集团公司为贯彻国家提出的“信息化带动工业化”方针 ,制定了大集团战略和实现集团公司跨越式发展战略 ,提出了集团公司“十五”信息化的建设目标 ,以及保障信息化目标实现的一系列举措和近两年的主要工作     

机场无线通信室内覆盖系统共网建设的意义

机场是一个城市对外联络的晕要窗口，在政治、经济、文化上占有十分重要的地位，而机场内建筑设施（航站楼、候机厅及办公楼等）的无线通信网络质量，直接关系到现代机场的软硬件建设水平和整体服务质量。在机场航站楼内，由于建筑物的屏蔽或阻挡，机场建筑设施内存在很多无线通信网络信号弱区或卣区（电梯、地下室及巾问区域等），以及室外基站容量有限，从而导致了移动终端尢法进行正常的语音业务或数据业务。     

基于Petri网知识库维护方法的实现

知识库的维护是知识系统的关键部分，直接关系到系统能否正常运行。本文介绍了基于Petri网知识库维护方法的实现。     

空间目标监视雷达技术探讨

本文分析了空间目标分布特性和国外空间目标监视技术发展趋势，提出了我国发展空间目标监视雷达需要注重研究的关键技术。     

基于语义信息的问题分类

问题分类是问答系统的一个非常基础而重要的子模块。以问题的语义信息为分类依据,建立了一个新的问题分类体系,并提出了一种基于《知网》的自动分类方法。利用该方法对507个问题进行分类实验。实验中问题分类的平均召回率为93.72%,平均正确率为82.23%。实验结果表明,该分类方法是有效的并且以语义信息作为分类依据是可行的。     

中国高校人事代理关系的法理分析与立法规制

高校人事代理是高校人事制度改革的一种尝试。1995年以来，伴随着全国高校人事代理实践的展开，其理论研究也在不断深入。但是，目前高校人事代理学说纷呈，实践形式多样，人事代理关系非常混乱。在对其梳理和整合的基础上，提出了人事代理梯级分界的观点：人事代理与聘用合同的分界和人事代理内部代理与委托的分界。指出在诸多的代理形式中，只有高校单独委托和受聘人分别与代理机构和高校签订代理和聘用两份合同两种形式比较规范，值得提倡和推行，其他形式因其自身的缺陷不宜继续采用。     

Time Petri网在实时软件测试中的应用

针对实时软件传统测试方法的不足,提出了用Time Petri网生成测试方案的方法.该方法很好的处理了与时间有关的不确定性问题,具体例子说明了其在实时软件测试中的应用.     

A Preconditioned Multigrid Method for Efficient Simulation of Three-dimensional Compressible and Incompressible Flows

将矩阵预处理方法与多重网格方法结合,发展了适用于机翼及复杂外形气动数值优化设计的高效数值模拟方法和程序。在不改变定常流动解的前提下,对 Navier-Stokes 方程的时间导数项实施 Choi-Merkle 矩阵预处理,从而改善可压缩控制方程在低速情况下的系统刚性。Choi-Merkle 预处理最初用于二维低马赫数粘性流动数值模拟,本文将其推广应用到计算三维流动,并针对提高跨音速流动计算收敛性进行了相应的改进。预处理后控制方程采用中心格式有限体积进行空间离散,Runge-Kutta 混合多步方法进行显式时间推进求解,并应用 FAS 多重网格方法加速收敛。采用所发展的方法和程序数值模拟了绕 M6 机翼和 M100 机翼的低速和跨音速流动(马赫数从0.01 到 0.839)以及绕 F4 翼身组合体流动。计算结果与实验值吻合良好,验证了所发展的方法的正确性。算例研究表明所发展方法较大幅度地提高了三维流动数值模拟的效率,且同时适用于可压和不可压流动计算,在机翼及复杂外形气动优化设计方法具有应用前景