数字逻辑电路的描述及模块化综合方法

随着电子设计自动化技术的进步 ,大多数现代数字电路或系统的设计工程都离不开计算机辅助设计(CAD)工具的帮助 ,尤其是出现了高级语言描述、系统仿真和综合技术为特征的第三代EDA技术。因此掌握好数字逻辑电路或系统的描述 (建模 )方法和综合步骤是至关重要的。介绍了高级描述语言VHDL的行为描述和结构描述的若干种模型 ,并通过一个设计实例阐述了数字逻辑电路的设计循环从定义到实现的综合过程     

高层建筑火灾风险评估的指标体系设计

针对高层建筑火灾危险的特点， 通过对火灾场景的设定，从消防对策的角度对火灾进行了阶段划分，并针对每个阶段运用了事故树和事件树的方法进行了事故分析，找出了影响火灾发展和蔓延的相关因素，建立了多层次的高层建筑火灾危险评价的指标体系。该指标体系能为建筑物安全管理提供科学依据，也能为高层建筑火灾风险评估奠定基础。     

在数字电路实验与设计中引入EDA的必要性

阐述了电子谴计自动化EDA组成，从几方面说明将EDA技术引入到数字电路实验的必要性和如何用EDA做数字电路实验和设计。     

虚拟样机多学科设计优化问题建模研究

针对虚拟样机多学科设计优化框架对多学科问题描述的需求,对多学科设计优化问题的建模方法进行研究,提出用XML语言对多学科优化问题模型进行描述。通过分析多学科设计优化问题模型特点,得出多学科设计优化问题模型及其子模型的形式化描述,并给出其中一个主要模型的XMLSchema描述规范。开发了通用多学科设计优化问题建模工具,用于基于Web的虚拟样机多学科设计优化框架中的求解问题模型的输入,并给出某型导弹多学科设计优化问题的建模实例。实践表明建模方法和建模工具方便可行。     

奥斯丁小说的反讽艺术辨析

反讽是英国女作家奥斯丁作品中随处可见的艺术手段。言辞反讽、场景反讽、深层反讽是其小说中经常运用的反讽类型，也是其领悟世界、把握棘手交学现象的独特方式。     

MPEG-7压缩算法在校园网中的应用

MPEG_7标准定位于提供一组广泛的音频视频描述工具 ,来创造描述信息。这些信息意味着优秀的存储方案、高效的内容识别、快速、智能、精确并个性化的过滤、搜寻和检索。在分析MPEG_7标准的基础上 ,对其在校园网的应用上做了进一步的探索     

战略模拟想定生成系统框架

军事想定设计是一项有很强创造性和艺术性的工作，同时又非常烦琐费时。利用计算机技术，采用规范化、结构化的方法进行想定设计并完成模拟系统运行前资源准备，对于提高模拟系统应用效率具有非常重要的意义。模拟想定继续保留想定的传统含义，又增添了模拟系统运行前准备任务，如完成系统配置、数据准备、模型准备等。本文就战略模拟系统的应用需求，提出了想定生成系统的框架。     

报警融合及关联分析技术研究

网络中各种IDS在运行过程中会产生大量独立的、原始的报警信息,这些报警信息除了具有海量的特点外,还有比较高的误报率和漏报率,导致用户难于对攻击及时做出响应.利用报警融合和关联分析技术是能解决此问题的基本手段.本文对IDS报警融合和关联技术进行了介绍,并指出了需要进一步研究的问题.     

OWL-S服务操作语义的Petri网描述新方法

提出对基于OWL-S描述的语义Web服务操作语义的Petri网描述新方法。选择动态描述逻辑的动作理论作为语义Web服务描述的逻辑基础,一个OWL-S原子进程可以作为一个动态描述逻辑动作进行描述,实现了对OWL-S原子进程的动态执行和相关执行条件静态逻辑推理的有机结合,进一步通过将Petri网与动态描述逻辑的动作理论结合,得到OWL-S进程（尤其复合进程）操作语义的Petri网描述,为组合语义Web服务的自动组合和动态性质分析提供了更为有效的逻辑依据和方法。