• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.1732-1737
• /
• 2004

This paper proposes Internet-based checking technique for machine-tools with variant CNC (Computerized Numerical Controller). According to the architecture of CNC, CNC is classified into two types such as CAC (Closed Architecture Controller) which is conventional CNC, and OAC (Open Architecture Controller) which is a recently introduced PC-based controller. CAC has a closed architecture and it is dependent on CNC vender specification. Because of this, it has been very difficult for users to implement an application programs in CNC domain. Therefore, an additionally special module is required for Internet-based application such as remote checking. In this case, web I/O embedded module can be efficiently applied for Internet-based checking. The module is directly attached to TCP/IP network for communication. In order to obtain the monitoring data of CNC machines, the I/O signals of the module are assigned to PLC (Programmable Logic Controller) input and output (I/O) signals within CNC domain. On the other hand, OAC has a PC-based open architecture and an additional module is not necessary for the connection with external site. Because of this, a simple DAU is just used for signal sensing and data acquisition without additional communication modules. For Internet-based remote checking of machine-tools with OAC, a user-defined daemon and application programs are implemented as the form of internal function within the PC-based controller. Internet communication is performed between the daemon program in CNC domain and web script programs in external server. Checking points defined in this research are classified into two categories such as structured point and operational point. The formal includes the vibration of bearing, temperature of spindle unit and another periodical management. And the latter includes oil checking, clamp locking/unlocking and machining on/off status.

• Korean Journal of Computational Design and Engineering
• /
• v.21 no.3
• /
• pp.325-333
• /
• 2016

This paper aims to classify objects and their properties represented in Korea Building Act sentences for applying to BIM-enabled automated code compliance checking task. In order to conduct automated code compliance checking, it is necessary to develop translation process of converting the building act sentences into computer-executable forms. However, since Korea building act sentences are written in natural language, some of requirements are ambiguous to translate explicitly. In this regard, the building act sentences regarding building permit requirements are analyzed focusing on the regulation-specific objects and related properties representation from noun phrases within the scope of this paper. From 1977 building act sentences and attached reference regulations, 1200 regulation-specific objects and about 220 related properties are extracted and classified. In the application for the classification, object-property database is implemented and some of application using the database and the regulation-specific classification is suggested to support to generate rule set written in computable codes.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.1685-1690
• /
• 2007

Wave and following checking cycle arbor in the mountains form that examine various theories that decide checking cycle and data and application possibility that can acquire actually were presented. If see in standpoint that breakdown detects singularity availability before change happening, problem is advanced how action of device may do ordinary times supervision (monitoring) or checking cycle. In checking cycle decision, situation of latency breakdown that can not know that cause breakdown before device that is using examines can exist. Example such as car examination, faur and equitable spirit health examination, security device etc. can be fatal the time. Therefore, study and examined arbor in the mountains room of family proper checking cycle.

• Proceedings of the KSR Conference
• /
• 1998.11a
• /
• pp.270-279
• /
• 1998

This paper presents the design of self-checking comparator using the time diversity and the application to 8 bit CPU for the implementation of fault tolerant computer system. this self-checking comparator was designed with the different time Points in which temporary faults were raised by electrical noise between duplicated functional blocks. also this self-checking comparator was simulated in the method of the fault injection using 4 bit shift register counter. we designed the duplicated Emotional block and the self-checking comparator in the single chip using the Altera EPLD and could verify the reliability and the fault detection coverage through the modeling of temporary faults ,especially intermittent faults. at the results of this research, the reliability and the fault detection coverage were implemented through the self-checking comparator using the time diversity.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.14 no.10
• /
• pp.2310-2316
• /
• 2010

This paper presents an application of retiming to model checking, a branch of formal verification. Retiming can change the transition relation of a circuit without changing its input-output behaviour by relocating its registers. With the retiming, a given circuit can have a different structure more adequate for model checking. This paper proposes a cost function to reflect the number of registers and the characteristic of its transition relation and develops a heuristic annealing algorithm to search efficiently the circuit structures obtained by retiming. Experimental results show that the proposed method can improve the model checking performance.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.346-348
• /
• 2004

