类型系统的构造、实现及其在程序设计语言中的应用

类型系统是一种设计和研究程序设计语言的形式化方法和工具，既可在语言设计之初构造，便于严格、准确、正确地设计实现语言；也可在语言实现后构造，为研究语言的语义及其它性质建立模型。详细讨论了类型系统的基本构造和实现，通过基于图重写的函数式语言SClean的类型系统，提出一种实用的类型系统的构造和实现方法。     

新疆富蕴县喀木斯特煤矿详查区地层及构造特征

新疆阿勒泰地区是自治区境内的缺煤地区,而新疆阿勒泰地区富蕴县缺煤尤其严重。近年来随着西部大开发战略的实施,缺煤已成为制约新疆富蕴县经济发展的主要问题,但随着新疆富蕴县喀木斯特煤矿勘查工作取得突破性的成果,制约这一地区经济发展的主要问题将得到彻底改善。     

构造法解题

构造法是根据题设条件或结论所具有的特征、性质，构造出满足条件或结论的数学模型，借助于该数学模型解决数学问题的方法。数学中的构造法一般可分为两类，一类为直接性构造法，一类为间接性构造法。     

《汽车构造》课程与学生科技创新教学实践

《汽车构造》是车辆工程、热能动力工程、交通运输及汽车服务工程专业的一门重要的专业基础课．在加强理论教学的同时．实践教学不容忽视，实践教学将影响整个课程的教学。本文提出以学生科技创新平台为依托．提高该课程的教学效果．加强学生工程实践能力的培养。     

小孩攀爬窗台报警器

为了房屋构造的美观，现在的窗台往往设计得较低且很宽，小孩贪玩爬上去，很容易发生意外。为此，我设计了一种报警器。我先将一组红外线发射、接收装置安装在窗台两边，接着将继电器安装在胶木阻燃盒内，闪光报警器安装往胶木阻燃盒边上，     

湖南长沙-平江断裂带构造演化及其控矿作用

以北东向深大断裂为界,湘东北地区被分割成了一系列由花岗岩、新元古代地层组成的断隆和由白垩系组成的断陷盆地,构成典型的盆岭构造。长沙-平江断裂带(长平断裂带)即为这类北东向深大断裂之一,且在断裂中发育有铜、钴、金等多金属矿床(点)。然而,对于长平断裂带的活动期次及其与多金属成矿作用的关系仍然存在着争议。为了解决这个问题,选取了到湾—风水坳地区作为研究区,通过详细的区域及矿区构造填图,认为长平断裂带经历了三期构造演化:第一期发生左行错动,第二期发生大规模拆离断层性质的活动,第三期发生小规模的右行逆断层性质的活动。其中,第二期构造演化与多金属成矿作用有关。     

新疆金山矿区金矿地质特征浅析

金山矿区位于科古尔琴山南麓,处于克孜勒库拉河-恰特尔塔尔河-琼阿希河之间的一个近南北向延伸展布的河间地块式山岭地带,为剥蚀中低山地形.地处博罗努早古生代岛弧的西段,受控于叶拉苏石炭纪上叠火山盆地的西北边缘,地质构造比较复杂.     

轻质隔墙板的研究

本文主要介绍了我国建筑业中一种新型节能墙材料新型产品——非承重轻质内隔墙板的种类、构造、材质;着重阐述了轻质隔墙板的特点和用途、构造及隔声机理。     

住宅的细部构造设计

通过建筑设计人员的一些住宅设计实践,这对目前在住宅细部构造设计方面经常出现的一些问题,阐述自己的观点,并提出在具体设计中相应的解决方法。