摘要：习近平副主席于2008年6月访问蒙古国,并签署了《中蒙经贸合作中期发展纲要》,标志着两国经贸合作特别是矿产资源合作开发进入了新阶段。蒙古国是中国实施睦邻、富邻、安邻政策的主要对象,矿产资源合作开发又是两国经贸合作的重要领域,为此,有必要对其矿产资源分布情况、开发态势及两国合作开发利弊因素进行分析研究,有针对性地提出加大合作开发力度的对策创意。作者认定,中蒙两国合作开发矿产资源前景光明,必将为双方经贸合作的持久发展注入强劲动力。

摘要：线性时序逻辑模型检测被广泛应用于处理器设计与验证、网络协议验证、安全协议验证等领域.然而到目前为止,该技术只能在电子计算的平台上实现.为了以脱氧核糖核酸(Deoxyribo Nucleic Acid,DNA)为载体对线性时序逻辑(linear Temporal Logic,LTL)实施模型检测,给出了使用粘贴自动机实现Until算子模型检测的方法.首先,使用粘贴自动机对Until公式的有穷状态自动机(Finite State Automata,FSA)模型进行编码;然后,将系统模型转换为粘贴自动机的输入字符串;最后,用粘贴自动机验证系统是否满足公式.仿真实验结果证实,新方法可实现对LTL逻辑时序算子的检测.

摘要：自然资源基本法是自然资源领域的"小宪法"。我国目前已基本形成土地、矿产、海洋、森林、草原等门类齐全、规模可观的具有中国特色的自然资源单行法体系,但现有体系存在对象交叉、内容重复、法律效力层次混乱等现象。各资源管理部门主导的立法,部门利益化的倾向严重,争夺执法权和执法中的推诿、扯皮问题突出。自然资源立法需要顶层设计,需要体现一国最大多数人的最长远的最大利益。自然资源部已成立,在自然资源基本法的理论研究已经成熟和自然资源单行立法渐成体系的背景下,通过借鉴《民法总则》提取公因式的立法方法,自然资源基本法的立法不仅非常必要,而且切实可行。

摘要：随着3G时代的到来,移动通信服务的重点也将逐渐由传统的语音向增值业务方面转移,移动增值业务质量保障对电信运营商提出了更高的要求。本文对3G增值业务质量监测平台的功能模块、接口类型进行深入分析,最后对平台开发所应用的软件开发技术进行介绍。

摘要：为了使开发者能安全准确地使用第三库接口,库设计者提供了各种类型的安全提示(安全规约),进而保护应用程序免受因库函数的误用而造成的安全攻击.然而,研究表明:开发者经常性不遵守这些安全规约,导致应用程序中引入了各种各样的安全漏洞.为了评估该问题的影响与规模,进行了系统性的、大规模的对安全规约在安卓应用程序中违反情况的研究.结果表明:已有的安全规约由于不精确的描述、误导性的代码示例、错误的默认设置、碎片化以及缺少强制性检查等原因而大大影响了其在实际运用中的有效性.为了使开发者能更好地遵守安全规约,提出了TipTracer,一个自动化的通用漏洞分析框架.TipTracer主要包含2个部分:1)TipTracer定义了一个能形式化描述安全规约的安全性语言,并利用该语言对已知的安全规约进行形式化表述;2)TipTracer实现了一个静态代码分析器,用于检查应用程序是否满足安全规约.最后,通过大规模的实验分析,证明了TipTracer能有效且准确地对大规模的真实应用程序进行安全性分析.

摘要：提出同时优化亚波长金属透镜结构凹槽宽度和深度,以改善亚波长金属透镜的聚焦特性.基于有限时域差分法,详细研究了凹槽宽度和深度变化对其焦斑的峰值半宽、焦斑强度、归一化聚焦效率以及焦距的影响.通过探讨金属透镜的聚焦规律及其物理机理,给出了金属透镜的优化设计方法,为利用金属透镜实现光波的纳米聚焦及灵活操控提供了理论基础.

摘要：甘肃某规模化奶绵羊养殖场发生一起母羊流产并伴有腹泻的病例,为了确定病因,采用无菌剖检采样、细菌学检测、设计特异性引物进行PCR检测、分离菌株进行药敏试验等方法进行实验室诊断。细菌学检测结果显示,分离出大肠埃希氏菌;PCR结果获得523 bp和687 bp基因片段,测序结果与流产嗜性衣原体和伯氏立克次体同源性均为100%;药敏试验结果显示,分离菌株对头孢噻肟、诺氟沙星、左氟沙星敏感,对四环素、氧氟沙星、头孢氨苄等均耐药。依据病原学诊断,最终确诊这起疫病为流产衣原体、Q热立克次体混合感染所致的流产,耐药性大肠埃希氏菌感染导致的腹泻。

摘要：深度学习网络是计算机视觉和人工智能系统的研究热点之一,行人属性识别提供了结构化的行人特征,为安防计算机视觉识别中行人检索提供了重要的信息.基于深度学习网络,提出了一种端到端的多属性识别方法,在R*CNN的基础上设计了一个端到端的行人属性识别网络,使用候选区域提取网络代替Selective Search提取第二重要的区域,建立属性识别与辅助区域提取一体化的网络,提升局部及细节属性识别的准确率;其次,为增加辅助区域的作用,将人体感兴趣区域按比例划分为整体、头、肩膀到腰及腰到脚4个部分,每个部分对应了不同属性,在任务分支层分出4个分支,使用主要区域预测对应属性的同时,分别从RPN中学习到对应的第二重要区域辅助预测;最后,提出了基于损失梯度的损失权值自动更新方法,即权重与损失的梯度逆相关,防止某个任务训练的过快或过慢.通过在行人属性数据库进行实验,整体提升了属性预测的准确率,大大缩短了识别时间.

摘要：云南省丽江市属于资源型缺水地区,水资源配置空间不均衡。本文结合丽江市水资源状况和开发利用现状,针对存在的问题进行分析,提出了落实最严格水资源管理制度、建成水资源高效利用体系、大力推进重点领域节水、建立健全节水激励机制、培养公民节水意识以及完善防洪安全体系、构建空间均衡的水资源配置体系、建设智慧水利体系等解决当前水资源问题的措施,以期改善丽江市水资源和用水现状。

摘要：垂直飞行于常规航线能够替代每条基本航线两端的高程控制点,可提高影像定位的高程精度。以附带POS数据的UCXp航空数字影像为例,探讨在区域四角基本航线与构架航线交叉的位置,布设野外像控点组,设计仅有影像姿态数据参与、仅有像控点参与、影像姿态数据+像控点共同参与等3种空中三角测量方案,用于检测1∶10000平地成图的加密精度。结果表明,影像姿态数据+像控点共同参与的加密方案,其成果平面精度较高,高程精度可以明显提高。