关于3N+1猜想三种简捷证明方法的研究

论述证明3N+1猜想的三种简捷方法：迭代损益法、同胚法和数学归纳法成功证明命题成立。     

分类回归树在航天测控数据关联规则分析中的应用

发现参数间的关联规则对预测航天器系统状态和改进航天器系统设计都有着重要的意义。如何发现参数间的关联规则是航天测控数据分析中的一个难点问题。针对该问题，在概述小波分析和分类回归树基本原理的基础上，提出了一种基于分类回归树的分析方法。该方法首先采用小波分析技术对参数数据进行去噪声处理，然后用随机采样的方法把数据分为训练数据集和检验数据集两部分，再构建一个分类回归树模型并用训练数据集训练该模型，随后用检验数据集对该模型进行检验，在对检验结果好坏进行评价并确认获得较好结果的基础上，对分类回归树模型进行解析，并最终得出参数间的关联规则。最后运用仿真数据对上述方法进行了实例验证，结果表明该方法能较好地分析出参数间的关联规则。     

裂缝区域优化随机扩展航路规划方法

针对密集障碍代价空间中存在的局部裂缝区域,基于采样的路径规划方法随机生成的节点无法进行有效扩展,形成可行路径的概率极低的问题,采用电势原理建立环境威胁模型,提出局部区域启发模式转换机制及节点一步检测方法.采用路径代价改进Transition-based RRT算法的节点选择机制,实现节点扩展的双启发.仿真结果表明,该算法能够有效地解决上述问题,其算法性能和路径生成优于同类算法.     

用多值逻辑树表示的多状态系统可靠性分析

本文提出了多值逻辑树不交布尔代数法,可直接写出不交型结构函数,从而计算其可靠性,而不需先找出最小j值向量或质蕴涵、再将其不交化以计算其可靠性。故可节省计算量。本文还给出从系统不交布尔表达式反求全部最小j值向量的简便算法。用Prolog语言编制了本文算法的程序。     

高效图像资源管理器的设计与实现

针对数据存储量大引起的访问广域网服务器速度慢、不能对访问的客户进行细粒度的权限控制问题,研究了B/S模式下基于.NET平台的图像资源管理器的设计和实现技术。系统综合采用权限管理模型、动态加载、文档对象模型（DOM）等技术以及非点击无刷新伸缩控制方法,实现了图像资源管理器的分权限控制、高速访问以及无刷新高效联动等操作。实验验证了方法的可行性。     

关于FTA几个问题的讨论

结合图论的相关概念，深入分析了FTA中有关“正则树”及“割集”等基本概念的含义，并提出了改进建议；同时简要阐述了将其他逻辑关系转换为“与”、“或”门的方法．以简化逻辑运算。     

标准符合性检查工具软件初探

为了解决传统的标准符合性检查依靠人工、缺少可靠辅助工具的现状,提高标准化检查工作的效率和准确性,我们研发了标准符合性检查工具软件。文章在对工具软件的需求分析的基础上,对工具软件的建设方案、需求实现方式等内容作了介绍,总结了基于信息技术在自动化、信息化标准符合性检查方面取得的成果和工作体会。     

积极探索安全负面行为样例清单制度

抓作风必须抓意识。探索建立一份安全负面行为样例清单,通过安全理论概括加上情景举例的方式,让员工明确自身行为的安全禁区和红线,时刻"照镜子、正衣冠",从而约束和规范工作行为,消除不安全因素。考虑员工接受程度,可对各类负面行为暂不划分等级。在清单编制完成之后,应开展深入学习讨论,激发员工主动思考,举一反三,树立正向安全意识,营造积极安全文化。