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

北京邮电大学学报 2012年第6期35卷 44-49页

作者：郑吉平张永平赵国安张慧南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

提出一种基于节点之间的连通性差异的算法(CDA DV-Hop).首先通过锚节点的逆向位置估计,对锚节点的平均跳距重新进行计算,减少累计误差;然后再根据相近位置具有相似的连通性这一特性,对同一未知节点的不同估计位置进行最大最小值的限定,... 详细信息

提出一种基于节点之间的连通性差异的算法(CDA DV-Hop).首先通过锚节点的逆向位置估计,对锚节点的平均跳距重新进行计算,减少累计误差;然后再根据相近位置具有相似的连通性这一特性,对同一未知节点的不同估计位置进行最大最小值的限定,限定超出感知区域的位置,并计算它们的连通性差异;最后从候选估计位置中找出连通性差异值较小的位置作为最终的估计位置.实验结果表明,在相同的条件下,CDA DV-Hop算法相比已有的距离向量-跳距算法具有更高的精度.

关键词：传感器网络定位逆向位置估计累计误差连通性差异

来源：评论

学校读者我要写书评

暂无评论

一种基于QoS剪枝的Top-k自动服务组合方法

引用

电子学报 2012年第7期40卷 1489-1491页

作者：杨汝涛张绍谦窦万春南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

在大规模的Web服务中自动搜索满足功能性需求并且QoS前k优的服务组合是一个具有挑战性的问题.为解决此问题,本文方法首先对服务组合进行建模,然后通过前向服务过滤算法缩小求解空间,最后利用贪婪算法进行QoS剪枝以加快Top-k服务组合的... 详细信息

在大规模的Web服务中自动搜索满足功能性需求并且QoS前k优的服务组合是一个具有挑战性的问题.为解决此问题,本文方法首先对服务组合进行建模,然后通过前向服务过滤算法缩小求解空间,最后利用贪婪算法进行QoS剪枝以加快Top-k服务组合的后向搜索.本文给出了该方法的系统结构设计,实验结果验证了此方法的可行性和高效性.

关键词： Web服务服务组合服务质量(QoS) 本体语义剪枝

来源：评论

学校读者我要写书评

暂无评论

R-演算中若干问题的研究

引用

计算机研究与发展 2012年第4期49卷 833-838页

作者：吴佳森宋方敏南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

李未教授提出了R-演算系统,它是形式理论的修正演算系统,是OPEN过程模式和GUINA过程模式的基础.R-演算在这2种过程模式中的核心作用是,当一个形式理论与事实产生矛盾时,找出矛盾的必要前提,从而获得一个协调的子理论.通过3种不同的方法... 详细信息

李未教授提出了R-演算系统,它是形式理论的修正演算系统,是OPEN过程模式和GUINA过程模式的基础.R-演算在这2种过程模式中的核心作用是,当一个形式理论与事实产生矛盾时,找出矛盾的必要前提,从而获得一个协调的子理论.通过3种不同的方法细致刻画R-演算的基本概念"必要前提",第1种方法来自R-演算,第2种方法基于极大协调子集与极小非协调子集的,最后一种方法是对于R-必要前提的归纳定义.通过比较这3种方法,指出各自的优缺点,并从第3种方法推演出一个可靠并且相对完全的系统.在比较这3种方法的同时,还细致地探讨了R-终止式的上下界以及极大协调子集的不可枚举性.其中极大协调的不可枚举性在一定程度上表明了不存在一种同时满足可靠并且完全的系统.

关键词： R-演算 R-终止集极大协调子集递归可枚举性可靠性与完全性 R′-演算

来源：评论

学校读者我要写书评

暂无评论

操作系统对象语义模型(OSOSM)及形式化验证

引用

计算机研究与发展 2012年第12期49卷 2702-2712页

作者：钱振江刘苇黄皓南京大学软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

操作系统的复杂性使得其安全性问题日益突出.有不少的研究工作采用形式化的方式对现有的操作系统进行了正确性的验证,这些工作主要是采用程序形式逻辑验证代码级的功能实现性.从系统设计的角度,以高阶逻辑和类型论为基础,提出了操作系... 详细信息

操作系统的复杂性使得其安全性问题日益突出.有不少的研究工作采用形式化的方式对现有的操作系统进行了正确性的验证,这些工作主要是采用程序形式逻辑验证代码级的功能实现性.从系统设计的角度,以高阶逻辑和类型论为基础,提出了操作系统对象语义模型(OSOSM).OSOSM采用分层结构,包括基本功效层、实现层和优化层.OSOSM将操作系统中的行为主体和资源抽象为操作系统对象,建立操作系统的论域,利用以操作系统对象变元集合为定义域到论域的映射表示操作系统的状态,描述操作系统系统调用等行为的语义,使用逻辑系统的谓词公式表达操作系统的安全属性,给出如何验证操作系统在运行过程中保持安全策略和属性的形式化描述方法.以实现并经过形式化验证的可信操作系统(VTOS)为例,阐述OSOSM的语义正确性.使用Isabelle定理证明工具验证设计和安全需求的一致性,以说明VTOS具有预期的安全属性.

