Markov模型的软件可靠性测试充分性问题的研究 被引量：13

1

作者 雷航 马成功 《电子科技大学学报》 EI CAS CSCD 北大核心 2010年第1期101-105,共5页

在分析现有Markov模型的软件可靠性的充分性判别的基础上,定义了严格转移概率的概念,提出了基于严格转移概率的测试充分性判别方法。将Markov模型转化为严格Markov模型,在每个边或者状态的差异计算时引入严格转移概率,对可达相异转移集... 在分析现有Markov模型的软件可靠性的充分性判别的基础上,定义了严格转移概率的概念,提出了基于严格转移概率的测试充分性判别方法。将Markov模型转化为严格Markov模型,在每个边或者状态的差异计算时引入严格转移概率,对可达相异转移集中所有可达相异转移k的转移概率进行原转移概率对应计算后进行求和再平均运算,得到的结果作为每个边或者状态的差异值。实验表明严格测试充分性判别方法比非严格Markov模型方法更稳定、有效。 展开更多

关键词 MARKOV模型 可靠性测试 严格转移概率 测试充分性

在线阅读 下载PDF 职称材料

SST39VF040 NorFlash芯片的软件仿真实现 被引量：1

2

作者 王志平 杨国武 李晓瑜 《小型微型计算机系统》 CSCD 北大核心 2011年第12期2511-2514,共4页

针对嵌入式开发平台上的SST39VF040 NorFlash芯片,根据其硬件结构定义了芯片的数据结构,通过其工作原理,分析了芯片读、写、擦除操作的工作过程,建立起对应的有限状态机(FSA)转化控制模型.利用此模型与定义的数据结构,设计与实现了该芯... 针对嵌入式开发平台上的SST39VF040 NorFlash芯片,根据其硬件结构定义了芯片的数据结构,通过其工作原理,分析了芯片读、写、擦除操作的工作过程,建立起对应的有限状态机(FSA)转化控制模型.利用此模型与定义的数据结构,设计与实现了该芯片功能的软件仿真.测试表明,仿真的NorFlash可以支持Bootloader的Flash操作,在降低开发成本和提高开发效率方面有显著成效. 展开更多

关键词 NorFlash 软件仿真 嵌入式系统 U-BOOT 操作系统内核

在线阅读 下载PDF 职称材料

基于S3C2410X的I^2C总线接口的软件仿真与验证 被引量：2

3

作者 朱文涛 桑楠 杨国武 《小型微型计算机系统》 CSCD 北大核心 2011年第9期1917-1920,共4页

根据S3C2410X处理器内I2C总线接口的控制逻辑和I2C总线主从设备的通讯原理,提出了一种仿真I2C总线接口的方法,实现嵌入式仿真器中I2C模块的仿真.利用FSM建模方法对E2PROM芯片的控制过程进行建模,根据此模型仿真了S3C2410X对E2PROM的读... 根据S3C2410X处理器内I2C总线接口的控制逻辑和I2C总线主从设备的通讯原理,提出了一种仿真I2C总线接口的方法,实现嵌入式仿真器中I2C模块的仿真.利用FSM建模方法对E2PROM芯片的控制过程进行建模,根据此模型仿真了S3C2410X对E2PROM的读写过程.根据U-Boot在仿真器上的运行,通过调用U-Boot中I2C总线控制命令,完成对E2PROM的读写,验证所实现I2C仿真模块的正确性. 展开更多

关键词 S3C2410X处理器 I^2C总线接口 FSM 仿真

在线阅读 下载PDF 职称材料

维基百科研究综述 被引量：38

4

作者 赵飞 周涛 +5 位作者 张良 马鸣卉 刘金虎 余飞 查一龙 李睿琪 《电子科技大学学报》 EI CAS CSCD 北大核心 2010年第3期321-334,共14页

对维基百科的相关研究进行了综述。介绍了维基百科的历史发展与特点,宏观统计性质以及演化规律等方面,特别强调了复杂网络的思想和方法在分析维基百科中的应用。讨论了维基百科在社会、经济、文化、教育方面的意义和价值。最后提出了相... 对维基百科的相关研究进行了综述。介绍了维基百科的历史发展与特点,宏观统计性质以及演化规律等方面,特别强调了复杂网络的思想和方法在分析维基百科中的应用。讨论了维基百科在社会、经济、文化、教育方面的意义和价值。最后提出了相关研究可能的发展方向,特别突出了复杂网络与人类动力学和维基百科研究可能的深入结合。 展开更多

