基于时序逻辑的仿真系统行为验证方法

仿真系统行为可信性评估是一项复杂的任务，需要综合利用多种方法、从多个角度对仿真系统的行为进行验证。针对仿真系统行为验证既需要具有客观性又需要考虑领域专家宝贵经验的需求，借鉴形式化验证技术的思想，提出基于时序逻辑的仿真系统行为验证方法。该方法首先根据真实系统和实测数据，结合专家经验，对所关注的仿真系统行为属性进行提取；其次，利用时序逻辑语言对提取的待验证属性进行形式化描述；然后，运行仿真系统并获得相应的输出数据，利用验证算法自动检验仿真数据是否满足给定的属性，从而实现行为验证；基于对武器装备体系对抗仿真领域的验证属性分析，选取度量区间时序逻辑作为属性的形式化描述语言；最后，通过一个防空对抗仿真系统的验证示例，表明了该方法的有效性。     

基于CDMA 1x的远程数据采集系统

设计了一种基于CDMA 1x的远程数据采集系统。系统中使用DTU作为无线数据采集终端；使用Java对基于B／S架构的应用软件进行了设计；对系统进行的综合分析与评估表明，该系统可满足环境监测中数据采集的需要。     

无人机飞控系统中的多串口通讯设计

基于PC／104的某无人机飞控系统，需要多个串口同时通讯。本文介绍了该系统的多串口通讯设计，重点讨论了其中的关键技术及解决途径；同时，对该系统中如何提高串口通讯可靠性和效能进行了说明。     

数字电视网络前端监视系统的开发

针对目前数字电视监控系统的匮乏及其自动化管理的需要，按照MPEG-2及欧洲DVB（Digital Video Broadcasting）的标准，采用模块化和复用的方法，设计并实现了一套视频监控系统。在该系统开发过程中，提出一种解析描述子的相对优化的算法；提出将输入接口、通道、可复用的过滤器和高效队列缓存区结合起来，开发了一种能有效地接收和分发数字业务平台传输流的接收器，该系统不仅能实现MPEG-2流的分析、DVBSI的分析、PES流的播放等功能，而且还能对数字电视各节目的码流量和相关记录值进行统计，有助于数字电视实现自动化管理。     

旋转阳极X光管的排气技术

本文研究了旋转阳极Ｘ射线管的排气工艺和阳极电子轰击的排气机理；提出了恒功率控制规律；研制开发了高真空排气过程微机实时控制系统，并对该系统的硬件构成和软件开发作了介绍。     

无人驾驶飞机的GPS导航系统

本文介绍了目前无人驾驶飞机（无人机）的几种定位和导航方法，提出了一种新的无人机导航系统：ＧＰＳ导航系统；论述了该系统的总体方案，分析了其关键技术；设计并实现了系统的硬件和软件。该系统可自主导航，也可用遥控系统辅助导航，还可用遥测系统监测；可只用ＧＰＳ单机，也可借用遥控信道进行ＧＰＳ差分。这是一种应用前景很好的无人机导航系统。     

基于物联网的智能分布式直流操作电源系统

为了适应信息化建设和智能电网的需要，文中详细介绍了一种基于GPRS的智能分布式直流操作电源系统。在阐述了该电源系统的总体结构和功能基础之上，重点论述了该电源系统主要模块的技术实现方法和特点；最后，介绍了系统远程监控软件开发组成和主要功能实现。该电源系统能有效降低成本、提高维护效率、降低供电风险，具有很好的社会经济效益。     

基于DSP技术的两种陆基无线电导航系统机载设备的改装

为了更好的评估陆基无线电导航系统机载设备的性能，提出了应用DSP技术改装部分飞行检测系统的观点．在飞行检验陆基无线电导航设备的过程中，传统的飞行检测系统均是用模拟电路来实现的，但受温度和湿度变化及飞行抖动的影响容易产生测量误差，为了补偿这些误差就需要在飞行过程中进行定标．而基于DSP技术的飞行检测系统将不需要这一繁琐的过程．该系统最为关键的模拟处理设备就是一个模，数（A／D）转换器．该系统两种特别的用途：（1）ILS航道偏移量的测定；（2）VOR系统方位角的测定．此外，应用DSP技术改装的飞行检测系统还比较经济适用．     

基于服务器-客户端的数据库系统的数据混合加密

数据库系统安全是构建信息管理系统的关键；在公钥密码系统的基础上，利用混沌映射产生的密码流对基于C／S结构的数据库数据进行加密，实现了每一个需要加密的记录对应一个密码的功能，极大地提高了数据库系统的可靠性；算法已实现，实践和理论分析表明，该算法具有很好的安全实用性。     

光斑质量评价在路基沉降监测系统中的应用

相机链式路基沉降监测系统通过图像式测量的方法可以实现高精度、非接触的铁路路基沉降监测。图像式测量的精密性和灵敏性对准确快速评估系统性能提出了要求，需要变定期维护为动态维护，提出了利用光斑图像质量反映系统性能的策略。引入了边缘清晰度、相对亮度、图像信息熵、光线垂直程度4个参数用以评估光斑质量，应用层次分析法和熵权法确定上述参数所占权重，构建了光斑质量综合评价模型，完成了模拟实验和现场实验。模拟实验结果表明，该模型能很好地跟踪光斑图像质量分数变化，具有较好的灵敏性；现场实验结果表明，该模型评价光斑质量结果准确，分析得出设置质量分数阈值为0.95，定位误差小于1 mm（沉降测量规范中允许误差范围）。当光斑图像质量分数持续未达到阈值且超过静置时间时，系统需要维护，实现了系统状态实时监测以及动态维护功能。     

