The paper considers the set-theoretical approach to the joint decomposition of systems of Boolean functions of variables specified
in different representation forms. The approach is based on the method of q-partitions of conjuncterms and concept of decomposition
clones. Theorems on joint decomposition of a system of full and partial functions are formulated. The approach is illustrated
by examples.
Parts I and II of this article are published in No. 5 (2001) and No. 1 (2002).
__________
Translated from Kibernetika i Sistemnyi Analiz, No. 2, pp. 39–58, March–April 2007. 相似文献
Istanbul is one of the most famous historical cities in the world. However, the project alignment selected as the best of a range of alignments cannot avoid passing beneath the historical and cultural heritages of Istanbul as well as under ancient and densely inhabited areas of the city. This paper will explain some of the challenges related to the bored tunnels.
Historical buildings are vulnerable. Yet many existing residential and office buildings are old and constructed on minimal foundations. As a consequence, it is vital that any drawdown of groundwater and any ground settlements have to be minimized.
In addition, the connection between the immersed and bored tunnels will be made directly and totally underground, without the usual intermediate shafts and beneath the deep waters of the Bosphorus Strait. This operation needs the utmost control of the tunnel excavation face to ensure its stability and to minimize water ingress. Based on such considerations, tunnel excavation by tunnel boring machine (TBM) using a slurry shield and having the ability to operate under high pore pressures was recommended as the method of excavation for the main running tunnels.
The paper will explain how the design team from Avrasyaconsult – the Employer’s Representative – arrived at the final minimum, specific and functional requirements of the bored tunneling works which are to be carried out using the ‘FIDIC EPC/Turnkey Project’ conditions. 相似文献