Foundation of a Framework to Support Compliance Checking in Construction Industry
Computer use is pervasive in our daily life and the increasing demand for computer applications has penetrated into various domains. Construction industry has become one of domains which are more reliable on the application of computer to implement regulatory compliance checking. Like many safety critical domains, the construction domain has its own set of international building codes on construction projects which must comply with. With the increasing complexity of construction projects, many manual compliance checking techniques have shown some serious issues. First, the manual techniques are error-prone due to human errors. Second, the complexity of a construction project exceeds the human limit to deal with. Third, the evolution of a construction project is inevitable and the human maintenance of a construction project is almost impossible because either the memory of the original project design has faked away or some development team members are gone. So, it has become a new trend to employ computers to support automatic regulatory compliance checking in construction industry. In this paper, we propose a novel framework to support compliance checking with the emphasis on the foundation of automatic regulatory compliance checking to certify whether a construction project complies with some international building codes. An example is illustrated how compliance checking is performed in the framework.
Formal Specification of Memory Coherence Protocol
Memory coherence is the most fundamental re-quirement in a shared virtual memory system where there are concurrent as well as loosely coupled processes. These processes can demand a page for reading or writing. The memory is called coherent if the last update in a page remains constant for each process until the owner of that page does not change it. The ownership is transferred to a process interested to update that page. In [Kai LI, and Paul Hudak. Memory Coherence in Shared Virtual Memory Systems, 1986. Proc. of Fifth Annual ACM Symposium on Principles of Distributed Computing.], algorithms ensuring memory coherence are given. We formally specify these protocols and report the improvements through formal analysis. The protocols are specified in UPPAAL, i.e., a tool for modeling, validation and verification of real-time systems.
Research on Control and Planning of Soft-Wing UAV for Haze Removal
The existence of fog and haze has caused great pollution to the environment. The research of removing haze is a hot topic in recent years. In this paper, a special haze removal algorithm based on Soft- Wing UAVis proposed. In this algorithm, two track control strategies are designed based on the Soft-Wing UAV model transfer function. A SIMULINK platform based mathematical model of Soft-Wing UAV is built to testified effectiveness of the two track control strategies. An autonomous ergodic-planning algorithm with greedy strategy and foldback algorithm for Soft-Wing UAV is designed. Within the algorithm, the haze regional has been modelled, the cost matrix is constructed, and the planning and ergodic strategy is proposed. Finally, the experimental results validates the reliability of the algorithm in the application of haze removal with the proposed evaluation Index.