共有文档13 打包下载
  • 分类:工业技术 格式:PDF 积分:0 机构:西北工业大学,软件与微电子学院,北京神州航天软件技术有限公司 上传者:曹宁川 上传时间:

    摘要:多处理器片上系统(MPSoC)是在单一芯片上集成多个处理器的复杂SoC,是多核时代SoC的最新发展方向,保证MPSoC可调度是其设计的重点.针对MPSoC的特性,使用价格时间自动机,对其构建一种可调度性分析模型,并使用模型检测工具UPPAAL中的统计模型检测引擎自动模拟系统,并估算不可调度概率.实例验证结果表明,该模型检测方法降低了分析成...

  • 分类:工业技术 格式:PDF 积分:0 机构:西北工业大学,软件与微电子学院 上传者:朱志鹏 上传时间:

    摘要:过程间分析技术通常用于静态检测并行程序中的错误模式实例,目前已成为静态测试、错误模式匹配等领域的研究热点.然而,现存的过程内分析技术对于并行错误的静态测试效果尚不够理想.为此,文章试图运用过程间分析技术对并行程序进行"错误模式"的匹配.通过遍历构建的全局控制流图,分析图中单个节点所包含的语句,对其中可能出现错误的程序进行了错误模式的匹配,...

  • 分类:工业技术 格式:PDF 积分:0 机构:西北工业大学,计算机学院,西北工业大学,软件与微电子学院,西北工业大学,软件与微电子学院,西北工业大学,计算机学院,解放军边防学院,训练部教务科 上传者:周淑芬 上传时间:

    摘要:针对城市地震等大规模灾害发生后,灾难救援搜救范围大、现场情况多变、远距离通讯交流阻塞、施救人员危险性高等问题,提出了一种使用具有特定功能的多智能体开展救援任务,并利用分区的思想,将多智能体分配到城市各个区域,以扩大搜救范围,节省救援时间的方案.同时,针对传统K-means聚类方法的不足,提出了一种基于ISODATA(迭代自组织数据分析)算...

  • 分类:工业技术 格式:PDF 积分:0 机构:西北工业大学,软件与微电子学院,中国人民解放军,第五七一九工厂 上传者:麻志强 上传时间:

    摘要:软件测试是在软件开发过程中,用以确认和验证软件质量的主要方法.然而测试用例冗余是软件测试面临的一个重要难题.在回归测试中,人们会根据新的测试需求不断补充大量的测试用例,这也会造成测试用例冗余的出现.虽然现在已有很多工具通过重用测试用例集来降低回归测试的成本,但回归测试依然可能是极其耗时的过程.为此,人们提出了各种方法,对已生成的测试用例集...

  • 分类:工业技术 格式:PDF 积分:0 机构:西北工业大学,计算机学院,西北工业大学,软件与微电子学院 上传者:王凡 上传时间:

    摘要:随着可用频谱的日益稀缺和无线业务量剧增,认知无线网相关的研究逐渐成为热点;视频流具有延迟敏感、高带宽需求等特征,动态频谱分配环境下的路由设计和服务质量具有挑战性.针对该问题,为视频业务提出一种基于分簇的路由方法.考虑到频谱的异构性和动态分配特征,对网络节点的分簇规模进行分析和优化,获取能够降低传输失真的分簇方案,并提出一个基于重要度的簇头...

  • 分类: 格式:PDF 积分:0 机构:北京大学,软件与微电子学院 上传者:吕淑仪 上传时间:

    摘要:影视动画艺术融合了戏剧、音乐、绘画、舞蹈、雕塑等其他门类的艺术,在百余年的发展演变中,它的艺术形式和艺术地位经历了翻天覆地的变化,集中体现了一个国家和民族的文化精神,不仅作为商品被大家娱乐和消费,还是一个国家和民族的文化象征,优秀的动画作品应与本民族的文化相融....

  • 分类:工业技术 格式:PDF 积分:0 机构:西北工业大学,计算机学院,西北工业大学,软件与微电子学院,西安电子科技大学,计算机学院 上传者:刘宏 上传时间:

    摘要:由于脊椎生理结构的精准坐标描述和准确匹配尚未达到医学精度的要求,本文对如何精确描述脊柱腰骶段特征点的物理坐标进行研究。介绍了人体脊椎采样特征点的定义和传统标记方法。针对手动标注特征点精确度不够,易产生较大误差等问题提出了一种基于曲率多特征融合的自适应标注特征点的方法。该方法首先找出某个特征点的高斯曲率和平均曲率流的定义值,得到该特征点的法...

  • 分类:数理科学和化学,工业技术 格式:PDF 积分:0 机构:北京大学,软件与微电子学院,北京大学,信息科学技术学院 上传者:韶晖 上传时间:

    摘要:量子安全直接通信是继量子密钥分配后,量子通信领域又一重要的研究领域,它要求通信双方在预先不需要建立共享密钥的情况下就可以实现消息的保密传输。不同于属于非确定通信的量子密钥分配,量子直接通信受信道噪声的影响更大,需要更好的检错纠错能力。本文根据稳定子码纠错理论和GHZ三态纠缠粒子的特性提出了一套基于稳定子码理论的量子直接通信方案,使其在保持...

  • 分类:工业技术 格式:PDF 积分:0 机构:西北工业大学,软件与微电子学院,西北工业大学,计算机学院 上传者:解小青 上传时间:

    摘要:目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用.为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误.研究给出了体现系统拓扑结构的AADL测试模型的形式定义及由AADL构造该测试模型的算法,基于该测试模型可以对AADL设计模型中构件交互的输入、输出端口序列和...

  • 分类:工业技术 格式:PDF 积分:0 机构:北京大学,信息科学技术学院,高可信软件技术教育部重点实验室,北京大学ACOM金融信息化研究中心,北京大学ACOM金融信息化研究中心,北京大学,软件与微电子学院,北京大学,信息科学技术学院,高可信软件技术教育部重点实验室,北京大学ACOM金融信息化研究中心,北京大学,软件与微电子学院 上传者:何亚娜 上传时间:

    摘要:Since software has infiltrated in many services,designers need to consider service design and software design as a whole.This paper provides a novel service description m...

上一页 1 2 3 4 5 6 7 8 9 10 下一页 跳转