论音乐记谱法的演进与发展

据历史文献记载,中国最早的谱式是记载在汉代成书的《礼记·投壶》篇中的鼓谱;最具中国传统音乐特点的记谱方式,是集记录音响过程和演奏技法为一体的古琴专用的文字谱和减字谱。在欧洲地区,随着圣咏的传播而发展创立了一套五线谱记谱体系,从而成为当今记录音乐的通用谱式。从音乐记谱法发展史来看,不管是中国还是西方,都经历了较为复杂的发展过程。20世纪音乐数字化的实现,使记谱法呈现出多样化发展的方向,并将在现代科学技术的推动下取得全面而创新的发展。     

Gauss’ quadratic reciprocity theorem and mathematical fruitfulness

This paper presents an account of the fruitfulness of new mathematical calculi in terms of their relationship to existing mathematical methods which is suggested by Carl Friedrich Gauss. This is done by considering some remarks that Gauss made explaining the fruitfulness of new calculi. These can be clarified in the context of his own (very fruitful) theory of congruences, which is considered as a case study for this alternative account. Such an account has the benefit of not being dependent on a particular metaphysical view in the philosophy of mathematics.     

基于BPSO的多故障最小候选集生成技术

多故障最小候选集生成是制定多故障诊断策略的首要步骤。利用二进制粒子群优化算法（binary particle swarm optimization, BPSO）生成多故障模糊组的最小候选集。首先,利用紧集表示法描述某或节点上的多故障模糊组,其最小候选集即多故障模糊组的最小碰集|然后,利用BPSO算法求解多故障模糊组的最小碰集,通过构造个体适应度和群体适应度双函数,解决BPSO算法求解最碰集的适应性问题,并保证了算法尽可能搜索冲突集的全部碰集|最后,通过某系统实例对算法的有效性进行了验证。事实表明,该方法能有效应用于多故障最小候选集问题的求解。     

压缩位移算符的狄拉克符号表示及其应用

给出了实参数压缩平移变换算符的狄拉克符号表示,应用正规乘积内的积分技术（IWOP）得到了算符的正规乘积表示,并给出了两个应用示例。     

音乐简谱的识别与演奏系统

本文首次把面积法、矩法方法用于音乐简谱的识别,在深入研究了模式识别理论的基础上,根据简谱的特点,找出了一组适合于简谱识别的特征量;提出用分块的方法分别计算各块的面积和中心矩,从而提高简谱的识别率。从样本特征库的建立到简谱的识别过程都通过软件自动实现。采用了一种矩的快速算法,使识别速度有了很大的提高。通过对一首简谱〈渴望〉主题歌进行模拟实验,在实验样来质量较差的情况下,面积法识别率达到95.1％,矩法识别率达到97.2％。     

RNA二级结构点括号图与CT文件表示法的相互转换算法研究

由于RNA二级结构表示方法对其功能和相似性的研究具有关键性作用,通过对现有RNA二级结构的各种表示方法进行讨论,重点介绍了点括号图表示法和二级结构平面图文本（CT文件）表示法,给出二者之间的相互转换算法,并通过实例验证了该转换算法准确、有效,可为研究RNA二级结构的相似性提供有效的数据支持.     

基于同步核的BPMN模型融合

流程融合有利于优化企业内部流程、促进企业间的有效合作.然而,现有流程融合技术在流程行为不变性保持以及融合过程自动化方面存在不足,而且未见BPMN模型的融合方法.为解决上述问题,本文提出了一种基于同步核的任务依赖关系建模机制,给出了流程的BPMN模型与同步核模型之间的相互转换方法,实现了相应的原型系统,最终基于同步核的融合实现了BPMN模型的融合.     

基于IACS URS25散货船局部强度校核

为提高散装货船的安全性,基于国际船级社协会(IACS)统一要求S25提出的每一货舱及相邻两货舱载货量限额与吃水的函数关系校核散货船局部强度的要求,根据IACS URS25提供的对于局部强度校核的设计装载工况,分别建立散货船航行状态及其在港内装/卸货状态下货舱载重量限额与吃水的函数,并结合实船绘制了货舱载货量限额与吃水的函数关系曲线,验证了所建立的函数关系的正确性.通过实船计算,分析了IACS URS25生效对散货船强度控制的影响,提出了航海员需要注意的问题,旨在提醒并指导航海人员遵照国际规则IACS URS25加强散货船强度控制,减小营运中存在的风险.     

计算机辅助气动系统逻辑设计的研究

对计算机辅助气动系统逻辑设计进行了深入研究，选择逻辑综合的方法作为计算机辅助气动系统逻辑设计的基础理论基本方法，采用立方符号表述逻辑函数，把逻辑运算表示为立方的相交、相容及锐积运算，提出用判断最小项来完成对给定程序的判和校正，进而实现了计算机辅助逻辑综合，得到了的逻辑设计结果。     

中国古典园林水声景的空间营造手法探析

【目的】从声景角度为中国古典园林水景的研究提供新的视角,借助探讨水声景的空间营造手法,为园林声景理论与实践提供可借鉴的建议,为营造出更有特色的水声景点奠定良好基础。【方法】结合中国古典园林中的水声景实例探究水声景点的空间营造手法,以满足古典园林声景的3个基本要素为标准,筛选出34个水声景点,分析蕴含声景要素的空间营造要点。【结果】水声景点常借助地形高差、山石堆叠或者天然山泉产生声音,分为流水、跌水、泉水3种类型。声源分布类型包括点状、线状和面状分布。空间环境上,常采用植物、山石、墙体、水体等要素对水声景点进行不同程度的围合,包括整个声景点被围合、声源处被围合、接收点被围合等方式。接收点上,亭是被采用最多的建筑形式。【结论】中国古典园林水声景的营造手法主要以流水为乐声,借山石地势以围合空间,设亭以欣赏水声。