浅谈航空机载设备履历本和产品合格证的编制要求

简介了ＧＪＢ２４８９９５《航空机载设备履历本和产品合格证编制要求》的编制背景，阐明了它与ＨＢ６５６９９２《航空机载设备履历本及产品合格证》相比所具有的优点，并针对ＧＪＢ２４８９９５中存在的问题提出了修改建议。     

用形式化技术求河内塔的并行解

论文以求河内塔(Hanoi Tower)问题的并行解为例，介绍了并行程序设计的一般方法和步骤。一种行之有效的方法是，先将复杂的问题和复杂的并行环境分离，仔细分析用户需求并进行形式化规格，求得正确的解，然后逐步求精，并保证在逐步求精的过程中不失去正确性，最后阶段再得到可以运行的并行程序。     

新形势下深化企业审计的思考

本文对新形势下企业审计重点由合法性向真实性转变的必然性，以及深化企业审计应突出的问题、方法、手段和成果的运用进行了分析。     

全面质量管理在载人运载火箭伺服产品研制中的实践与体会(下)

载人运载火箭发射成功与否，关系到宇航员的人身安全和载人航天工程任务的成败。作为载人运载火箭控制系统的重要单机，三余度伺服机构研制过程中的每一个环节都包含着质量管理的内容，其设计质量控制及生产过程质量控制包含着诸如可靠性和安全性设计、转阶段设计评审、各阶段的质量复查、设计复     

安全检查工作之“望、闻、问、切”——安全检查工作的内容与形式之探讨

为响应民航总局‘争创安全飞行500万小时、实现2004安全年”的号召，作者从一个安全员和空管部门基层技术人员的角度，对目前安全检查的内容和形式进行了有益的分析和思考，提出了一些建设性的意见。     

美国UFO考察纪实（下）

接着我又问他：“你们在UFO理论方面重点研究哪些问题?有没有突破性的进展和成果?”说到这里，比尔先生反倒客气起来．他说：“首先我个人在这方面还是以学习为主。当然有的人在做一些诸如超光速、新动力、新材料、通信传导等等的研究，目前应该说还是推理假设。但有些原     

高强度合金应用与抗疲劳制造技术

本文的目的在于针对高强度合金强度高、疲劳强度高及疲劳强度应力集中敏感的特性和发展趋势,阐明抗疲劳制造对高强度合金疲劳性能和构件服役行为的决定性作用,指出抗疲劳制造涉及的科学技术问题及实现抗疲劳制造的重要性和发展机遇.     

运动平台上空悬停时人—机问题的初步研究

在小型舰船运动降落甲板上空，手控低高度悬停任务是非常重要的，尤其是不利天气和海况的情况下，本文中研究执行这种悬停任务时的驾驶员－直升机的相互作用。研究的目的是对该问题的透彻了解，并确定什么参数应当通过显示放大的办法直观地提供给驾驶员，以便改善任务性能。