Speeding Up the GVW Algorithm via a Substituting Method

Journal of Systems Science and Complexity - The GVW algorithm is an efficient signature-based algorithm for computing Gröbner bases. In this paper, the authors consider the implementation of...     

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

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

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

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

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

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

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

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

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

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

非均匀介质下的可调光流控器件及其生化应用

 探讨了非均匀介质下不同光流控器件及其生化应用。在微流控芯片上，主要从2个方面开发和实现各类具有光波导、透镜、细胞计数、化学检测等功能的新器件。首先，在液液非均匀介质下，通过调节沟道内液体流速，控制液体间的对流扩散来实现液体在微腔内的渐变折射率分布和阶跃分布，从而得到其特殊的光学特性，例如光束分离、弯曲、自聚焦等。其次，在固体非均匀介质下，利用特殊的微流结构与液体相结合，实现更加灵敏可调的新型探测手段。这些新型技术手段分别在生物传感、能源生产、细胞探测及海水检测等诸多应用中可发挥关键性作用。     

基于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)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.