Specification,Verification and Prototyping of an Optimized Compiler

This paper generalizes an algebraic method for the design of a correct compiler to tackle specification and verification of an optimized compiler. The main optimization issues of concern here include the use of existing contents of registers where possible and the identification of common expressions. A register table is introduced in the compiling specification predicates to map each register to an expression whose value is held by it. We define different kinds of predicates to specify compilation of programs, expressions and Boolean tests. A set of theorems relating to these predicates, acting as a correct compiling specification, are presented and an example proof within the refinement algebra of the programming language is given. Based on these theorems, a prototype compiler in Prolog is produced.     

新型实用布线算法──L─M算法

本文提出新型布线算法，集李氏迷宫法与线搜索法的长处为一体，以饱和带法进行动态排序，以线搜索法确定借孔位置，然后用李氏法进行单层布线，获得最佳路径，从而达到线型好，布通率高的效果。     

韩江三角洲海岸变迁遥感调查研究

利用1:10万TM影像，对广东东部韩江三角洲地区的海岸变迁及河道演变进行了调查研究。划分了不同时期的海岸界线和古河道遗迹，提出韩江三角洲的形成是河流动力和海洋动力共同作用的结果，对研究历史海平面变化及环境演变具重要意义。     

940nm高功率激光二极管及线阵

设计并制作出了940 nm无铝有源区高功率激光二极管和激光条.通过MOCVD法生长出应变量子阱材料,器件显示出极好的性能,100μm条宽的激光二极管最大输出功率达800mW(室温),填充因子为17%的激光二极管条发射功率达32 W.     

铜线材酸性高速电镀致密光亮锡、锡铜合金

为了寻找低成本、低腐蚀、低污染高速电镀锡、锡铜合金工艺 ,在含光亮剂、柔软剂DL0 1、0 2、0 3的硫酸槽中在不同的电流密度、不同的搅拌速度下 ,在Φ0 .5mm的铜线上电镀Sn和Sn Cu合金镀层。DL0 1、0 2的主要成分是无芳香族的希夫碱 ,DL0 3的主要成分是醇醛缩合物。结果表明 ,在含有DL0 1、0 2、0 3和 35g/LSnSO4 ,137g/LH2 SO4 的镀液中 ,在Jc=10～ 90A/dm2 ,v=16 0～ 314m/min时 ,所得镀层致密、柔软、光亮。在含CuSO4 ·5H2 O 0 .5 ,3.5g/L的硫酸镀槽中 ,在Jc=9,18A/dm2 ,v=16 0m/min时获得了致密、柔软、光亮的Sn (0 .3%～ 0 .6 % )Cu合金镀层。     

环境中氚和碳-14

本文介绍了加拿大恰克河实验室有关氚和碳－14在环境中行为和评价的研究。     

由光率体求导折射率及振动方向的新方法

从光率体出发，利用坐标轴旋转，导出了光在晶体中传播时折射率及振动方向的公式。     

分布式光纤喇曼放大技术及其在WDM系统中的应用

介绍了分布式光纤喇曼放大技术的原理、特点和应用 ,并从受此影响的 WDM传输系统的信噪比、噪声指数和品质因数三个方面讨论了光纤喇曼放大技术在提升光纤通信系统性能方面的重要作用。     

车辆AMT数据采集及分析系统

介绍用于电空机械式自动变速器的数据采集及分析系统，重点介绍系统的工作原理，软、硬件应用设计。下位机以C196单片机为核心，用汇编语言编程，上位机采用PC104，用VB编程。     

DCPD和PET合成不饱和聚酯的研究

探讨了用双环戊二烯和聚对苯二甲酸乙二醇酯废料合成不饱和聚酯树脂的方法：PET用二元醇醇解后，加入顺入烯二酸酐和DCPD，在80－120℃条件下滴加与DCPD等量的水进行反应，反应大约2.5h，加入其它成分，升温酯化直至反应完全。PET一定时，DCPD的含量影响不饱和聚酯同苯乙烯的互溶性和固化过程，DCPD和PET合成的不饱和聚酯树脂与标准树脂相比较，机械性能好，空干性好，解决了环境污染，具有很好的经济效益。