计算机音乐处理

1

作者 王让定 周中一 +2 位作者 冯百明 马满福 冯新宁 《微计算机应用》 1993年第1期23-26,共4页

本文介绍了电子音乐信息处理系统的软硬件组成,针对所使用的电子琴,叙述了电子音乐信息的分析、压缩处理等。本系统初步实现了计算机的自动记谱和乐曲编辑等功能。

关键词 音乐信息 系统构成 节奏码 计算机

在线阅读 下载PDF 职称材料

民族地区中学教师计算机技能现状与对策 被引量：1

2

作者 马海明 《教育信息化》 CSSCI 2006年第12期46-49,共4页

21世纪是科技飞速发展的信息化时代,随着计算机信息技术的迅速发展,基础教育改革的深入进行,计算机教育技术在中学的运用与实践日益广泛起来。信息技术教育已经在中学全面普及,而计算机是现代社会信息处理的重要工具,作为教师,学习和掌... 21世纪是科技飞速发展的信息化时代,随着计算机信息技术的迅速发展,基础教育改革的深入进行,计算机教育技术在中学的运用与实践日益广泛起来。信息技术教育已经在中学全面普及,而计算机是现代社会信息处理的重要工具,作为教师,学习和掌握计算机技能迫在眉睫。 展开更多

关键词 计算机技能 中学教师 民族地区 计算机信息技术 基础教育改革 信息技术教育 信息化时代 21世纪 迅速发展 教育技术

在线阅读 下载PDF 职称材料

智能化变流充电控制系统的研究 被引量：3

3

作者 文哲蓉 刘仰云 《电源技术》 EI CAS CSCD 北大核心 2000年第4期226-229,共4页

传统的恒流或恒压充电模式充电时间长 ,充电质量差 ,不能有效地将电能转化为化学能 ,蓄电池的过度出气和温度急剧上升严重损坏了电池的板极 ,缩短了电池使用寿命。通过对变流充电优化模式的分析 ,提出了依据蓄电池各单节端压、电液密度... 传统的恒流或恒压充电模式充电时间长 ,充电质量差 ,不能有效地将电能转化为化学能 ,蓄电池的过度出气和温度急剧上升严重损坏了电池的板极 ,缩短了电池使用寿命。通过对变流充电优化模式的分析 ,提出了依据蓄电池各单节端压、电液密度和温度的变化综合确定蓄电池组内部状态及其实际可接受充电电流能力的方法 ,通过合理逼近理想充电曲线实现对充电过程的最优控制。详细介绍了基于这一理论的一种实用型智能化变流充电控制系统的设计思想及其相关技术关键问题。 展开更多

关键词 变流充电 蓄电池 智能化控制系统 计算机控制

在线阅读 下载PDF 职称材料

独立于网格计算经济模型的记账和支付

4

作者 王小牛 姚军 +1 位作者 马满福 冯百明 《计算机工程与设计》 CSCD 北大核心 2007年第4期959-962,共4页

针对当前网格计算经济中记账和支付的不足,提出了一种能够独立于计算经济模型的记账和支付体系结构。以独立的第3方完成记账数据采集;依据GSP和GSC的支付策略实现资源选择和支付;完成了一个支付算法,实现了和现实商业银行的仿真连接。

关键词 网格计算经济 记账 支付 策略

在线阅读 下载PDF 职称材料

基于彩色静止数字图像的信息隐藏算法 被引量：1

5

作者 代文征 《甘肃科技》 2005年第2期54-56,共3页

数字图像的信息隐藏技术是数字图像处理领域中最具挑战性、最为活跃的研究课题之一。本文概述了数字图像的信息隐藏技术,并给出了一个新的基于彩色静止数字图像的信息隐藏算法。

关键词 数据隐藏 数字水印 鲁棒性

在线阅读 下载PDF 职称材料

电子琴输入微机记谱与检索系统

6

作者 冯新宁 周中一 +2 位作者 方宁德 王让定 冯百明 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1992年第S1期78-83,共6页

