保持语义约束的XML文档规范化

 从XML键导出了既保持语义约束又符合DTD结构约束的XML函数依赖,并基于DTD的规范化技术及XML的查询转换技术提出了保持语义的XML文档规范化方法,并对其应用实例作了详细的分析.     

超宽表格的通用打印设计

在分析了一般表格打印的基础上，针对超宽表格打印中常用方法的不足，结合通用打印程序设计的思路，提出了压缩表格打印宽度的新方法：字段合并法，解决了超宽表格的通用打印问题。     

形体构思与形数分析

本文系统地分析了形体构思的基本方法，对常见单线框图形的形体构思作了全面的分析，讨论了其所能构思的形体个数。并对多线框图形的形体构思与形数分析作了探讨。     

外微分和场的外微分形式

本文在三维线性空间R~3中,以外积为工具,定义出外微分运算,以此将经典微积分中的Newton-Leibnitz公式,Green公式,Stokes公式和Ostrogradski-Gauss公式统一为Stokes定理,并给出各种场的外微分形式;和电磁场中的Maxwell方程组的外微分形式。     

般若“色空”观视阈下的谢灵运山水诗

晋宋时期大乘佛教般若学与文学相互渗透，在般若“色空”观的视阈下，依据“色空不二”的本体论和“以色观空”的方法论，谢灵运开南朝山水诗之先河，将自然山水作为审美主体，通过多重感官去“即色体物”，以虚静的心态观照山水，完整记录“即色”的动态过程，塑造清丽空灵的诗歌风格，并从中体悟到“真空妙有”的佛法，以求使自己因仕途不得志所产生的失意无奈得以排解、精神得以愉悦，最终达到极乐致空的境界。     

电磁场波动方程的四维协变形式

给出了电磁场波动方程的四维协变形式。     

若尔当标准形问题新探

给出了“每一个n级复数矩阵A都与一个若尔当矩阵相似,且这个若尔当形矩阵除去其中若尔当块的排列次序外是被矩阵A唯一决定的.”这个定理的一个新证法.     

网络化虚拟仪器的研究

网络化虚拟仪器是虚拟技术和网络技术的结合。本文从网络化虚拟仪器的网络体结构、组建形式和通信技术三方面出发进行研究。首先介绍OSI模型或TCP/IP两种体系结构;其次分析远程测试系统、测量数据发布系统和企业级测试系统三种测试解决方案;最后通过DataSocket技术实现网络通信。     

非主修作曲专业“曲式与作品分析”课程教学特点研究

以高校非主修作曲专业＂曲式与作品分析＂课程为研究对象,对课程的性质、任务以及教学方式进行探讨,并结合教学经验对如何改进课程的教学提出一些看法。     

建筑空调形式划分与城市建筑节能

文章以热源方式、输配方式、冷热源与未端设备布置的集散度、自控方式、网络化、信息化等方面对城市建筑空调形式进行了详细划分,并得出可持续建筑空调形式的应用方向的简要分析结论。论述应用可再生能源及建筑围护结构的建筑本身型建筑空调形式是可持续建筑空调形式的理想目标。当前可持续建筑空调形式的工程应用应在技术结合型的基础上,增强被动式形式应用,并选择可持续效应较好的主动式形式。