保形插值的样条函数方法

对于给定的任何型值数组,本文通过插入新结点构造了Ｃ１连续的保形插值二次和三次样条函数Ｓ（ｘ）,最后还讨论了单调保形的插值样条函数。     

空间布置中的干涉性检查算法

本文提出一种新的干涉性检查算法:首先估计被测对象是否位于可能发生干涉的区域,若是,则再进一步检查它们之间是否接触或穿越等。算法简单明了,效率较高,适用面广,计算机运行结果证实了算法的正确性和可靠性。     

拓扑度理论之近期发展

这是一篇综述文章,介绍了拓扑度理论近十年来的主要成果。     

后勤管理信息系统生成系统的设计与实现

本文论述了一个后勤管理信息系统生成系统(LMIS-GS)的设计与实现,本系统综合采用了数据库模式自动生成技术、软件可重用技术、操作对象、控制信息与程序相分离的模块编码技术,系统中通过引入部件的概念,把庞大复杂的LMIS系统划分为若干个可独立研制开发的部件实体。LMIS的生成就是部件的组装,部件的生成就是数据基的组装与填写。系统还提供了数据库生成的两种方式,即可自动生成3NF的关系数据库模式。     

基于SAT的电路错误定位方法研究进展

随着VLSI芯片复杂度不断增加,功能验证与调试已占到整个芯片设计周期的60%以上。而错误的定位往往消耗大量的时间与精力,因此迫切需要一种高效的方法诊断与定位电路中的错误。针对近年来出现的许多电路错误定位方法,介绍了电路错误诊断方法的分类与工作流程,深入分析了基于SAT的错误定位方法的基本原理;对各种算法进行了概述评论,并简要介绍了在不可满足子式求解方面所做的一些研究工作,而不可满足子式能够显著提高错误定位效率与精度;讨论了电路错误定位技术所面临的主要挑战,并对今后的研究方向进行了展望。     

一种单站无源定位方法及其可观测性分析

利用非线性系统可观测性定理分析了径向加速度信息在目标运动分析(TMA)中的可观测性问题,得到径向加速度观测所能确定的目标状态参数及其需要满足的观测条件,从而证明一种联合径向加速度和角度信息的单站无源定位方法的可行性,并分析其可观测条件和可观测度。通过计算机仿真验证了讨论的结果。     

极大单调算子零点的逼近问题

设H为实Hilbert空间,C为H的非空闭凸子集,T:C→2H为极大单调算子,假设S(T)={x∈H:0∈Tx}≠Φ。 xk∈H,βk>0,求 xk及ek满足( )　　xk+ek∈ xk+βkT( xk),‖ek‖≤ηk‖xk- xk‖, k≥0,其中,ηk≥0,supk>0ηk<1,βk≥β>0。设PC:H→C为H到C上的最近点投影算子,定义xk+1=PC( xk-ek),k≥0,证明了若T满足(S)型条件,则{xk}k≥0强收敛于T的某个零点。     

以战领建提升后备力量建设质效

仗怎么打,军队就怎么建。习主席在出席十三届全国人大四次会议解放军和武警部队代表团全体会议时强调:“要坚持以战领建,加强战建统筹,抓紧推进战略性、引领性、基础性重大工程,加快打造高水平战略威慑和联合作战体系。”学习贯彻习主席重要讲话,确保军队建设“十四五”开好局、起好步,必须坚持以备战需求牵引各项建设,以打仗要求统筹谋划工作。国防后备力量作为联合作战体系重要组成部分,要突出编、训、战一体建设,做好随时应对各种复杂困难局面的准备。     

环境介质对超高强车用钢延迟开裂性能的影响

分析了环境介质对超高强车用钢的延迟开裂性能的影响,通过对DP1180、MS1180和QP1180三种材料的试验得到具体影响结果。