关键词 复杂网络 演化规律 统计性质 维基百科

在线阅读 下载PDF 职称材料

异构国土地籍数据库网上汇交系统架构设计 被引量：5

5

作者 辜寄蓉 陈先伟 曾铭 《计算机工程》 CAS CSCD 北大核心 2008年第12期262-264,267,共4页

以实现网络环境下异构国土地籍数据的提取、汇交为目标,介绍多级异构的国土地籍数据的交换系统的整体框架,通过元数据技术实现异构数据映射,利用数据监听完成数据变化的监视,通过SOAP协议实现数据传输的优化,从而保证了数据在各级国土... 以实现网络环境下异构国土地籍数据的提取、汇交为目标,介绍多级异构的国土地籍数据的交换系统的整体框架,通过元数据技术实现异构数据映射,利用数据监听完成数据变化的监视,通过SOAP协议实现数据传输的优化,从而保证了数据在各级国土部门的更新,保障各级国土部门地籍数据的一致性。 展开更多

关键词 异构国土地籍数据库 元数据 数据监听 WEB服务 SOAP协议

在线阅读 下载PDF 职称材料

灰色预测的射线投影算法及其应用 被引量：1

6

作者 陈勇明 周勇 唐六华 《统计与决策》 CSSCI 北大核心 2007年第1期13-13,共1页

关键词 灰色预测 算法 投影 射线 应用 灰色系统理论 不确定系统 包络线

在线阅读 下载PDF 职称材料

分布式结构化数据分页查询中的动态归并算法 被引量：1

7

作者 段翰聪 彭旭宇 李林 《小型微型计算机系统》 CSCD 北大核心 2013年第7期1503-1506,共4页

本设计实现一种动态归并算法,主要应用在对于分布式结构化数据的跨节点跨表实时分页查询的业务场景中.分布式数据库中数据表都会被拆分为若干子表并存储于若干数据节点中,在对数据进行单表查询和多表查询时都需要进行数据的归并,本算法... 本设计实现一种动态归并算法,主要应用在对于分布式结构化数据的跨节点跨表实时分页查询的业务场景中.分布式数据库中数据表都会被拆分为若干子表并存储于若干数据节点中,在对数据进行单表查询和多表查询时都需要进行数据的归并,本算法被设计用来处理中间数据的归并问题,在归并策略上采用了二路归并,从而保证了较高的节点并发度,使得归并的计算负载能够均衡地分配在各计算节点上;采用动态的归并过程而不是在任务一开始就确定节点之间的归并配对关系,确保算法的自适应性,避免了预先制定归并策略而可能导致的数据等待.实验结果表明随着参与归并的节点数量的提高,该算法执行效率明显优于单节点归并以及预先设定归并策略的多节点归并. 展开更多

关键词 分布式查询 数据归并 MAPREDUCE

在线阅读 下载PDF 职称材料

基于链接路径预测的聚焦Web实体搜索 被引量：1

8

作者 黄健斌 孙鹤立 《计算机研究与发展》 EI CSCD 北大核心 2010年第12期2059-2066,共8页

实体搜索是一个有前景的研究领域,因为它能够为用户提供更为详细的Web信息.快速、完全地收集特定领域实体所在的网页是实体搜索中的一个关键问题.为了解决这个问题,将Web网站建模为一组互连的状态构成的图,提出一种链接路径预测学习算法... 实体搜索是一个有前景的研究领域,因为它能够为用户提供更为详细的Web信息.快速、完全地收集特定领域实体所在的网页是实体搜索中的一个关键问题.为了解决这个问题,将Web网站建模为一组互连的状态构成的图,提出一种链接路径预测学习算法LPC,该模型能够学习大型网站中从主页通向目标网页的最优路径,从而指导爬虫快速定位到含有Web实体的目标网页.LPC算法分为两个阶段:首先,使用概率无向图模型CRF,学习从网站主页通往目标网页的链接路径模型,CRF模型能够融合超连接和网页中的各种特征,包括状态特征和转移特征;其次,结合增强学习技术和训练的CRF模型对爬行前端队列的超链接进行优先级评分.一种来自增强学习的折扣回报方法通过利用路径分类阶段学习的CRF模型来计算连接的回报值。在多个领域大量真实数据上的实验结果表明,所提出的适用CRF模型指导的链接路径预测爬行算法LPC的性能明显优于其他聚焦爬行算法. 展开更多

