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

智能系统学报 2014年第2期9卷 148-153页

作者：李茹孙正王崇骏谢俊元南京大学计算机科学与技术系江苏南京210046 南京大学计算机软件新技术国家重点实验室江苏南京210046

传统的中药方剂配伍规律的研究通常只关注药物个体或基于复杂网络的药物结构,却忽视了药物的属性。而建立药物属性以及药物之间的网络模型可以打破仅针对药物结构进行组网的局限性。首先,提取出药物药性中的"性味"、"归... 详细信息

传统的中药方剂配伍规律的研究通常只关注药物个体或基于复杂网络的药物结构,却忽视了药物的属性。而建立药物属性以及药物之间的网络模型可以打破仅针对药物结构进行组网的局限性。首先,提取出药物药性中的"性味"、"归经"、"功效"三方面的属性,在传统的药物网络的节点上添加药物属性,然后,在肺痿方剂数据库中211味方剂上进行试验,使用重叠社团发现算法-CPM(clique percolation method)算法对该模型进行测试,得到一些药物社团,验证了该模型的可行性和有效性。

关键词：中药方剂配伍规律药物属性网络模型重叠社团发现

来源：评论

学校读者我要写书评

暂无评论

无线网络视频感知机会网络编码协议及其仿真研究

引用

系统仿真学报 2014年第2期26卷 345-352页

作者：李懿雯白光伟沈航曹磊南京工业大学计算机科学与技术系南京210009 南京理工大学高维信息感知与系统教育部重点实验室南京210094 南京大学计算机软件新技术国家重点实验室南京210093

提出一种无线网络视频感知的机会网络编码协议(VONC)。该协议根据视频流数据包的重要程度以及无线网络的链路状况,用效用增益函数来评估每个数据包对视频质量的贡献程度,而后根据其效用增益值的大小,采用多优先级的调度机制接入信道,以... 详细信息

提出一种无线网络视频感知的机会网络编码协议(VONC)。该协议根据视频流数据包的重要程度以及无线网络的链路状况,用效用增益函数来评估每个数据包对视频质量的贡献程度,而后根据其效用增益值的大小,采用多优先级的调度机制接入信道,以提高网络视频传输质量。另一方面,针对视频流传输过程中的拥塞问题,提出拥塞感知的流控制机制(CFC),与上述网络编码体系协同工作,以提高高优先级数据包成功传输概率。有针对性地设计了一系列仿真实验。结果表明,VONC能够有效提高重要视频帧的可解码率,网络视频传输质量得到显著改善。

关键词：网络编码机会转发视频感知拥塞控制

来源：评论

学校读者我要写书评

暂无评论

一种基于操作表达式模型的关键软件安全性验证方法研究

引用

小型微型计算机系统 2014年第7期35卷 1578-1584页

作者：曲长亮胡军徐丙凤黄志球南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

目前在安全关键领域,软件系统的安全性分析与验证已经成为软件工程研究中的热点问题,本文工作给出一种基于镜像理论中操作表达式模型的关键软件安全性的验证方法.设计了从操作表达式模型到其分析树的自动转换方法;采用镜像理论的语义公... 详细信息

目前在安全关键领域,软件系统的安全性分析与验证已经成为软件工程研究中的热点问题,本文工作给出一种基于镜像理论中操作表达式模型的关键软件安全性的验证方法.设计了从操作表达式模型到其分析树的自动转换方法;采用镜像理论的语义公理、定理及计算规则对分析树节点进行语义谓词计算,从而得到完整的附有语义谓词的语义树;使用镜像理论的定理证明规则验证语义树中各节点需要满足的安全性质规约;还给出了相应的原型工具和验证实例分析;此方法已在航空航天领域得到实际应用.

关键词：软件分析安全性验证操作表达式镜像理论语义树

来源：评论

学校读者我要写书评

暂无评论

一种基于扩展有限状态机的自动化测试用例生成方法

引用

中国科学：信息科学 2014年第5期44卷 588-609页

作者：杨瑞陈振宇张智轶刘子聪徐宝文南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

扩展有限状态机(EFSM)是使用最广泛的测试模型之一.由于不可行路径的存在,运用EFSM模型生成测试用例仍然是个难题.本文提出了一种基于EFSM模型的自动化测试用例生成方法 (ATGEM).为解决不可行路径问题,首先提出一种基于数据流分析的路... 详细信息

