基于Eclipse插件技缩的代码分析系统

以航天应用软件开发环境为背景，基于Eclipse插件技术和开发应用平台实现代码分析系统（Code Analyzing System，CAS），介绍系统的设计思想和实现细节，并给出应用实例和效果评估．     

方程诊断算法在Malek故障模型中的应用

采用方程模式来描述Malek故障模型，把求该模型全体相容故障模式的问题转换为求方程组的解集，并通过实例讲解如何求解方程组的解集和以此得到Malek模型的诊断结果，为系统研究这类模型的方程诊断算法提供了典型示范和奠定了理论基础。     

一个可证明安全的代理签名方案

代理签名是一方将自己签名的能力授权给另一方，是一种很重要的密码协议，目前已知的可证明安全的代理签名还很少。该文利用间隙Diffie-Hellman(GDH)群的特点构造了一个新的代理签名方案，新方案在随机预言模型下是可证明安全的。     

面向中小企业的PLM解决方案--CAXA CAD/CAM一体化解决方案

适合中小企业的CAXA CAD/CAM一体化解决方案具有实施快、见效快、可实用、可扩充等特点.中小企业有其特质,希望投入快、实施快、见效快,还要实用并且可以随时补充的解决方案.     

机群更换部件使用保障过程仿真

研究费用与机群完好率之间的关系一直是备件保障研究的中心问题，此问题最终归结于研究备件库存种类与数量对机群完好率的影响。该文通过研究飞机可更换部件的使用与保障过程，建立其使用保障过程模型，并通过仿真模拟可更换部件的消耗过程。目的在于寻求可更换部件缺航材率与机群完好率指标之间的关系，为机群在未来一段时间内备件的库存水平决策提供支持。最后通过一个实例介绍如何通过仿真建立机群完好率与部件缺航材率的函数关系。     

动态可重构环境下循环计算的位宽优化

动态可重构技术允许根据计算的运行时情况对硬件处理单元进行重构，使其位宽适合计算的需要。而且，对代表计算密集型任务的循环计算进行位宽的动态优化可达到提高处理性能，减少所消耗的芯片资源和功耗的目的。本文构造了一个处理框架对循环计算的位宽进行动态的优化，包括对循环计算的位宽变化情况进行理论和运行时的分析，以及构造1个位宽管理算法选择重构的时机和对配置文件进行调度。通过对实验结果的分析，证明了我们的方案具有较好的性能。     

基于FPGA的动态可重构体系结构研究

提出了一种基于FPGA的动态可重构系统的设计方案。该系统以协处理器的形式与LEON2通用处理器构成主/协处理器结构，并通过寄存器与网络来保存和传递数据流和配置流，实现了二者的优势互补。以具体实验对该方案进行了验证。     

基于CAM的雷达信号实时预分选硬件实现

CAM(内容可寻址存储器)是一种快速匹配存储器件,在通信、雷达等许多领域有着广泛的应用。在介绍CAM基本原理的基础上,例举了一种基于CAM实现关联比较器的设计方法,通过仿真验证了设计的正确性,基本上实现了雷达信号的纯硬件快速预分选,达到了实时性和可靠性要求。     

在包装行业发展循环经济中包装联合会的地位与作用

发展循环经济要落实到行业，促进包装行业发展循环经济，要以包装企业为主体，政府调控、市扬引导、公众参与相结合。拥有多方面资源的中国包装联合会理所当然是很重要的主导力量，在包装工业发展循环经济中的地位无可替代。为此，必须更进一步提高“中包联”和各省、市“包联”的地住，充分发挥“包联”在包装行业发展循环经济中的主导作用。     

创新设计中的物元的知识表示方法

进行计算机辅助创新设计时,数据库中隐含知识的寻找十分重要。传统的知识表示仅能够研究常规逻辑推理方法,这使一般创新设计支持系统的知识库通常成为存储推理规则等规则性知识的狭义知识库。通过建立一个菜谱的原型系统,对不同知识表示对创新设计的影响的比较,说明了基于可拓学的物元表示方法在创新设计的过程中优于传统的知识表示方法。