以规范树形象 以质量塑品牌 以特色争地位 首次全国民办高校学报工作研讨会在浙江树人大学召开

本刊讯:2007年11月10-11日,由中国高教学会和中国人文社科学报学会举办,浙江树人大学承办的首次"全国民办高校学报工作研讨会"

以规范树形象 以质量塑品牌 以特色争地位——首次全国民办高校学报工作研讨会综述

2007年11月10-11日,首次"全国民办高校学报工作研讨会"在杭州浙江树人大学召开,来自全国30多所民办高校学报的40余名同仁聚集一堂,共同研讨和畅谈民办高校学报的改革与发展战略。

XML规范化索引树构造算法

参照关系数据库中的约束理论,给出应用于XML文档的函数依赖规则和三范式理论,去除XML树中的部分函数依赖和传递函数依赖,避免了更新异常,并根据规范化结果重新组合成XML规范化语义树,通过在XML原树中标记出语义树而产生一棵XML规范化索引树NIT,基于这棵树完成XML文档的访问操作。

消除GCC抽象语法树文本中冗余信息的算法研究

由GCC编译器对C语言源程序进行语法分析产生的抽象语法树文本存在大量的冗余信息,如果直接对其进行解析,则会产生解析效率低、产生的抽象语法树会占用大量的存储空间的问题。针对此问题,在深入研究GCC抽象语法树文本结构和解析过程的基础上,提出了一种高效消除冗余的算法,通过实验证明了算法的正确性和适用性,并提出了GCC抽象语法树解析的数学定义。

规范Huffman编码

本文给出了规范哈夫曼编码的定义，由此可以构造出唯一的哈夫曼编码。

多数据库系统中的全局查询转换方法研究

使用查询树作为查询转换的内部表示,通过使用多数据库规范树对全局查询树进行规范化处理,并给出了相应的转换规则。最后给出了多数据库查询转换算法,并对查询转换的等价性进行了分析。

多维视角下的型号标准化

型号标准化贯穿装备采购、研制、生产与使用维护全寿命周期,是型号论证、工程研制、设计/生产定型、使用保障的重要组成部分。文章结合装备采购与研制模式的变革,剖析了新模式下型号标准化的多维视角;提出了基于采购的匣子模型、基于角色的三线模型和基于承制方的魔方模型;分析了产品规范树的作用,给出了型号专用标准/规范的责任矩阵;同时针对型号技术状态管理需求,结合型号研制阶段,提出了基于型号标准/规范的技术状态基线控制。应用实践表明,型号标准化的多维视角理论体系,明确了型号标准化的体系结构与各方权责,更加有利于发挥标准化在型号研制中的重要作用。

一种建立控制依赖子图的方法

提出一种基于GCC(GNU Compiler Collection)抽象语法树文本建立控制依赖子图的方法,消除抽象语法树文本中与分析控制流无关的信息,将消除冗余后的抽象语法树文本转化为以邻接表为存储结构的抽象语法树的算法,从而高效地完成了抽象语法树的解析。基于以邻接表为存储结构的抽象语法树建立了控制依赖子图。通过实验证明了该方法的正确性和适用性。

基于广义规范Huffman树的高效编解码算法

为了减少编码时消耗的时间和空间,以便适应实时处理,提出了基于广义规范Huffman树的高效数据压缩算法。该算法利用层次和概率表顺序,保证编、解码的唯一性;利用移动排序替代搜索;建立索引表来简化排序操作;融入均衡编码的思想。同时,根据编码思想提出了相应的解码算法。通过实际数据验证,与传统的Huffman算法相比,该算法在时间和空间效率上有了一定提高,且使得码字更为均衡。

FORTRAN到C源级转换的研究

介绍了一种以规范抽象语法树为中间语言且基于转换规则制导的ＦＯＲＴＲＡＮ 到Ｃ的源级转换系统，简称ＦＴＯＣ．

一种基于浓缩Huffman表的Huffman算法的研究与实现

Huffman编码是一种广泛使用的,非常有效的数据压缩技术。为了取得高压缩率,讨论了规范Huffman树的性质,研究了一种基于浓缩Huffman表的Huffman算法并加以实现。新的浓缩Huffman表可以减少Huffman编码表的开销,与传统Huffman表和其他改进的浓缩Huffman表相比,其最大的优点是空间大小显著减少。

系统建立线性时不变动态网络的状态方程

本文对系统建立线性时不变动态网络的状态变量的选择、规范树的确定提出了严格的规定,推出了建立网络状态方程的一套系统公式,使之有利于网络的计算机辅助分析,并通过例题对其适用性进行了论述。