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

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

Incremental maintenance of aggregate and outerjoin expressions

Views stored in a data warehouse need to be kept current. As recomputing the views is very expensive, incremental maintenance algorithms are required. Over recent years, several incremental maintenance algorithms have been proposed. None of the proposed algorithms handle the general case of relational expressions involving aggregate and outerjoin operators efficiently.     

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

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

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).     

基于增量式PID算法的帆板控制系统的设计

基于STC12C5A60S2单片机与增量式PID算法,实现对帆板系统的控制。该系统主要由键盘模块、显示模块、风扇驱动模块、角度测量模块、报警模块组成。角度传感器测量帆板的角度并反馈回单片机,通过增量式PID算法计算,并由PWM方法控制风扇的转速,从而实现精确控制风扇风力与帆板角度。     

An Incremental Roll Forming Process for Manufacturing Doubly Curved Sheets from General Quadrilateral Sheet Blanks with Enhanced Process Features

In order to manufacture a doubly curved sheet metal effectively, a flexible incremental roll forming process has been developed by adopting the advantages of the incremental forming process and the roll forming process by combining inherent flexibility of the incremental forming process and continuous deformation of the roll forming process. In the proposed roll forming system, a newly designed gripper system is attached in order to achieve automation and more precision manufacturing of the required sheet intended double curvature. The forming method has been further enhanced to form general quadrilateral blanks (including a square, a rectangle, a symmetrical trapezoid and an asymmetrical trapezoid, etc.) into doubly curved shapes by controlling the forming schedule developed by various experiments.     

Fully distributed robust synchronization of networked Lur’e systems with incremental nonlinearities

This paper deals with robust synchronization problems for uncertain dynamical networks of diffusively interconnected identical Lur’e systems subject to incrementally passive nonlinearities and incrementally sector bounded nonlinearities, respectively, in a fully distributed fashion. Whereas in stabilization of one single Lur’e system the conditions of passivity and sector boundedness for the uncertain nonlinear function in the negative feedback loop are commonly assumed, in our context of networked Lur’e systems we adopt the stronger assumptions of incremental passivity and incremental sector boundedness. Throughout this paper the interconnection topologies among these Lur’e agents are assumed to be undirected and connected. We design robustly synchronizing protocols and subsequently implement these protocols in a fully distributed way by means of an adaptive control law that adjusts the coupling weights between neighboring agents. Both for the cases of incrementally passive as well as incrementally sector bounded nonlinearities we obtain sufficient conditions for the existence of fully distributed robustly synchronizing protocols. The state feedback matrices are computed by solving LMIs in terms of the matrices defining the individual agent dynamics. Numerical simulation examples illustrate our theoretical results.     

Incrementally building frequent closed itemset lattice

A concept lattice is an ordered structure between concepts. It is particularly effective in mining association rules. However, a concept lattice is not efficient for large databases because the lattice size increases with the number of transactions. Finding an efficient strategy for dynamically updating the lattice is an important issue for real-world applications, where new transactions are constantly inserted into databases. To build an efficient storage structure for mining association rules, this study proposes a method for building the initial frequent closed itemset lattice from the original database. The lattice is updated when new transactions are inserted. The number of database rescans over the entire database is reduced in the maintenance process. The proposed algorithm is compared with building a lattice in batch mode to demonstrate the effectiveness of the proposed algorithm.     

Double auction mechanisms on Markovian networks

This paper studies the double auction (DA) mechanism in Ma and Li (2011) for a class of exchange economies. We extend their results to more general cases where sellers and buyers each form a complex time non-homogeneous Markovian chain, as specified in Ram et al. (2009), in the communication of their private information. A numerical example is also provided. Both bubbles and crashes are observed in the example, consistent with results of our theorems. Our example and theoretical results provide new evidence that a DA mechanism, widely utilized in real exchange markets, may contribute to the excess volatility identified in Shiller (1981) and LeRoy and Porter (1981).