扩展有限状态机(EFSM)是使用最广泛的测试模型之一.由于不可行路径的存在,运用EFSM模型生成测试用例仍然是个难题.本文提出了一种基于EFSM模型的自动化测试用例生成方法 (ATGEM).为解决不可行路径问题,首先提出一种基于数据流分析的路径可行性度量方法来预测路径的可行性,以尽可能避开不可行路径,提高测试用例自动化生成的效率.然后通过建立动态可执行模型来获取运行时反馈信息作为搜索算法的适应度函数(fitness function),实现测试数据和预言信息的自动生成.该方法结合静态分析和动态分析技术生成一个较优可行路径子集和对应测试用例来达到指定的覆盖准则,能够应用于多种数据类型的测试用例生成,适用范围较广.通过实验在多个EFSM模型上验证了ATGEM方法中测试用例生成和路径可行性度量方法的有效性,实验结果表明,利用路径可行性度量方法可以大幅度提高测试用例生成效率,与现有方法相比,ATGEM中的测试用例生成方法具有更高的效率.

关键词：测试用例生成扩展有限状态机可执行模型路径可行性测试预言

来源：评论

学校读者我要写书评

暂无评论

传感器网络中过滤机制下高效top-k查询处理技术

引用

小型微型计算机系统 2014年第1期35卷 44-49页

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

如何能量高效的进行top-k查询处理是无线传感器网络领域中的一个重要课题.节点设置过滤窗口可以避免与top-k查询无关的数据上传到汇聚节点或者基站,因而大大减少传感器网络的通信量,节省传感器节点能量.然而,已有算法如FILA、DAFM,基站... 详细信息

如何能量高效的进行top-k查询处理是无线传感器网络领域中的一个重要课题.节点设置过滤窗口可以避免与top-k查询无关的数据上传到汇聚节点或者基站,因而大大减少传感器网络的通信量,节省传感器节点能量.然而,已有算法如FILA、DAFM,基站到传感器节点的过滤窗口更新中仍然存在很大开销.提出一种基于预测信息更新窗口的top-k查询算法FAPU,该算法根据历史数据采用ARIMA时间序列预测模型对接下来s个时刻的传感器数据进行预测,根据预测信息进行多步窗口更新的代价评估,避免不必要的窗口更新,从而减小窗口更新的能量消耗.实验结果表明在确保top-k查询准确性的同时,本文所提出的FAPU算法与已有算法相比更加能量有效.

关键词：无线传感器网络 top-k Filter-based Monitoring Approach(FILA) 时间序列 AutoRegressive Integrated Moving Average (ARIMA)

来源：评论

学校读者我要写书评

暂无评论

设计模式指导的软件分簇方法

引用

中国科学：信息科学 2014年第1期44卷 37-53页

作者：王林章何剑涛韩志雄卜磊赵建华李宣东南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

程序理解是一个从计算机程序中获取知识信息的过程,其主要目的是获取软件的各种有关知识以理解开发者的意图,从而支持针对现有或遗产软件系统进行软件评审、错误定位、反向工程、再工程、迁移、维护和复用等软件工程实践.本文提出一种... 详细信息

程序理解是一个从计算机程序中获取知识信息的过程,其主要目的是获取软件的各种有关知识以理解开发者的意图,从而支持针对现有或遗产软件系统进行软件评审、错误定位、反向工程、再工程、迁移、维护和复用等软件工程实践.本文提出一种设计模式指导的分簇方法,该方法采用程序中蕴涵的设计模式信息指导开源软件的分簇,运用"分而治之"的策略辅助程序开发者和维护人员快速、方便地理解代码.首先,采用设计模式检测技术从程序代码中抽取设计模式信息;然后,基于设计模式中角色间的相互关系,利用检测出的设计模式信息指导分簇;最后,对分簇结果可视化,以辅助程序理解.基于以上研究工作,开发了原型工具TasteJ并进行了实例研究,设计并实现了以人工为基准的实验来检验本文提出的软件分簇方法,并通过7个软件分簇度量函数,从统计的角度将其与现有主流软件分簇方法进行分析和比较,实验结果显示出本文所提方法的优势.

关键词：设计设计模式软件分簇算法程序理解再工程软件复用可视化

来源：评论

学校读者我要写书评

暂无评论

无线多媒体传感器网络拥塞感知的流控制机制

引用

南京大学学报（自然科学版） 2014年第2期50卷 173-180页

作者：曹磊韩涛张婧沈航白光伟南京大学计算机软件新技术国家重点实验室南京210093 南京工业大学计算机科学与技术系南京210009 华为技术有限公司南京210012

为研究和改进无线多媒体传感器网络实时传输视频数据的性能,首先深入分析和研究在无线传感器网络环境下实时传输MPEG视频流存在的主要问题与性能瓶颈,通过分析端到端吞吐量与视频帧发送速率之间的关系,以IFQ队列长度作为反应网络拥塞程... 详细信息

