检索结果-南通市图书馆

船舶力学 2005年第4期9卷 53-60页

作者：谢俊元中国船舶科学研究中心江苏无锡214082

本文提出了一种基于虚拟现实的深潜器运动仿真设计思想。文中简述了该仿真系统的硬件组成和软件体系结构、实时仿真算法以及仿真数学模型,同时也介绍了仿真系统的其它模块,如三维航迹显示模块和避碰检测模块等。文中最后给出了该系统的... 详细信息

本文提出了一种基于虚拟现实的深潜器运动仿真设计思想。文中简述了该仿真系统的硬件组成和软件体系结构、实时仿真算法以及仿真数学模型,同时也介绍了仿真系统的其它模块,如三维航迹显示模块和避碰检测模块等。文中最后给出了该系统的一些仿真结果和结论。

关键词：载人潜水器运动仿真三维虚拟现实

在线全文

学校读者我要写书评

暂无评论

基于定性多用户偏好的Web服务选择

电子学报 2011年第4期39卷 729-736页

作者：周宁谢俊元计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

随着Web服务数量逐渐增多,出现了许多服务提供者提供功能相同或相似服务的情况.如何在一些功能相似或相同的服务集合中,根据用户对服务质量的需求选出更符合用户要求的服务,是当前研究人员普遍关心的课题.本文提出一种定性的服务选择方... 详细信息

随着Web服务数量逐渐增多,出现了许多服务提供者提供功能相同或相似服务的情况.如何在一些功能相似或相同的服务集合中,根据用户对服务质量的需求选出更符合用户要求的服务,是当前研究人员普遍关心的课题.本文提出一种定性的服务选择方法,用来解决涉及多个用户的Web服务选择问题.各用户对服务质量的需求被表示为偏好.提出的算法将能够综合考虑各个用户的偏好,使选出的服务尽可能满足大部分用户的偏好要求,并给出了一个实例说明该算法的应用.实验结果表明了算法的有效性.

关键词： Web服务服务质量 CP-net 偏好逻辑

在线全文

学校读者我要写书评

暂无评论

基于SPKI的移动Agent访问控制模型

计算机工程 2003年第18期29卷 122-124页

作者：姜峰吴兆胜谢俊元南京大学软件国家重点试验室南京大学计算机科学与技术系南京210093

分析了目前使用认证和授权机制来保护运行环境不受移动Agent的恶意攻击的方案，提出一种使用SPKI证书进行访问控制的模型，并对模型进行了分析。

关键词：证书移动Agent SPKI 授权机制网络安全

在线全文

学校读者我要写书评

暂无评论

台风中心定位中的螺旋线自动识别算法

软件学报 1997年第A期8卷 398-403页

作者：谢俊元南京大学

本文是台风中心定位系统的核心算法，运用图象处理和模式识别技术进行云图螺旋线特征提取，得到有螺旋线特征的曲线段，最后运用曲线拟合技术进行螺旋线拟合定解决了台风中心定位依靠于工操作加工经验的判定方式而使台风预报准确偏低的... 详细信息

本文是台风中心定位系统的核心算法，运用图象处理和模式识别技术进行云图螺旋线特征提取，得到有螺旋线特征的曲线段，最后运用曲线拟合技术进行螺旋线拟合定解决了台风中心定位依靠于工操作加工经验的判定方式而使台风预报准确偏低的问题，提高了台风预报的速度和精度。

关键词：台风预报卫星云图自动识别曲线拟合螺旋线

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

一种基于π^t演算的安全协议建模方法

计算机研究与发展 2010年第4期47卷 613-620页

作者：韩进蔡圣闻王崇峻赖海光谢俊元南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 解放军理工大学指挥自动化学院计算机系南京210007

安全协议模型是安全协议分析与验证的基础,现有的建模方法中存在着一些缺点,如:建模复杂、重用性差等.为此提出了一种类型化的π演算:πt演算,并给出了相应类型推理规则和求值规则,πt演算的安全性也得到了证明.πt演算可以对安全协议... 详细信息

安全协议模型是安全协议分析与验证的基础,现有的建模方法中存在着一些缺点,如:建模复杂、重用性差等.为此提出了一种类型化的π演算:πt演算,并给出了相应类型推理规则和求值规则,πt演算的安全性也得到了证明.πt演算可以对安全协议、协议攻击者进行形式化建模.基于πt演算的安全协议模型及其建模过程使用NRL协议为例做出了说明.同时给出了攻击者模型,并证明了基于πt演算的安全协议攻击者模型与D-Y攻击者模型在行动能力上是一致的.这保证了基于πt演算的安全协议模型的验证结果的正确性.基于πt演算的建模方法能在协议数据语义、协议参与者知识方面实现细致的描述.与同类方法相比,该方法可提供多种分析支持,具有更好的易用性、重用性.分析表明,该方法可以在建模中发现一定的安全协议漏洞.

关键词：安全协议模型 πt演算安全协议验证类型化系统形式化方法

一种多核环境中无锁的多进程负载均衡会话保持方案

在线全文

学校读者我要写书评

暂无评论

电子与信息学报 2013年第4期35卷 982-987页

作者：吴和生王崇骏谢俊元南京大学软件学院南京210093 计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

