面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

特定温度下的费米体系反演

基于Tikhonov正则化方法的思想,提出了一个费米体系反演的数值方法。给出了一个正则算子的构成方法,克服了凭经验选择正则参数的缺点。证明了收敛性,并给出了误差估计。而且,应用该算法对费米体系反演进行了研究,对计算机给出的实验结果进行了讨论。     

焊接钢质药筒与引伸药筒内弹道设计一致性研究

装备内弹道的一致性对其性能影响较大。经过长期对多个弹种用药筒的设计、使用和考核,发现用药筒在膛内容积一致性来进行弹道一致性设计比较适用和相对准确,同时发现挤进压力为P_0时的真实容积对内弹道一致性影响较大。此外焊接钢质药筒的内弹道一致性不仅达到了引伸药筒的要求,而且在或然误差和内弹道稳定性方面优于引伸药筒。     

A—紧1—集压缩映象场的广义度理论

定义了A-紧1-集压缩映象场的广义度,扩展了1984年张庆雍建立的半紧1-集压缩映射的不动点指数理论。     

状态—参数联合估计方法及其在液体火箭发动机健康监控中的应用

基于传统的扩展卡尔曼滤波器（ＥＫＦ）,本文提出了一种带次优渐消因子的ＥＫＦ用于非线性时变随机动态系统状态与参数的联合估计。应用于液体火箭发动机健康监控算法的仿真研究表明,本文所提出的联合估计器具有较好的收敛性、实时性和动态跟踪能力。此外,文中还讨论了联合估计器应用于实际系统的有关问题。     

Bent函数序列及其在扩频通信中的应用

Bent 函数序列有良好的相关特性,在扩频通信中有着广阔的应用前景。本文首先介绍了 Bent 函数序列及其在码分多址(CDMA)和跳频多址(FHMA)中的应用,然后推导了Bent 函数序列的产生电路,并举例说明了它们的产生和实现。     

集值广义(S)_+型映射之一致极限的广义度理论及其应用

本文构造了集值(S)+型映射之一致极限的广义度,所得结果统一并加强了文献〔1～4〕的相应结果。运用拓扑度方法获得了一些新的满值性定理与某些新的不动点定理。     

l壳层状态的QSL分类与耦合波函数的计算

本文从准旋、自旋、轨道角动量算符的二次量子化形式出发,讨论了l壳层状态的QSL分类,推导了QSL分类的递推公式并给出了p,d,f壳层的分类结果。应用计算单体、二体算符矩阵元的Slater-Condon规则和解线代数本征值问题子程序,编制了计算l壳层QSL耦合波函数的计算程序,在VAX-11/730机上,对p-壳层和d-壳层共约需半分钟,对f-壳层约需24分钟。     

最小、最大广义最优停止规则的特征

设(X_n,F_n)_1~∞是适应的报酬序列,(γ_n)是相应的snell 包,(A_n)是(γ_n)的Doob-Meyer 分解中零初值的可料增过程。本文继J.Klass 的研究证明了σ_1=inf{K≥1:X_k≥γ_k}是最小半最优的且是最大严格正则的广义规则,而K_0=sup{n≥0:A_n=0}<∞是最大正则的广义规则,从而得出了广义最优规则唯一性的另一表述。     

遥控武器站的自抗扰控制

遥控武器站系统是一个具有强后坐力、变摩擦力和变转动惯量的非线性系统,采用自抗扰控制技术对该系统进行稳定控制.系统利用自抗扰控制器的扩张状态观测器,对系统未建模特性和不确定性外扰进行动态估计和反馈补偿,提高了系统的抗干扰能力.实物系统稳定控制实验结果表明,所设计的自抗扰控制器具有良好的动态品质和较强的抗干扰性能,系统实现...