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

计算机学报 2011年第6期34卷 965-984页

作者：刘攀缪淮扣曾红卫刘阳上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海200072

为搭建基于FSM的测试方法由理论研究通往工业应用的桥梁,文中讨论了若干基于FSM模型的测试方法及其相关理论,提出构造区分序列的理论及测试序列集合冗余约简的理论,补充并实现了若干基于FSM的测试生成算法.随后文中提出了基于FSM的测试... 详细信息

为搭建基于FSM的测试方法由理论研究通往工业应用的桥梁,文中讨论了若干基于FSM模型的测试方法及其相关理论,提出构造区分序列的理论及测试序列集合冗余约简的理论,补充并实现了若干基于FSM的测试生成算法.随后文中提出了基于FSM的测试方法评估的5项量化指标,实验评估了若干基于FSM模型的测试方法,给出了一些基于FSM测试的经验建议.文中的评估有助于基于FSM的测试方法在工业中的推广.

关键词：基于FSM的测试测试评估测试生成算法基于FSM的测试理论冗余约简

来源：评论

学校读者我要写书评

暂无评论

不确定时间序列的相似性匹配问题

不确定时间序列的相似性匹配问题

引用

2012年全国理论计算机科学学术年会(NCTCS2012)

作者：吴红花刘国华王伟东华大学计算机科学与技术学院上海 201620 东华大学计算机科学与技术学院上海 201620 计算机软件新技术国家重点实验室(南京大学)南京 210093 东华大学信息科学与技术学院上海 201620

确定性时间序列的相似性匹配方法都没有考虑数据的不确定性,而现实世界中传感器采集到的数据往往是不确定的,现有的时间序列的相似性匹配方法不适用于这些领域.

关键词：

来源：评论

学校读者我要写书评

暂无评论

列存储数据仓库查询执行中重用缓冲区调度算法

引用

计算机研究与发展 2011年第10期48卷 1942-1950页

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

查询的中间结果重用是提高查询效率的重要手段.现有列存储系统主要关注多查询计划间的中间结果重用,忽略了单一查询计划执行过程中大量可重复访问的中间结果.单一查询中的中间结果具有确定性高、结果大小可估计的特征,非常适合作为重用... 详细信息

查询的中间结果重用是提高查询效率的重要手段.现有列存储系统主要关注多查询计划间的中间结果重用,忽略了单一查询计划执行过程中大量可重复访问的中间结果.单一查询中的中间结果具有确定性高、结果大小可估计的特征,非常适合作为重用的对象.为此,针对列存储数据仓库单一查询计划执行过程中的中间结果重用问题,提出了一个重用缓冲区空间的调度算法.首先,基于操作结点在给定物理执行计划树中的相对位置及其操作所产生的中间结果的大小对操作结点提出重用度估计模型.其次,设计了基于模型估计结果的缓冲区调度算法.在每一个查询计划的执行过程中,根据其模型估计结果执行缓冲区调度算法,使得其产生的中间结果中更重要的部分能够更久地驻留在内存中,以提升查询性能.在数据仓库基准数据集SSB上的实验结果验证了方法的有效性.

关键词：列存储查询执行中间结果重用重用缓冲区数据仓库

来源：评论

学校读者我要写书评

暂无评论

列存储数据仓库中启发式查询优化机制

引用

计算机学报 2011年第10期34卷 2018-2026页

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

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

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

关键词：列存储查询优化优化策略重写规则左深连接树

来源：评论

学校读者我要写书评

暂无评论

三值逻辑证明系统及正例与反例的提取

引用

计算机辅助设计与图形学学报 2011年第7期23卷 1270-1279页

作者：郭建韩俊刚华东师范大学软件学院上海200062 计算机软件新技术国家重点实验室(南京大学) 南京210092 西安邮电学院计算机科学系西安710061

三值逻辑模型检验是对更高层的模型抽象验证的一种方法,对其验证中常常需要给出正例和反例.为此,讨论了三值逻辑模型检验以及正例和反例的提取,并在给出一套三值逻辑证明规则的基础上形成一个证明系统;运用该系统可以证明模型是否满足... 详细信息

三值逻辑模型检验是对更高层的模型抽象验证的一种方法,对其验证中常常需要给出正例和反例.为此,讨论了三值逻辑模型检验以及正例和反例的提取,并在给出一套三值逻辑证明规则的基础上形成一个证明系统;运用该系统可以证明模型是否满足某个性质;在证明过程中为存在路径量词提取正例,为全称路径量词提取反例.正例和反例的提取可给模型的细化指明方向.最后通过实例给出了该证明系统在数字逻辑电路验证中的应用.

关键词：三值逻辑不完全Kripke结构正例反例证明系统

来源：评论

学校读者我要写书评

暂无评论

基于Markov链使用模型的加速统计测试方法

引用

东南大学学报（自然科学版） 2011年第5期41卷 949-955页

作者：张德平查日军南京航空航天大学计算机科学与技术学院南京210016 上海市计算机软件评测重点实验室上海201112 东南大学计算机科学与工程学院南京210096

为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,提出了一种基于Markov链使用模型的软件加速统计测试方法.该方法通过均衡软件测试成本和软件投放后的失效风险,以软件平均总费用最小为目标,基于重要抽样技术的加速测试机理... 详细信息

为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,提出了一种基于Markov链使用模型的软件加速统计测试方法.该方法通过均衡软件测试成本和软件投放后的失效风险,以软件平均总费用最小为目标,基于重要抽样技术的加速测试机理,采用交叉熵方法生成最优(或近优)测试剖面,同时给出了一种新的统计测试充分性判定准则,最后根据生成的最优测试剖面自动生成统计测试数据集.仿真实验结果表明,相对于传统的统计测试方法,使用交叉熵方法的加速统计测试方法能有效地降低软件总费用,显著增加关键操作的测试次数,是一种快速有效的加速统计测试方法.