关键词：操作系统对象语义模型形式化设计安全性验证 Isabelle定理证明

来源：评论

学校读者我要写书评

暂无评论

基于One-test-at-a-time策略的可变力度组合测试用例生成方法

引用

计算机学报 2012年第12期35卷 2541-2552页

作者：王子元钱巨陈林徐宝文南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 南京邮电大学计算机学院南京210006 上海市计算机软件评测重点实验室上海201112 南京航空航天大学计算机科学与技术学院南京210016

组合测试可以有效地检测软件系统中由各个因素间交互作用所引发的软件故障.但传统的组合测试方法对系统中各因素之间的实际交互关系考虑不足,难以有效处理交互力度不统一的情况,进而可能导致测试用例的冗余和检错能力的降低.针对该问题... 详细信息

组合测试可以有效地检测软件系统中由各个因素间交互作用所引发的软件故障.但传统的组合测试方法对系统中各因素之间的实际交互关系考虑不足,难以有效处理交互力度不统一的情况,进而可能导致测试用例的冗余和检错能力的降低.针对该问题,应在充分考虑因素间实际交互关系的基础上,使用可变力度组合测试方法,从而实现对于因素间实际交互关系的覆盖.为此,文中针对一种新的可变力度组合测试模型,提出了两种基于one-test-at-a-time策略的可变力度组合测试用例集生成算法.实验表明,相对于已有的具备类似功能的测试用例生成算法和工具,文中提出的算法在测试用例集规模和算法运行时间上均具备一定优势,并可适用于固定力度组合测试、可变力度组合测试等不同测试模型.

关键词：软件测试可变力度组合测试测试用例生成交互关系

来源：评论

学校读者我要写书评

暂无评论

平均紧性约束下的最坏分离空间平滑判别分析

平均紧性约束下的最坏分离空间平滑判别分析

引用

2013年中国计算机学会人工智能会议

作者：牛璐璐陈松灿俞璐南京航空航天大学计算机科学与技术学院南京 210016 南京航空航天大学计算机科学与技术学院南京 210016 南京大学计算机软件新技术国家重点实验室南京 210093 解放军理工大学通信工程学院南京 210007

空间平滑的线性判别分析(Spatially Smoothing Linear Discriminant Analysis,SLDA)和基于空间平滑欧氏距离的线性判别分析(IMage Euclidean Distance Discriminant Analysis,IMEDA)是目前结合了图像特有的空间结构信息进行图像判别降维的两种主要方法,具有比线性判别分析(Linear Discriminant Analysis,LDA)更显著的分类效果.SLDA和IMEDA的投影阵均通过优化平均类内和平均类间散度(scatter)之比而得,而本文则通过约束平均类内散度(或紧性)上界的同时,最大化最坏类间散度(或分离度)而得,产生的降维算法分别称为WSLDA和WIMEDA.它们的求解最终可归结为简单的特征值优化问题.在Yale、AR和FERET标准人脸集上的实验验证了它们的有效性.

关键词：判别分析降维空间结构信息空间平滑平均散度特征值优化

来源：评论

学校读者我要写书评

暂无评论

融合语义特征的移动对象轨迹预测方法

融合语义特征的移动对象轨迹预测方法

引用

第30届中国数据库学术会议

作者：黄健斌张盼盼皇甫学军孙鹤立西安电子科技大学软件学院西安 710071 计算机软件新技术国家重点实验室(南京大学) 南京 210023 西安电子科技大学软件学院西安 710071 西安交通大学计算机科学与技术系西安 710049

提出一种融合语义特征的移动对象轨迹预测方法.该方法首先将用户的地理位置轨迹转化成语义轨迹,挖掘出语义模式集,同时在语义轨迹中分析用户的移动行为和规律,将具有相似语义行为的用户进行聚类,并挖掘出每个聚类的地理模式集.然后,基... 详细信息

