检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

对几类重要网络安全协议形式模型的分析

计算机学报 2005年第7期28卷 1071-1083页

作者：季庆光冯登国中国科学院软件研究所信息安全国家重点实验室

该文根据建模基础的不同,对目前处在研究热点中的几个重要协议形式模型进行了分类分析.它们可以分为4类:基于知识演化系统的模型;基于规则推理系统的模型;基于代数演算系统的模型及基于计算复杂性理论的模型.对每类模型作者提出了相应... 详细信息

该文根据建模基础的不同,对目前处在研究热点中的几个重要协议形式模型进行了分类分析.它们可以分为4类:基于知识演化系统的模型;基于规则推理系统的模型;基于代数演算系统的模型及基于计算复杂性理论的模型.对每类模型作者提出了相应的抽象特征体系,并在该体系下分析了有代表性的模型,指出了这些模型的优缺点及进一步改进的思路.抽象体系的提出不仅使模型的本质变得清晰,而且还使同类模型中的不同模型之间的联系变得易于理解;分析了不同类型模型之间可能存在的联系,特别是用基于规则推理的模型的思路改进了WooLam模型,在提出B模型抽象结构的同时,分析指出它极有可能发展成为一个统一各类模型的模型.

关键词：安全协议形式模型抽象体系安全性质形式系统

在线全文

学校读者我要写书评

暂无评论

基于卡尔曼滤波的高速道路行程时间动态预测

同济大学学报（自然科学版） 2002年第9期30卷 1068-1072页

作者：杭明升杨晓光彭国雄同济大学道路与交通工程系上海200092

首先介绍了卡尔曼滤波的算法 ,并定性说明了其优点———动态性、实时性 .然后使用卡尔曼滤波法和传统的预测方法分别对同一观测数据进行了观测和对比 ,从而定量证明了卡尔曼滤波法的高精度性 .研究成果对于开发交通信息诱导系统和动态... 详细信息

首先介绍了卡尔曼滤波的算法 ,并定性说明了其优点———动态性、实时性 .然后使用卡尔曼滤波法和传统的预测方法分别对同一观测数据进行了观测和对比 ,从而定量证明了卡尔曼滤波法的高精度性 .研究成果对于开发交通信息诱导系统和动态交通分配均具有较大的意义 .

关键词：卡尔曼滤波高速道路行程时间动态预测智能交通系统交通信息诱导系统交通分析

淬火-预拉伸对2A12铝合金厚板残余应力的影响

在线全文

学校读者我要写书评

暂无评论

材料热处理学报 2012年第12期33卷 47-52页

作者：张舒原吴运新廖凯龚海中南大学机电工程学院湖南长沙410083 高性能复杂制造国家重点实验室湖南长沙410083

采用层削法对2A12铝合金淬火厚板在预拉伸前后的残余应力进行了测定,厚板的淬火采用阵列喷淋及水浴两种方式。结果表明:两种淬火方式在厚板内部都形成了"内拉外压"的典型分布规律;喷淋方式的淬火强度相对较低,只在厚板靠近表层的地方形... 详细信息

采用层削法对2A12铝合金淬火厚板在预拉伸前后的残余应力进行了测定,厚板的淬火采用阵列喷淋及水浴两种方式。结果表明:两种淬火方式在厚板内部都形成了"内拉外压"的典型分布规律;喷淋方式的淬火强度相对较低,只在厚板靠近表层的地方形成了较大的残余应力,内部靠近中面的位置残余应力水平接近于0;水浴方式淬火强度更大,在厚板整个厚度上形成了单调连续分布的残余应力;预拉伸使喷淋和水浴两种淬火板内的残余应力都大幅度消减;强度更高的淬火工艺加大了板内金属力学性能的不均匀性,减弱了残余应力消减的效果。

关键词：淬火预拉伸 2A12 铝合金残余应力

在线全文

学校读者我要写书评

暂无评论

基于力场分析的主动轮廓模型

计算机学报 2004年第6期27卷 743-749页

作者：侯志强韩崇昭西安交通大学电子与信息工程学院综合自动化研究所西安710049

