• Journal of applied mathematics & informatics
• /
• v.14 no.1_2
• /
• pp.69-80
• /
• 2004

We present a construction of the linear reduction of Hilbert type proof systems for propositional logic to if-then-else equational logic. This construction is an improvement over the same result found in [4] in the sense that the technique used in the construction can be extended to the linear reduction of first-order logic to if-then-else equational logic.

• Journal of Construction Engineering and Project Management
• /
• v.7 no.3
• /
• pp.39-55
• /
• 2017

Preeminent performance of construction industry are unattainable with poor productivity resulting in time and cost over runs. Enhancement in productivity cannot be achieved without identifying and analyzing factors that adversely affect productivity. The objective therefore is to propose a productivity analysis model to quantify the probability of effect of factors influencing productivity by using fuzzy logic incorporated with relative importance index method, for various types of construction projects. To achieve this objective, a questionnaire survey was carried out targeting respondents of Indian construction industry, from four distinct projects, namely, residential, commercial, infrastructure and industrial projects. Based on questionnaire administered, the relative importance and ranks of factors demonstrated using relative importance index method. Probability assessment model to analyze productivity was then developed by using Fuzzy Logic Toolbox of MATLAB. The applicability of the proposed model was tested in seven construction projects and the probability of impact of factors on productivity evaluated. The results of application of model in the construction firms infers that the most contributing factor groups for most of the projects were discerned to be manpower, motivation and time group.

• Advances in Computational Design
• /
• v.5 no.4
• /
• pp.445-465
• /
• 2020

This paper presents a study conducted with the aim of developing a model of tendering based on a technique of artificial intelligence by managing and controlling the factors of success or failure of construction projects through the evaluation of the process of invitation to tender. Aiming to solve this problem, analysis of the current environment based on SWOT (Strengths, Weaknesses, Opportunities, and Threats) is first carried out. Analysis was evaluated through a case study of the construction projects in Algeria, to bring about the internal and external factors which affect the process of invitation to tender related to the construction projects. This paper aims to develop a mean to identify threats-opportunities and strength-weaknesses related to the environment of various national construction projects, leading to the decision on whether to continue the project or not. Following a SWOT analysis, novel artificial intelligence models in forecasting the project status are proposed. The basic principal consists in interconnecting the different factors to model this phenomenon. An artificial neural network model is first proposed, followed by a model based on fuzzy logic. A third model resulting from the combination of the two previous ones is developed as a hybrid model. A simulation study is carried out to assess performance of the three models showing that the hybrid model is better suited in forecasting the construction project status than RNN (recurrent neural network) and FL (fuzzy logic) models.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.12 no.6
• /
• pp.580-598
• /
• 1987

This paper presents a method to realize the sequential multiple-valued Logic on Galois field. First, We develop so that Taylor series can be corresponded the irreducible polynomial to realize over the finite field, and produce the matrix. This paper object expanded a basic concept of the conbinational Logic circuit so as to apply in the sequential Logic circuit. First of all, We suggest a theory for constructing sequential multiple-valued Logic circuit. Then, We realized the construction with the single input and the multi-output that expanded its function construction. In case of the multi-output, the circuit process by the partition function concept as the mutual independent. This method can be reduced a enormous computer course to need a traditional extention that designed the sequential multi-valued Logic circuit.

• International conference on construction engineering and project management
• /
• 2022.06a
• /
• pp.304-311
• /
• 2022

Construction inspection is a crucial stage that ensures that all contractual requirements of a construction project are verified. The construction inspection capabilities among state highway agencies have been greatly affected due to budget reduction. As a result, efficient inspection practices such as risk-based inspection are required to optimize the use of limited resources without compromising inspection quality. Automated prioritization of textual requirements according to their criticality would be extremely helpful since contractual requirements are typically presented in an unstructured natural language in voluminous text documents. The current study introduces a novel model for predicting the risk level of requirements using machine learning (ML) algorithms. The ML algorithms tested in this study included naïve Bayes, support vector machines, logistic regression, and random forest. The training data includes sequences of requirement texts which were labeled with risk levels (such as very low, low, medium, high, very high) using the fuzzy logic systems. The fuzzy model treats the three risk factors (severity, probability, detectability) as fuzzy input variables, and implements the fuzzy inference rules to determine the labels of requirements. The performance of the model was examined on labeled dataset created by fuzzy inference rules and three different membership functions. The developed requirement risk prediction model yielded a precision, recall, and f-score of 78.18%, 77.75%, and 75.82%, respectively. The proposed model is expected to provide construction inspectors with a means for the automated prioritization of voluminous requirements by their importance, thus help to maximize the effectiveness of inspection activities under resource constraints.

