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

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

作者：严秋玲孙莉王梅乐嘉锦刘国华东华大学计算机科学与技术学院上海201620 东华大学计算机科学与技术学院上海201620 南京大学计算机软件新技术国家重点实验室南京210093

研究和实践表明列存储更加适合于大规模数据集上的即席查询的“读优化”应用需求。然而由于列存储的处理对象是列，此时传统的基于规则的查询优化方法并不完全适用。文中首先比较了列存储系统中查询优化与行存储系统的不同，在此基础上... 详细信息

研究和实践表明列存储更加适合于大规模数据集上的即席查询的“读优化”应用需求。然而由于列存储的处理对象是列，此时传统的基于规则的查询优化方法并不完全适用。文中首先比较了列存储系统中查询优化与行存储系统的不同，在此基础上提出适合于列存储的启发式查询优化机制，其中包括启发式优化策略、重写规则、左深连接树结构和相关算法。实验表明：该文提出的启发式优化机制能有效减少候选计划的规模，排除大量不可能生成最优计划的计划，使得查询处理代价和执行时间大大减小。

关键词：列存储数据仓库启发式查询优化策略重写规则左深连接树

来源：评论

学校读者我要写书评

暂无评论

基于Petri网的IPv4到IPv6协议转换分析

引用

计算机应用与软件 2011年第12期28卷 105-107,187页

作者：符海波郑红罗笑南华东理工大学信息科学与工程学院上海200237 上海市计算机软件评测重点实验室上海200235 中山大学信息学科学与技术学院广东广州510275

应用Petri网原理分析IPv4-IPv6协议转换,并结合实际的系统和详细转换流程图,建立Petri网模型。通过此Petri网模型的有界性、可达性及活性等动态特性,证明此转换模型功能和安全上的可行性。

关键词： Petri网协议转换可达图

来源：评论

学校读者我要写书评

暂无评论

列存储数据区级压缩模式与压缩策略选择方法

引用

计算机学报 2010年第8期33卷 1523-1530页

作者：王振玺乐嘉锦王梅刘国华东华大学计算机科学与技术学院上海201620 南京大学计算机软件新技术国家重点实验室南京210093

压缩技术是列存储数据管理的重要研究内容之一.目前多数方法对同一列数据使用单一压缩方法进行压缩,忽略了数据的局部分布特性,极大地影响了压缩性能.该文提出一种区级压缩模式,并在此模式下提出基于学习的压缩策略选择方法.首先该文将... 详细信息

压缩技术是列存储数据管理的重要研究内容之一.目前多数方法对同一列数据使用单一压缩方法进行压缩,忽略了数据的局部分布特性,极大地影响了压缩性能.该文提出一种区级压缩模式,并在此模式下提出基于学习的压缩策略选择方法.首先该文将数据列进一步划分为区,并分别定义相邻区信息与区所在列的统计信息为参照信息,进而通过学习参照信息与当前区之间的相似性和差异性进行策略推荐.最后该文对区进行局部学习从而对推荐压缩策略进行修正,保证压缩策略的有效性.在数据仓库基准数据集SSB上的实验结果验证了该文方法的有效性.

关键词：列存储数据压缩区级压缩模式压缩策略选择

来源：评论

学校读者我要写书评

暂无评论

基于Petri网的服务组合故障诊断与处理

引用

软件学报 2010年第2期21卷 231-247页

作者：范贵生虞慧群陈丽琼刘冬梅华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112 上海应用技术学院计算机科学与信息工程系上海200235

通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用Petri网来解决服务组合的错误发现及其处理问题.重点讨论了可用服务失败、组件失败及网络故障的情况,并相应地给出了服务组合故障模型.在此基础上对故障处理模型进行... 详细信息

通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用Petri网来解决服务组合的错误发现及其处理问题.重点讨论了可用服务失败、组件失败及网络故障的情况,并相应地给出了服务组合故障模型.在此基础上对故障处理模型进行分析,给出服务组合故障处理正确性准则,并证明了其正确性.最后,采用CTL(computational tree logic)描述相关性质并提出验证服务组合故障分析的实施算法.仿真结果表明,该方法在处理服务组合故障时具有一定的优越性.

关键词： Petri网服务组合故障处理 CTL(computational tree logic) 可靠性

来源：评论

学校读者我要写书评

暂无评论

基于形态分析识别设计模式中的集中管理式聚集

引用

软件学报 2010年第11期21卷 2725-2737页

作者：周晓宇钱巨陈林徐宝文东南大学计算机科学与工程学院江苏南京211189 上海市计算机软件评测重点实验室上海201112 南京航空航天大学信息科学与技术学院江苏南京210016 南京大学计算机科学与技术系江苏南京210093 南京大学计算机软件新技术国家重点实验室江苏南京210093

针对常见的利用指针或引用的聚集实现方式,提出一种基于形态分析的一对多聚集关系的自动识别方法.首先,扩充Sagiv的三值逻辑结构中的谓词以描述链表上聚集管理操作的语义特征.然后,给出基于控制流上链表形态结构的变化识别聚集管理行为... 详细信息

