分子H_2X(X=O、S、Se)的全对称群Dirac理论研究

本文应用全对称群的Dirac理论计算了分子H_2X(X=O、S、Se)的结构,并与非相对论的结果比较.对比相对论和非相对论的结果,所得到的分子几何差异不大;而所计算的能量,相对论的比非相对论的要低,并能量随质量增加而降低;相对论值的极化率(A^3)和偶极矩更接近实验值.分子的电性状态为费密子共群的不可约表示E_1,明显地体现不可约表示E1的效应.所以,特别对重元素分子,更要应用相对论方法.

程序设计表现新方法——N-S-Z图技术

本文概述了程序设计的传统图示表现方法与语示表现方法的优点、缺点、弱点;推出了已兼容其优点、摈弃其缺点、改进其弱点的同构化程序设计表现新方法——N-S-Z 图技术;从而,继承、发展并完善了程序设计表现方法.

OWL-S到Z规格说明的转换

OWL-S是重要的Semantic Web Service描述框架,但缺乏有效的形式化验证工具.Z语言是基于集合论和一阶谓词逻辑的形式化规格说明语言,比OWL-S具有更强的表达力.该文研究基于Z的OWL-S形式化方法,提出从OWL-S到Z规格说明的模型转换规则.基于这些规则,用Z定义OWL-S中概念的形式化语义,并开发了从OWL-S描述到Z规格说明的自动转换工具OWLS2Z.

牙位记录法的研究及应用

介绍国际上常用的牙位记录法,较全面地展示这方面的研究历史和应用全貌,帮助人们在阅读口腔医学文献时理解作者的表达。

漫谈当代古琴音乐

本文从古琴打谱、创作与文献研究三个方面论述了当代古琴音乐的发展。

量子力学教材中若干内容的改进和补充

为了使经典教材中的内容更加完善,对目前量子力学教材中存在的几个问题进行了分析,明确了束缚态的概念,补充了关于狄拉克符号的一些内容,对于非简并微扰论,给出了更一般的计算公式.

《说文解字》徐铉注音质疑录

《说文解字》的注音都是后人加上去的,徐铉注音是古代反切注音的代表。分析许慎的释义,综合各种注音材料,再比较字与字之间的关系,我们可以发现徐铉的注音有的与其他注音材料并不相符,其中有的涉及又音的选择,有的涉及意义的确认,有的则与字形辨别有关。本文就其与字形相关的注音问题对徐铉注音提出质疑。

中国的方格谱与韩国的井间谱比较研究

在中韩两国的古乐谱记谱法中,中国的方格谱与韩国的井间谱在利用方格记录音时值方面非常相似。本文从中国现今出现的几种版本的方格谱中,以魏皓于明和五年(1768)编辑刊行的魏氏方格谱与韩国朝鲜时期的井间谱为中心,详细比较了两种记谱法的记谱体系。

吴崐著作版本考

吴崐是新安医学名家之一。1584年，吴崐撰成《医方考》6卷。1594年，撰成《素问吴注}24卷。1618年，撰成《针方六集》6卷，由程标捐资刊刻。吴崐尚撰有《脉语》2卷，成书年代不详。《医方考》有明刊本、日本及朝鲜刊本、旧抄本、现代版本4类版本。《吴注素问》有明清刊本、日本刊本、旧抄本、影印本、现代版本5类版本。《针方六集》有明刊本、抄本、影印本及现代版本4类版本。《脉语》多与《医方考》合刊，除部分现代版本未附《脉语》之外，《脉语》的版本大致同于《医方考》。