提出一种融合语义特征的移动对象轨迹预测方法.该方法首先将用户的地理位置轨迹转化成语义轨迹,挖掘出语义模式集,同时在语义轨迹中分析用户的移动行为和规律,将具有相似语义行为的用户进行聚类,并挖掘出每个聚类的地理模式集.然后,基于挖掘到的用户个体语义模式集和相似用户地理模式集,构造用来索引和局部匹配的模式树STP-Tree和SLP-Tree.通过对STP-Tree和SLP-Tree的索引和局部匹配,引入一个加权函数实现给定对象运动的语义位置预测.此方法在传统的地理模式预测方法的基础上融合语义特征,可以有效地提取用户的语义活动行为,克服地理位置点特征的局限.在大量真实和人工轨迹数据集上的实验结果表明:该方法的预测准确率较传统方法均有显著提高.

关键词：信息处理语义特征移动对象轨迹预测法

来源：评论

学校读者我要写书评

暂无评论

联盟规范系统及其规范能力极限

引用

软件学报 2012年第7期23卷 1796-1804页

作者：王崇骏吴骏张雷谢俊元南京大学计算机科学与技术系江苏南京210093 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 河海大学计算机与信息学院江苏南京210098

联盟规范系统(coalitional normative system,简称CNS)通过选择性地限制联盟的联合行动来对规范系统(normative system,简称NS)进行扩展.扩展了ATL的语义,提出了Coordinate-ATL(Co-ATL),用于对CNS进行形式化.为了刻画其规范能力的极限,... 详细信息

联盟规范系统(coalitional normative system,简称CNS)通过选择性地限制联盟的联合行动来对规范系统(normative system,简称NS)进行扩展.扩展了ATL的语义,提出了Coordinate-ATL(Co-ATL),用于对CNS进行形式化.为了刻画其规范能力的极限,确定了Co-ATL的两个语言片段,分别对应于两类不可改变的系统属性.对NS和CNS之间的关系进行了讨论,表明所得到的结果可以更好地界定NS的能力极限.此外,引入了对执行历史进行编码的有限状态机,进一步对CNS进行了扩展,提出了CNS-M.可以证明,关于CNS能力极限的界定在该扩展下保持稳定.

关键词：规范系统交互时态逻辑联盟并发博弈结构

来源：评论

学校读者我要写书评

暂无评论

一种角色分离的信任评估模型

引用

软件学报 2012年第12期23卷 3187-3197页

作者：周国强曾庆凯计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学计算机科学与技术系江苏南京210093 南京邮电大学计算机学院江苏南京210003

针对实体恶意推荐问题,提出了一种角色分离的信任评估模型(RSTrust).模型将实体在信任评估中承担的角色分为交易角色和推荐角色两类,分别用交易信任度和推荐信任度来描述其可信性,区分不同角色对实体不同信任度的影响;在计算实体全局信... 详细信息

针对实体恶意推荐问题,提出了一种角色分离的信任评估模型(RSTrust).模型将实体在信任评估中承担的角色分为交易角色和推荐角色两类,分别用交易信任度和推荐信任度来描述其可信性,区分不同角色对实体不同信任度的影响;在计算实体全局信任度时,RSTrust将推荐者的全局推荐信任度作为其推荐证据的可信权重,消除恶意推荐对全局信任度计算的干扰.分析和仿真结果表明,模型具有良好的抗恶意推荐能力和收敛性.

关键词：对等网络信任模型推荐信任角色分离

来源：评论

学校读者我要写书评

暂无评论

一种基于不变量的工作流协同模型分解方法

引用

计算机学报 2012年第10期35卷 2169-2181页

作者：葛季栋胡海洋周宇胡昊王栋毅过晓波计算机软件新技术国家重点实验室(南京大学) 南京210093 南京大学软件学院南京210093 杭州电子科技大学计算机学院杭州310018 南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机科学与技术系南京210093

现代企业计算的业务过程越来越复杂,有很多分散且相对独立的组织机构,为了协同来自不同组织的业务过程,文中提出一种IOPN模型(面向交互的Petri网)用于描述跨组织的工作流协同,该模型包含组织内的过程模型和组织间的交互关系.为了确保IOP... 详细信息

现代企业计算的业务过程越来越复杂,有很多分散且相对独立的组织机构,为了协同来自不同组织的业务过程,文中提出一种IOPN模型(面向交互的Petri网)用于描述跨组织的工作流协同,该模型包含组织内的过程模型和组织间的交互关系.为了确保IOPN模型能够被正确地执行,文中提出IOPN模型的弱合理性(relaxedsoundness)作为IOPN模型的正确性标准之一.IOPN模型是一种复合模型,其规模一般较大,采用基于状态空间的分析方法,容易产生状态空间爆炸问题,为此文中提出基于不变量的分解方法,能够将一个弱合理的无回路IOPN模型分解为一组顺序图,并提出相关定理:一个无回路IOPN模型是弱合理的当且仅当其可以被分解为一组合法的顺序图.

关键词：工作流协同模型合理性不变量分解

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：