负载均衡是云计算的基本问题之一,多核环境中多进程负载均衡会话保持问题得到广泛关注并发展成为研究热点。针对该问题,面向Linux内核,基于Hash化管理内核网络数据包传递的思想,该文提出并实现了一种无锁的多进程负载均衡会话保持方案... 详细信息

负载均衡是云计算的基本问题之一,多核环境中多进程负载均衡会话保持问题得到广泛关注并发展成为研究热点。针对该问题,面向Linux内核,基于Hash化管理内核网络数据包传递的思想,该文提出并实现了一种无锁的多进程负载均衡会话保持方案。该方案避免了锁的使用,而且不需要对原有单进程负载均衡程序进行结构上的修改,能够快速地将现有单进程负载均衡程序转变为多进程架构。理论分析和实验表明,相较于传统的共享内存式锁机制会话保持解决方案,该方案性能更好、适用性更强,提高了多核环境中负载均衡系统的效率。

关键词：云计算多核多进程负载均衡会话保持无锁

PABCS:一种用于并行入侵检测的流量划分算法

在线全文

学校读者我要写书评

暂无评论

计算机学报 2007年第4期30卷 555-562页

作者：赖海光黄皓谢俊元南京大学软件新技术国家重点实验室

网络入侵检测系统的处理速度越来越难以跟上网络的速度,使用多个探测器并行处理网络数据流可以大幅度提高网络入侵检测系统的性能,其关键问题是如何将网络流量划分给多个探测器.考虑负载均衡、攻击证据保持和效率三个方面的要求,提出了... 详细信息

网络入侵检测系统的处理速度越来越难以跟上网络的速度,使用多个探测器并行处理网络数据流可以大幅度提高网络入侵检测系统的性能,其关键问题是如何将网络流量划分给多个探测器.考虑负载均衡、攻击证据保持和效率三个方面的要求,提出了一种称为PABCS的流量划分算法.该算法利用TCP连接的状态进行流量的划分,提供了比通常使用的基于Hash的算法更好的负载均衡能力,同时,PABCS保证划分后不丢失检测攻击所需的信息.实验表明,文中算法能够达到1Gbps的处理能力.

关键词：入侵检测并行处理流量划分负载均衡序列假设测试

在线全文

学校读者我要写书评

暂无评论

一种基于全局协同与局部进化的遗传算法

计算机工程 2005年第19期31卷 29-31页

作者：王本年陈世福谢俊元南京大学计算机软件新技术国家重点实验室

改进了协同进化遗传算法中的协同操作,提出了一种基于全局协同与局部进化的两层框架模型和基于此模型改进的遗传算法(GCLEGA),在高层,采用基于邻域的局部进化算法,旨在加强局部搜索,加速收敛速度,在底层,采用改进的多种群协同进化算法,... 详细信息

改进了协同进化遗传算法中的协同操作,提出了一种基于全局协同与局部进化的两层框架模型和基于此模型改进的遗传算法(GCLEGA),在高层,采用基于邻域的局部进化算法,旨在加强局部搜索,加速收敛速度,在底层,采用改进的多种群协同进化算法,旨在改善群体的多样性,克服未成熟收敛,两层之间通过提升操作关联,使全局搜索与局部搜索、全局收敛性与收敛速度有机地统一了起来。实验结果显示,GCLEGA在改善未成熟收敛和提高收敛速度两方面都具有良好的性能。

关键词：遗传算法未成熟收敛收敛速度

在线全文

学校读者我要写书评

暂无评论

B1级安全数据库审计的设计与实现

计算机工程 2004年第11期30卷 54-56,140页

作者：程维国田园王德强谢俊元南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

审计子系统作为安全数据库的一个重要组成部分,它可以对外界的行为追踪、记录,监督系统正常运行,保障系统安全策略的实行,构造入侵监测系统。该文主要介绍了一个基于开放源代码Postgres实现的安全数据库SoftBase的审计子系统。并给出了... 详细信息

审计子系统作为安全数据库的一个重要组成部分,它可以对外界的行为追踪、记录,监督系统正常运行,保障系统安全策略的实行,构造入侵监测系统。该文主要介绍了一个基于开放源代码Postgres实现的安全数据库SoftBase的审计子系统。并给出了审计开关、审计记录、审计文件、审计查询的具体实现。

关键词：审计安全数据库审计开关审计记录

在线全文

学校读者我要写书评

暂无评论

基于第三方的移动Agent安全模型

计算机工程 2003年第15期29卷 144-145,180页

作者：罗杰贾志勇赵洋姜峰谢俊元南京大学计算机科学与技术系南京大学计算机软件新技术国家重点试验室南京210093

移动Agent被称为新一代的网络计算模式，有着广阔的应用前景。但是安全性问题阻碍了它投入实际的应用，其中最困难的是保护Agent不受恶意平台的攻击。该文在分析现有安全策略的基础上，提出了一种基于第三方的安全模型。这种模型可以很... 详细信息

移动Agent被称为新一代的网络计算模式，有着广阔的应用前景。但是安全性问题阻碍了它投入实际的应用，其中最困难的是保护Agent不受恶意平台的攻击。该文在分析现有安全策略的基础上，提出了一种基于第三方的安全模型。这种模型可以很好地解决上述问题，为解决移动Agent的安全问题提供了一个可行的方法。

关键词：移动Agent Agent安全安全模型