不完备离散事件系统的可诊断性

在离散事件系统的建模过程中,由于系统行为的复杂,存在物理系统向逻辑系统映射的不完全性,因此产生了不完备模型的概念.提出在模型不完备的前提下,判断模型可诊断性的方法.提出可诊断性的在线判定方法,同时将不完备的行为加入模型,使模型完备.用经典的双树方法判断离线可诊断性,根据观测序列的时序及语言的前缀判断并处理不完备行为.提出判定不完备行为的方法,向模型中添加不完备行为,并根据不完备行为增量地在双树中判定在线可诊断性.通过在线的可诊断性判定,当前系统能够得到在有限观测内唯一判定故障发生与否的结论.该方法适用于具有离散性质的系统.     

空间遥感器反射镜背部支撑结构设计

鉴于空间遥感器反射镜组件需要具有高面形精度、高可靠性和高稳定性支撑的性能,设计了一种应用于天基反射镜的三点背部支撑结构,该支撑结构包括锥套、柔节和修研垫。对三点背部支撑的支撑原理以及工程实现开展了深入研究。对引起三点背部支撑反射镜组件面形误差变化的误差源进行了归纳总结,研究了各个误差源引起面形变化的作用机理,对支撑结构开展相应的设计来缓解各个误差源导致的反射镜的面形精度的变化。首先采用有限元仿真的方法对设计结果开展静、动力学仿真,然后对加工装配完成的反射镜组件开展了试验测试。测试结果表明,在工作状态下采用该三点支撑结构的镜组件的面形误差优于/60（=632.8 nm）,镜体刚体位移小于0.01 mm,镜体转角小于2,质量小于4.5 kg。整个组件具有合理的模态分布,基频是254 Hz,大大高于设计要求值120 Hz。镜组件在正弦振动和随机振动下的最大放大倍率为1.73倍,在正弦振动和随机振动下的最大应力为369 MPa,远低于选用材料的屈服极限。     

极化敏感阵列抗干扰仿真分析

通过建立极化敏感单元模型,对极化敏感阵列在极化域-空域进行联合抗干扰仿真分析。仿真结果表明,利用极化敏感阵列实现抗干扰的方式,可以拓展抗干扰处理的自由度。同时, 当有用信号与干扰信号同向时,利用有用信号与干扰信号在极化域的差异性可以实现极化域抗干扰。     

基于osgEarth的三维虚拟校园可视化

针对校园环境情况复杂,模拟困难等问题,本文运用osgEarth三维地理信息系统实现虚拟校园的建设和功能开发。以南昌航空大学前湖校区为例,选择建模精度高的MultiGen Creator作为建模工具进行三维场景模型的创建,利用具有分析功能的osgEarth作为仿真平台进行特定功能的二次开发。通过建立数字地球,使用遥感影像数据、高程数据和三维模型数据实现南昌航空大学前湖校区三维虚拟场景的可视化及功能构建。该技术在学校的招生就业、宣传教育、对外交流等方面具有重要作用。     

两轮自平衡机器人运动控制研究

轮式移动机器人是典型的不完整控制系统,其自身的不确定性影响控制的性能.以两轮自平衡机器人为研究对象,建立了机器人的运动学与动力学模型.利用多惯性传感器信息融合建立的基于T-S模糊模型的模糊控制器有效地解决了两轮自平衡机器人平衡控制的问题,并同时对轨迹跟踪的问题进行了探讨.仿真结果表明,通过多惯性传感器的信息融合建立的控制器对于机器人的平衡和跟踪问题是有效的,并在实际的实验中得到了验证.     

220t／h混烧锅炉炉内燃烧过程的数值模拟

以某厂220 t/h高炉煤气和煤粉混烧锅炉为研究对象,对锅炉炉内的燃烧过程进行数值模拟。总结适合该类锅炉的数值模拟方法和网格划分方法。预报了混烧锅炉炉内的速度场和温度场,结果表明：该锅炉炉内可形成较规则的四角切圆形流场,炉内等温线分布较均匀。模拟结果可为同类锅炉的优化设计、合理运行提供参考。     

翻译目的论对英汉翻译教学的启示

本文基于翻译目的论,旨在理论联系实践,浅析目的论对英汉翻译教学的启示。     

基于UML类图和顺序图的C++代码自动生成方法的研究

UML是一种被广泛用于软件系统需求分析和详细设计的标准建模语言,研究将UML描述的软件详细设计自动生成代码的技术可以大大加速软件产品的开发进度,提高软件的质量。提出一种将UML类图和顺序图相结合生成具有静态结构和动态行为信息的C++代码的方法,从而解决现在多数代码生成工具只能将静态图转换为C++代码框架而不能处理动态行为模型转换的问题。该方法包括UML类图和顺序图的元模型以及相应的转换规则。最后通过一个采用Velocity技术实现的代码生成器生成代码的实例描述了代码生成的具体过程及结果。     

基于单分类的协同过滤推荐算法

随着电子商务推荐系统中用户和商品数目的增加,用户商品评分数据集的稀疏性会导致协同过滤推荐算法的推荐质量下降.针对该问题,提出一种基于单分类的协同过滤推荐算法.根据目标用户评分商品对应的类别,选择候选最近邻居集,采用单分类预测用户对商品的评分,以减小目标用户与候选最近邻居所形成的数据集稀疏性.实验结果表明,该算法能提高寻...     

基于锁增广分段图的多线程程序死锁检测

死锁是并行程序常见的缺陷之一,动态死锁分析方法根据程序运行轨迹构建锁图、分段图等模型来检测死锁.然而,锁图及其现有的各种变型无法区分同一循环中锁授权语句的多次执行,扩展锁图中记录的锁集无法捕捉线程曾经持有而又随后释放的锁信息,分段图无法刻画锁的获取和释放操作与线程启动操作耦合而导致的段间依赖关系,上述问题导致了多种死锁的误报.为解决上述问题,本文对已有的锁图和分段图模型进行改进,在锁图基础上扩充语句的执行时序信息,在分段图的基础上扩充锁的获取和释放信息,对段进行更细粒度地划分以建模锁对象导致的段间依赖关系;最终,在上述锁增广分段图与时序增广锁图的基础上,提出一种新的死锁检测方法.所提方法能有效消除前述各种误报,从而提高死锁检测的准确率.文中开发相应的原型系统,并结合多个程序实例对所提方法的有效性进行评估验证.