同步语言Lustre的编译前端的设计与实现

同步语言Lustre所描述的反应系统通常应用在航空航天、国防建设等领域,对系统的正确性和安全性都要求很高。如果系统在运行时出现了正确性问题,很可能会导致系统崩溃,产生非常严重的后果。系统中的任何一个词法错误或者语法错误都应该受到重视,而且应该被及时纠正。因此,对Lustre语言进行正确的编译是十分重要的。传统的Lustre语言的编译器都采用OCaml语言描述,无法保证所有人员都能够很容易地理解和使用,而且,需要耗费开发人员大量的时间和精力。基于上述问题,提出了一种新型的Lustre语言编译器。新型的Lustre语言编译器前端主要采用C++语言进行描述,并对生成的抽象语法树的结构进行重新定义,简化了编译的过程。该编译前端会对一个经典的Lustre语言模型进行检测,通过对检测的结果进行分析,验证了该编译前端的可行性。     

AMK-2000M固井质量评价技术在川渝气田的应用

AMK-2000M仪器由声波MAK-9M和伽马密度SGDT-100M组成,利用专用软件gperd处理其测井资料,可对固井质量进行精细评价;针对川渝气田几口井的固井质量评价中所存在的多解性问题,利用AMK-2000M测井资料评价套管的偏心率、环空充填介质的水泥环密度、套管厚度及扶正器的位置、识别水泥环微间隙、评价快速地层、结合MID-K及MIT-60资料识别套管体积缺陷,取得了良好的应用效果,该评价技术值得推广应用。     

小灵通建设项目环境管理的思考

随着市民环境意识的增强,“小灵通“基站(含天线)的电磁辐射问题也逐渐引起了市民的关注,关于“小灵通“建设项目环境影响的信访和投诉日益增多.那么环保行政主管部门是否应将“小灵通“建设项目纳入环境管理,以及如何进行环境管理便成为在理论上亟待解决的问题.本文试图从实践需要和法律规范两个角度对该问题进行论证.     

小灵通建设项目环境管理的思考

随着市民环境意识的增强，“小灵通”基站(含天线)的电磁辐射问题也逐渐引起了市民的关注，关于“小灵通”建设项目环境影响的信访和投诉日益增多。那么环保行政主管部门是否应将“小灵通”建设项目纳入环境管理，以及如何进行环境管理便成为在理论上亟待解决的问题。本文试图从实践需要和法律规范两个角度对该问题进行论证。     

斜柱结构研究综述

简要介绍了斜柱结构及其节点的特性,综述了国内外分析斜柱结构取得的研究进展,总结了研究斜柱结构的方法及应该注意的事项,并指出了目前研究的不足以及进一步需要解决的问题,以期指导相关设计工作。     

小灵通建设项目环境管理的思考

随着市民环境意识的增强,“小灵通”基站(含天线)的电磁辐射问题也逐渐引起了市民的关注,关于“小灵通”建设项目环境影响的信访和投诉日益增多。那么环保行政主管部门是否应将“小灵通”建设项目纳入环境管理,以及如何进行环境管理便成为在理论上亟待解决的问题。本文试图从实践需要和法律规范两个角度对该问题进行论证。     

斜撑转换结构在高层中的应用

简要介绍了在高层建筑中常见的转换结构形式,并结合成都某工程重点分析了斜撑转换结构在该工程中的运用,对斜撑转换结构的设计进行了探讨,并指出斜撑转换结构设计施工中应注意的问题,可为同类建筑提供指导。     

HPLC法检测蜜饯中20种合成着色剂含量

建立蜜饯中柠檬黄、新红、苋菜红、靛蓝、丽春红S、胭脂红、喹啉黄、日落黄、诱惑红、亮蓝、酸性红44、酸性红、食品红1、橙黄1、酸性红50、专利蓝V、赤藓红、酸性橙2、酸性橙8、亮蓝G共20种合成着色剂的高效液相色谱测定方法。试样用甲醇/氨水溶液提取,混合型弱阴离子反相固相萃取柱净化,甲醇/20 mmol/L乙酸铵为流动相梯度洗脱,二极管阵列检测器多波长检测,外标法定量。结果表明,该方法在0.1~20 μg/mL的线性范围内相关系数均大于0.999,加标回收率范围为84.0%~104.5%,相对标准偏差（RSD）为1.3%~5.3%。该方法操作便捷、稳定性好、回收率高,适用于蜜饯中20种合成着色剂的同时分析检测。该方法可以扩展应用于其他同结构性质的色素分析,对其他食品类别中色素的检测也具有参考意义。     

GPON及其在全业务网络中的应用

自1997年成立以来,爱立信中国学院已成为中国电信行业中一个集研发、管理、服务和培训实施于一身的企业大学。它承担着爱立信中国员工的能力提升规划和实施的任务,同时为爱立信的合作伙伴提供从学位项目培训课程,到学习与能力发展咨询等服务,帮助企业和企业的学习机构进行战略规划、能力管理,技能评测,将爱立信的全球研究成果和最佳实践和电信产业的同仁进行分享,共同进步。     

基于程序转化的SCADE模型检测

SCADE同步语言是一种常用的嵌入式系统程序设计语言.在航空、航天、交通等安全关键领域的装备研发中,SCADE同步语言通常被用于实现实时嵌入式自动控制系统.SCADE语言是工业级的开发工具,它源于Lustre语言,并在其基础上增加了更多的语言结构来精简代码.目前,相比Lustre语言,SCADE程序模型检测的学术研究相对落后.为此,文中提出了一种对SCADE程序进行模型检测的方法并实现了一款SCADE模型检测工具,该方法的核心思想是基于程序转化,即把SCADE程序经过词法分析、语法分析、抽象语法树生成与化简等操作最终转化为等价的Lustre程序,然后用JKind与SMT求解器完成模型检测.此外,通过理论推导和大量实验证明了工具的模型检测的正确性.实验结果表明,功能相同的两个SCADE和Lustre测试用例模型的检测结果相同,但SCADE程序的模型检测效率相对较低.