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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

知性Cord逻辑:验证Ad Hoc网络匿名路由协议

引用

计算机应用 2009年第9期29卷 2432-2434页

作者：李沁曾庆凯南京大学软件新技术国家重点实验室南京210039 南京大学计算机科学与技术系南京210039

为形式化验证移动自主网的匿名路由协议,提出了基于知性Cord逻辑的模块化验证方法。首先将协议分解为针对不同子安全功能的组件,然后分别利用知性Cord逻辑证明是否满足安全属性的规范。在这个框架下路径匿名的安全属性得到了规范。

关键词：匿名移动自主网知性Cord逻辑模块化形式化方法

来源：评论

学校读者我要写书评

暂无评论

基于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网时间约束资源冲突检测

来源：评论

学校读者我要写书评

暂无评论

采用SPIN的L4内存管理形式化验证

引用

计算机工程 2009年第11期35卷 131-133页

作者：陈超超曾庆凯南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

模型检验通过状态空间搜索检验一个给定的计算模型是否满足某个用时序逻辑公式表示的特定性质。对L4微内核操作系统的内存管理机制进行形式化抽象建模,针对L4内核API提供的地址空间操作原语Grant,Map和Flush等操作进行形式化描述,模拟... 详细信息

模型检验通过状态空间搜索检验一个给定的计算模型是否满足某个用时序逻辑公式表示的特定性质。对L4微内核操作系统的内存管理机制进行形式化抽象建模,针对L4内核API提供的地址空间操作原语Grant,Map和Flush等操作进行形式化描述,模拟地址页面映射的树形结构管理,运用模型检验工具SPIN对抽象模型进行了验证。

关键词： L4微内核地址空间操作原语模型检验

来源：评论

学校读者我要写书评

暂无评论

基于安全更新视图的XML更新控制方法

引用

计算机应用 2009年第12期29卷 3409-3412页

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

为了便于用户对XML文档进行更新,同时又保证安全性,提出了一种基于安全更新视图的XML文档的更新控制方法。通过在安全视图的基础上引入Insert、Delete和Replace等更新标记,形成安全更新视图,并提供给用户。对于安全更新视图上用户提交... 详细信息

为了便于用户对XML文档进行更新,同时又保证安全性,提出了一种基于安全更新视图的XML文档的更新控制方法。通过在安全视图的基础上引入Insert、Delete和Replace等更新标记,形成安全更新视图,并提供给用户。对于安全更新视图上用户提交的更新请求Q,给出了授权检查算法和重写为原XML文档上等价更新操作的算法。此方法可以有效地处理XML文档上的更新请求,完成对XML的更新控制;同时由于只向用户提供了对其可见的安全更新视图,从而避免了信息泄漏。

关键词：安全视图文件类型定义安全更新视图 XML更新访问控制

来源：评论

学校读者我要写书评

暂无评论

动态安全策略的权限撤销研究

引用

计算机应用 2009年第7期29卷 1809-1812页

作者：王涛曾庆凯南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

在分析以往安全操作系统中权限撤销机制的基础上,提出一种基于VTC和in-progress交叉链表的权限撤销机制。该机制通过对权限有效性、时效性检查以及in-progress权限双向搜索实现权限撤销,并在基于L4微内核的原型系统中得以实现。实验表明... 详细信息

在分析以往安全操作系统中权限撤销机制的基础上,提出一种基于VTC和in-progress交叉链表的权限撤销机制。该机制通过对权限有效性、时效性检查以及in-progress权限双向搜索实现权限撤销,并在基于L4微内核的原型系统中得以实现。实验表明,该撤销机制增加了1%左右的系统性能损耗。

关键词：动态安全策略权限撤销安全操作系统访问向量安全服务器

来源：评论

学校读者我要写书评

暂无评论

基于SSA中间表示的源代码信息流分析

引用

计算机工程 2009年第13期35卷 166-168,171页

作者：黄强曾庆凯南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

提出一种基于SSA中间表示的源代码信息流分析算法,介绍隐蔽通道识别过程,采用基于信息流的工作表实现该算法,讨论其在时空代价以及分析精度方面的特点,并将分析框架嵌入GCC编译器。仿真实验结果表明,该算法是有效的,且具有一定应用价值。

