基于热中子探测评价裂缝的示踪剂特性研究

针对裂缝热中子示踪探测方法,从中子双组扩散理论入手结合蒙特卡洛数值模拟方法,分析压裂前后地层热中子分布影响因素,并模拟不同类型示踪剂及含量的热中子裂缝响应规律,筛选最佳示踪剂并给出其在支撑剂中含量的上、下限。结果表明:压裂前后热中子计数变化量主要受裂缝宽度和标记支撑剂中示踪剂含量的影响;钆对裂缝宽度变化反应最灵敏,钆元素是作为标记支撑剂的最佳示踪元素;随支撑剂中Gd 2O 3含量的增加,热中子计数率降低,热中子计数变化量D增加;示踪剂中氧化钆的上、下限值随裂缝宽度呈指数降低,且当裂缝宽度为1.0 cm时,Gd 2O 3的质量分数上限为0.68%,下限为0.03%。     

凋亡抑制蛋白与肿瘤关系的研究

凋亡抑制蛋白(inhibitor of apoptosis proteins,IAPs)可以作为癌症诊断和治疗的靶点,在肿瘤研究方面备受关注,就凋亡抑制蛋白的结构、功能、在肿瘤中的表达与肿瘤的关系等研究进展作一综述,为凋亡抑制蛋白的研究提供信息和思路.     

基于重抽样分布的一类模糊累积和控制图

过程变量在代表产品或服务过程信息时并非完美，而使用模糊数可能是另一较好途径。文章进一步完善模糊累积和控制图，其中使用中心和扩展具有重抽样分布的模糊随机变量，并给出模拟例证。     

基因编辑婴儿的伦理、法律和社会蕴含

 同试管婴儿、克隆人、商业化代孕、干细胞治疗等医疗新技术引发的伦理争议相比，贺建奎基因编辑婴儿事件引发的关注更大、社会反响更为猛烈。探讨贺建奎基因编辑婴儿事件引发国际国内热议的原因，讨论了基因编辑婴儿的伦理、法律和社会蕴含。建议明确界定基因编辑技术的适用对象和范围，建立健全新型医疗技术临床应用的伦理审查和监管体系，提升全社会的伦理意识。     

基于三维点云的岩体结构面自动分类与参数计算

结构面间距是岩体稳定性和力学特性分析中的一个重要参数，在岩石力学、采矿工程、边坡监测等领域的数值计算中广泛应用.本文以岩体边坡露头为研究对象，基于非接触测量获得的三维点云数据，提出一种基于密度聚类的结构面细化分类方法；在结构面粗略分组提取的基础上，通过投影变换、散乱点拟合等算法，求得结构面间距和岩体体积节理数.设计开发了结构面细化分类及间距等参数计算与分析原型系统，实际案例分析表明，本文方法可有效实现结构面的自动细化分类，并能够计算出间距等相关参数，可为岩体质量分级和岩体稳定性分析等提供方法支撑.     

基于生态交错带理论的生态环境潜在容量评估和预警研究——以重庆三峡库区为例

生态交错带是指两种不同类型的生态系统交界过渡的区域。基于生态交错带理论对重庆三峡库区的生态脆弱性状况进行了分析，并在此基础上运用道夫尼尔和地球环境的潜在指数M，计算人对地理环境的影响，评估土地类型和环境污染状态。通过对生态环境潜在容量指数E的修正评估了库区 22 个区县的生态环境潜在容量，并在此基础上做出预警研究，将其划分为急警、重警、中警、轻警和无警 5 种类型。最终得出重庆三峡库区生态环境状况两极化现象比较严重，发展不平衡，有些地区生态破坏较为严重，因此需要采取相应的对策进行优化发展。
     

体育消费的学理脉络、统计内容及其实施策略

采用文献资料法，依次从学理脉络、统计内容及其实施策略展开关于体育消费以及体育消费统计的讨论。认为：从学理上看，体育消费作为一个复杂概念，既牵涉宏观经济社会发展，也与文化意识形态紧密联系；而作为准确把握体育市场、把脉体育发展情况的基础性工作之一，体育消费统计则应该避免将体育消费概念泛化。应以体育政策为导向，面向人民的美好生活需要，对接国民经济统计制度，考虑建构以“体育教育与培训、体育文化与娱乐、体育保健与康复、体育传媒与信息、体育衣着耐用品、其他体育用品与服务、个人间接体育消费”为核心指标的统计框架，并通过长效工作方案的设计使体育消费统计工作制度化，通过统计调查制度的建构使体育消费统计执行有效化，通过统计数据的测算推算使体育消费统计结果精准化。     

基于BaLuF5∶Yb3+,E3+纳米晶掺杂的聚合物光波导放大器

为提高聚合物光波导放大器的增益性能,利用高温法合成了BaLuF5∶Yb3+,Er3+纳米晶,并分别对纳米晶的形貌、晶体结构和近红外发射特性进行了表征.测试结果表明,纳米晶平均粒径为13 nm,并在1 530 nm处具有较强的发射,荧光半高宽为50 nm.将合成的纳米晶掺杂入SU-8聚合物作为光波导放大器的芯层材料,使用光刻显影等工艺,在表面长有二氧化硅的硅衬底上制备出了聚合物光波导放大器.当980 nm波长泵浦光功率为280 mW、信号光波长为1 530 nm且功率为0.1 mW时,在长度为1.1 cm的光波导放大器中,获得了3.95 dB的相对增益.     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.