MIMD上三层格式的窗口并行迭代方法

本文对一般的三层格式给出了在MIMD 机上实现的窗口并行迭代方法,给出了WBJ 格式,分析了三层格式的收敛性。文章的结论表明窗口并行迭代法的收敛性与窗口大小无关,窗口大小影响每台处理机的使用效率。     

基于本体的受限领域文本信息提取方法

针对指挥信息化模拟训练系统中自由格式报文转换问题,根据仿真驱动信息的需求,讨论了对自由格式报文进行信息提取的实现方法。在受限领域（军事领域）中引入本体概念,构建了领域本体模型及语法规则,提出了基于本体的信息提取方法,采用可扩展标记语言（eXtensible Markup Language,XML）和VC＋＋．NET技术相结合,实现对文书的信息提取,为进一步的数据转换和应用奠定了基础。     

常微分方程的割线迭代格式

在常微分方程的数值解法中，Euler的隐式格式稳定性较好，但由于它为隐式，因而给计算带来了极大地不方便。为了解决此问题，本文给出了一种数值解法——常微分方程的割线迭代格式。     

改进的Euler方法应用于非线性方程求根

本文通过引入动力系统，将改进的Euler方法应用于非线性方程求根问题，给出非线性方程求根的预估-再校正迭代格式，证明了该格式至少二阶收敛并可以调节参数达到超收敛。最后给出数值实验，数值结果验证了算法的有效性。     

“又＋动1＋又＋动2”格式之考察

本文对收集到的＂又＋动1＋又＋动2＂格式的语料进行了定量、定性分析,从它的构成形式、语义特点、位序特点、语法功能四个方面概括了这一格式的特点,并比较分析了这一格式与＂又＋形1＋又＋形2＂格式的相同点和不同点,以及与其它并列格式的区别。以期对＂又A又B＂格式的特点有个更全面、准确地把握。     

入侵检测系统通用特征库的研究

针对网络攻击特征库是各个网络安全系统不可或缺的重点模块，提出依据各种应用的需求，研究开发一个通用、高效的网络攻击特征库系统。并采用了当前使用的最普遍的snort规则格式，为实现网络入侵检测通用特征库进行了有益的探索。     

基于程序切片的电路提取技术

从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其"链接切片"。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。     

2-一致光滑Banach空间中k-严格伪压缩半群公共不动点的隐格式迭代算法

对于Banach空间中女一严格伪压缩半群的公共不动点给出了隐格式迭代算法,证明了一个强收敛定理,推广并扩展了相关结论。     

椭圆型方程 Chebyshev 拟谱区域分解格式的等价形式

本文对一维、二维椭圆型方程建立了Ｃｈｅｂｙｓｈｅｖ拟谱区域分解格式,对这种拟谱区域分解格式给出了一种等价的广义变分形式。     

院校级网络教学中资源库的设计与实现

针对军队院校网络资源库建设的实际需要，设计并实现一个功能强大的网络资源库管理系统。该系统基于多层数据库和网络数据库设计，实现了对多种格式资源的整合、对资源的远程管理和自动生成课件等功能。该系统在基础部和军网上独立运行良好，并将与后勤工程学院远程教育系统集成。     

一个报表生成器的原理与实现

本文介绍了一个基于数据库文件的报表生成器的原理与实现,该生成器具有两种制表机制,它不但能快速简单地生成二维格式通用报表,而且能生成任意格式报表、空表、固定表等,从而为用户提供了一个简便、实用、高效的制表软件开发工具.本生成器采用TURBO C语言在长城系列微机上实现,生成DBASEIII报表打印源程度。     

装备互用性及其度量研究

在论述装备互用性是信息化条件下的一个重要关键特性的基础上，给出装备互用性概念和能力概念模型，研究了互用性的度量方法，给出了互用实现度和新的连通性度量指标，以期为我军装备信息化建设提供可借鉴的依据。     

表示结构化知识的神经网络模型

研究和设计了一种高度结构化的神经网络模型ＨＳＮＮ,它能方便地对结构化知识进行表示和处理。文中给出了ＨＳＮＮ的设计过程,并讨论了ＨＳＮＮ在继承、非单调推理和信息检索等方面的应用     

装备保障模拟推演想定子系统设计与实现

围绕空军主战装备作战飞机的保障任务机上推演问题,对空军装备保障模拟推演想定子系统设计与实现的方法与过程进行讨论,对系统设计与实现所涉及到的军事地理系统、推演想定实体、保障任务、保障过程、推演想定模型、需求测算、软件实现等进行了阐述.同时给出了xml格式的保障过程、保障任务的模拟推演想定文件描述方法.     

常微分方程的不动点迭代格式

在常微分方程的数值解法中,Euler的隐式格式稳定性较好,但由于它为隐式,因而给计算带来了极大地不方便。为了解决此问题,本文给出了一种数值解法———常微分方程的不动点迭代格式。     

激波灭火技术的初步研究

讨论了激波灭火技术的基本原理， 给出可行的研究路线。采用新型的计算效率较高的ＥＮＯ差分格式， 从非定常ＥＵＬＥＲ方程出发， 对近地爆炸波产生的流场进行数值模拟， 分析后认为控制爆炸波后风场是关键。     

综合环网通信协议的研究

本文根据LAN(局域网络)的现状和发展趋势的讨论,指出光纤环网是未来综合业务局网的优选网络,提出了适合于ISRN(综合业务环网)中综合业务交换的帧结构,给出了ISRN中的通信协议的分层描述,提出了实现边界移动的方法,实现了以信令格式和边界可动策略为基础的信令处理软件。     

语用意识增强式任务模式在语法教学中的应用

本文以澳大利亚英语语法课堂教学为例，介绍了“语用意识增强式任务模式”在外语语法教学中的应用。该模式强调以语言形式为基点，结合语用机制、语境知识和百科知识，通过语言理解与输出，提高学习者对语言形式的注意程度，增强语法的语用意识功能。这一模式为探讨外语语法教学有效途径提供启示。     

树网结构上一种新的矩阵迭代求逆并行算法

运用树网结构可以完成矩阵的并行快速求逆,其中迭代法是一种非常重要的方法。本文给出了一种新的迭代格式,对任意非奇异矩阵Ａ,运用新的迭代格式对Ａ求逆相对于经典牛顿迭代法,在同样精度要求下,时间可减少一半。     

EHW实现过程中VHDL程序自动生成研究

论述了在基于FPGA的EHW内进化实验中特定格式的染色体编码表示和相应的VHDL程序自动生成的基本概念，制定了具体规则和方法，奠定了硬件进化及评估过程实现全自动运行的基础，并对自动生成的结果予以实际验证。该方法能在使用不同的FPGA芯片作为演化载体时，避免对不同的数据流进行格式分析，以便在通用的EDA环境中，直接实现以二进制数串表示的染色体自动处理和相关配置文件的形成。按此方式可在很大程度上摆脱对某些固定类型FPGA芯片的依赖，有助于建立方便、实用的EHW环境。