시스템의 안정성을 검증하는 Model Checking(모델 검증)은 여러 가지 분야에서 기본적으로 중요하게 사용되어왔다. 하지만 Model Checking의 특성상 Computing Power가 많이 필요한 점과 최근 소프트웨어의 대형화, Ubiquitous 환경에서의 잦은 변화가 필요한 점 등으로 Model Checking 을 그대로 적용하기 어렵다. 따라서 이 논문은 점증적인 변화에 따른 필요한 부분만 검증하는 점증적 모델 검증을 소개한다.

• Korean Journal of Computational Design and Engineering
• /
• v.18 no.2
• /
• pp.83-92
• /
• 2013

IFC based open BIM has internationally developed as a solution for interoperability problem among different software applications. Despite much interest and effort, the open BIM technologies are rarely introduced to the construction industry and need more technical development for a practical application as well. This research aims to develop automated code checking modules for quality assurance process of BIM data. The research have analyzed domestic regulations focusing on super-tall buildings and developed open BIM-based code checking modules for the evacuation regulations. The modules are able to validate evacuation regulations such as installation of emergency elevator and fire safety zone. The authors expect to improve the process of BIM quality assurance and enhance the quality of BIM data by this research on automated checking system.

• The Journal of Dong Guk Oriental Medicine
• /
• v.9
• /
• pp.127-138
• /
• 2000

The methods of checking the exuberance of yang (潛陽法) are a kind of medical treatments which cure various symtoms caused by hyperactivity of liver-yang, at the same time used for treating apoplexy. Thus, I investigated the application of checking the exuberance of yang to treat stroke. The conclusions are as follows. We can find application of checking the exuberance of yang to apoplexy on Synopsis of the Gold Chamber. After Ye Gui who persisted the theory of endogenous wind, many physicians applied the method of checking the exuberance of yang and this method has usually applied with nourishing yin. The methods of checking the exuberance of yang are concretely applied as follows. 1) a portion of apoplexy involving the channels and collaterals, which is caused by deficiency of yin and wind-fire pathogen. 2) excessive-syndrome of coma accompanied by heat syndrome. 3) epilepsy caused old apoplexy. The majority of shells for example abalone shell, hawksbill shell, oyster shell, tortoise-shell etc. are the most frequent use of herbal drug which check the exuberance of yang. The precriptions of checking the exuberance of yang are Ho-jam-hwan(虎潛丸), Ko-bon-dan(固本丹), Cheon-ma-gu-deung-eum(天麻鉤藤飮), Chin-gan-sik-pung-tang(鎭肝熄風湯) etc.

• Journal of Multimedia Information System
• /
• v.3 no.3
• /
• pp.69-76
• /
• 2016

Currently, research on more convenient and safer cars for drivers and passengers, the intelligent cars, are being actively conducted. The researches involve designing systems that intelligently minimize physical damages caused by car accidents, not just pursuing passive safety measures like airbags or safety belts. However, there are many cases around the world where airbags cannot be activated in times of accidents and it is difficult for consumers to check if their airbags will be activated, especially for the old-style cars. Thus, in this paper, a base technology for an application that can determine whether the airbags will actually be actuated at a critical moment based on the mechanical calculations is being introduced.

• Korean Journal of Computational Design and Engineering
• /
• v.19 no.3
• /
• pp.224-235
• /
• 2014

Recently, Productivity of the construction industry has been decreasing than other industries. Because of this, BIM is being spread in the construction industry. However, quality criteria for BIM data is insufficient. Regulation information is an important factor for initial architectural design evaluations. However, building code and related regulation are numerous. National building code structure in Korea is much more complex than other countries. The purpose of this study is to suggest the typology method of building code and apply to real regulations. To achieve this purpose, the authors have extracted required information to from original regulation for code checking and suggested mapping methods between extracted information and information of IFC scheme. In addition, the authors have represented EXPRESS-G diagram for extracting information from IFC scheme and suggested code checking method through stair case. Output of this study can be used as a base line data for automated code checking system based on open BIM. Automated code checking system will be utilized in architectural design evaluations and supported to increase design quality. It can be used to mount in SEUMTER that is the construction administration system of Ministry of Land, Infrastructure and Transport (MOLIT).