算法归纳设计策略与循环不变式

分析了算法归纳设计策略与循环不变式之间的关系,提出把算法设计与循环不变式的构建相结合的思想,并通过实例说明其有效性和重要性.     

关于两电流元之间相互作用的探讨

一般情况下,两电流元间相互作用力是不满足牛顿第三定律的,从而两运动的带电粒子在电磁力相互作用下,它们的机械动量是不守恒的.在考虑到运动的带电粒子的机械动量的同时,也考虑到电磁场的能量和动量,从而证明了,在运动的带电粒子和电磁场组成的系统中动量仍然是守恒的.     

高职高专水平评估导向原则的强化对策

探讨了高职高专人才培养工作水平评估导向问题，提出要强化宏观管理指导，规范高职教育办学行为；强化重要指标观测，引导高职高专院校建设发展；强化特色创新机制，促进人才培养水平提高等对策．     

一类分形曲面的插值稳定性

简要介绍了一类分形插值曲面的原理、数学模型及其插值方法。根据分形插值曲面的生成原理及其具体的迭代函数计算公式，着重讨论了分形曲面的插值稳定性。所导出的结果证实了某种情况下当插值节点有个微小的扰动时，此类曲面上的插值函数值也仅有微小的改变。从而为人工造景、工程计算等实际应用中进行分形曲面插值的过程中常遇到的数据扰动的一类问题提供了理论依据。     

三维集成图像技术及其在发展三维电视上的应用

集成图像技术是一种通过微透镜阵列来记录和显示全真的三维场景的三维图像技术。在众多三维图像技术中，这一技术十分有前景应用于三维电视的研制和开发中。本文对集成图像系统及它在三维电视工业中的应用给予了详细的描述。     

证据理论合成规则的改进

D-S证据理论是一种有用的不确定性推理方法，由于证据合成公式存在不足，影响了证据理论的应用．该文提出了一种证据理论合成的改进方法，该方法不仅能处理相互冲突的证据，把支持证据冲突的概率按各个命题的平均支持程度加权进行分配，还能根据证据携带的信息量决定聚焦的权重，使合成结果符合实际情况．     

随机混合单调算子的不动点及应用

研究了随机混合单调算子的随机不动点问题，把郭大钧文中的一些混合单调算子不动点定理进行了随机化．     

试论解析函数洛朗展开式形式的确定方法

对解析函数洛朗展式作了深入研究,给出了一种确定洛朗展式形式的具体方法。     

基于相空间投影技术的舰船目标信号降噪处理

由于很多混沌信号具有较宽的频谱成分，致使传统的滤波降噪方法存在很大的局限性。线性滤波器非但不能有效地抑制混沌信号中的噪声，相反，还可能会使混沌信号失真。文中利用相空间投影技术对具有混沌特征的时间序列进行降噪处理，并将其应用于舰船目标噪声信号的降噪分析中，结果证实了所提方法的可行性和有效性。     

航空装备技术保障指挥系统体系结构研究

航空装备技术保障指挥系统建设是装备信息化工作的一个重要环节。借鉴C^3I的研究思路，分别从应用体系结构、系统体系结构和技术体系结构3个侧面刻画航空装备技术保障指挥系统的体系结构，所作工作和结论对开展航空装备技术保障指挥系统的实践有借鉴作用。