Babbage’s guidelines for the design of mathematical notations

The design of good notation is a cause that was dear to Charles Babbage’s heart throughout his career. He was convinced of the “immense power of signs” (1864, 364), both to rigorously express complex ideas and to facilitate the discovery of new ones. As a young man, he promoted the Leibnizian notation for the calculus in England, and later he developed a Mechanical Notation for designing his computational engines. In addition, he reflected on the principles that underlie the design of good mathematical notations. In this paper, we discuss these reflections, which can be found somewhat scattered in Babbage’s writings, for the first time in a systematic way. Babbage’s desiderata for mathematical notations are presented as ten guidelines pertinent to notational design and its application to both individual symbols and complex expressions. To illustrate the applicability of these guidelines in non-mathematical domains, some aspects of his Mechanical Notation are also discussed.     

一种基于证据的软件可信性度量模型

为更全面系统地度量软件的可信性,根据客户对软件不同的主观需求将软件的可信性建立在各类证据之上,建立了一个基于证据的度量模型。模型根据系统安全保证的成功经验将可信性度量分成三个阶段,并对每个阶段定义相应的软件可信声明。通过可信架构分析,围绕可信声明收集建立证据和论据。综合收集到的信息,使用目标结构化表示法(goal-structuring notation, GSN)生成软件可信案例,由案例中声明是否被充分证明作为标准来度量软件的可信性。     

GDD-P在进位计数制中的应用

以“进位计数制”为测验内容,运用基于多级评分的广义距离法（简记为GDD-P）进行认知诊断,得到被试的属性掌握模式,这不仅验证了可以对多级评分测验进行认知诊断,且提供了一种多级评分认知诊断的应用范例。     

基于事件相关电位绝对时间标记法的汽车造型语义评价方法

借助Muse脑电设备,采用绝对时间标记法,探索事件相关电位（ERP）实验的造型评价方法,从而缩短造型设计评估周期,提高企业内部造型设计决策效率。首先通过句尾歧义经典实验范式,验证Muse脑电设备可用于ERP的N400经典实验范式研究,其次进行多模态语义加工研究的复合刺激范式实验,验证Muse脑电设备测试结果。结果表明,Muse脑电设备在对汽车造型语义与文字语义进行测量时,能够准确采集N400成分并进行比较。N400成分可以在特定刺激下反映用户的真实想法,提高汽车造型决策效率,降低造型设计成本。     

基于XQuery符号表示法的模糊时空数据查询

讨论了模糊时空数据查询的概念,研究了模糊时空数据时态查询、空间查询、属性查询和时空查询的各类查询形式及查询特性,基于XQuery提出了模糊时空数据查询的统一符号表示法,并对典型查询进行了举例说明.此外,还讨论了XQuery模糊时空扩展问题,包括XQuery表达上的扩展、处理上的扩展及体系结构上的扩展.提出的表示法可以表示时空查询语言STQL和移动目标查询语言FTL中规定的各类查询,并可以消除由不同查询表现形式带来的语义混淆,以对各类模糊时空数据查询进行统一表示.     

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

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

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.     

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.     

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

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

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

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