五线谱是音乐领域的国际语言,用微机对五线谱信息进行收集、处理、存贮、传输和印制将是非常有意义的,为此我们设计了(电子琴输入微机记谱和检索系统).

关键词 电子琴 弹奏 微机记谱检索系统

在线阅读 下载PDF 职称材料

基于签密的多方认证邮件协议 被引量：10

7

作者 王彩芬 贾爱库 +1 位作者 刘军龙 于成尊 《电子学报》 EI CAS CSCD 北大核心 2005年第11期2070-2073,共4页

签密方案可以在一个逻辑步骤内同时实现签名和加密,可以有效地减少运算.本文在已有的两方签密方案的基础上结合组可验证的签密方案,提出了一种新的、可用于多方认证邮件协议的签密方案,进而设计出了异步的一对多的认证邮件协议,并证明... 签密方案可以在一个逻辑步骤内同时实现签名和加密,可以有效地减少运算.本文在已有的两方签密方案的基础上结合组可验证的签密方案,提出了一种新的、可用于多方认证邮件协议的签密方案,进而设计出了异步的一对多的认证邮件协议,并证明了该协议的公平性与非否认性.文中还通过与已有协议进行比较,阐述了新协议的优点. 展开更多

关键词 公平交换协议 一对多的认证邮件协议 签密 公平性 非否认性

在线阅读 下载PDF 职称材料

一种高效稳定的链接分析算法 被引量：2

8

作者 马慧芳 史忠植 《计算机应用研究》 CSCD 北大核心 2011年第2期488-491,共4页

互联网中网页的快速增长使得增量链接分析算法成为网页排序的一种有效手段,可以避免因重复建模未曾变化的网页而带来的时间和资源上的浪费。链接变化规律的发现和利用是增量链接分析技术的一个关键。提出了一种高效稳定的改进PHITS模型... 互联网中网页的快速增长使得增量链接分析算法成为网页排序的一种有效手段,可以避免因重复建模未曾变化的网页而带来的时间和资源上的浪费。链接变化规律的发现和利用是增量链接分析技术的一个关键。提出了一种高效稳定的改进PHITS模型——增量PHITS(IPHITS)。该模型充分应用Folding in机制合理利用已有训练结果,从而将新增文本及链接信息高效地融入已训练好的PHITS模型,有效地克服了PHITS模型无法适应动态变化的链接结构以及不稳定的问题。在链接网页和互引文献的互连数据上的实验表明,IPHITS具有很高的时间效率和更好的稳定性。 展开更多

关键词 链接分析 稳定性 PHITS 增量PHITS 增量算法 结构挖掘

在线阅读 下载PDF 职称材料

基于改进的SVM分类器的医学图像分类新方法 被引量：6

9

作者 蒋芸 李战怀 《计算机应用研究》 CSCD 北大核心 2008年第1期53-55,共3页

支持向量机(SVM)是一种准确度高的分类器,具有很好的容错和归纳能力;粗糙集理论方法在处理大数据量、消除冗余信息等方面具有优势。将两者相结合提出一种改进的SVM分类算法ISVM,并将其应用于乳腺X光图像分类。实验结果表明,ISVM的分类... 支持向量机(SVM)是一种准确度高的分类器,具有很好的容错和归纳能力;粗糙集理论方法在处理大数据量、消除冗余信息等方面具有优势。将两者相结合提出一种改进的SVM分类算法ISVM,并将其应用于乳腺X光图像分类。实验结果表明,ISVM的分类精确度可达到96.56%,比SVM的分类精确度(92.94%)要高3.42%,同时错误分辨率也平均接近100%。 展开更多

关键词 改进的支持向量机方法 粗糙集 乳腺X光图像

在线阅读 下载PDF 职称材料

非线性三点边值问题正解的存在性 被引量：13

10

作者 马巧珍 《应用泛函分析学报》 CSCD 2001年第2期178-182,共5页

本文利用锥上的不动点定理，在ｆ满足超线性条件或次线性条件下，讨论了边值问题 ｕ″＋ ａ（ｔ）ｆ（ｕ）＝ ０， ｔ （０，１） ｕ′（０）＝０，ｕ（１）＝ａｕ（）正解的存在性．

