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

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

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

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

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

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

CROMEMCO LISP符号微分程序系统

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

探讨培养高职学生语文职业能力的途径

从弱化传统语文重视知识传授的做法、注重语文教学与专业学习的结合及加强语文能力的实践训练等方面,探讨培养高职学生语文职业能力的途径。     

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

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

对大学语文实践教学环节的探讨

《大学语文》课是一门以提高学生文化素质和表达能力为主要目的的基础课。要体现大学语文的特色,关键是大学语文教师要调整教学思想和教学方法,根据大一学生思想和能力的实际,加强教学中的实践环节,贯彻“以学生为主体、以实践为载体”的教学思想,使各项教学活动都围绕一个中心——提高学生的文化素质和表达能力,关照两个基本点——课程的基本知识点和学生的兴奋点,从而达到三种教学效果——学生爱学、肯学、学有所获。     

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

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

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

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

英语中的中国元素对提高中国文化软实力的积极意义

"中国英语"融合了中国传统和现代文化元素,是一种以标准英语为基础的特殊英语变体。中国元素体现在英语语言的各个方面及社会生活的各个领域,它对提高中华民族文化软实力具有重要意义。