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

北京工业大学学报 2016年第9期42卷 1332-1337页

作者：崔玲张建标公备吴丽影北京工业大学计算机学院北京100124 北京工业大学可信计算北京市重点实验室北京100124 北京工业大学信息安全等级保护关键技术国家工程实验室北京100124

为了提高测试效率,提出一种基于集合覆盖的测试集约简方法.该方法对有限状态机(finite state machine,FSM)模型中经典的测试生成算法Wp方法(部分W方法)所生成的测试集进行冗余约简.通过分析Wp方法的特点,找出测试序列之间包含关系的规律... 详细信息

为了提高测试效率,提出一种基于集合覆盖的测试集约简方法.该方法对有限状态机(finite state machine,FSM)模型中经典的测试生成算法Wp方法(部分W方法)所生成的测试集进行冗余约简.通过分析Wp方法的特点,找出测试序列之间包含关系的规律,删除冗余的测试用例.理论分析和实验结果表明:该方法能够有效约简测试集,并且不改变故障检测能力.

关键词：有限状态机(FSM) Wp方法集合覆盖约简

来源：评论

学校读者我要写书评

暂无评论

虚拟现实中数据库建模

引用

北京工业大学学报 2005年第6期31卷 652-655页

作者：孔德慧吕博学尹宝才张洋北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室北京100022

为了更好地存储和使用虚拟现实中的场景数据,提出了一种用关系数据库方式对虚拟现实中场景数据进行建模的方法．采用该方法,比其他建模方法更加规则地表示了场景数据;提高了三维数据的重用性;增强了对三维场景的可维护性;大大扩展了对... 详细信息

为了更好地存储和使用虚拟现实中的场景数据,提出了一种用关系数据库方式对虚拟现实中场景数据进行建模的方法．采用该方法,比其他建模方法更加规则地表示了场景数据;提高了三维数据的重用性;增强了对三维场景的可维护性;大大扩展了对特定三维数据的应用;更加合理地存储了二维控制台与虚拟场景交互的数据．该方法也为三维场景数据的优化和格式转化提供了一种途径．

关键词：虚拟现实数据库建模场景交互

来源：评论

学校读者我要写书评

暂无评论

一种人眼瞳孔定位方法

引用

北京工业大学学报 2011年第2期37卷 272-276页

作者：孙艳丰于永庆北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室北京100124

为了提高人脸识别系统识别率和算法的运行效率,提出一种依据阈值变化的自适应定位人眼瞳孔的方法.该方法根据最小极区的思想,利用阈值从低到高的动态变化,借助自然约束条件、相似度分析和灰度重心法来精确定位人眼瞳孔的位置.利用该方法... 详细信息

为了提高人脸识别系统识别率和算法的运行效率,提出一种依据阈值变化的自适应定位人眼瞳孔的方法.该方法根据最小极区的思想,利用阈值从低到高的动态变化,借助自然约束条件、相似度分析和灰度重心法来精确定位人眼瞳孔的位置.利用该方法在CAS_PEAL、CVL以及自建的人脸库上进行了大量实验.实验结果表明,该人眼瞳孔定位方法可以有效定位人眼瞳孔,并且对于光照、表情都具有较好的鲁棒性.

关键词：最小极区人眼定位人脸识别

来源：评论

学校读者我要写书评

暂无评论

基于无干扰理论的虚拟机可信启动研究

引用

软件学报 2023年第6期34卷 2959-2978页

作者：黄浩翔张建标袁艺林王晓北京工业大学信息学部北京100124 可信计算北京市重点实验室北京100124 天津财经大学理工学院天津300222

云计算作为一种新型高价值计算系统,目前被广泛应用于各行业领域;等保2.0中也提出了对其应用主动免疫可信计算技术进行动态可信验证的要求.云计算模式下,虚拟机作为用户使用云服务的直接载体,其可信启动是虚拟机运行环境可信的基础.但... 详细信息

云计算作为一种新型高价值计算系统,目前被广泛应用于各行业领域;等保2.0中也提出了对其应用主动免疫可信计算技术进行动态可信验证的要求.云计算模式下,虚拟机作为用户使用云服务的直接载体,其可信启动是虚拟机运行环境可信的基础.但由于虚拟机以进程的形式运行在物理节点上,其启动过程呈现出高动态性,且多虚拟机域间存在非预期干扰等特点;而现有的虚拟机可信启动方案存在虚拟机启动过程的动态防护性不足、缺乏多虚拟域间非预期干扰性排除等问题.针对上述问题,提出一种基于无干扰理论的虚拟机可信启动研究方案.首先,基于无干扰理论,提出了虚拟机进程的运行时可信定理;进一步地,给出了虚拟机可信启动的定义并证明了虚拟机可信启动判定定理.其次,依据虚拟机可信启动判定定理,基于系统调用设计监测控制逻辑,对虚拟机启动过程进行主动动态度量与主动控制.实验结果表明所提方案能够有效排除复杂云环境下多虚拟机间非预期干扰,保证虚拟机启动过程的动态可信性,且性能开销较小.

关键词：无干扰理论虚拟机进程可信启动动态可信主动度量主动控制

来源：评论

学校读者我要写书评

暂无评论

分层子树合并聚类算法

引用

北京工业大学学报 2006年第5期32卷 442-446页

作者：李玉鑑北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室北京100022

