检索结果-内蒙古大学图书馆

软件学报 2008年第3期19卷 594-604页

作者：李言辉徐宝文陆建江康达周东南大学计算机科学与工程系解放军理工大学指挥自动化学院江苏南京210007

分析了一般术语公理下推理的主要难点:在模糊解释中的隶属度不是离散值,而是区间[0,1]上的连续值.为解决该难点,提出了模糊描述逻辑FALCN下的模糊解释离散化方法,从而使解释中的隶属度都属于一个特殊的有限离散集合.基于该离散化方法,... 详细信息

分析了一般术语公理下推理的主要难点:在模糊解释中的隶属度不是离散值,而是区间[0,1]上的连续值.为解决该难点,提出了模糊描述逻辑FALCN下的模糊解释离散化方法,从而使解释中的隶属度都属于一个特殊的有限离散集合.基于该离散化方法,给出一般术语公理下FALCN推理问题的离散Tableau推理技术,包括离散Tableau的定义以及离散Tableau的构造算法,并证明了算法的正确性、完备性和复杂度.

关键词：模糊描述逻辑语义Web 一般术语公理知识表示

来源：评论

学校读者我要写书评

暂无评论

立体视觉中的双目匹配方法研究

引用

信息与控制 2001年第S1期30卷 727-730页

作者：任重邵军力解放军理工大学计算机与指挥自动化学院南京210016

本文首先对已有的双目立体视觉方法进行分析和总结 ,并依所选取的匹配特征和匹配方法的不同而将其分为利用灰度图像区域间相似性、特征点相关、边界或二阶导数过零点、二值拉普拉斯图像匹配、校正透视形变、动态规划、利用区域分割的结... 详细信息

本文首先对已有的双目立体视觉方法进行分析和总结 ,并依所选取的匹配特征和匹配方法的不同而将其分为利用灰度图像区域间相似性、特征点相关、边界或二阶导数过零点、二值拉普拉斯图像匹配、校正透视形变、动态规划、利用区域分割的结果和立体视觉连续性原理的各种演绎等类 ;然后对用金字塔图匹配边界基元的双目立体视觉方法进行了重点探讨 ;

关键词：立体视觉特征基元匹配

来源：评论

学校读者我要写书评

暂无评论

分布式网络入侵检测系统NetNumen的设计与实现

引用

软件学报 2002年第8期13卷 1723-1728页

作者：李旺吴礼发胡谷雨解放军理工大学通信工程学院电信工程系江苏南京210016 解放军理工大学指挥自动化学院计算机教研室江苏南京210016

详细介绍了在Linux环境下基于规则的分布式网络入侵检测系统NetNumen.同现有的网络入侵检测系统相比,NetNumen将异常检测(检测包到达频度的异常)和特征检测(检测特定攻击和攻击工具的固有特征)有机地结合起来,对DoS(denial of service),... 详细信息

详细介绍了在Linux环境下基于规则的分布式网络入侵检测系统NetNumen.同现有的网络入侵检测系统相比,NetNumen将异常检测(检测包到达频度的异常)和特征检测(检测特定攻击和攻击工具的固有特征)有机地结合起来,对DoS(denial of service),DdoS(distributed denial of service)攻击的检测效果较现有方法有明显的改善.

关键词：分布式网络入侵检测系统 NetNumen 设计防火墙网络安全计算机网络

来源：评论

学校读者我要写书评

暂无评论

基于RSBAC的Web安全配置管理技术的研究

引用

计算机工程 2006年第1期32卷 183-185页

作者：李华波吴礼发张兴元解放军理工大学指挥自动化学院南京210007 解放军理工大学指挥自动化学院计算机系南京210007

提出了“安全配置模板”,设计并实现了基于RSBAC的Apache服务器的安全配置模板以及相应的安全管理工具,使得Web服务器的安全配置工作变得十分简便,同时最大限度地保证了Web服务器的安全。

关键词：安全配置模板安全管理 RSBAC RC

来源：评论

学校读者我要写书评

暂无评论

类型系统的构造、实现及其在程序设计语言中的应用

引用

南京大学学报（自然科学版） 2001年第2期37卷 199-207页

作者：蒋慧张兴元王元元谢希仁解放军理工大学指挥自动化学院计算机系南京210016

类型系统是一种设计和研究程序设计语言的形式化方法和工具 ,既可在语言设计之初构造 ,便于严格、准确、正确地设计实现语言 ;也可在语言实现后构造 ,为研究语言的语义及其它性质建立模型 .详细讨论了类型系统的基本构造和实现 ,通过基... 详细信息

类型系统是一种设计和研究程序设计语言的形式化方法和工具 ,既可在语言设计之初构造 ,便于严格、准确、正确地设计实现语言 ;也可在语言实现后构造 ,为研究语言的语义及其它性质建立模型 .详细讨论了类型系统的基本构造和实现 ,通过基于图重写的函数式语言SClean的类型系统。

关键词：类型系统类型推理类型检测语义模型程序设计语言构造形式化工具形式化方法

来源：评论

学校读者我要写书评

暂无评论

无线传感器网络中基于网络嵌入的弱贪婪路由协议

引用

通信学报 2011年第12期32卷 88-95页

作者：李志刚陈卫卫肖侬夏戈明解放军理工大学指挥自动化学院江苏南京210007 国防科学技术大学计算机学院湖南长沙410073

贪婪路由可以划分为强贪婪和弱贪婪2种路由方式。为了解决目前研究工作中弱贪婪路由协议需要地理位置信息,而强贪婪路由协议需要设计满足贪婪属性的网络嵌入图的问题;同时为了降低操作复杂性,减少能量消耗,提出了一种轻量级的基于树的... 详细信息

