期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
带多项式量级约束条件的多商品流BWTSP线性规划 被引量：1
1
作者 江贺 张宪超 +1 位作者 车皓阳 陈国良 《计算机研究与发展》 EI CSCD 北大核心 2007年第10期1796-1800,共5页
黑白旅行商问题(BWTSP)是近年来出现的新NP-难解问题,根据图中边是否对称可以分为无向BWTSP和有向BWTSP两种.现有无向BWTSP的Ghiani线性规划中约束条件数目为指数多个.权值阈值等于+∞的有向BWTSP通过转换为RATSP问题而存在多项式个约... 黑白旅行商问题(BWTSP)是近年来出现的新NP-难解问题,根据图中边是否对称可以分为无向BWTSP和有向BWTSP两种.现有无向BWTSP的Ghiani线性规划中约束条件数目为指数多个.权值阈值等于+∞的有向BWTSP通过转换为RATSP问题而存在多项式个约束条件的线性规划.针对一般的有向BWTSP,提出了一种仅包含多项式个约束条件的新线性规划.其基本思想是首先将有向BWTSP问题归约为ATSP问题,然后利用ATSP包含n(n+4)个约束条件的Finke-Claus-Gunn线性规划,通过定义剩余和消耗基数商品流,分析了环路上的弧应满足的约束条件,并证明这些n2+2|W|的约束条件即是基数约束条件;类似地通过定义剩余和消耗权值商品流,得到n2+n+2|B|个权值约束条件.最终得到原始问题仅包含3n2+7n个约束条件的线性规划.由于无向BWTSP问题和权值阈值等于+∞的有向BWTSP均是一般有向BWTSP的特例,故此结果对于它们同样有效. 展开更多
关键词 黑白旅行商问题 NP-难解 线性规划 完全算法 商品流
在线阅读 下载PDF
面向TPU粗粒度指令的自动张量化方法
2
作者 刘磊 周志德 +3 位作者 刘兴祥 车皓阳 姚雷 江贺 《计算机科学》 CSCD 北大核心 2024年第6期52-60,共9页
张量化是通过调用硬件特定指令对张量运算进行加速的过程。TPU支持多种粗粒度指令,可表示神经网络级别的算子,且没有明确的运算规模限制。现有张量化方法对于粗粒度指令需要手写大量的IR匹配片段,且难以实现灵活的双缓存(ping-pong buff... 张量化是通过调用硬件特定指令对张量运算进行加速的过程。TPU支持多种粗粒度指令,可表示神经网络级别的算子,且没有明确的运算规模限制。现有张量化方法对于粗粒度指令需要手写大量的IR匹配片段,且难以实现灵活的双缓存(ping-pong buffer)形式的指令并行优化,不利于扩展至TPU场景。为此,提出了一种面向TPU粗粒度指令的自动张量化方法——Tir2TPU。首先,基于TensorIR抽象语法树的分析对运算程序进行指令替换。其次,设计了一种模拟硬件行为的并行模型以实现指令并行优化。最后,构建了基于TPU硬件特征的程序调度空间以实现快速自动调优。实验对矩阵乘法等5种机器学习模型中常用的算子进行了性能评估。实验结果表明,Tir2TPU自动优化生成的算子与TPU自有编译器相比可取得最高3.1倍、平均1.78倍的运算加速,并且可取得平均90%的手工优化性能。 展开更多
关键词 机器学习编译器 张量加速器 张量化 指令并行 算子优化
在线阅读 下载PDF
最大节约原则下单倍型推导问题的实用算法(英文) 被引量：1
3
作者 张强锋 车皓阳 +1 位作者 陈国良 孙广中 《软件学报》 EI CSCD 北大核心 2005年第10期1699-1707,共9页
在疾病的易感基因研究和药物反应实验中,常常需要知道单倍型,而不仅仅是基因型数据.但是直接通过生物学实验手段来测定单倍型在时间和成本上消耗过大,所以在实验室里往往仅测得基因型,而通过一些计算手段来推导出单倍型.不同于Clark著... 在疾病的易感基因研究和药物反应实验中,常常需要知道单倍型,而不仅仅是基因型数据.但是直接通过生物学实验手段来测定单倍型在时间和成本上消耗过大,所以在实验室里往往仅测得基因型,而通过一些计算手段来推导出单倍型.不同于Clark著名的单倍型推导模型,Gusfield和Wang等人提出了一种通过基因型样本推导单倍型的新模型.这种模型试图按照最大节约原则去寻找可以解释基因型样本的最小单倍型集合.这种基于节约原则的模型克服了Clark模型的一些缺陷.提出了节约原则模型的一个多项式时间的贪心算法以及一种把贪心策略和分支限界策略集合在统一框架下的复合算法.相对于Wang原来提出的分支限界完全算法,贪心的近似算法运行快得多,而且同时保持了比较准确的推导结果.新的复合算法也是一种完全算法.实验结果表明,与原来的分支限界算法相比,复合算法可以极大地提高运行效率以及可应用的实例规模. 展开更多
关键词 基因型 单倍型 SNP 单倍型推导 最大节约原则 贪心算法
在线阅读 下载PDF
基于Quick Time VR虚拟现实技术的网络课件写作系统 被引量：2
4
作者 姚顾波 车皓阳 何克抗 《中国电化教育》 CSSCI 北大核心 2000年第3期66-67,共2页
关键词 远距离教育 网络课件 虚拟现实技术
在线阅读 下载PDF
三元家庭基因数据的单体分型和单体型频率估计(英文)
5
作者 张强锋 徐云 +1 位作者 陈国良 车皓阳 《软件学报》 EI CSCD 北大核心 2007年第9期2090-2099,共10页
研究了在门德尔遗传定理和哈代-维恩伯格平衡假设下,三元家庭基因型数据的单体分型和单体型频率估计问题.过去的研究仅仅关注个体间没有联系或者含有一般家系信息的基因型数据,而对这种特殊的三元家庭关注得不够考虑到HAPMAP数据库中有... 研究了在门德尔遗传定理和哈代-维恩伯格平衡假设下,三元家庭基因型数据的单体分型和单体型频率估计问题.过去的研究仅仅关注个体间没有联系或者含有一般家系信息的基因型数据,而对这种特殊的三元家庭关注得不够考虑到HAPMAP数据库中有一部分数据就基于这种三元家庭,现在有越来越多的需求要求直接分析这种特殊的家系结构.提出一个两段式的三元家庭中单体型频率的估计方法:i)分型阶段,找出每一个三元家庭零重组单体构型;ii)频率估计阶段,在前一阶段得到的单体构型基础上,应用EM算法来估计单体型频率.在程序包TRIOHAP中用C语言实现了单体分型算法和EM算法,并且使用模拟和实际数据测试了TRIOHAP的有效性和效率.实验结果表明,TRIOHAP要比其他那些忽略了三元家庭信息的常见单体型频率估计软件运行快很多.进一步地,由于TRIOHAP利用了这些信息,其估计结果更加可靠. 展开更多
关键词 基因型 单体型 SNP 单体分型弹体型频率估计 三元家庭 EM算法
在线阅读 下载PDF
中医古籍的现代整理与利用技术探索 被引量：2
6
作者 章红英 车皓阳 +5 位作者 段玉聪 马路 华琳 马赟 胡成湘 田瑞 《中国中医基础医学杂志》 CAS CSCD 北大核心 2009年第8期626-627,共2页
关键词 中医 古代 文献 评价
暂未订购
飞行在你身边的“间谍”
7
作者 车皓阳 《党员文摘》 2008年第2期43-44,共2页
作为机器人研究的大国，美国一直试图通过其在神经生理仿真方面的领先地位，制造出类虫机器，以实现各种军事侦察和间谍工作。
关键词 间谍工作 飞行 领先地位 神经生理 军事侦察 机器人
原文传递
锐利的调试器DDD
8
作者 车皓阳 《开放系统世界》 2004年第4期86-88,共3页
在嵌入式程序开发过程中，程序员要进行大量的调试．以此验证程序的正确性，修改潜在的错误。调试器对于程序员来说是不可或缺的必备工具。在Linux环境中，有很多调试工具和调试辅助工具，例如GDB、XXGDB、RHIDE，XWPE、GVD和DDD等。其... 在嵌入式程序开发过程中，程序员要进行大量的调试．以此验证程序的正确性，修改潜在的错误。调试器对于程序员来说是不可或缺的必备工具。在Linux环境中，有很多调试工具和调试辅助工具，例如GDB、XXGDB、RHIDE，XWPE、GVD和DDD等。其中，DDD是命令行调试器的图形前端，除了一般的程序调试功能以外，还具有交互式图形数据显示的功能。它在嵌人式应用开发中也十分出色。本文主要讲述DDD(Data Display Debugger)的使用方法。 展开更多
关键词 LINUX 操作系统 嵌入式程序 程序调试器 DDD
在线阅读 下载PDF
NoveHOES加速Linux企业应用
9
作者 姚继锋 赵南楠 车皓阳 《开放系统世界》 2004年第12期31-32,共2页
随着各Linux厂商不断推出新的企业级Linux产品，企业级Linux产品在稳定性．可用性和整体性能上得以不断改进．满足了企业级用户的计算需求．电对企业接受和采用Linux产品起到了相当大的推动作用。
关键词 LINUX NoveHOES 网络操作系统 应用程序
在线阅读 下载PDF
模式匹配问题的描述框架与算法模型 被引量：7
10
作者 张治 车皓阳 施鹏飞 《模式识别与人工智能》 EI CSCD 北大核心 2006年第6期715-721,共7页
应用泛代数理论,建立模式匹配问题的泛代数学描述框架,研究模式匹配问题的数学基础,基于泛代数学理论的观点,模式是一类有限的结构(代数),模式匹配能够被形式化为寻找两个结构之间保持的映射关系,即为两个结构之间的同态,证明模式同态... 应用泛代数理论,建立模式匹配问题的泛代数学描述框架,研究模式匹配问题的数学基础,基于泛代数学理论的观点,模式是一类有限的结构(代数),模式匹配能够被形式化为寻找两个结构之间保持的映射关系,即为两个结构之间的同态,证明模式同态问题与模式匹配问题的等价关系,亦即模式匹配问题可以归约为模式同态问题,基于模式同态的框架,提出求解模式匹配问题的算法模型。 展开更多
关键词 模式匹配 同态 模式同态
原文传递
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部