可重定位的基于事务的系统级验证

功能验证已经成为开发SoC的主要问题。随着一些复杂SoC的规模超过两千万门，以及对开发和集成嵌入式软件的需求持续增加，软件模拟器已经力所不及。在设计过程需要几百万个时钟周期来充分测试和验证软件功能的情况下，软件仿真器的性能下降到1-5Hz。按照这种速率，软件调试需要几年的时     

气压传动与控制在电子专用设备上的应用

气压传动与控制已成为电子专用设备研制过程中一项不可缺少的内容 ,必须进行合理的气动系统设计及其控制 ,选择相应的气动元件以满足设备的功能要求。概述了气压传动与控制在电子专用设备上的应用。     

求解极限环的谱展开法

提出了一种求解自治非线性常微分方程周期解的方法－谱展开法，它直接把解形式上写成Ｆｏｕｒｉｅｒ级数，其频率和各谐波成份待定，而将原非线性微分方程问题变换成求解相应的非线性代数方程组，还以ａｖｎ ｄｅｒ Ｐｏｌ方程和神经元群平均场方程为例对该方法进行说明和讨论。     

贴装焊盘上的通孔回流焊接时漏锡的工艺解决方案

当前通信行业尤其是军工企业处于特殊的考虑，所设计的PCB贴装焊盘上存在通孔，造成回流焊接时锡膏融化后沿着孔流走，不能形成有效焊点，即使形成焊点也因为少锡致使焊点机械强度及电气性能下降。现在的补救措施就是花费大量的人工进行补焊，但人工补焊对单元板质量的危害是极其深远的，现有某公司实际案例情况说明如下：     

石灰石闪蒸改性及脱硫性能的试验研究

本文对3种不同产地的石灰石进行了闪蒸改性处理,对改性石灰石颗粒的孔径分布进行了测定,研究了压力、温度等参数对石灰石闪蒸改性的影响。并在气流反应器上对闪蒸后的样品进行了硫化试验。结果表明,在一定的压力和温度下,闪蒸处理能够增大石灰石颗粒的微孔孔径,并使石灰石样品的脱硫性能得到较大提高。     

支持下一代无线宽带应用自适应QoS模型的研究

作为真正完整的下一代网络 ( NGN,Next Generation Network)解决方案 ,NGN需要在固定通信领域和移动通信领域都能够支持综合多媒体特性。NGN中的新一代移动通信网承载在开放式、层次化结构的分组交换网络之上 ,能够为用户提供端到端的 Qo S解决方案。本文分析了下一代移动通信系统中多媒体宽带应用的 Qo S问题 ,从无线通信系统的多层次结构出发 ,建立了业务流的 Qo S指标评判体系 ,为下一代网络中的无线宽带应用提供了一种自适应Qo S控制模型     

重离子治疗计划系统的构想

对重离子柬治癌的优势进行简要的回顾，并着重介绍了用于重离子放射治疗的治疗计划系统。治疗计划系统是一套软件系统，不同的硬件设施应有与其相匹配的软件系统，即治疗计划系统。在此基础上，针对兰州重离子加速器的特点提出一些关于治疗计划系统方面的构想。After a brief review concerning the advantages of heavy ions in radiotherapy, more interests are concentrated on treatment planning system （TPS） for heavy ion radiotherapy. Compared to the hardware devices such as accelerator and beam delivery system, the TPS is a set of software system, and different therapy facilities require their corresponding TPSs. Based on the specialities of the Heavy Ion Research Facility in Lanzhou （HIIRFL）, some suggestions on the TPS for tumor therapy at HIRFL finally are given.     

红外警戒系统作战环境的计算机仿真

文中论述了红外警戒系统视景仿真研究的主要内容，给出了仿真软件流程。探讨了满足红外警戒系统全方位、多目标视景生成的实时性方法。     

直齿圆柱变位齿轮的一种测绘方法

在工程实践中对损坏的无图纸齿轮进行重新制造时，测绘是必不可少的环节。在齿面已被严重磨损的情况下，如何准确地得到齿轮尤其是变位齿轮的各项参数是本文所着重讨论的问题。