面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

关于Chidume的一个公开问题

借助于Banach空间一些新的不等式和一些分析技巧彻底解决了Chidume在1994年提出的有关Ishikawa迭代过程的收敛性方面的一个公开问题。     

军事资产循环探究

本文从军事资产流量和存量出发,分析军事资产流量和存量的关系,军事资产循环运动过程及其特点,然后深入到军事资产循环内部各环节研究军事资产流量和存量相互转化的数量关系、转化的途径和障碍(漏出和溢出),从而由表及里,由抽象到具体地勾画和描绘出军事资产循环运动的全景和近景。     

A—紧1—集压缩映象场的广义度理论

定义了A-紧1-集压缩映象场的广义度,扩展了1984年张庆雍建立的半紧1-集压缩映射的不动点指数理论。     

集值广义(S)_+型映射之一致极限的广义度理论及其应用

本文构造了集值(S)+型映射之一致极限的广义度,所得结果统一并加强了文献〔1～4〕的相应结果。运用拓扑度方法获得了一些新的满值性定理与某些新的不动点定理。     

P—(S)_+型映射的特征刻划及其满值性定理

本文首先给出了一个映射是P—(S)_+型的充要条件。继而以中所建立的拓扑度理论为工具获得了一个关于P—(S)_+型映射的满值性定理。     

基于体单元与测点间磁场映射关系的舰艇感应磁场测量方法

针对数值计算方法精度难以保证、双航向及两地测量法难以实施、地磁模拟法测量精度与所模拟的地磁场均匀度高度相关等问题,提出了一种基于体单元与测点间磁场映射关系的舰艇感应磁场测量方法。该方法利用消磁站已有的地磁补偿线圈产生磁场来对船体进行磁化,且不需要线圈产生的磁场在舰艇所占区域内均匀,因而大大降低了在单一航向上准确测量舰艇感应磁场的难度。仿真分析和实验室实验的结果均表明:该方法测量精度高、测量步骤简单、易于工程实现。     

军事经济资源循环利用初探

军事经济资源循环利用是指在循环经济理念指导下，运用循环经济中“减量化、再使用、再循环”的原则，促使军事经济资源在流动过程中尽可能地实现闭合，将各个阶段有效衔接，最大化地实现军事经济资源的循环和综合利用。实现这一目标，需要更新军事经济资源利用观念，搞好循环利用项目设计，建立健全循环利用制度和科技体系。     

要闻

李毅中到北航、北理工考察要求全力做好奥运安保工作；核燃料循环后端合作会召开陈求发与毕加签署会议纪要；孙来燕出席并主持航天会议；黄强检查电科集团奥运项目。     

单信道时频重叠MPSK信号的调制识别方法

提出一种基于高阶循环累积量的调制识别算法,用于解决单信道两个时频重叠M PSK信号的调制识别问题。对接收到的重叠信号进行预处理,计算其四阶循环累积量,提取分类特征参数,采用最小误差准则算法实现时频重叠双信号的自动分类。理论分析和仿真试验结果均证明了算法的正确性和有效性。