基于激光雷达的隧道相贯线光多路光束自动准直计算方法

传统隧道相贯线光自动准直计算方法存在计算精度差,准直计算效率不佳问题,为此,设计一种隧道相贯线光多路光束自动准直计算方法.构建隧道相贯线光准直计算激光雷达方程进行信号采集;通过模糊消除方法实现激光雷达测量距离与光斑能量中心数值的校准,完成了隧道相贯线光多路光束自动准直计算.为了验证隧道相贯线光多路光束自动准直计算方法的...     

应用地球化学家协会

“应用地球化学家协会(The Association of Applied Geochemists)，简称AAG，成立于1970年，总部设在加拿大，是一个专门从事勘探和应用地球化学领域研究的国际组织。     

STUDY ON_αTRANSITION OF ORIENTED,CRYSTALLIZED AND_γ-IRRADIATED PET WITH THERMALLY STIMULATED CURRENT

用拉伸、热处理和大剂量γ射线辐照的方法制备了一系列具有不同平面取向度、不同结晶度和不同分子链长度的PET 试样。短路热释电流温度谱显示对应于玻璃化转变的α峰随平面取向度、结晶度的增大向高温区移动;随γ辐照剂量的增大向低温区移动。随平面取向度和结晶度的提高,被冻结的大分子主链链段偶极热弛豫活化能减小,偶极热弛豫时间常数指数增长。γ辐照对偶极热弛豫运动的影响较小。     

用硅灰石原矿生产陶瓷饰面砖

苏联有大量硅灰石岩矿床(苏联中部、哈萨克斯坦、西伯利亚、雅库梯、远东)。虽然含硅灰石的陶瓷饰面砖有优良的物理机械性能,然而在苏联的陶瓷工业中,硅灰石迄今尚未被利用。主要问题在于,用硅灰石为基础的配料生产陶瓷饰面砖的工艺,规定要用精选的硅灰石,这就需要建设选矿厂,从而增加了原料和制品的成本。建筑陶瓷科学研究所研究了利用各种类型的硅灰石岩作为陶瓷饰面砖内壁配料的可     

并发系统的操作时序逻辑描述和验证

1.引言 近年来,为了在开发一个复杂系统的过程中尽量提高系统的正确性,减少开发过中重复、较琐的工作,国内外许多学者都从逻辑的角度进行研究,用逻辑系统对并发系统程序行描述、验证,以期通过逻辑系统的简洁和严密来保证友型并发系统的正确     

焊接参数对自保护药芯焊丝熔敷金属组织及韧性的影响

探究了道间温度和焊接道数对自保护药芯焊丝熔敷金属组织和韧性的影响。结果表明,随着道间温度的提高,组织中的先共析铁素体增多,M-A岛内的奥氏体先增多而后又转变为碳化物,这使得冲击吸收能量先增大后减小。随着焊接道数的增加,冲击吸收能量增大,这主要是由于组织中M-A岛的尺寸和含量都减小,细晶区所占的比例增大造成的。     

水热条件下煤矸石灰渣的活性

采用具有代表性的以水云母和高岭石为主的两类煤矸石试样,分别在600～1400℃的温度下煅烧两小时。用X射线衍射分析方法进行物相定量分析。用比表面积仪和沉降天平测定其细度和颗粒级配。氮吸附法测定内比表面积。将以上灰渣与石灰、石膏制成2×2×2cm的净浆试块。测定蒸养、蒸压条件下的强度,并在相同试验条件下与粉煤灰、沸腾炉渣、矿渣进行对比。从中求得两类矸石最佳煅烧温度范围。研究结果表明,煤矸石灰渣的活性与矸石的组成,燃烧温度密切相关。矸石中粘土矿物的无定形化和玻璃化是灰渣产生活性的主要原因,而其中结晶相的种类和数量对灰渣活性也有一定的影响。水化产物定量和半定量分析证明,煤矸石硅酸盐混凝土蒸压强度与C-S-H凝胶生成量具有正相关性,与水柘榴石生成量具有负相关性。比较矸石渣、粉煤灰、沸腾炉渣和矿渣的活性均能发现,养护条件相同,灰渣成份不同强度不同。养护条件不同,灰渣成份相同强度也不同。因此建议应根据常温、蒸养、蒸压三种使用条件分别确定灰渣活性的含义和测定方法。     

命题演算形式系统在Isabelle／HOL中的形式化

本文针对命题演算形式系统,在机器辅助定理证明系统Isabelle／HOL中为其建立逻辑模型,并分别形式化验证了PC和ND的主要性质,以及完备性定理的证明。通过对PC和ND的分析和验证表明,采用机器辅助定理证明系统,对以数理逻辑为平台的各种形式系统进行严格的分析和证明是可行的。     

水性聚氨酯-分散荧光黄高分子荧光染料的合成与荧光特性

用聚氧化丙烯二醇、2,4-甲苯二异氰酸酯、二羟甲基丙酸、三乙胺和分散荧光黄(DFY)合成了一种新型的水性聚氨酯-分散荧光黄(PU-DFY)高分子荧光染料.红外和紫外-可见吸收光谱显示,DFY已被化学键入聚氨酯链中.荧光光谱表明,PU-DFY和DFY都可在507nm处发出较强荧光,且很低浓度PU-DFY发出的荧光都较高浓度DFY的强.研究还发现,加入二苯胺猝灭剂的PU-DFY,荧光强度随温度的升高而增强,与一般荧光物质荧光强度的温度特性相反.     

含铀萤光玻璃

含铀玻璃的莹光现象,不仅有应用价值,而且具有理论上的意义。一般认为,玻璃在紫外线照射时所以能发萤光,是由于玻璃中存在着萤光中心。萤光中心发出的萤光,受着玻璃结构的影响;因此,研究萤光的变化,就有助于对玻璃结构的了解。