高层建筑物放样测量探讨

建筑物放样测量就是将图纸上已经设计好的建筑物的平面和高层的位置在施工现场标定出来的工作。本文就高层建筑物的施工测量特点、轴线的投测的方法及高层传递的方法进行叙述，以期能与同行共同交流。     

交通立法决策信息系统建设研究与实践

"十五"以来,交通立法取得了重大进展,公路水路交通法规体系框架初步形成。截至2011年5月31日,现行有效法律共计4件,交通行政法规29件,交通运输部规章225件,公路、水路交通管理主要领域基本做到了有法可依。随着社会经济的持续快速发展,交通基础设施建设正在向高等级、大投资、规模化方向发展,特别是在我国加入世界贸易组织之后,交通国际条约的本土化必须通过国内的立法实     

浅谈中小企业人力资源管理的现状、问题及对策——以山东某汽车配件仃限公司为例

人力资源是企业的核心资源,人力资源管理问题是困扰很多企业发展的大问题。目前中小企业人力资源管理中的问题很大程度上制约了其自身的发展。本文通过山东某汽车配件有限公司人力资源管理状况的调查,分析了中小企业人力资源管理的现状和问题,并提出了相应的解决对策。     

关于PI证明的若干注记

PI证明是归结证明的一种重要类型,但是在目前所见到的文献中,对PI推理的定义还有一些不妥之处,没有确保PI推理中的每一步归结都是PI归结.文中给出了新的PI推理的定义,弥补了这一缺陷,并对PI归结的完备性定理证明所需的引理给出了两种简化证明.     

用椭圆偏振光谱法研究Ga_xIn_(1-x)P的光学性质(Ⅰ)

用变入射角椭圆偏振技术测量了用金属有机气相沉积（ＭＯＣＶＤ）方法在ＧａＡｓ衬底上生长的ＧａｘＩｎ１－ｘＰ以及掺Ｓｉ和掺Ｚｎ样品在可见光区室温下的光学常数．对其结果进行了讨论,给出了带隙Ｅｇ和跃迁Ｅｇ＋Δ０的能量值,Δ０的实验值与计算值符合的很好．     

剩余格的TL-滤子与TL-同余关系

将有界格上的t-模T应用于剩余格的滤子和同余上,提出了剩余格的TL-滤子与TL-同余关系。首先,研究TL-滤子与TL-同余的性质与一些等价刻画。得到了TL-滤子的集合与TL-同余关系的集合是同构的。最后研究了剩余格的商结构与同态定理,这些理论在其他逻辑代数系统中依然成立。     

有限解释下一阶谓词公式的相对真度

本文在二值谓词逻辑系统中引入一类特殊解释,即论域有限的解释,给出了一阶谓词公式A的相对于某一个特定解释下的相对真度定义,并证明了与命题逻辑系统的真度理论相对应的某些结论,如MP规则与HS规则.本文为建立一阶谓词公式的绝对真度,进而建立谓词逻辑系统中的近似推理理论提供了理论基础.     

“教学做”三合一教学模式在ASP.NET程序设计教学中的应用

随着网络技术的广泛应用,当前各个院校的计算机专业基本都开设了《ASP.NET程序设计》课程,为了更好地提高本课程的教学效果,本文从教学内容、教学实施、教学辅导等方面讲述了如何更好地采用教学做三合一教学模式进行教学改革。     

一类二值谓词逻辑中公式的准真度理论

在二值谓词逻辑中引入了一阶语言的一类特殊解释，该类解释中的解释域取为非空有限集．在此基础上基于有限均匀分布概率测度空间的可数无穷乘积引入了逻辑公式的相对真度与准真度概念，证明了关于准真度而言MP规则与HS规则成立，并基于准真度对全体谓词公式之集进行了分类．准真度理论虽然并不与逻辑有效公式以及矛盾式概念完全吻合，但可证明存在一类公式，对该类公式而言，逻辑有效性等价于准真度为1，矛盾性等价于准真度为0．所以准真度为1或0分别是逻辑有效公式或矛盾式概念的一种推广．