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

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

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

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

略论1958年大跃进运动的国际背景

苏共二十大、波匈事件以及整个冷战国际背景,对中国的1958年大跃进运动起到了促动作用,使中国认识到:面对西方资本主义国家的快速发展,中国要以苏为鉴,以匈为鉴,走一条超常规、高速度的发展道路———大跃进。     

算术运算式波兰式、逆波兰式的转换

算术运算式可以表示成中序式、波兰式和逆波兰式，而在编译过程中一般采用波兰式或逆波兰式。就算术运算式转换成波兰式和逆波兰式的问题，给出了利用栈来实现的C语言算法。     

有机化学结构信息的计算机高效表达：化合物骨架的处理与编码

描述了一种能简便而准确地表达有机结构信息的线民生标记处理方法，在高效处理官能团的表达与识别的基础上，进一步研究了化合物骨架的编码与表达，并给出数十种基本骨架的编码。该编码系统具有便于输出输入操作、环境紧凑明Ｌｉａｏ、存贮空间节省，代码直观易辨且完全只取决于结构信息的拓扑性质。     

关于极大可测选择定理

利用Zorn引理，在Polish空间中，给出了一个关于随机算子的极大可测选择存在定理。     

What is a Definition?

According to the standard view of definition, all defined terms are mere stipulations, based on a small set of primitive terms. After a brief review of the Hilbert-Frege debate, this paper goes on to challenge the standard view in a number of ways. Examples from graph theory, for example, suggest that some key definitions stem from the way graphs are presented diagramatically and do not fit the standard view. Lakatos's account is also discussed, since he provides further examples that suggest many definitions are much more than mere convenient abbreviations. This revised version was published online in July 2006 with corrections to the Cover Date.     

基于同步核的BPMN模型融合

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

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

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

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

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