用专家系统方法自动定井位.

本文描述了一个用于油气藏自动定井位的专家系统WELODE-1首先我们给出了系统的设计原理、目标和结构.然后衬构成整个系统的各子系统作了较为详细的探讨。特别是对作者提出的预期框架(Predicted Frame)知识表示方法进行了详细的论述.最后给出了初步的结果及系统的发展方向.     

软件能力成熟度模型及其应用

本文首先分析了软件开发过程中存在的问题,然后介绍了软件能力成熟度模型CMM(Capability Maturity Model),定义了CMM中有关概念,分析了CMM结构及每个成熟度等级,最后讨论了CMM的应用．     

基于整车的汽车半主动悬架系统模糊控制仿真研究

建立了七个自由度的整车悬架系统的数学模型。设计了汽车半主动悬架系统模糊控制器。通过应用M atlab/S imu-link仿真软件包对比仿真,结果表明模糊控制磁流变半主动悬架系统的控制效果明显优于被动悬架系统。为磁流变半主动悬架在汽车上的应用提供了参考。     

基于实际电网的电压/无功控制策略研究

针对某省2002年实际背景电网,提出了在合理配置无功功率补偿容量前提下,基于变比及补偿容量调节对母线电压变化灵敏度的大小安排变比和补偿容量调整顺序和调整量的电压／无功控制策略、仿真分析表明,基于该策略制定的调整方案电压调整范围大,调压效果显著;满足同样调压要求所需的变比和补偿设备调整次数少、调整量小,不仅能提高电压合格率和系统电压稳定性,而且能显著降低系统网损,提高运行经济性、本文所提出的电压／无功控制策略,对于合理解决现代复杂电网的电压一无功综合协调控制具有较大的理论及实际意义,对于制定电力系统自动电压控制(AVC)方案具有普遍借鉴意义。     

一种语义Web服务开发框架整合与应用

针对当前语义Web服务应用的需要,设计实现一种以开源软件为基础的语义Web服务开发框架,主要是采用Spring、CXF、WSDL2OWL—S和EXT JS开源软件来整合完成该框架。因此,从分析这些开源软件技术、整合的关键代码和具体的应用案例三个方面来具体地分析该框架的设计、实现和应用,从而为语义Web服务开发者提供一个快速开发框架和方法。     

基于GPP平台的LTE上行信道估计高效实现

处理的实时性是基于GPP(general purpose processor)平台的LTE基站系统的关键指标。在上行信道估计环节,往往需要维纳插值来获得良好性能;但其过高的计算复杂度使信道估计成为上行物理信道实时性处理的计算瓶颈,需要结合GPP特点进行算法实现的优化。通过引入部分线性插值和预存维纳插值系数的方式,显著降低维纳插值的运算复杂度。再使用SSE指令集和"流水线"处理的优化,在保持性能基本不变的情况下,在单核处理器上处理100个物理资源块的上行信道估计仅需6.36μs,为优化前的1.5%,使得高性能上行信道估计不再成为GPP软件无线电实时处理的瓶颈。     

软件无线电技术及其在军事领域的应用

软件无线电是一种用高速数字信号处理器上的软件设计取代专用硬件电路模块的无线通信系统,具有灵活多模可重配置易升级等优点。本文首先阐述了软件无线电的概念、特点和体系结构,并依托未来数字化战场的变革,探讨了软件无线电技术在军事领域的广阔应用前景。最后基于清华大学软件无线电统一平台进行了波形开发,实现了可重构卫星通信平台上的一种通信体制。     

基于CATIA的注塑模具标准件库系统开发及应用

应用Visual Basic开发语言在CATIA软件平台进行注塑模具的二次开发,创建了注塑模具设计标准件模块,并以一套注塑模具为例进行了验证,对比后表明应用此开发模块比普通设计节省时间,减轻了绘图工作量.     

装药设计软件的设计与实现

为了配合国营某厂在固体推进剂研制和应用基础技术设计理论方面的提高,对火箭发动机内弹道进行预估仿真计算,应用相关软件技术和基础理论,开发设计了火箭发动机装药设计软件,可利用推进剂的性能参数,进行火箭内弹道的仿真模拟,同时可进行药型设计,预估P-t曲线、预估R-t曲线、计算内弹道参数及点火药量等,为内弹道测试服务,进一步提高了固体推进剂技术的研发水平。     

关于形式化方法与软件可靠性的研究

形式化方法是一种基于数学的表示方法.它的意义在于它能帮助发现其它方法不容易发现的系统描述的不一致,不明确或不完整,有助于增加软件开发人员对系统的理解,因此形式化表示方法是提高软件系统,特别是Safety-Critical系统的安全性与可靠性的重要手段.