• Journal of the Korea Academia-Industrial cooperation Society
• /
• 제14권10호
• /
• pp.5134-5139
• /
• 2013

Ladder Diagram(LD) or Sequential Function Chart(SFC) is used for the design of complex modern control system with Programmable logic controller(PLC). LD is the most widely utilized among PLC standard language. But recently, SFC is used frequently. SFC is very easy to grasp the sequential flow of control logic but is difficult for describing combinational logic. When the interrupt factor is occurred, the main program is stopped. And after the interrupt program is completed, the main program is restart. Therefore the more complex the interrupt program, the main program is interrupted downtime will be that much longer. In this paper, we propose the method for interrupt implementation without the dwell time of the main program by SFC language and confirm his feasibility through the simulation.

• Lingua Humanitatis
• /
• 제2권1호
• /
• pp.287-301
• /
• 2002

Either in music or in language, sound plays its role by taking up the fixed multi-spaces in one's consciousness. Music space differs from auditory space whose aim Is to perceive the positions and identities of the outer things. While auditory space is based on the interests of the outer things, music space is based on the indifference. We discuss the notion of space because it is where symbols reside. Categorial perception about the phonemic restoration describes the ability of a listener how to use his own intelligence to acknowledge and fill the missing points; however, musical perception can be explained as a positive regression to avoid colloquial logic and danger of segmentation in the course of auditory experience and phonation acquisition by an infant. About the question on the difference of the listening to the language sound and other sound, auditory mechanism proceeds language sound the same as other types of sound. But there are another theories which claim that brain proceeds the farmer differently from the latter. The function of music has not been discovered as clear as that of language; music has much more meanings in comparison with language.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제4권1호
• /
• pp.12-17
• /
• 2004

This study is designed to grope for logical methods in the decision-making process of human beings such as creation and analysis. With this in mind, the paper worked with a process where the designers of a design team gather and analyze their opinions in a design process to decide on the HVAC system of buildings. The paper introduced the fuzzy theory, or one of the methods to quantitatively describe language values with ambiguous features, suggesting a method to determine the judgement and suggestion values of the HVAC designers with the characteristics of language variables as the values of design factors greatly influencing the HVAC system. As a result, the paper tested the possibility of the fuzzy system as a logical method to gather the judgement of HVAC designers in a stage of HVAC type selection exerting a great influence on the experience and judgement of the designers and having powerful linguistic features and to determine an appropriate HVAC type which can satisfy the suggested values of related design factors.

• Korean Institute of Interior Design Journal
• /
• 제17호
• /
• pp.150-156
• /
• 1998

We found the similarities and differences it the works of Italian Architects especially in 1960s Neo Rationalism and also in the products of inclination of contemporary Minimalism. Based on the moderate application of traditional architectural language and on typological prototype the Italian Architects pursued inherent logic by which the works came to the composition and association rule that show an extremely moderate expression of a spirit indispensable to Architecture. And they turned down the logic of ergonomics but they searched for the simple and prototypical form that was the architectural language strongly restrictive common and objective all through the abstraction of Architectural elements in their memories. The overcome from the forms and the methodology of thinking contain common types in Contemporary Minimalism. But Contemporary Minimalism rejects fundamentally the analogical interpretation and typological protiotype from the past.

• Journal of applied mathematics & informatics
• /
• 제20권1_2호
• /
• pp.181-195
• /
• 2006

Resource-constrained project scheduling problems with variant processes can be represented and solved using a logic-based terminological language called RSV (resource constrained project scheduling with variant processes). We consider three different variants for formalizing the RSV-scheduling problem, the optimizing variant, the number variant and the decision variant. Using the decision variant we show that the RSV- problem is NP-complete. Further we show that the optimizing variant (or number variant) of the RSV-problem is computable in polynomial time iff. the decision variant is computable in polynomial time.

• Proceedings of the KSR Conference
• /
• 한국철도학회 1999년도 춘계학술대회 논문집
• /
• pp.283-290
• /
• 1999

Recently, the ${\mu}$-processor based-controlled systems instead of conventional relays circuitry are widely used to industrial applications, and also those technology is available to railway signalings which are safety-critical systems. However, the safety and reliability of software for those systems are harder to demonstrate than in traditional relays circuitry because the faults or errors can not be analyzed and predicted to those systems. So, the safety problems are crucial more and more in ${\mu}$-processor based-controlled system. In this paper, the Grafcet language, the graphical and mathematical form, is used to obtain the high-level safety and reliability of software control logic. The general description for Grafcet notation are provided. And some partial of interlocking logic are formally modeled and simulated by Grafcet language and graphical windows.

• Proceedings of the KIEE Conference
• /
• 대한전기학회 1999년도 하계학술대회 논문집 A
• /
• pp.471-473
• /
• 1999

Recently, the computer based control systems instead of conventional relays circuitry are widely used to industrial applications, and also those technology is available to railway signaling which are safety-critical systems. However, the safety and reliability of software for those systems are harder to demonstrate than in traditional relays circuitry because the faults or errors can not be analyzed and predicted to those systems. So, the safety problems are crucial more and more in computer based control system. In this paper, the GRAFCET(GRAphe Fonctionnel do Commande Etape/Transition) language is used as a analysis and verification tool for safety-critical interlocking logic. The general description for Grafcet notation are provided and the general modeling for interlocking logic is presented.

• Journal of the Korea Society of Computer and Information
• /
• 제23권8호
• /
• pp.95-99
• /
• 2018

This research is related to GPS(global positioning system) enabled device navigation service and consists of two parts. The first is the logic that records the route guidance video and records GPS information in time, and the second is the logic that outputs the created video data based on real time GPS. The recording logic first determines the origin and destination, records the video from the origin to the destination and it adjusts the speed of the image in a specific area so that the user can see it easily. And insert ancillary information and advertisements that can help guide the route. In the output logic, we provide navigation services using the video and GPS data tables we created, and it receives user's GPS information in real time and corrects it based on the recent user location to reduce errors. This provides local guidance services to people who lack language skills like foreigners.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• 제30A권9호
• /
• pp.71-79
• /
• 1993

This paper proposes a new test pattern generation methodology for combinational logic circuits using neural networks based on a modular structure. The CUT (Circuit Under Test) is described in our gate level hardware description language. By conferring neural database, the CUT is compiled to an ATPG (Automatic Test Pattern Generation) neural network. Each logic gate in CUT is represented as a discrete Hopfield network. Such a neual network is called a gate module in this paper. All the gate modules for a CUT form an ATPG neural network by connecting each module through message passing paths by which the states of modules are transferred to their adjacent modules. A fault is injected by setting the activation values of some neurons at given values and by invalidating connections between some gate modules. A test pattern for an injected fault is obtained when all gate modules in the ATPG neural network are stabilized through evolution and mutual interactions. The proposed methodology is efficient for test generation, known to be NP-complete, through its massive paralelism. Some results on combinational logic circuits confirm the feasibility of the proposed methodology.

• Journal for History of Mathematics
• /
• 제32권5호
• /
• pp.217-231
• /
• 2019

Mathematics and philosophy are considered as ways to get knowledges and cognitions of truths. They are human thoughts and epistemes. Thinking is in fact carried out in a systematic way, which consists of sort of syntax and semantics of thinking, called logic. We observe the logic from mathematical and philosophical perspectives with layman's language. We conclude that mathematics, philosophy and logic are the abilities necessary for the human beings of the 21st century, the age of artificial intelligence.