侯运高速公路施工质量控制资料的编制与管理

介绍了侯运高速公路施工质量控制资料的编制和管理的现状 ,阐述了工程施工质量控制资料的特点和依据 ,指出只有提高资料编制人员的自身素质 ,才能搞好资料管理工作     

浅谈建筑工程项目投标施工组织设计编制

工程项目投标施工组织设计是工程投标中的主要工作之一,也是工程项目投标文件的主要组成部分.本文总结投标施工组织设计编制经验,为施工企业在投标过程中提高投标文件质量,提出了自己的一些见解和建议.     

Supporting inconsistent rules in database systems

When a set of rules generates (conflicting) values for a virtual attribute of some tuple, the system must resolve the inconsistency and decide on a unique value that is assigned to that attribute. In most current systems, the conflict is resolved based on criteria that choose one of the rules in the conflicting set and use the value that it generated. There are several applications, however, where inconsistencies of the above form arise, whose semantics demand a different form of resolution. We propose a general framework for the study of the conflict resolution problem, and suggest a variety of resolution criteria, which collectively subsume all previously known solutions. With several new criteria being introduced, the semantics of several applications are captured more accurately than in the past. We discuss how conflict resolution criteria can be specified at the schema or the rule-module level. Finally, we suggest some implementation techniques based on rule indexing, which allow conflicts to be resolved efficiently at compile time, so that at run time only a single rule is processed.An earlier version of this work appeared under the title Conflict Resolution of Rules Assigning Values to Virtual Attributes inProceedings of the 1989 ACM-Sigmod Conference, Portland, OR, June 1989, pp. 205–214.Partially supported by the National Science Foundation under Grant IRI-9157368 (PYI Award) and by grants from DEC, HP, and AT&T.Partially supported by the National Science Foundation under Grant IRI-9057573 (PYI Award), IBM, DEC, and the University of Maryland Institute for Advanced Computer Studies (UMIACS).     

广东省农业用水定额编制概述

将广东省分为6个灌溉用水定额分区,并选定20个典型县,通过对各分区主要粮食作物、蔬菜、果树等灌溉用水定额进行调查,统计分析得出了各分区以水稻、薯类等为主的粮食作物,以叶菜、瓜果、椒类等为主的蔬菜和以香蕉、荔枝、龙眼等为主的果树等的农业灌溉用水定额。     

浅谈地勘地质资料整理的重要性

地勘地质资料整理在现代矿产资源开采、地质工程建设过程中起到了非常重要的作用,直接关系着矿产资源开采质量、效率以及地质工程的安全可靠性,因此,企业应当加强重视。对地勘地质资料整理的重要性进行了分析,并在此基础上,就其整理方法及具体应用提出了一些观点和建议,以期为我国地勘地质行业的发展提供参考。     

BPO商务英语教材编写原则及实施研究

文章运用BPO商务英语教材的需求分析理论、现代语言教学理论,对BPO商务英语教材编写进行探究,并提出具体的实施构想,力图为服务外包类英语教材的建设和BPO商务英语的教学开展提供帮助。     

城市排水防涝规划编制要点探讨--以常州为例

以常州为例,探讨了平原水网城市排水（雨水）防涝综合规划编制要点,提出了从内涝风险评估、规划标准制定、防涝工程体系完善等方面加强规划研究,着重从河网水系梳理、排涝设施建设、市政雨水通道安排、易淹易涝片区整治、低影响开发等方面构建城市防涝工程体系,保障城市排水安全。     

可配置流处理器核心级指令设计及相关编译技术研究

针对目前微处理器面对通用性、高性能、功耗效率的矛盾,我们提出了可配置流处理器的解决方案。本文重点研究了可配置流处理器中核心级指令设计及相关的编译技术,其核心设计思想是根据应用的计算特征设计流处理器中的核心级指令集,从而降低指令集硬件资源的需求。     

一种基于扩展规则的#SAT 求解系统

#SAT 问题是SAT 问题的扩展,需要计算出给定命题公式集合的模型个数.通过将问题求解沿着归结的反方向进行,并利用容斥原理解决由此带来的空间复杂性问题,提出了一种基于扩展规则的模型计数和加权模型计数问题求解框架,可以看作是目前所有模型计数问题求解方法的一种补方法.证明了该方法的完备性和有效性,设计了基于扩展规则的#SAT 求解系统:JLU-ERWMC.实验结果表明,JLU-ERWMC 在有些问题中优于目前最为高效的#SAT 问题求解系统.     

在静态编译器中实现Java异常机制的算法

将Java程序静态编译成可执行程序是使用Java虚拟机动态编译／解释执行Java程序的另一种运行Java程序的方式。针对Java异常机制的特点和静态编译的需求,在介绍Java异常处理逻辑的基础上,提出一种在静态编译器中实现Java异常机制的算法,结合Open64开源编译器,给出该算法的具体步骤以及实现方式,以SPECjvm98为测试集,验证该算法的有效性。