整函数及其线性微分多项式的唯一性

１９７６年，ＬＲｕｂｅｌ与ＣＣＹａｎｇ对整函数及其导数分享两个复数（计重数）的唯一性作了研究。最近，顾永兴考虑将函数的导数换为函数的一般线性微分多项式，并证明了相应的唯一性定理。但定理中对两个复数以及多项式的系数（为函数的小函数）所作的一些限制是不自然的，他本人猜测，这些限制条件可以去掉。本文第二作者证实了他的猜测。本文则考虑整函数及其线性微分多项式在不计重数地分享两个有穷复数这一更一般的情况下的唯一性问题，得到了一个充分条件。     

Graph-tree-based software control flow checking for COTS processors on pico-satellites

 This paper proposes a generic high-performance and low-time-overhead software control flow checking solution, graph-tree-based control flow checking (GTCFC) for space-borne commercial- off-the-shelf (COTS) processors. A graph tree data structure with a topology similar to common trees is introduced to transform the control flow graphs of target programs. This together with design of IDs and signatures of its vertices and edges allows for an easy check of legality of actual branching during target program execution. As a result, the algorithm not only is capable of detecting all single and multiple branching errors with low latency and time overheads along with a linear-complexity space overhead, but also remains generic among arbitrary instruction sets and independent of any specific hardware. Tests of the algorithm using a COTS-processor-based onboard computer (OBC) of in-service ZDPS-1A pico-satellite products show that GTCFC can detect over 90% of the randomly injected and all-pattern-covering branching errors for different types of target programs, with performance and overheads consistent with the theoretical analysis; and beats well-established preeminent control flow checking algorithms in these dimensions. Furthermore, it is validated that GTCGC not only can be accommodated in pico-satellites conveniently with still sufficient system margins left, but also has the ability to minimize the risk of control flow errors being undetected in their space missions. Therefore, due to its effectiveness, efficiency, and compatibility, the GTCFC solution is ready for applications on COTS processors on pico-satellites in their real space missions.     

服役飞机结构件腐蚀失效故障树分析及改进

对某出口用飞机铝合金结构件在热带海洋大气环境条件下服役时所发生的腐蚀失效问题,提出了采用故障树分析方法对引起飞机结构件腐蚀失效的各因素进行系统分析和探讨.根据结构件腐蚀失效过程及机理的分析,确定导致结构件腐蚀失效的各个因素,建立以结构件腐蚀失效为顶事件的故障树,通过布尔代数运算得到故障树的各阶最小割集.计算故障树顶事件的发生概率,并对底事件的概率重要度、相对概率重要度进行分析排序,找出引起铝合金结构件发生腐蚀失效的主要因素.分析结果表明飞机服役环境、阳极氧化工艺和选材是导致结构件腐蚀失效的主要因素.针对这些主要因素,提出了相应的改进防护措施.     

基于微核结构的可二次开发语音平台

随着电子商务、客户服务等信息服务的普遍化,为了满足各种商业以及服务系统的需求,语音服务作为电信领域备受关注的一个热点,其应用领域也越来越广泛。本语音平台是基于语音技术,整合了网络资源,使用VoiceXML描述和控制语音逻辑的一种交互式服务系统。其特点是信息获取快速准确,以及客户服务多样化越来越明显。可广泛应用于证券电话委托、电话银行、信息查询、语音信箱、自动传呼系统、多功能小型用户交换机等领域。     

基于故障树的蒙特卡罗仿真在可靠性评估中的应用

在某型飞机发动机可靠性评估过程中,通过对各子系统的可靠性分析,构建了系统的故障树模型,提出了基于蒙特卡罗算法的仿真运算。以发动机空中停车为例,通过故障树分析,建立了空中停车的失效模型,应用蒙特卡罗法对失效模型进行了仿真评估。结果表明,基于故障树分析的蒙特卡罗仿真方法,在可靠性评估中计算快捷,可以精确和客观地描述设备的重要度级别,为系统可靠性设计提供有力的支持。     

结构化工艺在卫星总装过程的应用改进

文章介绍了基于工艺文件体系结构化设计和改进,对卫星总装过程不同阶段所需的生产信息进行管理的新方法。运用工艺多级式表达方式,使各个生产阶段有效地获得适合本阶段特点的工艺信息,并以树状图、流程图等形式加以展现,实现生产计划管理、物料计划管理与工艺信息的协调一致。结构化工艺有利于工艺工作方式与信息化手段的结合,通过信息化系统的开发和使用,卫星总装敏捷制造能力将得到有效地提升。     

基于全景子空间的尺度不变特征跟踪方法

提出一种基于全景子空间尺度不变特征跟踪方法,包括离线阶段建立全景图像与原始图像序列特征集对应关系和在线阶段基于关键图像识别的特征匹配等过程.首先利用全景图充分覆盖局部场景信息特性,通过扩展Kd树组织全景图特征并建立其与原始图像序列特征对应关系,不但解决了图像间特征对应,而且能够有效减少全景图冗余特征量,提高首次特征匹配速度.然后给出一种基于投票策略的关键图像识别方法以进一步完成二次特征匹配,从而将多图像大数据量特征匹配转换为单图像小数据量特征匹配目标,较好实现了特征匹配速度与稳定性的平衡.试验结果表明本方法能够有效增强特征跟踪的稳定性.      

航空发动机加力控制系统典型故障研究

为分析采用电子-液压机械式调节的某型航空发动机加力控制系统的故障部位,以加力状态控制的调节规律和工作原理为基础,建立了以"不能正确进入加力状态"为顶事件的故障树。按照该故障树进行发动机试车典型故障分析,使该故障有效排除。     

基于虚网格的格心ADT搜索法

针对重叠网格寻点问题,提出了一种直接在格心网格下操作,基于虚网格的ADT(Alternating Digital Tree)搜索方法.通过对计算网格进行扩展,建立虚边界网格,解决了格心网格因覆盖区域不完整而无法直接建立ADT数据结构的问题.搜索结果即为包含解的格心单元集合,可直接对结果列表遍历以得到合理贡献单元,故完全摒弃了可靠性差的Stencil Walk方法.由虚网格的定义,使寻点在边界附近的处理更为灵活,可以准确给出边界附近贡献单元的有效信息,同时简化了虚网格体系的构建.扩展了重叠边界类型,构建的搜索空间能完整覆盖网格范围,解决了对称面重叠问题.算例研究表明:该方法可靠性好,边界处理能力强,有效提高了重叠网格方法对大型复杂网格的解算能力.     

面向多层次网络拓扑发现算法的研究

以往的拓扑发现算法只关注网络层设备的拓扑发现,而忽略数据链路层的设备,提出一种面向多层次的拓扑结构发现算法,该算法在发现网络层设备的基础上又发现了链路层的设备,并经过优化提高了算法的效率。