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

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

改质高压橡胶软管剥胶工艺的探讨

一、概述目前工业上专用的高压软管(牌号为20Y6—210和20Y8—210,工作压力为210公斤/厘米~2),存在着零星爆破、外层胶老化、龟裂、钢丝锈蚀、鼓包、漏气等问题。为此,化工部有关部门研制了整体性较好的     

陆航雄鹰海空砺剑——目击我陆军航空兵新武器新弹药生成战斗力演练

7月10日,陆军航空兵新武器新弹药生成战斗力演练在广东某地举行.上午9点,伴随着指挥员一声口令,18架我陆航武装直升机迅速升空,在空中组成了双机、四机和六机编队,进入预定空域.记者从搭乘的直升机上看到,大海上弥漫着薄雾,靶标在海面上若隐若现,瞄准射击难度大,对飞行员的战技术水平和心理素质要求很高.武装直升机在几十米的低...     

壁板结构焊接顺序模拟优化研究

对于某壁板结构焊接顺序进行了数值模拟优化,主要考察了4块立板之间不同的焊接顺序、每块立板上各段焊缝焊接顺序的调整以及焊接起始端的选择对结构焊后变形的影响规律,模拟结果表明:壁板在各种顺序下都产生了马鞍型变形,即,沿焊缝纵向截面上产生了向下的挠曲变形,中部向下变形量最大;沿焊缝横向截面上产生了向上的挠曲变形,壁板两端部变形量较大,且壁板前端比后端变形大。在单块立板上采用先点固两端然后交错对称焊接,在整体上对4块立板依次焊接相同位置的焊缝,此时壁板焊后变形最小。     

唯一的里昂

里昂是法国的第三大城市,该城市的广告宣传语为"Only Lyon",翻译成中文就是:唯一的里昂。大有独此一家,舍我其谁的豪迈气概。里昂的拼写字母为Lyon,它把词语的结构先后颠倒一下,将on放在ly之前,成了Only,翻译为"唯一的",由此巧妙地组成了"Only Lyon"响亮的口号,令人过目难忘!     

民用飞机前缘缝翼气动力特性SCCH试验研究

针对民用飞机增升装置对机翼气动力特性的影响,在南京航空航天大学NH-2低速风洞开展了某型号客机等弦长后掠半模(Swept constant chord half-model,SCCH)增升装置测力风洞试验研究。试验来流马赫数为0.2,基于机翼弦长的试验雷诺数为1.85×106。通过试验结果,重点分析了前缘缝翼的偏角、缝道宽度及缝道搭接量对机翼增升装置增升效率的影响,得到了起飞构型和着陆构型缝翼偏角及缝道的最佳组合参数。试验研究发现,缝翼偏角从18°增加到24°时,失速迎角和最大升力系数都增大,缝翼偏角从25°增加到31°时,失速迎角增大,最大升力系数没有明显的变化。起飞构型前缘缝翼最佳缝道宽度为1.5%~2.0%,最佳缝道搭接量为1.0%左右;着陆构型缝翼最佳缝道宽度为2.0%~2.5%,最佳缝道搭接量为-1.0%~0%。最佳缝道宽度随缝翼偏角的增加呈现增大趋势。     

秒表检定的测量不确定度评定

介绍了用标准时间间隔发生器检定秒表时，测量结果不确定度分析和评定过程；讨论了测量不确定度的几个主要来源；通过一组实例，给出了秒表检定不确定度的分析和评定结果，该过程和结论可应用在对于计量标准进行相应指标的不确定度分析上，也可用于估计秒表检定本身的不确定度。