“编外”火炬护跑手与圣火同行

虽然已经过去了7年时间,但2001年7月那个不平静的夜晚激发出的中华民族自豪感依然在胸中激荡,国际奥委会前任主席萨马兰奇拉着特殊的长音喊出的话语依旧在耳边回响。随着今年3月24日在希腊奥林匹亚举行北京奥运会圣火取火仪式的开始,以“和谐之旅”为主题的“祥云”火炬传递活动便正式拉开了2008年北京奥运会的大幕。     

做好院校的保密工作

随着军队建设进入信息化时代,信息网络利用的不可替代性,信息网络空间中安全攻击源的不确定性,以及活动主导体与内容认定的困难性,使院校安全保密工作面临着更加严峻的形势。要使院校的保密工作经受住严峻形势的考验,确保院校官兵的纯洁可靠和核心秘密的安全,必须采取以下对策：     

基于FPLD的片上数字实验系统

FPLD具有可编程性、高速度、高集成度和高可靠性等特点,这为改善数字逻辑电路实验提供了条件。本文介绍了针对传统数字逻辑电路实验存在的缺陷而设计的一种新型的基于FPLD的片上数字实验系统,并结合实例说明了实验的方法和步骤,阐述了这种实验系统有利于培养学生基本技能和创造力,实验取得了良好的效果。     

基于三级维修体制的设备可用度模型

以具有三级维修级别的复杂设备为对象,通过对设备使用、修理流程分析,给出了设备使用与修理状态转移图,建立了设备一个更新周期内,维修间隔期与可用度关系模型,并给出了相应应用案例,案例说明了模型的适用性与灵敏性。     

高精度传递对准仿真用飞行轨迹设计

高精度且逼真的飞行轨迹是传递对准仿真各环节有效实施的前提。目前仿真采用的飞行轨迹或缺乏逼真性,或精度不高,很难满足传递对准仿真的要求。通过对战机飞行原理及传递对准仿真用轨迹特征分析,建立飞行轨迹生成模型,设计出高精度轨迹产生算法,实现了VC++环境下的飞行轨迹生成软件。通过对算法分析及实例仿真,验证了软件能够灵活产生各种供传递对准使用的飞行轨迹,且数据产生速度快、精度高,符合传递对准仿真的需求。     

可竞争市场理论对我国构建竞争性装备采办市场的启示

可竞争市场理论认为,在近似的完全可竞争市场中,自由放任政策比行政手段主动管制能够更有效地保护公众利益,即便是在垄断条件下,效率仍然可通过市场来实现。这一理论启示我们,尽管我国装备采办市场的可竞争性是不完全的,需要进行必要的行政管制,但目的不是取代市场,而是要通过各种手段为实现市场可竞争性创造条件,以实现良好的经济效率。     

快速传递对准的抗野值方法研究

快速传递对准对滤波精度与收敛速度有着严格的要求,而测量野点的存在会严重破坏传递对准的精度。提出了一种新的抗野值滤波方法,在线取测量信号的一个小区间,采用正向对称延拓的方法构成新序列并对其进行小波阈值去噪,检测出野点,用前几个周期的信号构造新的测量值进行Kalman滤波,有效地剔除了野点的影响,滤波系统保持了很好的精度,满足了传递对准的要求。     

导函数性质及其应用

处处有导数的函数（导函数）有两个很好的性质：（1）在一点处有极限,则该点必连续,若无极限则该点两侧或单侧必振荡;（2）可能有不连续点的导函数介值定理仍成立。如果函数某点的领域内处处可导,我们可得到如下三个推论：（1）当f^l（x0＋0）=f^l（x0-0）时,则存在且连续。（2）当f^l（x0＋0）≠f^l（x0-0）,或至少有一个单侧极限为无穷时,函数在该点不可导,（3）当f^l（x0＋0）和f^l（f0-0）中一个或同时振荡时,函数在该点可能可导。     

边界扫描测试的数学描述模型

IEEE1149.1边界扫描机制是一种新型的VLSI电路测试及可测试性设计的有效方法,为了高效地应用边界扫描机制对电路系统进行测试,必须对其所涉及的理论方法进行深入探讨。本文应用布尔矩阵理论建立起边界扫描测试的数学描述模型,并基于所建立的模型导出了边界扫描测试中的故障检测条件和故障隔离条件。为边界扫描测试生成算法的深入研究奠定了理论基础。     

应用不可满足子式的解码电路综合优化方法

解释布尔公式不可满足的原因在很多领域都具有实际的应用需求,而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满足原因提供最精确的解释。因此,将两种能够高效求解最小不可满足子式的算法——分支-限界算法与贪心遗传算法,集成到解码电路的自动综合工具中。采用通信领域的标准编码电路作为测试集,将两种算法进行对比。实验结果表明,在运行时间与每秒剔除的短句数方面,贪心遗传算法优于分支-限界算法;不可满足子式在解码电路的自动综合过程中发挥重要作用。