扩展Meadows模型分析Ad Hoc网络路由协议安全性

目前,Ad hoc网络安全路由协议缺乏有效的形式化分析方法.通过添加基于图论的路由描述和分析方法,文章扩展了Meadows模型的分析能力.使用扩展后的Meadows模型对Ad hoc网络安全路由协议Ariadne进行了分析,分析结果显示Ariadne协议存在产生虚假路由的漏洞,从而也说明了扩展后的Meadows模型能够用于Ad hoc网络安全路由协议的安全性分析.     

世界石油工业科技研发7大方向

（1）扩大勘探领域，提高勘探精度，发现更多的隐蔽油气藏．发展多学科综合储层描述、油藏管理和流体成像技术、地质模拟技术、三维可视化技术和多分量四维地震勘探技术．     

一种基于PVDAC描述子的RGB-D三维点云配准方法

利用RGB-D数据进行三维点云配准时容易陷入局部最优.针对这个难题,提出了一种基于多维特征的PVDAC描述子实现三维点云配准的方法.该方法首先通过ORB特征检测算法提取二维数据的关键点,并计算关键点在2D下的灰度特征,然后构建关键点在3D下的局部像素值距离、点云法线角度以及曲率特征,接着将2D特征和3D特征联合生成全新的PVDAC像素描述子,并利用PVDAC像素描述子描述关键点实现三维点云的粗配准,最后基于ICP算法完成三维点云的精细化配准.实验表明,本文算法在大场景点云配准时总体均方误差约为0.05 m2,在小场景单物体点云配准时达到了0.000 2 m2的较小误差,实现了三维点云的精确配准.     

隐喻与科学模型

对隐喻与科学模型之间的关系作了初步探讨,认为隐喻在建构科学模型中起着十分重要的作用,尤其是当模型用于表示尚未认识的对象时,但并不是所有的模型都是隐喻性的,即便是隐喻性的模型也不一定能对研究对象加以准确、恰当的表示.     

市场化年代的格非先锋历史小说

格非注重历史在小说世界中的想象性实现,他的小说大都可以纳入先锋历史小说的范畴。格非在悲剧中反思历史,在虚构中呈现真实,在隐喻中超越现实,试图展示生命深处的人性本质。格非在历史中探求人性升华的可能,在苦难中寄寓精神救赎的希望,这种对历史和生命的终极关怀,启迪着我们去追寻遥远精神家园。格非先锋历史小说所体现的批判精神和诗性品质是文学在市场化年代应该坚守的立场。     

圆纬机电脑提花的花型数据准备

对单面3工位电子选针的花型数据准备及其算法作了较全面的论述。对提花原理、花型准备系统进行了阐述，探讨了3类花数据及其相互转换的方法，为电子提花圆纬机花型软件的开发提供一些理论基础。     

英汉名词化隐喻实现形式及语篇功能对比研究

从隐喻性思维角度对比英汉名词化隐喻实现形式和语篇功能。英语是综合语型语言,可通过多种方式添加词缀隐喻化为名词。汉语属于形态不发达的语言,汉语的动词或形容词一致地体现过程或特性,隐喻地体现事物,它与英语的差别在于它从过程或特性转化为事物缺少形态变化,变化的仅仅是句法功能,词本身形式没有发生任何变化。名词化隐喻不仅在英汉语篇中大量出现,而且都具有使语篇衔接、客观的功能     

皮秒激光在充气毛细管中四波混频的理论描述

建立了描写皮秒激光在充气毛细管中四波混频过程的耦合方程组．利用这个耦合方程组对最近的毛细管中差频过程的实验结果给出了新的理论说明．发现采用三阶非线性极化率大的介质是进一步提高信号光强度的重要途径．     

大裸头绦虫（Anoplocephala magna）形态描述

报道了宁夏回族自治区驴体内的一种裸头科绦虫：大裸头绦虫（Ａｎｏｐｌｏｃｅｐｈａｌａｍａｇｎａ）的形态，标本通过仔细地观察绘图，并作了较详尽的形态学描述．虫体２０５．６×２３．５ｍｍ，３４８节，头节仅具四个吸盘．体节全部宽大于长，生殖器官一套．睾丸数３８７～４６３个．卵巢麦穗状，分不对称的两翼横跨体节后缘．卵黄腺扁平团块状，位于卵巢后方．子宫细长横管状．阴道位于阴茎囊后方．生殖孔单侧开口于体节侧缘近中部．孕节子宫囊袋状，虫卵具梨状器．     

因素空间理论与知识表示的数学框架（Ⅰ）──因素空间的公理化定义与描述架

系统地研究因素空间理论及其在知识表示中的应用。介绍因素空间理论的基本思想，修改了原有的因素空间的公理化定义，提出了表达概念的基本工具－－描述架，为建立知识表示的数学框架奠定了基础。