关键词 非线性边值问题 正解 锥 不动点定理 存在性 常微分方程 三点边值问题

在线阅读 下载PDF 职称材料

一种高性能游戏机控制器 被引量：2

11

作者 王让定 王小牛 《计算机应用研究》 CSCD 1993年第3期57-58,共2页

本文介绍了一种新型的高集成度的游戏机控制芯片。用该芯片开发的游戏机体积小,重量轻,且兼容于任天堂系列游戏机。

关键词 控制器 游戏机

在线阅读 下载PDF 职称材料

软件质量评价的一种定量化方法 被引量：4

12

作者 肖鸿民 《西北师范大学学报（自然科学版）》 CAS 2000年第4期31-35,共5页

提出一种从与软件质量特性有关的定性信息产生定量值的方法 ,其主要优点是能相当容易地从质量评价者那里获得定量输入信息 ,并能根据一致性指标检验评价判断的误差 .

关键词 软件质量评价 判断矩阵 一致性指标 定量化方法

在线阅读 下载PDF 职称材料

基于优先队列的最小生成树算法 被引量：1

13

作者 曾湘燕 陶文祥 《微电子学与计算机》 CSCD 北大核心 1997年第1期39-41,共3页

本文提出一个获取连通网络是小生成树的算法。该算法采用一个优先队列组织各顶点集合，每次根据边的权值对队列头集合进行增长。由于对每个顶点的相关联边进行了按权值分级排序的预处理，算法获取具有。个预示e条边的无向连通网络的最... 本文提出一个获取连通网络是小生成树的算法。该算法采用一个优先队列组织各顶点集合，每次根据边的权值对队列头集合进行增长。由于对每个顶点的相关联边进行了按权值分级排序的预处理，算法获取具有。个预示e条边的无向连通网络的最小生成树的期望时间是O（e*loglogn）。 展开更多

关键词 最小生成树 优先队列 法分析 数据结构

在线阅读 下载PDF 职称材料

Smith-Waterman算法OpenMP并行化 被引量：3

14

作者 张瑜 王继东 《自动化技术与应用》 2010年第1期37-40,共4页

基因比对可以实现对海量生物信息的分析和处理,其中Smith-Waterman算法实现的比对信息精确度较高,但是处理速度慢。本文利用共享存储编程的工业标准OpenMP对Smith-Waterman算法进行了并行化实现。在一个拥有四个双核CPU的SMP节点上的测... 基因比对可以实现对海量生物信息的分析和处理,其中Smith-Waterman算法实现的比对信息精确度较高,但是处理速度慢。本文利用共享存储编程的工业标准OpenMP对Smith-Waterman算法进行了并行化实现。在一个拥有四个双核CPU的SMP节点上的测试表明,共享并行化使得该局部比对算法的速度提高了40%。 展开更多

关键词 OPENMP SMITH-WATERMAN算法 并行编程

在线阅读 下载PDF 职称材料

用HOARE逻辑证明C^(++)程序的正确性 被引量：1

15

作者 王彩芬 《兰州大学学报（自然科学版）》 EI CAS CSCD 北大核心 2000年第1期44-47,共4页

讨论了将HOARE逻辑应用于面向对象的程序设计语言C++程序的正确性证明的相关问题.

关键词 HOARE逻辑 面向对象 程序设计

在线阅读 下载PDF 职称材料

三次隐多项式曲线的生成算法 被引量：2

16

作者 赵学峰 《甘肃科学学报》 2002年第3期15-18,共4页

给出了一种隐多项式曲线的逐点生成算法 ,同时还探讨了对曲线自交叉情况的有效处理方法 。

关键词 三次隐多项式曲线 逐点生成算法 增量计算 计算机图形学 泰勒展开式 增量算法 像素阵列

在线阅读 下载PDF 职称材料

程序正确性证明及循环不变式的寻找方法 被引量：2

17

