一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

液体火箭发动机喷嘴动力学研究进展

对液体火箭发动机喷嘴动力学研究的有关文献进行了综述,从喷嘴动力学理论分析和实验研究两方面入手,对直流式、离心式喷嘴、敞口型离心式喷嘴和气液同轴喷嘴动力学的国内外研究进展进行了全面总结。从目前的研究结果来看,喷嘴动力学在解决燃烧不稳定方面具有重要意义,在未来液体火箭发动机研制中将起到更大作用。     

机翼连接耳片微动疲劳裂纹萌生机制

 对歼击机机翼全尺寸模拟疲劳试验的耳片断口进行了观察和分析,从断裂处存在磨痕和磨屑的形貌及耳片受力变形状态,证明耳片属于微动疲劳断裂。本文提出铝合金耳片和钢衬套接触时,微动疲劳裂纹萌生过程的模型。     

细水雾灭火技术在载人航天器上应用前景

为进一步探索未来大型载人航天器安全、可靠的灭火方法,对现有国内外载人航天器的灭火剂和灭火方法进行综述,并从微重力条件下火灾燃烧特点、细水雾灭火机理和国外微重力条件下细水雾灭火研究状况三方面进行初步分析和总结。分析结果表明,细水雾是一种安全、高效、环保的灭火技术,在载人航天器上具有较好的应用前景。     

线性数字输出的高精度光纤陀螺仪

在过去的二十年中，干涉式光纤陀螺仪（FOG）已经从初始的物理实验阶段发展到了如今的实物生产阶段。今天，光纤陀螺仪在民用和军用的很多方面已成为强有力的竞争者，这一点已为众多的惯性制导和导航专家所认可。     

法如最热销的三坐标测量仪Vantage

FARO将在2013年中国机床展上展出其一系列最热销的便携式三坐标测量仪(CMM).其中最具代表性的是FARO Laser Tracker Vantage激光跟踪仪,即FARO Laser Tracker系列的最新一代产品. Vantage将十分紧凑的封装与突破性的新功能相结合,是一款出众的便携机型.Vantage比前代产品小25％且轻28％,拥有众多最新功能从而实现了极大的性能提升(比如可改善长距离测量的全新直线光学系统).     

中国空间法学会第八届CASC杯国际空间法模拟法庭竞赛圆满落幕

2011年12月24日,在中国航天科技集团公司（CASC）和有关高校的大力支持下,中国空间法学会第八届CASC杯国际空间法模拟法庭竞赛在北京理工大学国际教育交流大厦圆满落下帷幕。共有来自北京航空航天大学、北京理工大学、西安交通大学、中国政法大学、华东政法大学和中南财经政法大学6所高校的8只队伍参赛,经过4场初赛和1场决赛的紧张角逐。     

车铣复合高效加工薄壁零件

随着装备制造技术的日益发展,数控机床在机械制造行业得到了广泛应用.相比传统的单刀架数控机床,车铣复合中心凭借双刀架、双主轴的结构优势,通过双刀架同时切削加工,能够提高加工效率、保证产品质量.本文将以加工零件A为例,阐述如何使用车铣复合中心高效加工薄壁零件. 零件A的加工特性 ·易变形:零件A为环形零件,单边只有18mm,该零件的毛坯为板材弯曲后焊接成形,从结构和毛坯工艺上分析,该零件在加工过程中易产生变形; ·难加工:该零件的材料为10#钢,因材料很软,在加工过程中不易断屑;     

石头知道——品乐林的《石头集》

一直以来，人们总有这样的癖好，把世间所见之物件加以归类，以便于定义。如实难划分，便以另类归之，于是，另类也成了一类。