关键词：信息流分析隐蔽通道静态单一赋值编译器

来源：评论

学校读者我要写书评

暂无评论

无线网状网的QoS研究

引用

软件学报 2009年第6期20卷 1539-1552页

作者：董超陈贵海王海南京大学计算机科学与技术系江苏南京2100932 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 解放军理工大学通信工程学院江苏南京210007

作为下一代无线通信网络的关键技术,无线网状网能够融合异构网络,满足多类型的业务需求,因此必须提供一定的服务质量(QoS)保证.对目前各种QoS体系结构进行了分析,讨论了无线网状网的QoS体系结构.针对无线网状网网络层以下各层的QoS问题... 详细信息

作为下一代无线通信网络的关键技术,无线网状网能够融合异构网络,满足多类型的业务需求,因此必须提供一定的服务质量(QoS)保证.对目前各种QoS体系结构进行了分析,讨论了无线网状网的QoS体系结构.针对无线网状网网络层以下各层的QoS问题,对近年来国内外在功率控制、无线环境感知、支持QoS的MAC协议、QoS路由以及跨层QoS设计等方向所取得的研究成果进行了全面的概括总结和比较分析.最后对未来的研究发展趋势提出了自己的观点.

关键词：无线网状网服务质量 QoS体系结构功率控制环境感知 MAC(媒体接入控制) QoS路由跨层

来源：评论

学校读者我要写书评

暂无评论

基于MDE的异构模型转换：从MARTE模型到FIACRE模型

引用

软件学报 2009年第2期20卷 214-233页

作者：张天 Frédéric JOUAULT Christian ATTIOGBE Jean BEZIVIN 李宣东南京大学计算机科学与技术系江苏南京210093 南京大学计算机软件新技术国家重点实验室江苏南京210093 ATLAS Team INRIA ＆ LINA Nantes University Nantes 44300 France COLOSS Team LINA Faculty of Science Nantes University Nantes 44300 France

通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的转换实例,探讨了异构模型之间在语义和语法层的相互转换问题.在语义层,通过模型转换技术构造语义映射规则,实现元语言之间的转换;在语法层,通过构造元模型的具体语法,反映元语言的语法规则,从而产生目标模型的程序实体.基于此实例研究,探讨了通用转换途径的相关框架和关键技术,并讨论了转换工作的优缺点和实用性.

关键词：模型驱动工程形式化方法 MARTE(modeling and analysis of real time and embedded systems) FIACRE (intermediate format for the architectures ofembedded distributed components) 异构性

来源：评论

学校读者我要写书评

暂无评论

硬实时系统中基于任务同步及节能的动态调度算法

引用

通信学报 2009年第11期30卷 15-26页

作者：韩建军吴晓东李庆华 Abbas A.Essa 华中科技大学计算机科学与技术学院湖北武汉430074 南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学电子工程与科学系江苏南京210093

提出基于任务同步及节能的动态实时调度算法HDSA(hybrid dynamic scheduling algorithm),以有效地解决任务同步及节能的难题。HDSA结合RM及EDF算法,在满足任务实时可调度性及任务同步的限制条件下,采用DVFS节省能耗。HDSA包含静态算法... 详细信息

提出基于任务同步及节能的动态实时调度算法HDSA(hybrid dynamic scheduling algorithm),以有效地解决任务同步及节能的难题。HDSA结合RM及EDF算法,在满足任务实时可调度性及任务同步的限制条件下,采用DVFS节省能耗。HDSA包含静态算法及动态算法两部分。静态算法在静态条件下,求出任务的静态速度。动态调度算法在实际运行中,固定临界区的运行速度,并充分回收、利用任务运行时的空闲执行时间,调节处理器的速度,以有效降低能耗并满足实时可调度性。同时避免高优先权任务被阻塞时,临界区继承高优先权任务的速度时所造成的处理器电压开关的频繁切换,因而能有效地降低实时任务调度的成本。实验测试表明,HDSA在调度性能上明显优于目前所知的有效算法。

关键词：计算机应用技术实时系统动态调度任务同步节能

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：