为了解决传统分层合并聚类算法可能产生不唯一的二叉树结果问题,提出了分层子树合并聚类算法, 其基本思想是通过在数据集的最小树中分析θ-极大紧邻子树然后合并它的顶点集,该算法每步可将多个对象聚类,计算结果用多叉树表示．在理论上... 详细信息

为了解决传统分层合并聚类算法可能产生不唯一的二叉树结果问题,提出了分层子树合并聚类算法, 其基本思想是通过在数据集的最小树中分析θ-极大紧邻子树然后合并它的顶点集,该算法每步可将多个对象聚类,计算结果用多叉树表示．在理论上证明了该树在不计分支次序时是唯一的,并且通过计算实验说明,在样本中存在较多距离彼此相等的点对时,该树所描述的聚类结果要明显比传统分层合并聚类算法用二叉树描述的聚类结果更为合理．

关键词：分层合并聚类算法分层子树合并聚类算法最小树极大紧邻子树聚类

来源：评论

学校读者我要写书评

暂无评论

蛋白质序列中可能存在的Zipf定律

引用

北京工业大学学报 2005年第4期31卷 366-368页

作者：李玉鑑肖创柏北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室北京100022

为了分析蛋白质序列中是否存在语言学中的Zipf定律,从蛋白质二级结构数据库DSSP中抽取1.7357万条序列,把具有相同二级结构标记的氨基酸残基连续片段定义为单词,结果表明:单词出现的频率分布近似服从指数为0.981的Zipf定律.

关键词：蛋白质序列单词 Zipf定律

来源：评论

学校读者我要写书评

暂无评论

约束归纳逻辑程序设计系统

引用

计算机工程 2003年第19期29卷 6-7,25页

作者：郑磊刘椿年贾东北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室北京100022

提出了一种新的约束归纳逻辑程序设计方法,并初步实现了一个自顶向下的约束归纳逻辑程序原型系统。该系统能够导出不受变量个数限制的多种形式的线性约束,得出覆盖正例而排斥负例的含约束的Horn子句程序。

关键词：约束归纳逻辑程序设计约束归纳逻辑程序设计

来源：评论

学校读者我要写书评

暂无评论

扩展的加权约束逻辑程序在产品配置中的应用

引用

北京工业大学学报 2012年第1期38卷 90-94页

作者：王洁安雪妹刘椿年北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室北京100124

为了更好地表达产品配置问题中的复杂知识形式,以加权约束逻辑程序语言为基础,将规则的头部扩展为析取约束的形式,提出了一种扩展的加权约束逻辑程序语言,给出了其稳定模型语义.这种扩展的加权约束逻辑程序进一步加强了知识的表达和推... 详细信息

为了更好地表达产品配置问题中的复杂知识形式,以加权约束逻辑程序语言为基础,将规则的头部扩展为析取约束的形式,提出了一种扩展的加权约束逻辑程序语言,给出了其稳定模型语义.这种扩展的加权约束逻辑程序进一步加强了知识的表达和推理能力,但没有增加计算复杂性.以一个计算机配置实例讨论了扩展的加权约束逻辑程序在产品配置问题中的应用.

关键词：加权约束逻辑程序稳定模型产品配置

来源：评论

学校读者我要写书评

暂无评论

基于AVS-M视频编码的3G流媒体文件格式

引用

北京工业大学学报 2007年第1期33卷 78-82页

作者：尹宝才苏海斌李锌杨猛北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室北京100022

为了使中国数字视音频编解码技术标准——移动视频部分(AVS-M)的应用更为广泛,将AVS-M编码器生成的文件转换生成第3代合作伙伴计划(3GPP)标准支持的3GP流媒体文件,扩展AVS-M到第3代移动通讯领域．转换生成的3GP文件在本地、流媒体2种环... 详细信息

为了使中国数字视音频编解码技术标准——移动视频部分(AVS-M)的应用更为广泛,将AVS-M编码器生成的文件转换生成第3代合作伙伴计划(3GPP)标准支持的3GP流媒体文件,扩展AVS-M到第3代移动通讯领域．转换生成的3GP文件在本地、流媒体2种环境下的良好播放效果说明,AVS-M编解码器可以很好地应用到无线流媒体网络中．

关键词：流媒体 3G移动通讯视频信号处理

来源：评论

学校读者我要写书评

暂无评论

面向中国手语合成的口型与表情库构建

引用

北京工业大学学报 2012年第11期38卷 1665-1669页

作者：李敬华王立春王振孔德慧尹宝才北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室北京100124

为提高手语合成的真实感和可懂度,分析了手语表达中唇动和表情运动的特点,基于MPEG-4的参数化表达模型,提出了兼容于MPEG-4的口型和表情库构建方法,并基于该库完成了包含手势、唇动和表情的虚拟人手语动画.实验结果表明,包含唇动和表情... 详细信息

为提高手语合成的真实感和可懂度,分析了手语表达中唇动和表情运动的特点,基于MPEG-4的参数化表达模型,提出了兼容于MPEG-4的口型和表情库构建方法,并基于该库完成了包含手势、唇动和表情的虚拟人手语动画.实验结果表明,包含唇动和表情的合成手语的真实感得到增强,进而说明了口型和表情库的有效性.

关键词：手语合成多模式人脸定义参数(FDP) 人脸动画参数(FAP)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：