S—饱和集的性质及其应用

在一般拓扑空间(x,τ)的非标准扩张(“x,”τ)中引入S—饱和集的概念.在一定条件下,S_t映射对于S—饱和集保持集的基本运算.基于这一事实,证明了标准Souslin集与Loeb可测集的关系定理,得到μ_L一零集在S_t映射下是μ—零集的一个充分条件.     

一种基于多目标微粒群优化的虚拟网络映射方法

针对多个虚拟网络同时映射时资源统一优化分配的问题,提出了一种基于多目标微粒群优化的虚拟网络映射方法(MSC-VNE),提高底层网络资源利用率及全局负载均衡性能。建立了虚拟网络映射的多目标优化模型,将单个虚拟网络映射作为一个子群,并采用多子群协作优化的方法在子群映射时通过相互信息交换进行协同进化,最终达到全局资源的优化分配。仿真结果表明,与典型成果相比,提出的方法有效地提高了底层网络资源利用率和虚拟网络构建成功率。     

航空火控系统检修设备软件的仪器无关性设计

研究了在航空火控系统检修设备中,测试软件的仪器无关性设计方法.说明了通过程序、配置文件管理系统硬件,实现检修设备仪器硬件与软件分离的方法,对如何修改配置文件的驱动程序接口、通道映射表以适应新硬件的变更等问题作了详细说明.并讨论了用检测程序、数据库以及文本文件定义被测设备的检修属性,提高检修设备的通用性的方法.     

EHDM的DL封装机制及在Z39.50协议上的应用

Z39.50被广泛应用在异构数据源的检索中,由于数据源的动态性和自治性,无法准确获得其语义,很难建立Z39.50与数据源的映射关系,为进行准确的信息检索操作,提出扩展超图数据模型(EHDM),对EHDM进行层次抽象,以EHDM的两类节点和边作为Z39.50协议的访问点,通过在EHDM和Z39.50之间建立DL层,将DL系统的概念、导出概念分别映射到Z39.50协议包装器上,解决Z39.50协议查询对结构化数据源支持不好、出现错误查询结果集等问题,定义类DataSpace的三层结构实现根据需求进行集成的"量入为出"的数据集成策略.     

局部最大延迟检测抗转发欺骗干扰算法

接收机在进行窄带干扰抑制后,其输出信号的相关峰会发生分裂。使用传统的基于信号到达时间的抗转发欺骗干扰算法,会使得捕获锁定的相关值为真实信号的旁瓣。针对该问题提出一种基于局部相关值最大的时延检测方法,在真实信号相关峰分裂所产生的旁瓣与欺骗信号不重合前提下,通过对主瓣三个码片范围内最大值的搜索,保证捕获不会锁定在旁瓣,再选择局部最大值中的最早码相位点从而避免锁定到转发欺骗干扰。与传统的基于信号到达时间的抗转发欺骗干扰算法相比,在无窄带干扰情况下,所提算法性能相当;在存在窄带干扰情况下,其性能明显优于传统算法。通过数值仿真验证了方法的有效性。     

应用程序框架在嵌入式系统中的应用

针对GUI开发工具FLTK(Fast Light Tool Kit在开发嵌入式系统应用程序中的不足之处,借鉴微软的MFC,建立了以FLTK为基础的嵌入式系统应用程序框架,实现窗口管理和非标准I/O操作事件的处理.引入消息映射机制和传递机制,实现在类成员函数中分布处理应用程序消息.该框架能提高应用程序开发效率,使程序更灵活和易于扩展.     

平战兼容 扎实做好石油基地整体综合防护工作

石油是国家战略资源,石油基地是国家重点经济目标,其安全直接关系国计民生和战争保障。纵观近期几场局部战争,空袭反空袭成为主要作战样式,石油基地成为空袭的重点经济与战略目标。     

系统能力集成与开发的SCFP模型

基于能力的装备系统规划使装备系统的发展更好地适应未来战争.阐明了系统能力集成与开发的相关概念;在提出系统能力-功能-性能(SCFP)模型的基础上,研究了基于SCFP模型进行系统能力集成与开发的方法,该方法的核心是研究系统CFP各层次之间的映射关系;给出了系统能力集成与开发的一般过程,并以侦查卫星应用系统示例,简要说明了基于SCFP模型进行系统能力集成的实现过程.