关键词：软件测试统计测试加速测试方法 Markov链使用模型交叉熵方法

来源：评论

学校读者我要写书评

暂无评论

VPM:列存储系统中基于带值路径的物化技术

VPM:列存储系统中基于带值路径的物化技术

引用

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

作者： Ding Xiangwu 丁祥武 Yu Wenbing 余文兵 Liu Guohua 刘国华 School of Computer Science and Technology Donghua University Shanghai 201620 东华大学计算机科学与技术学院上海 201620 School of Computer Science and Technology Donghua University Shanghai 201620 State Key Laboratory 东华大学计算机科学与技术学院上海 201620 计算机软件新技术国家重点实验室(南京大学) 南京 210093

物化是列存储数据仓库查询中必不可少的操作，物化策略和物化技术直接影响到查询执行的性能，因此设计一种适应于列存储系统的物化策略和相关技术尤为重要.针对延迟物化可能重复读取数据块的缺陷，提出了基于带值路径的物化技术，简称V... 详细信息

物化是列存储数据仓库查询中必不可少的操作，物化策略和物化技术直接影响到查询执行的性能，因此设计一种适应于列存储系统的物化策略和相关技术尤为重要.针对延迟物化可能重复读取数据块的缺陷，提出了基于带值路径的物化技术，简称VPM.首先，定义了一个描述物理执行中间结果的结构——传递块，该结构将用于重构的位置信息与实际列值相分离.在此基础上，对于给定的物理查询树，根据其操作节点是否需要某一列的值进行路径标记，生成自扫描节点或抽值节点到最终需要这些节点的引用列的祖先节点之间的路径，即带值路径.将起始节点引用列的列值保存在传递块的列值区中，并在向查询树的上层操作节点传输过程中不断对其过滤.对带值路径中的其他列仅保存其位置信息.在查询执行时，除了路径起始节点要从磁盘读取数据外，其他节点直接从传递块中获得相应的列值，有效地减少了查询处理过程的I/O开销，提高了查询的执行性能.最后在DWMS上使用TPC-H中针对数据仓库的基准数据集SSBM进行实验，验证了基于带值路径物化技术的有效性.

关键词：数据库列存储系统物化技术带值路径

来源：评论

学校读者我要写书评

暂无评论

软件功能测试规模估算模型的研究及其应用

引用

计算机工程 2011年第7期37卷 47-49页

作者：宋巍沈建雄杨根兴蔡立志上海市计算机软件评测重点实验室上海201112 上海市软件评测中心上海200233

提出一种基于功能点分析法的软件功能测试规模估算模型。该模型适用于黑盒功能测试,用于系统测试阶段或验收测试阶段工作量的估算,基本估算步骤包括估算软件规模、定义规模因子、计算测试规模,并在项目中进行实践应用。结果表明,该模型... 详细信息

提出一种基于功能点分析法的软件功能测试规模估算模型。该模型适用于黑盒功能测试,用于系统测试阶段或验收测试阶段工作量的估算,基本估算步骤包括估算软件规模、定义规模因子、计算测试规模,并在项目中进行实践应用。结果表明,该模型可以较好地估算软件功能测试规模,可用于测试计划的制定及实施。

关键词：软件测试功能测试规模功能点分析 Mark Ⅱ功能点法

来源：评论

学校读者我要写书评

暂无评论

基于P2P的无需第三方验证的本地信誉存储管理

引用

电子学报 2011年第A3期39卷 104-109页

作者：孙华虞慧群杨年华华东理工大学计算机科学与工程系上海200237 新疆大学信息科学与工程学院新疆乌鲁木齐830046 上海市计算机软件评测重点实验室上海201112

目前将信誉信息存储在本地进行管理的方法需要通过第三方验证信誉的完整性,这在动态的P2P环境中很难实现,而且信誉信息易丢失或被篡改.提出了一种新的本地存储信誉信息的管理方法,将信誉信息以证书的形式存储在本地,并由所有者自行维护... 详细信息

目前将信誉信息存储在本地进行管理的方法需要通过第三方验证信誉的完整性,这在动态的P2P环境中很难实现,而且信誉信息易丢失或被篡改.提出了一种新的本地存储信誉信息的管理方法,将信誉信息以证书的形式存储在本地,并由所有者自行维护.通过设计相应的协议,实现了旧信誉证书的完整性验证以及新信誉证书的生成.该方法避免了大量的通信开销,提高了查询效率,并具有一定的安全性.

关键词： Peer-to-Peer 信誉证书数字签名存储完整性

来源：评论

学校读者我要写书评

暂无评论

带抑制弧的时延着色Petri网模型检测技术

引用

计算机科学 2011年第1期38卷 170-176,209页

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

带抑制弧的时延着色Petri网(Timed Colored Petri Nets with Inhibitor Arcs,TCPNIA)是一种描述实时嵌入式系统的模型。给出了从TCPNIA到时间自动机的结构化转换算法,以利用变迁冲突调解机制保证TCPNIA模型和转换后的时间自动机模型语... 详细信息

带抑制弧的时延着色Petri网(Timed Colored Petri Nets with Inhibitor Arcs,TCPNIA)是一种描述实时嵌入式系统的模型。给出了从TCPNIA到时间自动机的结构化转换算法,以利用变迁冲突调解机制保证TCPNIA模型和转换后的时间自动机模型语义等价;并给出了语义等价的证明和算法复杂度分析。层次化方法被用来提高模型检测的时间与空间效率。通过实际案例展示了该技术的应用和可行性。

关键词：时延着色Petri网抑制弧时间自动机冲突调解模型检测

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：