基于Web服务的网络软件运行平台研究与实现

Web服务运行平台是一组软件的集合,它们通过标准协议或规范进行交互,形成一个面向Web服务及其应用部署、运行、监控和管理的系统环境.平台设计依据分层处理原则,采用核心运行环境、动态服务部署和插件式资源管理的系统结构进行实现.平台通过信息门户、工作流处理、系统服务、运行管理和安全控制机制为基于Web服务的互联网软件提供了一类应用支撑框架.      

组合Web服务建模工具的设计与实现

通过分析IBM提出的Web服务流程描述语言(WSFL),设计并实现了一个基于WSFL的组合Web服务建模工具(CWSMT).该工具还可与Web服务运行环境相结合,将图形化的建模结果转换为可部署、可运行的组合Web服务,实现组合Web服务的建模、部署与运行监控过程的一体化.      

面向航天型号软件的混成建模语言研究

随着我国航天事业的快速发展，软件在航天器中的作用和地位越来越突出，航天软件逐渐成为航天型号任务成败的关键之一.航天型号软件普遍具有实时性高、可靠性要求高、运行环境复杂以及航天器结构复杂、资源受限等特点，这给航天型号软件的描述、设计、分析和实现带来了巨大的挑战.嵌入式周期控制系统语言(SPARDL)仅关注了离散时间的动力系统，为了描述物理世界的连续行为，希望发展一种面向航天型号软件建模特征的混成描述语言(HSPARDL)，使其能够统一地描述其运行的物理过程与软件的控制行为，以及它们之间的协同交互机制，同时，为其提供严格的形式语义模型确保嵌入式软件设计的正确性和可靠性，最终为航天型号软件的设计和实现提供坚实的理论基础和方法支撑.     

UNIX下报表技术研究及报表工具开发

提出并讨论了UNIX下报表工具需要解决的三个核心问题:报表数据,报表格式和报表输出。构造了一个报表工具模型。在该模型中,引入了报表数据定义语言和报表格式描述语言,用相应的解释器解释它们。最后,以文中的报表工具模型为基础,实现了一个UNIX下的报表工具。     

利用硬件描述语言Verilog HDL实现对数字电路的设计和仿真

利用新型的硬件描述语言Verilog HDL对数字式静电陀螺仪的信号脉冲宽度检测电路进行了设计和仿真研究，并在程序设计的计数过程中，研究了一种新的方法，可使计数和脉宽的检测精度 提高一倍，为以后电路的改进提高和集成提供了一种良好的解决方案。     

基于3DES算法的SRAM工艺FPGA加密设计

本文提出了一种基于3DES算法的SRAM工艺FPGA加密设计方法,并详细描述了3DES加密算法的模型以及其硬件设计过程,最后给出3DES加密算法的硬件实现仿真时序图以及在FPGA中的实现结果.     

用VHDL硬件描述语言设计波形发生器

论述了FPGA（现场可编程门阵列）与DAC（数模转换）的联合设计，介绍了利用VHDL硬件描述语言完成波形发生的设计方法。     

基于FPGA实现遥测数据解扰分接的设计

为满足高码速率数据流的分接要求，提出了一种由现场可编程逻辑阵列（FPGA）实现遥测数据解扰分接的设计方案。该方案用-XILINX SpartanⅡ XC2S50芯片实现搜索帧同步、数据解扰和数据分接单元，用超高速集成电路硬件描述语言（VHDL）进行编程，可处理码速率768kb／s的数据流。因用单片FPGA实现。减小了电路体积。     

低功耗雷达信号处理器

在机载及天基雷达应用中，低功耗和易编程是实现实时系统的关键问题。本文介绍了一种适用于天基雷达应用的抗辐射处理器。该系统以最小的功率消耗实现实时性能。这是一种全可编程通用处理器，可以用于当前及未来雷达信号处理算法以及其它计算强度大的任务。除可编程外，这种处理器和I／／0设计易于构成成千上万的处理器规模。 系统基于可合成的超高速集成电路硬件语言（VHDL）并能由设计或由处理技术抗辐射。本文对处理器的设计进行了概述。而且，说明了适用于编程器的软件环境及软件工具。所有的软件工具都是公开资源，并且多数都是免费（GNU）工具。 本文介绍了诸如快速傅里叶变换、矩阵求逆的Q／RHouseholder编制计算程序一类关键程序的某些性能。并且介绍了一种包括联合域定位（JDL）空时自适应处理（STAP）算法的采样雷达应用。     

基于AIDL的气象模型4D航迹预测

随着飞行流量的增加,提高空域利用率及安全性需要更精准的预测航迹作为飞行管理的参考依据。基于地空实时信息交换技术AIDL,将影响航迹预测精度的不确定性因素气象模型考虑在内,提出改进模型,并建立相应的4D航迹预测算法,运用AIDL语言实现多类势态信息、多用户有效分享、空地、空空、地地的协同决策。通过仿真计算及建立交互模型,考虑实际气象条件的飞行轨迹,将AIDL运用到实时交互通信中,对于提高轨迹预测的精度以及提高空域利用率具有实际应用价值。