针对常见的利用指针或引用的聚集实现方式,提出一种基于形态分析的一对多聚集关系的自动识别方法.首先,扩充Sagiv的三值逻辑结构中的谓词以描述链表上聚集管理操作的语义特征.然后,给出基于控制流上链表形态结构的变化识别聚集管理行为的方法.最后,通过开源软件JEdit中的实例分析展示了该方法的有效性.

关键词：聚集设计模式形态分析集中式管理识别

来源：评论

学校读者我要写书评

暂无评论

一种基于Petri网的面向方面的用例建模方法

引用

华东理工大学学报（自然科学版） 2010年第2期36卷 248-254页

作者：孙晓星虞慧群范贵生华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

对传统的用例建模方法进行扩展,并针对用例描述的文本语言中经常出现的二义性、冲突以及遗漏信息的问题,提出一种基于Petri网的面向方面的用例建模方法。构建了从面向方面用例模型到面向方面Petri网模型的映射规则,引入面向方面的形式... 详细信息

对传统的用例建模方法进行扩展,并针对用例描述的文本语言中经常出现的二义性、冲突以及遗漏信息的问题,提出一种基于Petri网的面向方面的用例建模方法。构建了从面向方面用例模型到面向方面Petri网模型的映射规则,引入面向方面的形式化的建模与分析技术,并利用时态逻辑检验织入时机的正确性。最后给出实例和分析,验证了该方法的有效性。

关键词：面向方面用例 Petri网时态逻辑

来源：评论

学校读者我要写书评

暂无评论

基于带抑制弧的时延着色Petri网的嵌入式系统建模与验证

引用

华东理工大学学报（自然科学版） 2010年第3期36卷 411-417页

作者：杨年华虞慧群华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

结合着色Petri网和时延Petri网,提出了一种适合于复杂嵌入式系统建模方法。该方法在库所中表示数据、控制信息和时间戳,在变迁中引入时延、控制函数与变迁函数,利用抑制弧简化模型。该方法可以对复杂的嵌入式系统进行建模,还可以利用现... 详细信息

结合着色Petri网和时延Petri网,提出了一种适合于复杂嵌入式系统建模方法。该方法在库所中表示数据、控制信息和时间戳,在变迁中引入时延、控制函数与变迁函数,利用抑制弧简化模型。该方法可以对复杂的嵌入式系统进行建模,还可以利用现有的Petri网技术分析系统性质。通过实际案例展示了该方法的应用和可行性。

关键词： Petri网抑制弧嵌入式系统建模验证

来源：评论

学校读者我要写书评

暂无评论

基于C2C的可信信用评价模型

引用

计算机工程 2010年第18期36卷 256-258页

作者：贾艳涛虞慧群华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

提出一个基于C2C的可信信用评价模型。该模型根据历史交易记录,在综合考虑交易金额、买卖双方信誉度、交易次数、差评次数、未评价交易的基础上,采用动态计算的方式,为交易的成功进行提供可靠的依据。该模型可以有效甄别恶意用户和诚信... 详细信息

提出一个基于C2C的可信信用评价模型。该模型根据历史交易记录,在综合考虑交易金额、买卖双方信誉度、交易次数、差评次数、未评价交易的基础上,采用动态计算的方式,为交易的成功进行提供可靠的依据。该模型可以有效甄别恶意用户和诚信用户,从而减少信誉诋毁行为,并可减少信誉榨取行为,提高C2C电子交易的安全性。

关键词：信用评价可信 C2C 模式

来源：评论

学校读者我要写书评

暂无评论

基于RBAC的工作流管理系统授权约束方法

引用

计算机工程 2010年第4期36卷 152-154页

作者：单徐梅虞慧群华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

针对工作流管理系统动态授权的特性,在基于角色的访问控制(RBAC)模型基础上,提出一种权限约束支持的RBAC模型,利用Datalog逻辑语言描述约束策略,借助Datalog推理机实现一个"任务角色"分配的授权算法,解决工作流管理系统动态... 详细信息

针对工作流管理系统动态授权的特性,在基于角色的访问控制(RBAC)模型基础上,提出一种权限约束支持的RBAC模型,利用Datalog逻辑语言描述约束策略,借助Datalog推理机实现一个"任务角色"分配的授权算法,解决工作流管理系统动态授权约束的问题。

关键词：授权约束基于角色的访问控制工作流 Datalog逻辑语言

来源：评论

学校读者我要写书评

暂无评论

Web应用功能交互的建模与测试用例生成

引用

计算机工程与设计 2010年第14期31卷 3139-3142,3146页

作者：周晓康缪淮扣陈圣波上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201112

为了产生更有效的测试用例,以Web应用为研究对象,按功能将Web应用划分成若干个功能构件,把Web应用看成是功能构件的集合,针对其相应的交互功能,用FSM对其功能交互行为进行建模。在此基础上提出了完整消息传递序列测试准则,并根据该测试... 详细信息

为了产生更有效的测试用例,以Web应用为研究对象,按功能将Web应用划分成若干个功能构件,把Web应用看成是功能构件的集合,针对其相应的交互功能,用FSM对其功能交互行为进行建模。在此基础上提出了完整消息传递序列测试准则,并根据该测试准则生成抽象的测试用例集,以实现对Web应用交互性的测试,提高Web应用测试的有效性,力图实现Web应用测试的自动化。最后设计了一个工具原型用于测试用例的生成。

关键词： Web应用建模功能交互测试准则测试用例

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：