传统Snake模型存在的缺点是 ,其初始轮廓必须靠近图像中感兴趣目标的真实边缘 ,否则会得到错误结果 ,且由于Snake模型的非凸性 ,结果不能进入感兴趣目标的深凹部分 ,很容易陷入局部极小点 .由此该文提出一种基于力场分析的主动轮廓模型 ... 详细信息

传统Snake模型存在的缺点是 ,其初始轮廓必须靠近图像中感兴趣目标的真实边缘 ,否则会得到错误结果 ,且由于Snake模型的非凸性 ,结果不能进入感兴趣目标的深凹部分 ,很容易陷入局部极小点 .由此该文提出一种基于力场分析的主动轮廓模型 ,详细分析了基于欧氏距离变换的距离势能力场分布 ,归纳出感兴趣目标上真轮廓点与假轮廓点的判别标准 .建立了由曲线能量到最终结果的有效方法 ,避免了Snake陷入局部极小点 .实验结果表明 ,该模型具有较大的捕获区域 ,能够进入感兴趣目标的深凹部分 ,准确提取感兴趣目标的轮廓 .与GVFSnake模型相比 ,该模型具有很小的计算量 .

关键词：力场分析主动轮廓模型 Snake模型 FFASnake 边缘检测

基于Voronoi图的无需测距的无线传感器网络节点定位算法

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2008年第1期45卷 119-125页

作者：王继春黄刘生徐宏力徐犇李善亮中国科学技术大学计算机科学与技术系合肥230027

将Voronoi图应用于无线传感器网络定位问题中,提出了VBLS(Voronoi diagrams based local-ization scheme)定位算法.它首先对接收到的anchor节点的接收信号强度(RSSI)从大到小进行排序,然后利用UDG图依次计算每个anchor节点的Voronoi区域... 详细信息

将Voronoi图应用于无线传感器网络定位问题中,提出了VBLS(Voronoi diagrams based local-ization scheme)定位算法.它首先对接收到的anchor节点的接收信号强度(RSSI)从大到小进行排序,然后利用UDG图依次计算每个anchor节点的Voronoi区域,最后将所有Voronoi区域交集的质心输出作为定位结果.通过仿真将VBLS和另外两种无需测距的定位算法(W-Centroid和Centroid)进行了比较.仿真结果表明,对于anchor节点随机摆放的情况,VBLS的定位误差比Centroid和W-Centroid分别降低了18%和13%;对于anchor节点均匀摆放的情况,VBLS的定位误差比Centroid降低了7%,比W-Centroid增加了2%.

关键词：节点定位无线传感器网络 Voronoi图接收信号强度无需测距

在线全文

学校读者我要写书评

暂无评论

语义驱动的集成化产品建模

计算机辅助设计与图形学学报 2008年第3期20卷 366-373页

作者：楼轶超林兰芬董金祥浙江大学人工智能研究所杭州310027

针对复杂产品研发过程中多领域协同对产品知识共享和重用的需求,提出一种语义驱动的集成化产品建模方法.结合多本体技术,给出了集成化产品建模框架,该框架由概念层和模型层构成,概念层包括高层核心产品本体和领域本体,模型层由主模型和... 详细信息

针对复杂产品研发过程中多领域协同对产品知识共享和重用的需求,提出一种语义驱动的集成化产品建模方法.结合多本体技术,给出了集成化产品建模框架,该框架由概念层和模型层构成,概念层包括高层核心产品本体和领域本体,模型层由主模型和领域模型等一族模型构成;同时还给出了集成化产品模型的形式化语义描述,在构建高层核心产品本体的基础上建立主模型;基于多领域本体,进行由概念层语义驱动的领域模型快速重构,在语义理解基础上实现跨领域的产品知识重用.

关键词：语义驱动多本体集成化产品建模知识重用

在线全文

学校读者我要写书评

暂无评论

道路网交通流状态变化趋势判别方法

同济大学学报（自然科学版） 2012年第9期40卷 1323-1328页

作者：董春娇邵春福谢坤李慧轩田纳西大学交通研究中心田纳西诺克斯维尔37996 北京交通大学城市交通复杂系统理论与技术教育部重点实验室北京100044

