搜索筛选:
搜索耗时1.2320秒,为你在为你在102,285,761篇论文里面共找到 57 篇相符的论文内容
发布年度:
[会议论文] 作者:何锫,何锫,
来源:第七届全国多媒体技术学术会议 年份:1998
音乐形式研究是多媒体技术的重要内容。本文简要介绍了基本乐理、逻辑作曲及代数基本概念,并在分析典型音乐逻辑系统的基础上给出了音乐的代数表示方法。文章结论表明:音乐可用域,特别是Ga1ois域加以刻划。这一结果对于计算机音乐的数据压缩研究亦有参考价值。......
[期刊论文] 作者:何锫,
来源:软件学报 年份:1991
INCAPS(INteractiv Computer-Aided Proving System)是一个面向时序逻辑的交互式计算机辅助证明系统。本文简要介绍了其证明策略(tactics,tacticals)的类别、结构,并在引入证...
[期刊论文] 作者:何锫,
来源:自然杂志 年份:2002
音乐中的科学问题正日益受到广泛重视.它不仅是当今迅猛发展的多媒体研究领域的重要组成部分,而且反过来已成为"计算机科学形成过程中最重要的推动力之一"[1].本文揭示了音乐...
[会议论文] 作者:何锫,
来源:第七届全国多媒体技术学术会议 年份:1998
音乐形式研究是多媒体技术的重要内容。本文简要介绍了基本乐理、逻辑作曲及代数基本概念,并在分析典型音乐逻辑系统的基础上给出了音乐的代数表示方法。文章结论表明:音乐可用......
[会议论文] 作者:何锫,
来源:第八届全国多媒体技术学术会议 年份:1999
该文为献〔1,2〕的姐妹篇。它在分析音乐逻辑系统的基础上,即介绍了音乐代数表示方法的基本结论,又以具体事例如表示原理、高斯消去方法等揭示了代数学理论在音乐数据压缩研究中的......
[学位论文] 作者:何锫,
来源:长春工程学院 年份:2021
...
[期刊论文] 作者:王晓, 何锫,,
来源:计算机工程与应用 年份:2012
基因表达式编程(Gene Expression Programming)是进化算法的最新成果。它继承了遗传算法(GA)编码简单与遗传程序设计(GP)有巨大空间搜索能力的优点。提出一种新的GEP解码方法:GEP的......
[期刊论文] 作者:王哲,何锫,,
来源:计算机工程与设计 年份:2009
旅行商问题的可能解与城市规模n是成指数型增长的,因此规模越大解决越困难。通过设计能够对搜索空间进行压缩的遗传算法,依靠搜索过程中已得到的近优解的信息,可以降低随机搜索......
[期刊论文] 作者:邓宁宁, 何锫,,
来源:计算机工程与设计 年份:2019
为解决当前图像边缘提取时存在边缘不连续、虚假边缘及边缘定位不准确等不足,设计最小二乘估计耦合小波相似性的不均匀光照边缘检测算法。通过将图像分割成一系列的子块,计算...
[期刊论文] 作者:马恋,何锫,,
来源:计算机技术与发展 年份:2007
数据压缩=建立模型+编码,是传统数据压缩的最基本思想。传统的设计思路主要基于减少信息中的冗余着力于编码设计,其压缩比一直在百分之几十左右徘徊,经过传统编码压缩的信息,很难......
[期刊论文] 作者:黄智,何锫,
来源:计算机工程与应用 年份:2016
基因表达式程序设计(GEP)的染色体由具有特殊限制的头、尾组成,并要求尾部符号严格取自基本的终端集。这一做法作用明了、易于表述,基本为现有GEP所采纳,但不利于语义计算的重...
[期刊论文] 作者:王超,何锫,,
来源:计算机应用研究 年份:2013
适应度评价大体可以分成解码和计算适应度值两个部分,是进化计算中运算量最大、重复率最高的过程之一。为了有效利用已有计算结果的角度避免大量重复建树和遍历运算,改进了GEP解码算法基本流程以降低GEP的运算量,达到了提升运算效率的目的。采用仿真的方式对引......
[期刊论文] 作者:肖卓宇,何锫,,
来源:计算机应用 年份:2007
在传统的ERP中,销售管理的预测分析是一个难题。通过采用遗传算法采样得到输入值,通过BP神经网络进行复杂的非线性预测,以使ERP系统智能化,自动化水平更高,通过神经网络自适...
[期刊论文] 作者:张春丽,何锫,
来源:计算机工程与设计 年份:2008
针对度约束最小生成树问题,借鉴人体免疫系统的适应能力和蚁群算法的全局寻优能力,提出了一种基于免疫—蚁群算法的求解方法。该算法采用Prüfer数对树进行编码及度的改...
[期刊论文] 作者:何锫,康立山,
来源:计算机工程与应用 年份:2008
如何生成程序断言对于软件验证十分重要。传统方法要求既要对程序结构有深入地把握又要做繁复的Hoare三元式推演工作。为了摆脱这些琐碎事宜,将致力于探讨一种半自动的断言生...
[期刊论文] 作者:肖增良,何锫,
来源:电脑知识与技术 年份:2009
针对大型应用软件中嵌入脚本语言问题,提出了一种快捷而通用的语法分析器设计与实现方法。建立了脚本语言文法的描述规范;设计并实现了语法分析的算法。实例表明,该算法实现...
[期刊论文] 作者:姚亮忠,何锫,
来源:微计算机信息 年份:2010
有限自动机是研究自动系统的一种数学模型,用它来描述的计算机网络中数据链路层的PPP协议,可以使状态的变化更加严谨。而使用有限自动机的状态图,能直观理解PPP协议的状态变...
[期刊论文] 作者:肖卓宇,何锫,
来源:计算机工程与设计 年份:2007
为了提高软件系统的可维护性和可复用性,模式特别是设计模式逐渐引起了人们的重视。通过介绍设计模式在SAP系统与运输资源综合平台集成的重要性,并以桥模式与适配器模式为例,...
[期刊论文] 作者:杨柳,何锫,潘小海,,
来源:计算机应用 年份:2009
基因表达式编程(GEP)算法在评价个体适应度时需要将染色体转换为表达式树,并且在求解复杂问题过程中,由于多样性不足仍出现早熟收敛。针对以上问题,提出一种基于堆栈解码的元胞基因表达式编程算法(SD-CGEP)。利用堆栈直接对染色体进行解码和适应度评价,可以提高......
[期刊论文] 作者:何锫,唐稚松,
来源:软件学报 年份:1993
由于时序逻辑的特性所在,经典逻辑的某些规则不能直接用于时序自然推理,虽然N系统给出了一个解决办法——把所有规则或推理分为两类:垂直型和水平型,但这种二维模式又为推理...
相关搜索: