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

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

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

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

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

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

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

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

国家核损害补偿责任浅议

核技术是现代科学技术的重要组成部分,是当今高科技发展的重要领域之一。核损害赔偿体现了法律责任机制应对高科技风险的挑战与回应。日本福岛核事故所引发的赔偿展示出核损害赔偿实现的复杂性,反映出传统法律机制回应风险社会各项挑战的不足。各国现行核损害赔偿立法均确认核设施营运人是承担核损害赔偿民事责任的唯一主体,国家负有财务担保责任。从风险规制的角度来说,核能的开发利用是国家代表公众所做出的风险决策,核风险演变为实际损害后,国家应对核损害受害人负有补偿责任。建议我国核损害赔偿体系应在确立核设施营运人民事赔偿唯一责任主体的基础之上,以国家补偿责任为落脚点,建立多元主体参与的赔偿渠道,保障核损害受害人可以及时获得救济。     

斜柱结构研究综述

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

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

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

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

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

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种合成着色剂的同时分析检测。该方法可以扩展应用于其他同结构性质的色素分析,对其他食品类别中色素的检测也具有参考意义。     

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

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