贪婪路由可以划分为强贪婪和弱贪婪2种路由方式。为了解决目前研究工作中弱贪婪路由协议需要地理位置信息,而强贪婪路由协议需要设计满足贪婪属性的网络嵌入图的问题;同时为了降低操作复杂性,减少能量消耗,提出了一种轻量级的基于树的网络嵌入图(TNEG)构建方法。在基于树的网络嵌入图上,设计了具有局部单调性的贪婪函数,并提出了2个路由规则,然后设计了弱贪婪路由协议TGR和基于双树嵌入的路由协议biTGR。模拟实验表明所提路由协议在路径长度和网络负载等性能上具有明显的优势。

关键词：无线传感器网络贪婪路由协议网络嵌入负载平衡数据存储

来源：评论

学校读者我要写书评

暂无评论

无线传感器网络中保证覆盖的最少节点部署

引用

国防科技大学学报 2009年第3期31卷 76-81页

作者：温俊窦强蒋杰宋磊窦文华国防科技大学计算机学院湖南长沙410073 解放军理工大学指挥自动化学院江苏南京210007

无线传感器网络的能量消耗是空间不均匀的，但当前多数的部署方法考虑得较少，网络的能量利用率低，因此提出了保证覆盖率和网络生存期的最少节点部署问题。基于传感器网络的数据传输特性，从提高能量效率和降低剩余能量的角度提出了节... 详细信息

无线传感器网络的能量消耗是空间不均匀的，但当前多数的部署方法考虑得较少，网络的能量利用率低，因此提出了保证覆盖率和网络生存期的最少节点部署问题。基于传感器网络的数据传输特性，从提高能量效率和降低剩余能量的角度提出了节点数递减的重叠放置方法和节点密度递减的随机部署方法。两种新部署方法比已有部署方法需要的节点数少，剩余能量低，因而提高了能量利用率。最后，仿真实验表明，两种新部署策略的能量效率是已有方法的3～4倍。

关键词：无线传感器网络覆盖均匀部署递减部署

来源：评论

学校读者我要写书评

暂无评论

Web服务攻击技术研究综述

引用

计算机应用研究 2010年第1期27卷 17-22页

作者：黄康宇贺正求赖海光吴礼发解放军理工大学指挥自动化学院研究生管理大队南京210007 解放军理工大学指挥自动化学院计算机系南京210007

Web服务在给基于异构平台的应用集成带来极大便利的同时,其自身各核心组件也面临着恶意攻击的威胁。详细分析了针对单个Web服务以及Web服务组合过程的各种常见攻击技术的原理、特点,探讨了相应的检测和防御措施,结合已有研究成果,讨论了... 详细信息

Web服务在给基于异构平台的应用集成带来极大便利的同时,其自身各核心组件也面临着恶意攻击的威胁。详细分析了针对单个Web服务以及Web服务组合过程的各种常见攻击技术的原理、特点,探讨了相应的检测和防御措施,结合已有研究成果,讨论了Web服务攻击防护将来的研究方向以及面临的挑战。

关键词： Web服务安全攻击防御

来源：评论

学校读者我要写书评

暂无评论

基于Agent的仿真软件系统集成设计方法

引用

系统仿真学报 2001年第4期13卷 450-454页

作者：蒋慧林东解放军理工大学指挥自动化学院计算机系南京210016 国防大学军队指挥教研室北京100091

提出一个面向Agent设计的仿真软件系统集成设计方法，它实现将现有DIS系统面向HLA的结构改造。该方法是在面向对象设计基础上，将Object Class扩展成系统级的具有自控机制的Agent Class，并以此为模板生成各种仿真系统成员Agent。同时将... 详细信息

提出一个面向Agent设计的仿真软件系统集成设计方法，它实现将现有DIS系统面向HLA的结构改造。该方法是在面向对象设计基础上，将Object Class扩展成系统级的具有自控机制的Agent Class，并以此为模板生成各种仿真系统成员Agent。同时将RTI接口设计成分别体现通信协议、同步协议和交互协议的三级公共父类，由Agent继承。从而实现了一个具有HLA结构的多Agent组合式集成仿真系统。

关键词：软件设计方法 Agent 仿真软件面向对象系统集成

来源：评论

学校读者我要写书评

暂无评论

一种用于云存储的密文策略属性基加密方案

引用

计算机应用研究 2012年第4期29卷 1452-1456页

作者：刘帆杨明解放军理工大学指挥自动化学院计算机系南京210007

云存储的应用环境中存在缺乏细粒度访问控制、密钥管理难度大、难以抵御合谋攻击等问题,为此提出了一种新的用于云存储的密文策略属性基加密(ciphertext-policy attribute-based encryption,CP-ABE)方案。通过引入由数据属主独立控制的... 详细信息

云存储的应用环境中存在缺乏细粒度访问控制、密钥管理难度大、难以抵御合谋攻击等问题,为此提出了一种新的用于云存储的密文策略属性基加密(ciphertext-policy attribute-based encryption,CP-ABE)方案。通过引入由数据属主独立控制的许可属性,构建不同属性域的CP-ABE方案,能够防止云存储系统特权用户的内部攻击,使数据属主能完全控制其他共享用户对其云数据的访问。实验结果表明,该方案在提供安全性的同时能极大地提高用户属性撤销的效率。最后,对该方案进行了安全分析,并证明了该方案在DBDH假设下是CPA,安全的。

关键词：云存储访问控制属性基加密存储安全

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：