时序逻辑的并行描述与隐含遍历

随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的BDD（Binary Decision Diagram）并行构造方法,并通过隐含遍历任务的动态调度设计有效地完成时序逻辑的状态遍历。     

关于star—cyclic正规算子的一个等价命题

J.B.Conway(1985)在A Course in Functional Analysis.New York Springer-Verlag.(1985)中IX.3中给出了star-cyclic正规算子的一个特性.即当N为star-cyclic正规算子,且λ∈σp(N)时,dimKer(N-λ)=1.本文证明了在复可分无穷维的Hilbert空间中正规算子为diagonalizable时,该性质和star-cyclic正规算子是等价的.     

载人飞船返回段的最优控制

本文介绍空间飞船再入段最优制导方法。纵向制导采用二次型性能指标最优的线性系统,得到最优控制规律。侧向制导利用庞特里亚金最小原理,得到最优开关曲线。结果表明,这些控制规律优于Rodney C.所介绍的制导方法。     

状态空间中的 H∞控制方法研究

本文简要介绍了H_∞控制方法的发展与应用。给出了作者博士论文期间的主要工作。     

一种确定光弹贴片中主应变的近似方法

本文提出了一种用于确定光弹贴片中主应变分离的新方法。该方法是通过在贴片上钻小孔,取孔边沿两个主应力方向的条纹级数比近似等于主应变比进行主应变分离的。文中论述了该方法的原理,推导出一近似公式,并得典型实验验证。研究表明这种方法使用简便,具有工程应用价值。     

多自由度系统及结构非线性自由振动的摄动谐波平衡法

本文在谐波平衡法的基础上,引入摄动的思想,得出了解多自由度系统及结构的非线性自由振动的新方法。其解的形式为小参数和谐波的级数形式,因此,其解不会遗漏任何项,方程为线性的代数方程;利用线性变换,将系数矩阵变换为对角阵,一旦求出线性模态,就可得其解,比线性化迭代法优越得多。算例表明,本文方法对于小振幅有较高的精度,对于较大振幅其结果也是令人满意的。     

驻波—行波边界条件在PSTD算法中的实现

将时域伪谱法(PSTD)的边界条件PML用驻波-行波边界条件来代替.该条件在边界处附加理想电(磁)壁对计算区域进行截断,将由此产生的反射场去除,从而减少反射场所产生的干扰,在有限的空间内有效地模拟出无限大的电磁散射空间.给出了该边界条件下的二维PSTD迭代格式,并将其数值结果与运用PML边界条件的PSTD的结果进行比较,计算结果表明这种结合形成的新方法节约了内存,提高了计算速度,具有良好的可行性.     

薄膜晶体管液晶显示器对空间光调制模式与偏振器方向的关系

薄膜晶体管液晶显示器TFT LCD(Thin Film TransistorLiquidCrystalDevice)是信息光学研究中一种非常重要的电寻址空间光调制器SLM(SpatialLightModulator)。实验中通过调整TFT LCD的起偏器或检偏器的方向,可以分别得到正像、边缘暗突出像、负像等,并结合具有双折射特性的线性扭曲液晶介质对线偏振光的调制理论,对此给出解释。     

国家国防教育办公室对2003年全民国防教育提出新要求

本刊记者最近获悉,国家国防教育办公室对2003年的全民国防教育工作提出了新的要求。 2003年全民国防教育工作,要以党的十六大精神为指导,以《国防教育法》为依据,按照“三个代表”重要思想要求,着眼巩固国防建设、促进全面建设小康社会、推进中华民族的伟大复兴,坚持与时俱进,努力改革创新,进一步加强组织领导,理顺工作关系,拓展教育渠道,丰富     

对技术状态管理的探讨

技术状态管理是一种工程管理的程序,贯穿于产品研制、生产、使用的全过程。它的首要任务是确保技术状态的质量,使技术状态达到正确、完整、统一、协调、经济、及时与可追溯。技术状态的标识要贯彻执行国家各类标准,推行武器装备的通用化、系列化、组合化,降低研制费用,缩短研制周期。