电子技术电路的EWB仿真研究与分析

电路设计与测试虚拟化是基于某些专门的仿真软件完成的，是电路测试概念与手段的变革。使用EDA（电子设计自动化）技术设计电子电路已经成为时代潮流，EWB软件是目前各种电子电路辅助分析与设计软件中最优秀的软件之一，该EWB（电子工作台）具有界面友好、操作简便、实用性强等优点，具有模拟和数字电路的设计、分析、仿真能力。本文介绍了一种基于EWB软件设计电路的新方法，及电路仿真软件EWB在电子技术中的方法与技巧。通过设计实例，说明了该软件是人们设计电子电路的有效工具。     

Monitoring of structures or mechanical components by an acoustoultrasonic signature technique

This paper describes a methodology for adapting the acoustoultrasonic technique for use in monitoring structures or mechanical components. As a practical example, the adaptation of the technique for monitoring fatigue tests on front suspension arms is considered. From this particular example, it will be shown that the procedure is suitable for application to more general cases. The results of a number of fatigue tests carried out at the Fiat Research Center on a typical component test rig are also presented.     

嵌入式实时操作系统VxWorks在惯性导航系统中的应用

详细介绍了嵌入式实时操作系统VxWorks的性能特点，叙述了基于VxWorks操作系统的开发过程和在导航接口机中的应用实例，提出了现行惯导系统软件从汇编语言到OS，高级语言的必要性和可能性，从而在提升软件的可维护性，可测试性和可靠性的同时，充分的发挥导航计算机的性能，以适应日益复杂的导航计算要求。     

电子探针定性分析软件的研究与开发

针对日本岛津公司EMX－SM7型电子探针定性分析系统进行了方法研究，并用Visual C^ 语言，在Windows操作平台上，设计了定性分析软件，采用边采集数据，边识别谱线的方法，实现了对样品的快速准确定性分析，同时可以显示元素特性X射线谱线，并增加了样品线分析功能。     

基于TMS320C5420的2FSK设计与实现

基于DSP的软件无线电技术在通信领域得到了广泛的应用。我们使用TI公司的TMS320C5420 DSP芯片成功设计了一种兼容2FSK，DPSK，QAM等多种调制解调方式的JH5001通信原理实验系统，在系统硬件不变的情况下只要修改DSP的软件处理部分就能实现无线参数的改变和增加新的功能。详细介绍了用DSP实现2FSK调制解调的算法，并就解调中所应用的数字滤波器做了具体分析。     

线性规划在最优火力分配辅助决策中的应用

采用层次分析法和线性规划法对坦克连冲击时目标价值和火力分配问题进行了分析.在理论分析的基础上,用C++Builder开发火力分配辅助决策软件,该软件以报告文件的形式显示目标价值结果,以报告文件或图形的方式显示火力分配结果.     

母线含非圆曲线的超声变幅杆精确加工的研究

介绍在普通数控车床上准确加工母线含非圆曲线的超声变幅杆的两种通用程序的编制方法及应用。方法一以等弦长划分待加工曲线决定节点,以平均曲率半径作为插补圆半径,以C语言编制出加工代码生成软件。方法二采用VB6编程,使用双圆弧法进行插补,伸缩步长法进行误差控制和决定节点,可设定并控制插补误差理论值,运行时生成的NC代码指令条数少,适应任何超声变幅杆的加工,界面友好易用。上述两程序在进行切削加工前,均可全程模拟加工过程。两软件经分别在GSK-928和G-CNC6135A(G)数控车床上应用,效果良好。而第一软件较完善。     

直序扩频通信中码元同步的快速捕获

讨论基于软件无线电技术的直序扩频通信码元捕获的快速算法。利用PN序列尖锐的自相关特性,通过中频接收信号与本地匹配滤波器的循环相关完成码元捕获,给出了循环相关的两种快速算法,并分析了正确捕获概率及平均捕获时间。特别适用于信噪比较低、对设备体积及功耗限制严格的通信系统中     

维也纳分析方法及其应用

介绍了软件开发方法中的一种形式化分析方法：Vienna Development Method(VDM)。阐述了形式化分析方法的特点，具体说明了维也纳分析方法规格说明的两种规范：模块化说明与非模块化说明，及程序证明性依据：基于函数与操作的形式化规格说明。然后通过一个应用实例来说明如何利用VDM技术进行软件开发，及利用函数与操作的形式化规格说明来证明程序是正确的。     

Web应用测试模型研究

本文基于模型驱动测试的思想，提出一种Web应用测试模型WANM（Web Application Navigation Model），用于支持测试用例的设计与自动执行．基于WANM设计的测试用例的描述参照U2TP（UML2．0 Testing Profile）标准，使得测试建模、测试用例生成以及测试执行既紧密联系又相互独立，有助于提高测试的充分性与效室．