搜索筛选:
搜索耗时1.2320秒,为你在为你在102,285,761篇论文里面共找到 57 篇相符的论文内容
发布年度:
[会议论文] 作者：何锫,何锫,
来源：第七届全国多媒体技术学术会议 年份：1998
音乐形式研究是多媒体技术的重要内容。本文简要介绍了基本乐理、逻辑作曲及代数基本概念，并在分析典型音乐逻辑系统的基础上给出了音乐的代数表示方法。文章结论表明：音乐可用域，特别是Ga1ois域加以刻划。这一结果对于计算机音乐的数据压缩研究亦有参考价值。......
[期刊论文] 作者：何锫,
来源：软件学报 年份：1991
INCAPS(INteractiv Computer-Aided Proving System)是一个面向时序逻辑的交互式计算机辅助证明系统。本文简要介绍了其证明策略(tactics,tacticals)的类别、结构,并在引入证...
[期刊论文] 作者：何锫,
来源：自然杂志 年份：2002
音乐中的科学问题正日益受到广泛重视.它不仅是当今迅猛发展的多媒体研究领域的重要组成部分,而且反过来已成为"计算机科学形成过程中最重要的推动力之一"[1].本文揭示了音乐...
[会议论文] 作者：何锫,
来源：第七届全国多媒体技术学术会议 年份：1998
音乐形式研究是多媒体技术的重要内容。本文简要介绍了基本乐理、逻辑作曲及代数基本概念，并在分析典型音乐逻辑系统的基础上给出了音乐的代数表示方法。文章结论表明：音乐可用......
[会议论文] 作者：何锫,
来源：第八届全国多媒体技术学术会议 年份：1999
该文为献〔１，２〕的姐妹篇。它在分析音乐逻辑系统的基础上，即介绍了音乐代数表示方法的基本结论，又以具体事例如表示原理、高斯消去方法等揭示了代数学理论在音乐数据压缩研究中的......
[学位论文] 作者：何锫,
来源：长春工程学院 年份：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系统给出了一个解决办法——把所有规则或推理分为两类:垂直型和水平型,但这种二维模式又为推理...
相关搜索：
