死刑复核程序之功能及其完善

死刑复核程序是我国独有的一道针对死刑适用而设立的程序,从司法层面来说有着不容忽视的功能.本文以死刑复核程序的功能定位人手,立足于最高院统一收回死刑核准权,对死刑复核程序进行分析并针对死刑核准权收归最高院的决定对死刑复核程序的完善提出建议.     

航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10...     

多重分形谱在材料分析中的应用研究

基于多重分形谱的物理意义，通过图像分析与处理技术，利用Delphi语言设计了图像结构的多重分形谱的计算程序。通过程序中图像黑白二值化转化阈值的设定，实现了从材料组织结构形貌图像上提取其相应的概率测度和标度指数的功能，并计算了它们的多重分形谱。分析表明：在对材料的组织结构进行研究的问题中，多重分形谱是一种有意义的表征参数，能够从多分形角度对材料的组织结构开展定量化的分析与解释。     

CROMEMCO LISP符号微分程序系统

本文说明了符号微分程序系统的一些特征、功能、设计思想和程序设计技术。 该系统是使用人工智能专用语言LISP写成的,并且已经在CROMEMCO系统Ⅲ微型计算机上正确地运行。文中还给出了在该机器上求出的一些复杂函数的符号微分实例。     

月球取样返回器分离阻力分析与地面分离试验验证

探月工程三期研制的月球取样返回器与轨道器间采用导向装配方式,装配后存在一定预应力,同时在轨两器分离时受空间环境作用而出现热变形,引起的分离阻力会对两器的正常分离产生影响。文章对返回器与轨道器的分离阻力进行分析和测量,并开展相关地面分离验证试验,结果表明,在轨环境引起的分离阻力约为366 N,地面装配应力引起的分离阻力约为160 N,两器分离速度约为0.24 m/s。研究结果可为轨返两器的分离设计提供参考。     

进口水平投影可控的流线追踪内收缩进气道设计

为了满足两侧进气布局飞行器的乘波前体与进气道一体化设计要求,提出了一种进口水平投影可控的流线追踪内收缩进气道设计方法。基于马赫数分布可控的轴对称基准流场,在指定进口水平投影为椭圆的条件下,采用该方法设计了内收缩进气道并在设计点(Ma=5.4)和接力点(Ma=4.0)对其进行数值研究。结果表明,设计点时进气道都能保持基准流场的波系结构和沿程压力分布,无粘时可以全捕获自由来流,喉道性能与基准流场几乎相等。有粘条件下,设计点和接力点时进气道具有较高的压缩效率和良好的流量捕获能力,接力点的流量系数高达0.85。该设计方法为内收缩进气道与乘波前体的一体化设计提供了新途径。     

利用CAD工程图自动生成数控加工程序

本文介绍了利用工程图自动生成孔加工程序的方法。既可以自动选择图中不同尺寸的孔,又可以避免同一坐标位置多个同尺寸的圆的问题。同时又克服了手工编程容易出现错误的问题。也避免了其他自动编程软件需要在图上选择要加工的孔困难。     

美国自适应发动机研究的进展与启示

为借鉴和参考美国自适应循环发动机的研究与研制经验,综述了美国变循环发动机演变至自适应发动机的3个发展阶段,重点介绍了其在多用途经济可承受的先进涡轮发动机(VAATE)研究计划下的自适应通用发动机技术(ADVENT)分计划、自适应发动机技术验证(AETD)分计划、自适应发动机过渡(AETP)分计划和空中优势自适应推进技术(ADAPT)分计划的开发与验证情况。分析总结出美国自适应发动机具有以下特点:技术先进且应用前景广泛,代表未来发展方向;变循环与自适应循环技术均不成熟,还需深入验证;技术研究采用竞争策略实施。     

基于ATML标准的ATS软件建模技术

论述了国外ATML标准体系结构和构成ATML标准所有子模型的描述方法,提出了在现有ATS软件平台基础上,实现兼容ATML标准所需的建模流程设计、模型识别及模型运行流程设计等技术途径,为实现ATS软件平台的通用性、开放性及武器装备各种维护级别的测试资源的共享奠定了技术基础。     

正态单边可靠性经典精确下限的新程序

本文给出了正态分布单边可靠性经典精确下限的一种新的计算方法及程序。该程序比国标GB4885-85提供的程序能大量节省机时。