一种基于实体模型的三轴数控加工刀轨生成算法

实体模型是几何造型的高级模型，它具有完整的曲面拓扑关系，国内基本实体模型的数摈加工算法的需求日渐迫切，本文提出了一种适合实体模型的三轴数控加工刀位轨迹生成算法；首先根据加工行距作一组平行于刀轴的平面，与模型的待加工表面求交，得到一系列交线，再根据加工步长规划另一组与上述平面垂直且平行于刀轴的平面，与上述交线求交，得到一交点网格，判断刀具与数据点的位置关系从而得到刀位轨迹。     

RAM的故障模型及自测试算法

通过对ＲＡＭ故障情况的全面、深入分析,建立了ＲＡＭ的功能故障模型。并在此基础上,提出一种全面、实用的故障自测试算法。该算法分三步完成测试：（１）测试ＲＡＭ中的固定为１（０）故障、固定开路故障、状态转换故障、数据保持故障及第一类耦合故障中的不相关耦合等故障;（２）测试第一类耦合故障中的相关耦合故障;（３）测试第二类耦合故障。对ＲＡＭ的故障注入试验验证了该算法的有效性。并将此算法应用于航空电子模拟器的ＢＩＴ（Ｂｕｉｌｔｉｎｔｅｓｔ）的设计中。     

磁轴承控制器的设计及仿真研究

介绍了磁轴承系统的组成,对控制器性能的基本要求及控制方案的选择,分析了典型ＰＩＤ控制器存在的两个弊端,提出了磁轴承控制器的四种模型。通过对这四种模型的仿真研究,分析了各模型中比例系数、积分时间常数、微分时间常数及局部反馈系数对系统性能的影响,并给出了各参数较为理想的参考值及阶跃响应曲线,仿真结果对制作模拟控制器及数字控制器有一定的借鉴作用。     

基于行动理论的智能体模型

结合BDI模型和情境演算的优点构造了一个agent模型。在agent模型中,agent的心智状态由状态信念集、效应规则集、可行规则集、策略规则集和意向集组成。如果agent的心智状态是信息完全的且在流中添加情境变元,则它将成为Reiter提出的基于情境演算的行动理论,所以此agent模型既能表示agent的心智状态又能进行行动推理和规划,最后,文中提出了具有完全信息的agent实现目标的一种运行方式     

考虑不确定性因素的多学科设计优化方法

将基于单循环方法的可靠性分析(SLBRA)与多学科可行(MDF)设计优化相结合,提出了一种基于可靠性的多学科设计优化(RBMDO)方法.在优化过程中使用Kriging近似模型以不断提高模型精度,解决了MDF方法反复进行多学科分析、计算量较大的问题.该方法在可靠性分析过程中避免了优化迭代,从而提高了计算效率.以涡轮叶片的设计优化为例,对该方法进行了验证并与传统双循环方法进行了对比.结果表明,优化结果满足可靠性的要求.与双循环方法相比,优化效率明显提高,证明了该方法在工程应用中可行且有效.     

经典模型降阶方法述评

大系统模型降阶是一个活跃的研究领域,比较成熟的经典降阶方法主要有;Pade逼近法,时间矩法,连分式法,Routh逼近法及混合法等。本文综述了这一领域的现有文献,介绍了每种降阶方法的基本思想、优缺点和适用范围,特别指出了一些新的经典模型降阶方法的进展。文中最后提出了模型降阶方法的可能研究方向。     

黑板框架的知识表达方法

本文介绍了黑板框架知识表达方法的设计思想和技术。黑板框架是由框架、知识源和黑板模型组成,是产生式规则、谓词、框架等多种知识表达功能的组合形式,它将知识表达和知识处理结合成一体,既能表达静态的知识,又能表达动态的知识;既能方便地表达断言性知识,又能自然地表达结构性知识。表达功能强、灵活性大;方便知识调度,加快推理速度,提高推理效率;方便知识获取并有利于机器学习。 黑板框架是一种能表达特定领域复杂知识结构的良好的方法,具有表达充分、推理充分、推理效率和获取效率高的特点。 文中还对目前各种知识表达方法进行了评价,对黑板模型、知识源、黑板框架的概念进行了描述,并对黑板框架给出了严格的BNF定义。 黑板框架的知识表达方法,已在医学专家系统开发工具BFBEST中获得了成功的应用,并取得满意的效果。     

结合图像局部信息的高斯混合型图像分割框架

针对现有的基于判别型或聚类型的图像,用分割方法无法处理被噪声污染的图像的现状,提出一种新的两步式图像分割框架。该框架首先利用图像的局部信息重塑图像的灰度直方图,增强了像素的类间散布性和类内紧凑性,然后将现有的基于判别型或基于聚类型图像分割方法在重塑图像上执行,从而提高了现有图像分割算法的有效性和鲁棒性。文中用典型的聚类型方法高斯混合模型来说明该框架的可行性。由于框架的两个步骤具有独立性．因此可推广到现有的其他基于像素或直方图的方法。在人工和真实图像上的实验结果证明,这种两步图像分割框架可以获得有效且鲁棒的图像分割结果。     

应用限制编程的信息模型内在检查方法

提出了一种基于限制编程(Constraint programmmg)的信息模型内在一致性检查方法,重点描述了EXPRESS信息模型的一致性及其检查。EXPRESS语言,作为标准制造数据交换的一个重要部分,广泛地应用于制造与信息业。中提到的一致性检查包括三个步骤：EXPRESS模型形式化,限制满足性问题(CSP)从形式化模型中的抽取和CSP的可满足性测试。本同时揭示了限制编程的一个新的应用领域：模型验证。     

高精度GPS定位的精密电离层模型

在长距离GPS实时动态定位(RTK)过程中,电离层延迟误差是影响定位精度的主要误差源.目前,由于采用全空间电离层模型精度不够,对长距离RTK定位主要采用双差电离层残差内插方式.本文提出一种新的电离层模型.该模型仅对每个卫星轨迹通过的电离层部分进行建模,可适用于高精度GPS定位.采用香港数据,结果表明,该模型可较好地模拟低纬度电离层变化,并可支持GPS厘米级定位精度.