业务识别与控制技术及其测试评估

在传统Intemet网络逐步向多业务网络演进的过程中,监管者、运营商以及最终用户都对网络的可管可控能力提出了差异化的要求,业务识别与控制技术应运而生.作为IP领域的一项热点技术,该技术得到了广泛的关注并取得了迅猛的发展.在考虑来自不同主体需求的基础上,介绍了业务识别与控制技术.此外,还结合技术发展以及网络部署等要求,着重分析了该技术的测试评估方法及测试内容.     

Engineering education and industrial research and development-thepromise and the reality

The author observes that the social fabric of engineering, the support infrastructure of the profession, and the political and economic systems of the world are undergoing shifts that affect what engineering is, how it is accomplished, and what it should do. He asks what these changes mean in terms of the educational system and explores a few of these issues that lie between academia and the industrial environment beyond. He discusses the engineering curriculum as seen from industry, the role of continuing education, research in academia     

"电路原理"与"信号与系统"课程的整合与优化

科学技术迅速发展,新兴学料不断增加,知识总量不断增长,迫使本科教育不断向着基础化方向发展,基础课程教学在本科教育中的地位愈来愈高。计算机技术的广泛应用,离散信号与系统的基础知识已是电气类各专业的必要的教学内容。因此基础课程要从根本上整体优化课程结构。本文提出了电气类专业“电路原理”与“信号与系统”课程教学改革方案,将两门课程教学内容进行整合与优化,并在实际教学过程中进行了教学试验,缩短了教学时间,提高了教学质量。     

箔条和箔片的性能特性及其应用和趋势

从箔条和箔片用于干扰雷达测和扰乱、迷惑、转移或者引诱进攻出发,详细论述箔条、箔条云及箔片、箔片云的雷达散射截面、带度、平移速度、下降速度及转动等情况,空间和时间我、水平和垂直极化性能、多普勒频移效应以及频谱展宽特性等,通过箔条和箔片有效成火控雷达实例,提出对抗火控雷达的三个重要因素及其采取的对策。     

Thin film deposition and microelectronic and optoelectronic devicefabrication and characterization in monocrystalline alpha and betasilicon carbide

The deposition of silicon carbide thin films and the associated technologies of impurity incorporation, etching, surface chemistry, and electrical contacts for fabrication of solid-state devices capable of operation at temperatures to 925 K are addressed. The results of several research programs in the United States, Japan and the Soviet Union, and the remaining challenges related to the development of silicon carbide for microelectronics are presented and discussed. It is concluded that the combination of α-SiC on α-SiC appears especially viable for device fabrication. In addition, considerable progress in the understanding of the surface science, ohmic and Schottky contacts, and dry etching have recently been made. The combination of these advances has allowed continual improvement in Schottky diode p-n junction, MESFET, MOSFET, HBT, and LED devices     

Issues and trends in RF and mixed signal integration and partitioning

Over the last 40 years in the semiconductor industry, one of the most reliable truths has been that "thepath forward is through integration." Moore's law and its various derivatives and cousins have illustrated how greater integration has provided tremendous benefits in cost, power, size, and performance. While shrinking process lithography has been a critical enabler of this trend, we should remember that tremendous innovation in device technology, circuits, system architecture, computer aided design (CAD), packaging, and many other areas have been necessary as well. The exponential integration phenomenon has not been limited to memory and microprocessors: mixed signal and radio functions have also seen striking advances in integration over the last 20 years, from cell phones to wireless LANs, integrated "systemon-a-chip" (SOC) transceivers have become prevalent in the circuits conferences, journals, and - in some applications - have even made it into commercial mainstream products.     

日本广播电视天线及其相关技术的发展与探讨

在日本电视广播的发展过程中,电视信号技术、电视节目转播技术、发射机技术以及天线技术等发挥了不可替代的作用。这些技术在长达60多年的模拟电视广播中被大量的开发、使用,尤其是射频相关技术为日后地面数字电视广播的发展提供了重要参考。主要介绍了日本电视广播中该相关技术的发展,并进行了讨论。     

光交叉连接和光插分复用技术及其应用

目前所谓的全光网络一般指基于DWDM传送技术的光传送网络（OTN）。由于OTN的节点采用OADM和OXC技术,为解决目前点到点的DWDM技术在应用中不能实现灵活组网和当网络失效时不能有效进行保护的问题提供了一种解决方法,使得OTN具有传输容量大、组网灵活、网络具有可扩展性和可重构性、易于升级等特点,可透明传输具有代码格式的不同速率等级的用户数字信号,能够同时适应用户信号种类用服务种类不断增长的需求。     

Wireless and cellular architecture and services

Cellular architecture partitioning can improve the performance of telecommunications systems. The model proposed by the author allows for changing the cell size for different services and the number of users. The cell size that will ensure the best possible performance and quality of service can be derived by the model. The main task of a telecommunication system is call processing. This includes identifying incoming calls, establishing a communication path for the duration of the connection, and disconnecting the call after the conversation has ended. Call processing uses different components of the software architecture and involves processes and messages performing different functions and accessing various resources. In addition, the system requires administration and maintenance that also involves processes using different resources