编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。     

分组坐标轮换法与机械优化设计

minimax 问题是工程优化设计中普遍存在的问题。本文首次采用分组坐标轮换法求解该问题,通过分析获得了该算法收敛的充分条件(如果收敛,还可计算最大轮换次数)。一些数值计算验证了文中的结论,本文还把该算法用于四连杆实现函数机构的优化设计.     

透平叶片的可靠性安全系数设计法

本文基于目前的蒸汽透平叶片振动强度设计准则,提出了可靠性安全系数设计法,给出了一些计算公式,并简要介绍了该方法在叶片设计中的应用。     

针对复杂检测系统的微机数据管理系统设计方法探讨

本文以陆军战术导弹性能检测系统为研究对象,探讨复杂检测系统中微机数据管理系统的设计方法,给出了此类系统标准化设计的规范步骤。     

最佳（n,2,w）二进制等重检错码的研究

本文研究了最佳(n,2,w)二进制等重检错码的存在性问题。对于文[5]中n 为偶数时所得的结论,本文给了一个简练的证明。更为重要的是,利用以上方法,作者证明了文[5]中关于n 为奇数时的一个猜想。     

二源间反向内可逆卡诺循环全谱分析及最佳参数的选择

本文以特征参数γ、θ表达了反向内可逆卡诺循环的全息谱,统一热源间内可逆正、反循环的特征参数与全息谱函数,并说明了以特征参数及全息谱为工具,从有限时间热力学观点确定制冷或热泵循环最佳方案的方法。     

维修方式再探讨

本文根据近几年关于维修方式讨论中提出的一些问题,在维修方式的分类、应用决策、设计要求和效能等方面,联系维修实际进行了探讨,提出了一些原则、方法和观点。     

浅谈平显自检画面

国军标ＧＪＢ１８９─８８虽然对平显自检画面作了规定,但随着国内不断引进国外平显,其平显画面的内容、状态、检测均在不同程度上发生了变化,通过对某引进工程平显自检画面的介绍,探讨其设计构思,实施状态以及使用中检测的显示质量保证、显示精度保证以及显示功能验证等方面的实用性。     

引信全电子安全系统失效分析及评估

本文根据全电子安全系统的一般结构模式,分析了其安全性设计的一般特点和可能造成其失效的各种原因,并在此基础上建立了全电子安全系统的失效故障树,给出了失效概率的定量计算结果。     

利用线性平滑法实现屏幕汉字放大

本文分析了一般屏幕点阵汉字放大的方法及不足,提出使用线性平滑法提高汉字放大字符质量的思想,给出了线性平滑法实现高质量汉字放大的方法。此外,本文还介绍了不同汉字操作系统的识别方法及多种汉字字模获取的方法,为实现多种汉字字体放大提供了方便。