关键词 实体搜索 聚焦爬行 链接路径预测 条件随机场 增强学习

在线阅读 下载PDF 职称材料

支持多信道的无线传感器网络DMAC协议

9

作者 李智 郑睿童 +1 位作者 黄波 卿昱 《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2008年第5期135-141,共7页

为了解决无线传感器网络低延迟、高吞吐量与有限的带宽之间的矛盾,提出了一种基于DMAC的动态多信道MAC协议。协议依据节点本地信息,将信道预先分配给中间节点,利用多信道和多个时隙排列实现了DMAC的多信道支持,并为DMAC协议增加了由根... 为了解决无线传感器网络低延迟、高吞吐量与有限的带宽之间的矛盾,提出了一种基于DMAC的动态多信道MAC协议。协议依据节点本地信息,将信道预先分配给中间节点,利用多信道和多个时隙排列实现了DMAC的多信道支持,并为DMAC协议增加了由根节点到子节点的通信方式。理论分析与NS-2仿真结果表明,支持多信道的DMAC协议在没有增加能耗的前提下,显著降低了数据传输中的延迟。 展开更多

关键词 多信道 低延迟 低能耗 媒介接入控制 无线传感器网络 DMAC

在线阅读 下载PDF 职称材料

基于BVH驱动的OGRE骨骼动画 被引量：8

10

作者 郭力 何明耘 陈雷霆 《计算机应用研究》 CSCD 北大核心 2009年第9期3550-3552,共3页

OGRE游戏引擎中的角色动画将模型与骨骼文件进行映射。若想在不借助第三方建模软件重新制作模型和动画的基础上更改现有模型的动作,获取与模型匹配的骨骼数据成为一个难题。提出了一种将标准BVH动作文件解析为XML文件的方法,生成与OGRE... OGRE游戏引擎中的角色动画将模型与骨骼文件进行映射。若想在不借助第三方建模软件重新制作模型和动画的基础上更改现有模型的动作,获取与模型匹配的骨骼数据成为一个难题。提出了一种将标准BVH动作文件解析为XML文件的方法,生成与OGRE模型匹配的骨骼文件,将来源广泛的BVH文件作为动作数据,极大地丰富了OGRE角色动画。实验结果证明,转换后的BVH可以与OGRE中的模型融合起来,从而驱动模型。 展开更多

关键词 BVH文件 可扩展标记语言文件 骨骼动画 OGRE游戏引擎

在线阅读 下载PDF 职称材料

基于NetFlow的动态K层特征模型库建立 被引量：2

11

作者 郑建忠 周世杰 王娟 《计算机工程》 CAS CSCD 北大核心 2010年第22期165-167,共3页

针对异常数据流的识别问题,提出基于NetFlow的动态K层特征模型库建立方法。描述动态K层异常特征模型的概念,建立K层特征模型库,更新K层特征模型表中的数据,调整分层优先级别。实验结果表明,该方法能快速识别异常数据流,有效减少匹配次数... 针对异常数据流的识别问题,提出基于NetFlow的动态K层特征模型库建立方法。描述动态K层异常特征模型的概念,建立K层特征模型库,更新K层特征模型表中的数据,调整分层优先级别。实验结果表明,该方法能快速识别异常数据流,有效减少匹配次数,提高匹配效率。 展开更多

关键词 流量分析 异常检测 特征模型

在线阅读 下载PDF 职称材料

一种最短向量已知格的生成方法 被引量：2

12

作者 余位驰 张文芳 何大可 《计算机工程》 CAS CSCD 北大核心 2006年第15期19-21,共3页

提出了最短向量已知格的概念。通过对循环格的分析,得到了循环格是最短向量已知格的两个定理。为了得到随机性更好的最短向量已知格,提出了伪循环格的概念,并且给出了伪循环格是最短向量已知格的充分条件。相关的定理都是构造性的,通过... 提出了最短向量已知格的概念。通过对循环格的分析,得到了循环格是最短向量已知格的两个定理。为了得到随机性更好的最短向量已知格,提出了伪循环格的概念,并且给出了伪循环格是最短向量已知格的充分条件。相关的定理都是构造性的,通过简单的算法就可以快速生成最短向量已知格。最后给出了对格基进行随机化的一般性算法。 展开更多

关键词 最短向量已知格 循环格 伪循环格 格基规约

在线阅读 下载PDF 职称材料

