基于分层思想的变量类型提取方法

提出了一种基于分层思想的，并且无需构造具体语法树的变量类型提取方法。目的是为高级语言的类型信息的提取提供一般方法，从而降低类型系统实现的难度以及产生程序错误的可能性，并且简化高级语言的中间表示，便于后端的代码生成和优化。     

基于分层思想的变量类型提取方法

提出了一种基于分层思想的，并且无需构造具体语法树的变量类型提取方法。目的是为高级语言的类型信息的提取提供一般方法，从而降低类型系统实现的难度以及产生程序错误的可能性，并且简化高级语言的中间表示，便于后端的代码生成和优化。     

论蕨类植物生态类型的划分问题

 依据生态因子对蕨类植物的生态类型进行了划分.蕨类植物的生态类型可划分为5大类：光照生态类型、温度生态类型、水分生态类型、土壤生态类型和生境生态类型.光照生态类型包括阳性蕨类植物、阴性蕨类植物和耐荫蕨类植物3类.温度生态类型包括热带蕨类植物、亚热带蕨类植物、暖温带蕨类植物、温带蕨类植物和寒温带蕨类植物5类.水分生态类型包括旱生蕨类植物、中生蕨类植物、湿生蕨类植物和水生蕨类植物4类.土壤生态类型包括酸性土蕨类植物和钙质土蕨类植物2类.生境生态类型分为土生蕨类植物和附生蕨类植物两大类,附生蕨类植物又分为树上附生和石上附生2类.最终得出结论：蕨类植物生态类型的多样性与生态适应的多样性密切相关,蕨类植物的生态类型能指示生态环境的质量,也能反映植物区系间的地理亲缘关系.文中附有生态类型图片.     

关系数据库类型系统的扩充

讨论了关系数据库在类型和函数两个方面的扩充问题．对于类型扩充，讨论了特殊类型、抽象数据类型以及语言类型三个方向的扩充；对于函数扩充，讨论了源函数、ＳＱＬ函数和外部函数三个方面的扩充．研究了关系数据库在函数扩充方面出现的动态联编问题     

谈谈高级程序设计语言中的数据类型

一、数据类型概念我们在编写每一个计算机程序时，都会遇到具有不同性质的各种对象，为了使程序能准确无误地求解所要解决的问题，必须用给定程序设计语言的设施真正地描述实际对象及其性质。而且，我们不仅要在程序中适当地描述出实体，还必须保证对这些对象所施行的操作是有效的。于是，我们可以看出两个重要的程序设计问题：（a）如何准确而简明地描述对象及性质？（）如何保证对对象所施加的运算不与该对象固有性质矛盾？这两个问题的提出与解决导致了类型概念的产生与完善。所谓类型，一般是通过两个集合来刻画，一个是值集，它是该类…     

莱州湾沿岸的地貌类型

通过野外实地考察，室内卫片、地形图分析，并参照前人研究成果，对莱州湾沿岸地貌类型作了系统分类。这对于进一步研究海水入侵途径及海水入侵与地貌的关系有着极为重要的意义。     

类型系统λωX≤

为研究高阶子类型的范畴论语义模型,区分了带高阶子类型的类型系统中的各种上下文,并简化其中的受限全称量词类型引入规则,而提出了类型系统λωX≤,文章介绍该类型系统有关类别（Kind)算子（Operator),项（Term）的规则,及其与建立范畴论语义模型有关的结构性质。     

立地条件类型划分及造林类型设计

通过专业调查及定性与定量分析,选出立地条件类型组划分的主要因子(海拔),立地条件类型划分的主要因子(土层厚度)。全县共划分二个立地条件类型组,八个立地条件类型和十三个造林类型。     

C#语言中参数传递分析研究

C#中的数据类型有值类型和引用类型，参数传递有值传递和引用传递，在程序设计实践中，数据类型和传递方式组合出了通过值传递值类型、通过值传递引用类型、通过引用传递值类型和通过引用传递引用类型四种情况。本文分别对这四种情况作了实例分析，比较了参数传递格式、不同传递方式对调用方和被调用方的影响，对于掌握运用C#语言有积极意义。     

类型单元与制图综合概念模型

本文提出制图综合的逻辑起点和基本归宿.主张用类型单元构筑区域及其制图综合概念模型;并对地图生产进行了某些审度.     

C#中避免不必要装箱与拆箱的方法

装箱／拆箱操作是c#中较重要的操作,如果使用不当,开发出来的系统性能将受到较大影响．在具体分析了装箱／拆箱的原理后,通过对实际代码进行性能分析和MSIL反编译程序查看．exe程序的内部机理．提出了通过重载函数、接口方式和泛型来避免不必要的装箱／拆箱;对正在使用c#进行系统开发的人员将有一定的参考价值．     

历山自然保护区苔藓植物的初步研究

对山西省历山自然保护区苔藓植物的分类和分布区系进行了研究，鉴定出历山苔藓植物共19科、31属、38种，以土生类型为主，树生类型次之，石生类型最少，共包括7种区系成分，其中最为丰富的是欧、亚、北美共有成分，有12种，占总种数的32.4%；东亚特有成分次之，有19种，占总种数的24.4%；中国特有成分，有6种，占总种数的16.2%。     

面向对象语言自然类型检查方法

针对面向对象技术中由于多态等机制导致的类型不安全问题,提出一种解决方案－自然类型检查。该方法对面向对象程序设计中的变量进行类型安全检查,发现由多态、强制类型转换等机制引入的不安全因素,保证程序的正确执行。以Java为描述语言,详细介绍了该方法,并与传统的类型检查进行了比较。     

归纳证明在类型理论中的应用研究

通过类型理论使得程序语言在静态可以检查是否出错,这给程序语言带来许多优势。类型理论中的重要性质包括:弱化规则、删除规则、强化规则等。首先给出了结构归纳法、良基归纳法、规则归纳法和余归纳法的形式化定义。在给出PA4WS进程代数的语法、语义的基础上给出了其类型定义。在此基础上给出了归纳法在PA4WS类型理论性质证明的应用。     

唐宋公主对比研究

该文以唐代和宋代的公主为研究对象，从性格类型、婚姻类型和政治影响三个方面对其进行了对比研究，从共时和历时的角度对造成其差异的原因进行了分析。该文对于唐宋公主的研究有一定的价值。     

特征分类的子类型关系

采用什么方法对客观事物进行分类？传统数据类型分类方法习惯于用行为规范作为分类的依据,我们认为事物应依据其结构,行为,性质,职能等诸方面的特征来进行分类,并在此基础上建立了对象类型之间的子类型关系。     

大型综采矿井水文地质类型划分探析

以松藻矿区石壕煤矿矿井水文地质类型划分为例,研究了该矿矿井水文地质条件以及矿井水文地质类型划分,对矿井水文地质类型划分结论进行了对比分析,基于现有的成果资料,提出了对《煤矿防治水规定》及释义进行修订的相关建议.     

特征分类的子类型关系

采用什么方法对客观事物进行分类 ?传统数据类型分类方法习惯于用行为规范作为分类的依据 .我们认为事物应依据其结构、行为、性质、职能等诸方面的特征来进行分类 ,并在此基础上建立了对象类型之间的子类型关系 .     

放大电路中反馈类型的简捷判定

针对放大电路反馈类型的判断难点,从电路结构入手,找到判断的方法、技巧,使学生能够尽快掌握,为进一步分析反馈电路打下基础。