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

中文信息学报 2009年第4期23卷 48-54页

作者：田宝明戴新宇陈家骏南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系江苏南京210093

基于词的向量空间模型是文本分类中的传统的表示文本的方法。这种表示方法的一个缺点是忽略了词之间的关系。最近一些使用潜在主题文本表示的方法,如隐含狄利克雷分配LDA(Latent Dirichlet Allocation)引起了人们的注意,这种表示方法可... 详细信息

基于词的向量空间模型是文本分类中的传统的表示文本的方法。这种表示方法的一个缺点是忽略了词之间的关系。最近一些使用潜在主题文本表示的方法,如隐含狄利克雷分配LDA(Latent Dirichlet Allocation)引起了人们的注意,这种表示方法可以处理词之间的关系。但是,只使用基于潜在主题的文本表示可能造成词信息的损失。我们使用改进的随机森林方法结合基于词的和基于LDA主题的两种文本表示方法。对于两类特征分别构造随机森林,最终分类结果通过投票机制决定。在标准数据集上的实验结果表明,相比只使用一种文本特征的方法,我们的方法可以有效地结合两类特征,提高文本分类的性能。

关键词：计算机应用中文信息处理文本分类向量空间模型隐含狄利克雷分配集成分类随机森林

来源：评论

学校读者我要写书评

暂无评论

软件可靠性评估的重要抽样方法

引用

软件学报 2009年第10期20卷 2859-2866页

作者：张德平聂长海徐宝文东南大学计算机科学与工程学院江苏南京210096 南京航空航天大学理学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

基于统计测试的马尔可夫使用模型对软件可靠性评估提出了一种有效的估计方法.该方法利用重要抽样技术在保证可靠性估计无偏性的条件下,利用交叉熵度量操作剖面与零方差抽样分布之间的差异,通过启发式迭代过程调整各个状态之间的转移概... 详细信息

基于统计测试的马尔可夫使用模型对软件可靠性评估提出了一种有效的估计方法.该方法利用重要抽样技术在保证可靠性估计无偏性的条件下,利用交叉熵度量操作剖面与零方差抽样分布之间的差异,通过启发式迭代过程调整各个状态之间的转移概率来修正测试剖面.从理论上证明了利用修正测试剖面测试估计的可靠性是方差为0的无偏估计.最后给出了软件可靠性估计的最优测试剖面生成的启发式迭代算法.仿真结果表明,该方法与模拟退火算法相比,能够明显降低估计的方差,在提高估计精度的同时加快统计测试速度.

关键词：软件可靠性统计测试马尔可夫使用模型重要抽样交叉熵方法

来源：评论

学校读者我要写书评

暂无评论

基于内存更新记录的漏洞攻击错误定位方法

引用

计算机科学 2009年第1期36卷 252-255页

作者：葛毅茅兵谢立南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

软件漏洞攻击威胁日益严重。其中基于内存腐败漏洞的攻击最为普遍,如缓冲区溢出和格式化串漏洞。提出一种针对内存腐败漏洞攻击的自动错误定位方法。基于内存更新操作记录,可以回溯找到程序源代码中腐败关键数据的语句,从而提供有益的... 详细信息

软件漏洞攻击威胁日益严重。其中基于内存腐败漏洞的攻击最为普遍,如缓冲区溢出和格式化串漏洞。提出一种针对内存腐败漏洞攻击的自动错误定位方法。基于内存更新操作记录,可以回溯找到程序源代码中腐败关键数据的语句,从而提供有益的信息修复漏洞并生成最终补丁。

关键词：内存腐败攻击软件安全错误定位程序源代码

来源：评论

学校读者我要写书评

暂无评论

基于复杂网络的大型软件系统度量

引用

计算机科学 2009年第2期36卷 287-290,302页

作者：王树森顾庆陈焘陈道蓄南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

随着软件系统规模的不断增大,如何度量面向对象大规模软件系统成为一个亟待解决的问题。近年来迅速发展的复杂网络理论为解决该问题提供了一个新的视角。介绍了大规模软件系统中的复杂网络现象,从元素级、模块级、网络级3个不同的粒度... 详细信息

随着软件系统规模的不断增大,如何度量面向对象大规模软件系统成为一个亟待解决的问题。近年来迅速发展的复杂网络理论为解决该问题提供了一个新的视角。介绍了大规模软件系统中的复杂网络现象,从元素级、模块级、网络级3个不同的粒度提出基于复杂网络的软件系统的各种度量;实现了大型Java程序复杂网络描述和度量工具JPAC。JPAC可用于分析大型Java系统的结构,并计算基于复杂网络的各度量值。

关键词：复杂网络软件系统软件度量 JPAC

来源：评论

学校读者我要写书评

暂无评论

基于回归的传感器网络数据抑制方案

引用

计算机应用研究 2009年第1期26卷 253-255页

作者：曹学成柏文阳南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

提出了三种基于回归模型的数据抑制方案:其中两种利用了无线传感器网络中数据的时序相关性;另一种利用了感知数据的时序—地理位置相关性。模拟实验表明,相对于简单的数据抑制方案,基于回归的数据抑制方案的通信代价更低。

关键词：无线传感器网络回归数据抑制近似查询

来源：评论

学校读者我要写书评

暂无评论

基于构件软件的抗衰策略分析

引用

计算机科学 2009年第5期36卷 121-123,180页

作者：王平涛许满武刘志军南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

软件在长期运行过程中由于资源消耗、数据损坏、数值错误累积而引起性能下降的现象被称为软件老化。在软件失效前选择合适时机通过预反应的技术来保持软件性能的方法称作软件抗衰。由于构件软件常常应用在结构复杂、规模庞大的网络环境... 详细信息