真实感人脸语音同步动画系统 被引量：1

13

作者 罗琰钦 陈雷霆 +1 位作者 何明耘 李晓瑜 《计算机应用研究》 CSCD 北大核心 2009年第4期1563-1565,1568,共4页

提出了一个人脸动画与语音同步的系统,重点解决协同发音、表现人脸细微表情特征的问题。输入带有情绪标志的文本,就能够产生对应表情的、与语音同步的人脸动画;本系统能够生成各种不同性别、年龄、表情特征的高度真实感3D人脸模型,人脸... 提出了一个人脸动画与语音同步的系统,重点解决协同发音、表现人脸细微表情特征的问题。输入带有情绪标志的文本,就能够产生对应表情的、与语音同步的人脸动画;本系统能够生成各种不同性别、年龄、表情特征的高度真实感3D人脸模型,人脸细微表情特征(如额头皱纹)可以随人脸表情的变化而动态改变。基于语言学理论,本系统提出了解决协同发音问题的一套规则。 展开更多

关键词 人脸动画 协同发音 细微特征纹理 语音合成

在线阅读 下载PDF 职称材料

基于灰度图像边缘检测的3D游戏路径搜索

14

作者 申麟 何明耘 陈雷霆 《计算机应用研究》 CSCD 北大核心 2009年第6期2387-2389,共3页

着重研究了3D游戏中路径搜索算法。其路径搜索算法内容包括障碍认知与标志、A*路径规划、高度代价函数与路径最短相结合的,由计算粒度引出的基于静态障碍物体碰撞检测的动态路径规划。该算法在实际的游戏引擎中进行了测试,其效率和实时... 着重研究了3D游戏中路径搜索算法。其路径搜索算法内容包括障碍认知与标志、A*路径规划、高度代价函数与路径最短相结合的,由计算粒度引出的基于静态障碍物体碰撞检测的动态路径规划。该算法在实际的游戏引擎中进行了测试,其效率和实时性都满足要求。 展开更多

关键词 灰度图像 路径搜索 边缘检测 A*算法

在线阅读 下载PDF 职称材料

BlackJack博弈优势分析与仿真

15

作者 林志侠 王继超 周益民 《计算机工程与应用》 CSCD 北大核心 2011年第32期91-93,共3页

计算机仿真模拟技术的应用为揭示BlackJack博彩游戏中的数学规律提供了有力的工具。根据贝叶斯公式,给出了庄家点数大于16点即停止要牌的理论依据。针对庄家不同明牌时最终点数的概率分布,在不记牌的前提下以玩家承担风险最小为目标优... 计算机仿真模拟技术的应用为揭示BlackJack博彩游戏中的数学规律提供了有力的工具。根据贝叶斯公式,给出了庄家点数大于16点即停止要牌的理论依据。针对庄家不同明牌时最终点数的概率分布,在不记牌的前提下以玩家承担风险最小为目标优化要牌界限,提出了一种基于庄家明牌的动态要牌策略。结合典型的下注方法,计算机模拟验证了该策略对庄家优势的影响。 展开更多

关键词 贝叶斯公式 Blackjack博弈 条件概率 博弈策略

在线阅读 下载PDF 职称材料

一种对IPKC的ESA攻击及对策

16

作者 余位驰 何大可 《计算机应用研究》 CSCD 北大核心 2006年第8期129-132,共4页

首先介绍了PPKC和IPKC的概念,然后对比了几种典型攻击方法对PPKC和IPKC安全性的不同影响。利用IPKC的特殊性,提出了一种专门针对IPKC的攻击方法———错误探测攻击方法(Errors SniffingAttacks,ESA);新型公钥密码方案NTRU是一种IPKC,因... 首先介绍了PPKC和IPKC的概念,然后对比了几种典型攻击方法对PPKC和IPKC安全性的不同影响。利用IPKC的特殊性,提出了一种专门针对IPKC的攻击方法———错误探测攻击方法(Errors SniffingAttacks,ESA);新型公钥密码方案NTRU是一种IPKC,因此必须研究其抵抗ESA攻击的能力;设计了一种利用NTRU解密错误发起的ESA攻击算法,该算法可以推测出私钥f部分甚至全部的信息。最后提出了增强NTRU抵抗ESA攻击的具体措施。 展开更多

关键词 公钥密码方案 非完备公钥密码方案 错误探测攻击

在线阅读 下载PDF 职称材料