用范畴观点划分几何学

本文利用范畴知识来推广克莱因关于几何学的群论原则。其方法是:取由一些等势集合及一一对应组成的范畴来代替由集合到自身的一些一一变换组成的群,考察图形在这些对应下不变的性质与有关的量。     

第二大特征值不超过√5—1／2的连通线图

给出了互二大特征值不超过√5－1／2的所有连通线图，它们包括三大类和十大特殊情形。     

论中国古典诗歌意境理论的演进

意境理论在中国古典美学体系中占有重要地位，它的演进历程众说不一。本认为，中国古典诗歌意境理论的发展经历了以下几个阶段：从先秦到魏晋南北朝是意境理论的孕育时期；唐代是意境理论的诞生和发展时期；意境理论的成熟和定型，主要在宋朝严羽、明末清初王夫之二人身上得以体现；而王国维是意境理论的总结和终结，同时又是现代美学意境理论的开启。     

高维离散非线性Schrdinger方程的离散呼吸子的存在性

讨论有阻尼和周期外力驱动的高维离散非线性Schr dinger方程的离散呼吸子的存在性.我们使用延拓定理证明了当阻尼δ和外力h满足h>δ时,存在频率为ω的离散多重呼吸子,其中ω>h2-δ2.     

证据、证明与诉讼活动的关系

本用辩证唯物主义哲学的观点，解析了证据、证明和诉讼活动三之间的关系。章认为：证据属于客现的物质范畴，证明属于主观的意识范畴，两既有区别又有联系。证据和证明，只有在诉讼活动中才得以结合，实现主客观的统一，也才能实现揭露事实真相、准确结案的目的。     

关于自由幺半群A*的子幺半群是自由的一点注记

给出 A*的子幺半群是自由的一个新的充要条件 :A*的子幺半群 P是自由的当且仅当对某个固定的正整数 k,对任意 k个 w1 ,w2 ,…… ,wk∈ A* 只要存在 p,q∈ P使得 pw1 ,w1 w2 ,w2 w3,…… ,wk- 1 wk,wkq∈ P就有 w1 ,w2 ,…… ,wk ∈ P .     

NI-LAB虚拟组态控制实验室的研制

本文利用虚拟仪器技术,采用了LabVIEW图形编程环境,以数字可编程调节器为原型开发了一套虚拟组态控制实验室,介绍了系统实现的功能、基本组成、软件的设计思想和设计方法以及硬件的选取使用,最后给出具体的演示实例,结果表明,LabVIEW以其强大的硬件驱动、图形显示能力和便捷的快速程序设计为过程控制提供了优秀的解决方案.     

有限温度下极化子中的光学声子平均数

研究了在有限温度下极性晶体中与光学声子相互作用的体极化子的性质.采用么正变换和线性组合算符法导出了有限温度下,极性晶体中强、弱耦合电子周围光学声子的平均数.     

Java字节代码程序的部分计值

为了有效地构造一个Java部分计值器，并且形式化地描述计值规则，提出了Java字节代码程序的静态语义，在此基础上构造了一个online的Java部分计值器，为今后能够建立一个完善而且实用的计值器提供了基础。