软件在长期运行过程中由于资源消耗、数据损坏、数值错误累积而引起性能下降的现象被称为软件老化。在软件失效前选择合适时机通过预反应的技术来保持软件性能的方法称作软件抗衰。由于构件软件常常应用在结构复杂、规模庞大的网络环境中,软件老化现象就更为突出。提出了一种针对构件软件的抗衰策略,通过对构件软件进行可靠性分析,构造了一种结合失效性和泊松失败分布的马尔可夫模型,并根据模型进行软件抗衰来保持构件软件的性能。

关键词：软件老化软件抗衰可用性可靠性马尔科夫模型泊松分布

来源：评论

学校读者我要写书评

暂无评论

微内核完整性保障研究与应用

引用

计算机科学 2009年第1期36卷 247-251页

作者：于淑英黄皓刘国斌南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

为了避免安全操作系统中访问控制机制被篡改、绕过,提出利用微内核多服务器结构为安全核完整性提供保障。微内核提供的进程隔离和消息传递机制使得各个服务进程独立运行,通过受控的消息机制进行交互,有效保证了各个模块的完整性。微内... 详细信息

为了避免安全操作系统中访问控制机制被篡改、绕过,提出利用微内核多服务器结构为安全核完整性提供保障。微内核提供的进程隔离和消息传递机制使得各个服务进程独立运行,通过受控的消息机制进行交互,有效保证了各个模块的完整性。微内核结构的简单性和模块化为形式化验证奠定了基础。原型系统Nutos利用Flask安全体系结构为用户提供灵活多策略的强制访问控制,由微内核多服务器结构为Flask中的安全服务器和引用监控器提供完整性保障,确保安全策略的正确实施。

关键词：完整性安全保障微内核多服务器结构进程隔离消息通信操作系统

来源：评论

学校读者我要写书评

暂无评论

基于Atom的远程对象交换机制的研究

引用

小型微型计算机系统 2009年第8期30卷 1565-1570页

作者：崔璨陆桑璐南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

随着互联网的发展,Web2.0和Mash-up逐渐成为Web环境中的主要应用形式.针对现有远程对象交换机制的局限性,本文以Atom文档格式与Atom发布协议为基础建立了一种更易被Web2.0和Mash-up应用的远程对象交换机制.在兼顾半结构化数据与强类型... 详细信息

随着互联网的发展,Web2.0和Mash-up逐渐成为Web环境中的主要应用形式.针对现有远程对象交换机制的局限性,本文以Atom文档格式与Atom发布协议为基础建立了一种更易被Web2.0和Mash-up应用的远程对象交换机制.在兼顾半结构化数据与强类型语言结构化要求的条件下,利用Atom文档格式解决了远程对象的封装问题;利用Atom发布协议解决了远程对象的操作问题.在此基础上,通过性能评估和综合比较,说明该机制具有实现简单、适应半结构化数据、在少量易变数据时性能好等优点.

关键词： atom REST 对象交换半结构化数据 Web2.0 mash—up

来源：评论

学校读者我要写书评

暂无评论

基于Time Petri Nets的实时系统资源冲突检测

引用

计算机研究与发展 2009年第9期46卷 1578-1585页

作者：周航黄志球胡军祝义南京航空航天大学信息科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093 徐州师范大学计算机科学与技术学院江苏徐州221116

Time Petri Nets在实时系统的建模和性能分析中得到广泛应用,而冲突是Petri网及其扩展模型的重要行为,解决冲突是正确分析模型动态行为的关键.目前随机Petri网、混合Petri网和区间速率连续Petri网的冲突检测方法由于没有考虑到时间约束... 详细信息

Time Petri Nets在实时系统的建模和性能分析中得到广泛应用,而冲突是Petri网及其扩展模型的重要行为,解决冲突是正确分析模型动态行为的关键.目前随机Petri网、混合Petri网和区间速率连续Petri网的冲突检测方法由于没有考虑到时间约束因此无法在TPN网中使用.时间约束的引入使得Time Petri Nets模型的使能和触发语义比Petri网模型的语义复杂,冲突检测变得更加困难.为了计算冲突发生的时间和概率,首先根据时间约束,给出了变迁持续使能时延迟区间的计算方法,并证明了该方法的合理性和完备性;然后在此基础上定义并证明了Time Petri Nets模型中不冲突的检测方法;并提出了Time Petri Nets模型的冲突检测方法,给出了冲突时间区间和变迁实施概率的计算方法;最后通过实例验证说明了该方法的正确性和有效性.

关键词：时间Petri网时间约束资源冲突检测

来源：评论

学校读者我要写书评

暂无评论

运行时刻的地址空间重复随机化方法

引用

计算机工程 2009年第10期35卷 139-141,144页

作者：陆明王小黎谢立南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

针对现有的地址空间随机化技术实施随机化时机有限的问题,提出一种在运行时刻能重复随机化部分地址空间对象的方法。通过修改动态连接器,在不重新启动受保护进程的情况下,重复随机化地址空间中的动态共享库。分析结果表明,该方法可成功... 详细信息

针对现有的地址空间随机化技术实施随机化时机有限的问题,提出一种在运行时刻能重复随机化部分地址空间对象的方法。通过修改动态连接器,在不重新启动受保护进程的情况下,重复随机化地址空间中的动态共享库。分析结果表明,该方法可成功地将攻击概率从O(pT)降低到O(pT2),进一步增强地址空间随机化技术的防御能力。

关键词：地址空间随机化细粒度随机化静态随机化动态随机化重复随机化

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：