用差分方法解二阶线性常微分方程边值问题的误差估计式的另一证明

关于二阶线性常微分方程两点边值问题差分解法的收敛性证明,所见文献中都是借助于差分的极值原理给出了误差估计式.本文利用矩阵的理论和方法,也得到了同样的结果.     

舰船后传动装置的分析及其发展概况

介绍了后传动装置的主要元件及目前舰船典型的传动方式,在此基础上简述了今后的发展动态。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

1200bps话音编码算法的研究

本文采用一种先进的动态规划算法来提高基音检测的准确性,这种方法在保持了一般的动态规划算法的基音检测性能的同时降低了计算复杂度。在获得准确的基音周期以后,本文在激励信号中引入声门脉冲的相位和幅度信息来改善合成话音的自然度和清晰度,在１２００ｂｐｓ的速率上得到了清晰度和自然度都较好的合成话音。     

理想图式简论

理想图式是解决主客体矛盾的理论形式。作为观念形态的人化自然,它深刻地体现着人类解决主客体矛盾的主观能动性质。理想图式又是理性认识的最终成果,它作为理性认识高级阶段的产物,揭示着人类理性认识的实质。理想图式的形成是辩证法、认识论和逻辑学的统一。辩证法的五对范畴,可作为创造性认识的逻辑构架,以刻画理想图式形成的逻辑历程。     

机器人步行腿机构的动力分析

本文根据力的叠加原理,采用拆杆拆副法,对一平面闭式多杆步行腿机构进行了较为全面的动力分析,得出了一个运动循环内原动曲柄的输入力矩及各运动副处的约束反力线图,为该机构的驱动、控制及进一步的改型设计提供了必不可少的计算依据。线图分析表明:该机构节省能量,力学性能较好,有良好的应用前景。     

火控系统输出误差分离方法

本文提出的火控系统输出误差的分离法,为利用动态飞行试验数据评价火控系统及其火控系统子系统的性能提供了一种方法。     

坦克会战中动态武器—目标分配问题求解方法

动态武器-目标分配(DWTA)是坦克会战中取得战斗胜利的关键.建立了坦克战中DWTA模型,并提出了它的一种简单求解方法.实验结果表明求解方法是有效的.     

浅谈企业内部静态工资,动态管理

本文从分析企业等级工资制存在的问题与岗位技能工资制的利弊入手,提出工资动态管理的运行方式,继而肯定静态工资,动态管理在企业内部分配中的可行性,以求搞活企业内部的工资分配。     

当代中国航天技术责任化自主创新的哲学基础与实践逻辑

当前,中国正由航天大国迈向航天强国。中国航天技术的发展是在马克思主义科技观指导下,特别是在习近平新时代中国特色社会主义思想中的科学技术观指导下,航天科技企业贯彻落实了科技向善的理念,取得了显著的成效。截至目前,中国在航天领域取得了一系列重大成就,如长征系列运载火箭、嫦娥探月工程、火星探测、天宫空间站等等。这些成就得益于中国航天科技工作者践行的责任化自主创新,其体现了哲学基础与实践逻辑的统一。