作者 王彩芬 《甘肃科学学报》 2000年第3期43-48,共6页

重点讨论了与程序验证相关的问题 ,并结合已有的求取循环不变式的方法给出了求已知循环程序的循环不变式的原则。

关键词 程序验证 HOARE逻辑 循环不变式 程序正确性

在线阅读 下载PDF 职称材料

浅谈数据挖掘技术及其应用 被引量：28

18

作者 舒正渝 《中国西部科技》 2010年第5期38-39,共2页

科技的进步,特别是信息产业的发展,把我们带入了一个崭新的信息时代。数据库管理系统的应用领域涉及到了各行各业,但目前所能做到的只是对数据库中已有的数据进行存储、查询、统计等功能,通过这些数据获得的信息量仅占整个数据库信息量... 科技的进步,特别是信息产业的发展,把我们带入了一个崭新的信息时代。数据库管理系统的应用领域涉及到了各行各业,但目前所能做到的只是对数据库中已有的数据进行存储、查询、统计等功能,通过这些数据获得的信息量仅占整个数据库信息量的一小部分,如何才能从中提取有价值的知识,进一步提高信息量利用率,因此需要新的技术来自动、智能和快速地分析海量的原始数据,以使数据得以充分利用,由此引发了一个新的研究方向:数据挖掘与知识发现的理论与技术研究。数据挖掘技术在分析大量数据中具有明显优势,基于数据挖掘的分析技术在金融、保险、电信等有大量数据的行业已有着广泛的应用。 展开更多

关键词 数据挖掘 知识发现

在线阅读 下载PDF 职称材料

Prolog正向推理机中否定谓词的处理

19

作者 陶文祥 曾湘燕 +1 位作者 周中一 浦恩沸 《微电子学与计算机》 CSCD 北大核心 1993年第3期31-33,共3页

根据X能否和某一规则的规则头相匹配,将not(X)分为两类并分别进行处理:一类是X不能和任意一条规则的规则头相匹配,此时如果现有事实不能证明X为真,则将not(X)做为一项事实处理;另一类是X能和某一规则的规则头相匹配,此时X的真假不能确定... 根据X能否和某一规则的规则头相匹配,将not(X)分为两类并分别进行处理:一类是X不能和任意一条规则的规则头相匹配,此时如果现有事实不能证明X为真,则将not(X)做为一项事实处理;另一类是X能和某一规则的规则头相匹配,此时X的真假不能确定.为了处理这类情况,我们提出了假事实推理法,从而有效地处理了Prolog正向推理机中的否定谓词. 展开更多

关键词 PROLOG语言 正向推理机 否定谓词 not 处理思想

在线阅读 下载PDF 职称材料

融合链接文本的增量联合主题模型

20

作者 马慧芳 王博 《计算机应用研究》 CSCD 北大核心 2012年第4期1289-1293,共5页

在基于链接的概率隐含语义分析的基础上提出一种融合文本链接的增量方法进行主题建模。首先在原有网页集上进行主题建模;然后随着网页的结构和内容动态变化,利用一种合理的更新机制更新模型参数,从而高效快速地处理在线网页流的动态变... 在基于链接的概率隐含语义分析的基础上提出一种融合文本链接的增量方法进行主题建模。首先在原有网页集上进行主题建模;然后随着网页的结构和内容动态变化,利用一种合理的更新机制更新模型参数,从而高效快速地处理在线网页流的动态变化。此外,提出一个自适应非对称学习方法融合文本与链接模态的隐含主题。对于每个网页,它在两种模态上的主题分布通过加权进行融合,而权值由该网页的特征词分布的熵值确定。由于融合之后的概率结构合理地关联了链接模态和文本模态的信息,故能得到很好的建模效果。两种类型的数据集上的实验结果显示该算法可以有效地节省时间,并对网页分类有较大性能的提高,此外还提供了由本文模型生成的主题显示结果。 展开更多

关键词 主题模型 增量学习 链接—概率隐含语义分析 自适应非对称学习 自适应增量链接—概率隐含语义分析

在线阅读 下载PDF 职称材料