根据城市快速路交通流参数实测数据所表征的交通流状态特性,结合基本图和三相交通流理论,将道路网交通流状态划分为自由流状态、拥挤流状态和阻塞流状态.在此基础上,采用模糊信息粒化的思想,以道路网检测断面数为窗口,设计三角形模糊隶... 详细信息

根据城市快速路交通流参数实测数据所表征的交通流状态特性,结合基本图和三相交通流理论,将道路网交通流状态划分为自由流状态、拥挤流状态和阻塞流状态.在此基础上,采用模糊信息粒化的思想,以道路网检测断面数为窗口,设计三角形模糊隶属函数,将同时段的道路网交通流状态映射为含有低边界值L、中值R和高边界值U三参数的模糊信息粒.以模糊信息粒为输入,建立Elman网络模型预测交通流状态变化趋势.依据预测结果计算道路网交通流状态综合指数,判别未来时段道路网交通流状态,并以北京市某一区域路网为例进行实证性研究.研究结果表明:所提出的方法能够实现道路网交通流状态变化趋势判别,准确率为93.33%,同等条件下支持向量机模型判别准确率仅为86.67%.

关键词：交通流状态趋势判别模糊信息粒 Elman网络

在线全文

学校读者我要写书评

暂无评论

知识引导的软件可信性需求的提取

计算机学报 2011年第11期34卷 2165-2175页

作者：王越刘春张伟金芝中国科学院数学与系统科学研究院北京100190 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871

软件系统的可信性已经成为一个受到广泛关注的焦点问题.开发可信的软件系统的前提是在需求阶段提取恰当的可信性需求.能否提取出足够好的软件可信性需求,不仅依赖于需求工程师对未来软件系统可能面临的威胁的认识,还依赖于其对各种威胁... 详细信息

软件系统的可信性已经成为一个受到广泛关注的焦点问题.开发可信的软件系统的前提是在需求阶段提取恰当的可信性需求.能否提取出足够好的软件可信性需求,不仅依赖于需求工程师对未来软件系统可能面临的威胁的认识,还依赖于其对各种威胁有效的应对措施的了解和掌握.目前缺少系统化的方法指导软件可信性需求的提取.文中提出一个软件可信性需求上层本体作为软件可信性需求的概念框架.在此框架的基础上,开发了一个软件可信性需求知识库,定义了软件可信性需求模式框架以及如何根据知识库的内容进行模式实例化的过程,帮助提取可信需求.最后利用一个股票交易系统作为案例展示了该方法的可行性.

关键词：可信需求可信需求模式可信需求获取需求工程

在线全文

学校读者我要写书评

暂无评论

一类实际网络中的最小截算法

软件学报 2003年第5期14卷 885-890页

作者：张宪超万颖瑜陈国良中国科学技术大学计算机科学与技术系安徽合肥230027 国家高性能计算中心(合肥) 安徽合肥230027

讨论了节点和边都有容量限制的无向平面网络中的两点间的最小截问题.传统方法是把节点和边都有容量的网络中的最小截问题转化为只有边有容量的问题,但该方法用在平面网络时不能保持网络的平面性,因此网络的平面性不能得到利用.使用传统... 详细信息

讨论了节点和边都有容量限制的无向平面网络中的两点间的最小截问题.传统方法是把节点和边都有容量的网络中的最小截问题转化为只有边有容量的问题,但该方法用在平面网络时不能保持网络的平面性,因此网络的平面性不能得到利用.使用传统方法的计算时间为O(n2logn)(其中n为网络的节点数).给出了可以充分利用网络平面性的方法.对源和汇共面的s-t平面网络,把最小截问题转化为平面图上两点间的最短路径问题,从而可以得到O(n)时间的算法;对一般的平面网络,给出了新的将节点和边都有容量的问题转化为仅边有容量问题的方法,这种转化方法不破坏网络的平面性,从而可以利用平面网络中仅边有容量问题的计算方法,使原问题在O(nlogn)时间内获得解决.

关键词：组合优化问题最小截算法平面网络平面图最短路径算法