为研究和改进无线多媒体传感器网络实时传输视频数据的性能,首先深入分析和研究在无线传感器网络环境下实时传输MPEG视频流存在的主要问题与性能瓶颈,通过分析端到端吞吐量与视频帧发送速率之间的关系,以IFQ队列长度作为反应网络拥塞程度的重要指标.在此基础上,提出一种基于跨层设计的拥塞感知通信流量控制机制,其基本思路是根据MPEG编码视频序列的特点,当无线链路质量变差,通信拥塞可能出现时,发送节点主动丢弃部分对接收方播放质量不太重要的低优先级视频帧数据,以降低通信负载,增加高优先级视频帧的成功传送概率.为验证该策略的效果,分别设置了简单与复杂场景下的视频传输实验,分析了在多种视频帧发送速率下平均端到端时延,丢包率,可解码帧率等参数指标的变化.实验结果证明,这一策略可以改进视频流在接收方的播放质量,同时减少不必要的能耗.仿真实验结果表明该策略有效克服了性能瓶颈,提高了无线多媒体传感器网络实时多媒体传输的服务质量.

关键词：无线多媒体传感器网络服务质量传感器网络体系结构实时流媒体 Quality of Service(QoS)

来源：评论

学校读者我要写书评

暂无评论

基于跨视图约束的多视图分类方法

引用

模式识别与人工智能 2014年第2期27卷 97-102页

作者：薛晖陈松灿刘洁黄继建东南大学计算机科学与工程学院计算机网络和信息集成教育部重点实验室南京210096 南京大学计算机软件新技术国家重点实验室南京210093 南京航空航天大学计算机科学与技术学院南京210016

考虑一种多视图数据配对形式——跨视图约束,从而推广单视图学习中的成对约束.利用不同视图间数据对是否属于同一类的弱化约束信息,代替严格的配对约束,不仅涵盖原有的一一配对,而且能推广到完全无配对的情况.提出一种基于跨视图约束的... 详细信息

考虑一种多视图数据配对形式——跨视图约束,从而推广单视图学习中的成对约束.利用不同视图间数据对是否属于同一类的弱化约束信息,代替严格的配对约束,不仅涵盖原有的一一配对,而且能推广到完全无配对的情况.提出一种基于跨视图约束的多视图分类方法,该方法不仅能深入挖掘跨视图约束中隐藏的判别信息,而且能同时利用数据的结构信息.实验结果验证该方法的有效性.

关键词：机器学习跨视图约束半监督分类多视图学习

来源：评论

学校读者我要写书评

暂无评论

上下文一致性错误及其处理对应用的影响

引用

计算机科学与探索 2014年第4期8卷 427-437页

作者：奚旺许畅杨文华洪学志南京大学计算机软件新技术国家重点实验室，南京 210023 南京大学计算机科学与技术系，南京 210023

在普适计算环境中，上下文信息由于受到噪声等不可控因素的干扰，面临着一致性错误的问题。这些错误会影响应用的正常运行，使其表现异常甚至失效。目前已经有自动的一致性错误处理方法来保障应用所获取的上下文满足数据层面的一致性约... 详细信息

在普适计算环境中，上下文信息由于受到噪声等不可控因素的干扰，面临着一致性错误的问题。这些错误会影响应用的正常运行，使其表现异常甚至失效。目前已经有自动的一致性错误处理方法来保障应用所获取的上下文满足数据层面的一致性约束，然而在数据层面保持一致是否能提升应用的运行质量并不明确。系统地研究了这个问题，并基于一组真实的上下文感知机器人小车应用，设计了一系列受控实验，来分析和比较在模拟和真实世界中上下文一致性错误的处理方式对应用运行质量的改善程度及潜在的负面影响。利用该实验的分析结果，将有助于提高普适计算中上下文感知应用的运行质量。

关键词：普适计算上下文一致性错误受控实验

来源：评论

学校读者我要写书评

暂无评论

基于SPIN的LTL属性分解方法研究

引用

计算机应用与软件 2014年第7期31卷 43-46,65页

作者：贺志宏曾庆凯南京大学计算机软件新技术国家重点实验室江苏南京210046 南京大学计算机科学与技术系江苏南京210046

提出一种基于模型检测工具SPIN的LTL属性分解方法以解决状态空间爆炸问题。根据逻辑和时序操作符常见的组合情况,讨论不同的属性分解模式,根据子属性构建的切片准则进行程序切片,利用SPIN对切片后的等价简化模型进行检测,从而将对原模... 详细信息

提出一种基于模型检测工具SPIN的LTL属性分解方法以解决状态空间爆炸问题。根据逻辑和时序操作符常见的组合情况,讨论不同的属性分解模式,根据子属性构建的切片准则进行程序切片,利用SPIN对切片后的等价简化模型进行检测,从而将对原模型上属性的检测转化成对复杂度较低的子模型上各子属性的分别检测。实验结果表明,该方法具有一定的有效性。

关键词：线性时序逻辑属性模型检测属性分解静态程序切片

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：