• Journal of Drive and Control
• /
• v.20 no.4
• /
• pp.123-132
• /
• 2023

In disaster situations, to facilitate rapid drainage, electric underwater pumps are installed manually. This poses a high risk of electric shock accidents due to a short circuit, and a lot of time is required for hose connection and installation of electrical devices. To solve these problems, a Venturi pump using the venturi effect without external power is used. However, Venturi pumps that operate without external power make it difficult to install flow sensors such as electric devices; consequently, it is difficult to check the real-time flow rate. This paper proposes a flow estimation logic to replace the function of the flow sensor for the venturi pump . To develop the flow estimation logic, the flow characteristics of the venturi pump, according to the operating conditions, were checked. After that, the relationship with the flow rate of the venturi pump was defined using a pressure sensor corresponding to a low-cost sensor. Finally, an analysis of the estimation error was performed using the developed flow estimation logic.

• The Journal of Asian Finance, Economics and Business
• /
• v.7 no.8
• /
• pp.197-204
• /
• 2020

Nowadays, many construction engineering and technology enterprises are evolving to find that prosperity is driven and inspired by an open economy with dynamic markets and fierce multifaceted competition. Besides brand and product uniqueness, the ability to quickly provide customers with quotes are matters of concern. Such a requirement for prompt cost estimation of construction investment projects with the use of a construction price index poses a significant challenge to contractors. This is because the nature of the construction industry is shaped by changes in domestic and foreign economic factors, socio-financial issues, and is under the influence of various micro and macro factors. This paper presents a fuzzy decision-making approach for calculating critical factors that affect the construction price index. A qualitative approach was implemented based on in-depth interviews of experts in the construction industry in Vietnam. A synthetic comparison matrix was calculated using Buckley approach. The CoA approach was applied to defuzzified the fuzzy weights of factors that affect the construction price index. The research results show that the top five critical factors affecting the construction price index in Vietnam are (1) consumer price index, (2) gross domestic product, (3) basic interest rate, (4) foreign exchange rate, and (5) total export and import.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2011.05a
• /
• pp.167-169
• /
• 2011

Construction Automation as a way to solve the problems of lack of skilled labor by decrease in construction population productivity and quality decrease. We are on the way to develop a construction automation system adequate for domestic circumstances in Korea; it is called RCA(Robotic-crane based Construction Automation) system. Climbing hydraulic robot system is a part of RCA system and makes Construction Factory(CF) climb next floor. The controller can control movement needs to be developed for CF safety. Synchronous control the actual field was applied to the controller logic and synchronous control of the process through which the safety has been verified. The purpose of this study that control of climbing hydraulic robot system behavior on real-time, and to improve safety for overall construction automation system through synchronous motion controller.

• Proceedings of the KIEE Conference
• /
• 2005.05a
• /
• pp.134-136
• /
• 2005

This paper deals with the standard logic symbols with which the engineer will design the control strategy and loop for the utility boiler of the next generation thermal power plant For this purpose, we review the existing international standards for logic symbols. which include ISO, ANSI, and older SAMA. From this review, it is possible to design the standard logic symbol that will be used in the following design phase. The designed standard logic symbols are supposed to provide the logic design with independence from the specific hardware that will be employed in the phase of construction.

• Journal of the Korean Society of Costume
• /
• v.65 no.3
• /
• pp.28-46
• /
• 2015

The aim of this research is to classify the concept expressed in the mobility of la diff${\acute{e}}$rant play, and supplement logic, which is process of the changeability of fashion style. The specific research questions are as follows: first question deals with the relationship between changeability and la diff${\acute{e}}$rant images, and how la diff${\acute{e}}$rant images are divided by each phase and how their circumduction play is proceeded. The second question is about the important features of the mobility of la diff${\acute{e}}$rant play and the method of la diff${\acute{e}}$rance play. The last topic of this study covers the supplement logic and the condition, and how supplement logic has been applied in the process of changeability of fashion style. This paper deploys a qualitative research method providing a systematic review of the previous studies. To sum it up, the mobility of la diff${\acute{e}}$rant play is the root of power, which is controlling the changeability of fashion style, and the objective of the play is to outline new la diff${\acute{e}}$rant images through spatialization of time. In addition, supplement logicis the method of la diff${\acute{e}}$rant play and the purpose of the logic is to harmonize 'ultimate la diff${\acute{e}}$rant image', which is the phenomenological construction stratum in the state of sub-conscious changeability, and 'immediate la diff${\acute{e}}$rant image', which is the structural construction level stratum in the state of external changeability. This research proves that the intrinsic attribute of changeability is contained the mobility of la diff${\acute{e}}$rant play and supplement logic.