排序方式: 共有605条查询结果,搜索用时 15 毫秒
591.
动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用. 相似文献
592.
防御系统技术的不断发展,对超声速巡航导弹设计提出了新的需求.针对以“性能”为核心的设计不能满足超声速巡航导弹设计新需求的问题,初步探讨了面向突防效能的超声速巡航导弹总体设计技术.分析了国内外导弹武器设计技术的发展,指出设计技术向着以“效能为核心”的设计方向发展;提出了面向效能的设计理念,分析指出面向效能的设计是以追求满意设计为目标的优化设计;在新的设计理念指导下提出了面向突防效能设计的技术框架,主要说明了面向突防效能的超声速巡航导弹设计框架、效能基础、技术基础、基本模式以及几项关键技术等. 相似文献
593.
为了研究由复杂增压气路和推进剂供应管路组成的航天器推进系统的动力学问题,基于AMESim软件平台,构建了模块化、可扩展的航天器推进系统仿真模型UPSSim.模型中,增压气路采用分段集中参数模型,推进剂供应管路采用分布参数模型,并考虑了系统各组件与环境的换热.对某型轨控发动机的变轨过程进行了仿真,UPSSim能准确模拟该发动机变轨过程中系统参数的变化,计算结果与设计性能参数、飞行遥测数据吻合较好.仿真结果表明,本文所采用的模块化建模与仿真方法适用于复杂管网的建模,在航天器推进系统仿真建模与仿真领域具有较好的应用前景. 相似文献
594.
在高炮火控系统射击校正中,射击诸元需要以数字量形式送入校射系统作为输入信号使用,而高炮火控系统射击诸元大都是采用三相轴角信号形式的模拟信号。为了解决这一问题,设计了一种高炮火控系统射击诸元采集装置实现射击诸元模拟量向数字量形式的转换。首先分析了射击诸元的采集与测量原理,设计了SCOTT变压、采样保持、A/D转换、正峰值脉冲产生、数据处理与控制等硬件功能电路,阐述了采集装置的总体工作过程,在此基础上进行了软件程序设计。该射击诸元采集装置的研制为高炮火控系统射击诸元的采集以及校射工作提供了一种实用的方法。 相似文献
595.
596.
597.
598.
599.
600.