Linux 2．6内存保护机制研究

基于Intel i386平台处理器和Linux 2.6内核源代码,从硬件内存保护和虚拟内存保护两个方面分析了最新的Linux内存保护机制,其中硬件内存保护机制包括段式映射阶段的访问控制、页式映射阶段的访问控制以及最新内存保护NX(No eXecute)技术,虚拟内存保护机制包括虚拟区间保护、虚拟区间加锁和Hole技术.最后进一步讨论了增强Linux内存保护的方案.     

Visual Prolog的DDE机制研究

对Visual Prolog的DDE机制进行了研究.首先介绍了动态数据交换技术及其工作原理,简明概括了Visual Prolog的功能、特点以及在专家系统、规划和其它AI相关问题求解方面的优势,其次阐述了Visual Prolog的DDE机制,列出了Visual Prolog中18个DDE谓词和13个DDE事件,分别介绍了作为客户机时,一个典型的请求从其他应用程序输入数据的Visual Prolog程序的关键步骤和作为服务器时,一个典型的响应其他应用程序请求数据的Visual Prolog程序的关键步骤.最后给出了一个Visual Prolog DDE机制应用的实例.     

基于S-粗集副集的群分裂与合并方法研究

针对目标编群中的动态特性,研究了基于S-粗集副集的群分裂和群合并方法.以空间群为对象,用一个双向奇异集合来描述一个空间群,用特征函数来刻画目标迁入迁出空间群的程度,在此基础上给出了目标分群与合群的具体步骤.通过具体实例,证实了所给方法的可行性和有效性.     

面向安全的内存管理子系统研究

以开发具有自主知识产权的军用安全OS为背景,基于最新版本Linux内核,分析并设计安全内存管理子系统.依据可信计算机系统评估标准,将安全OS的功能需求依次映射到内存管理子系统,初步提出安全内存管理子系统的四个功能:进程隔离、防止内存信息泄露、内存访问控制,虚拟内存保护;在分析Linux内存管理机制的基础上,采用安全增强法,从安全相关和硬件相关出发分解核心程序,提出安全增强型内存管理子系统的设计方案,并对各部分进行了分析和实现.     

基于差值修正的IFS到ZFS转换方法

针对直觉模糊集中倾向性对犹豫度取值的影响,提出一种基于差值修正的直觉模糊集到模糊集的转换方法.首先,以投票模型为例,分析了现有的转换方法,包括均值法、比例法和分段比例法,揭示了它们的局限性.其次,针对直觉模糊集与模糊集的特点,提出一种基于差值修正的转换方法,并对其建立了相应的几何表示.最后,通过实例分析,验证了方法的有效性.该方法与现有方法相比,更加符合人们的直觉,使直觉模糊集中具有倾向性的犹豫度赋值含义更加明确.     

装备软件重用技术

提高装备集成化水平是当前装备研究的热点问题.装备软件复用技术是提高装备软件生产效率,保障软件产品质量的重要手段.文中介绍了软件复用的优点、分类,重点论述了基于面向对象和基于构件的软件重用技术的主要特征及实现方式,给出基于构件的装备信息管理系统开发实例.     

预警机跑道形巡航探测效能研究

对预警机跑道形巡航时的探测效能问题进行了研究。基于SEA的基本原理,阐述了预警机跑道形巡航探测效能问题,给出了跑道形巡航想定和预警机在此作战环境和作战样式下的MOP集合,重点研究了MOP的系统映射模型,建立了在相对坐标系下分析预警机探测概率和平均覆盖时间的模型,指出了对MOP的使命映射研究方法,采用SEA方法对预警机跑道形巡航探测效能进行了分析。算例说明了模型的正确性。     

防空C ^4ISR系统效能评估软件的设计与实现

指挥自动化系统的效能评估是军事运筹学研究的一项重要内容.设计了基于改进ADC模型的防空C4ISR系统效能评估软件,介绍该软件系统的基本设计思想、主要模块结构设计及软件系统工作流程.该评估工具具有良好的通用性和扩展性,提高了C4ISR系统效能评估的智能化程度.     

范例推理在口腔创伤诊断系统中的应用

鉴于传统口腔创伤诊断专家系统在知识获取上存在的瓶颈问题,提出一种基于范例推理(CBR)的口腔创伤诊断系统.首先,针对传统口腔创伤诊断的思维推理过程,给出了口腔创伤诊断问题中各要素的系统化定义,建立系统的的概念模型.然后,具体讨论了口腔创伤诊断系统中范例库和结果库的建立,并将其用关系数据库的格式存储.最后,应用模糊集和灰色关联理论,给出了关联度的定义和计算方法,从而能够准确地检索到相似诊断范例,进而对口腔创伤诊断给出定性或定量的分析结果.     

一种基于S-粗集副集的目标编群方法

针对目标编群中的动态要求,提出了一种基于S-粗集副集的目标编群方法.以空间群为对象,用一个双向奇异集合来描述一个空间群,用特征函数来刻画目标迁入迁出群的程度,在此基础上给出了空间群中发现新目标的编群步骤.通过战场态势评估中的一个具体应用实例,证实了该方法的可行性和有效性.