• 제어로봇시스템학회:학술대회논문집
• /
• 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.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.16 no.6
• /
• pp.1291-1299
• /
• 2012

UML is a semantically rich language, but it is difficult to ensure consistency of the diagrams you have written. Therefore, in this paper, we propose cross checking rules to improve consistency between UML diagrams, especially between UML static diagram and dynamic diagram. We use metamodels in order to more clearly reflect interactions of UML elements in the checking rules and use OCL(Object Constraint Language) to accurately represent the checking rules. By comparing with the well-formedness rules of UML specification, we focus on consistency of UML diagrams. And we derive metamodels of static diagram and dynamic diagram, analysis the relationships of UML diagrams and finally, we test the usability of derived rules through a case study.

• The KIPS Transactions:PartD
• /
• v.12D no.1 s.97
• /
• pp.81-90
• /
• 2005

Given a model and a property, model checking determines whether the model satisfies the property. In case the model does not satisfy the property model checking gives a counterexample which explains where the violation occurs. Since counterexamples are useful for model debugging as well as model understanding, counterexample generation is one of the indispensable components in the model checking tool. This paper presents efficient counterexample generation techniques when a safety property is falsified. These techniques are used to solve Push Push games which consist of 50 games. As a result, all the games are solved with the proposed techniques. However, with the original NuSMV, 42 games are solved but 8 failed. In addition, we obtain $86{\%}$ time improvement and $62{\%}$ space improvement compared to the original NuSMV in solving the game.

• Language and Information
• /
• v.6 no.2
• /
• pp.1-14
• /
• 2002

This paper discusses so called the non-DP subject constructions in English. In general, a subject is a DP that bears Nominative case and that occupies 〔Spec, IP〕. However, in some examples under investigation, it looks as if non-DP categories such as Prepositional Phrases(PP), Adjectival Phrases(AP), Adverbial Phrases (AdvP), Small Clauses (PreP or SC), and VP occupy the canonical subject position, 〔Spec, IP〕. Under the framework of Chomsky's (1993, 1995) along with his previous works (Chomsky 1981, 1986), the Case Checking mechanism undoubtedly assumes that only DPs can have Case Therefore, the Case Checking/Agree mechanism is stated such that the strong uninterpretable feature, in this case Case feature (D or NP) feature must be checked off in a certain manner. Therefore, any phrasal categories other than DPs are not included in the considerations. Nonetheless, there are many instances of non-DP categories in English that occupy the seemingly canonical subject position, 〔spec, IP〕. In this paper, it is proposed that the actual position of these non-DP subjects in English is not in Spec of IP. Rather, they occupy 〔Spec, TopP〕 under CP in the sense of Lasnik & Stowell (1991), Rizzi (1997), and Haegeman & Gueron (1999). In its effect, therefore, this paper extends the idea of Stowell (1981) who argues that the clausal subjects in English is not in 〔Spec, IP〕, but in 〔Spec, TopP〕. We further argue that Stowell's version of Case Resistance Principle must be extended in order to accomodate many more occurrences of so called non-DP subjects.

• Journal of the Korean Data and Information Science Society
• /
• v.14 no.3
• /
• pp.561-570
• /
• 2003

We propose a nonparametric test procedure for checking the proportionality assumption between hazard functions using a functional equation. Because of the involvement of censoring distribution function, we consider the large sample case only and obtain the asymptotic normality of the proposeed test statistic. Then we discuss the rationale of the use of the functional equation, give some examples and compare the performances with Andersen's procedure by computing powers through simulations.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1996.11a
• /
• pp.593-597
• /
• 1996

This paper describes a method for drawing check of dimension errors, such as deficiency and redundancy of dimensions, input-errors in dimension figures and symbols, etc. The logic for finding dimensional errors is written by using the Turbo C language. Checking for deficiency and redundancy of global dimensions has been performed applying Graph Theory. Especialy, this paper gives an account of checking method for annular parts.

• Journal of the Korea Furniture Society
• /
• v.17 no.1
• /
• pp.33-46
• /
• 2006

This study was carried out to investigate a radio-frequency/vacuum (RF/V) drying ability and physical properties of the green boards and the pre-kiln dried boards with 40 mm thickness, and the 70 mm-thick green board of Iroko (Milicia excelsa). The major results were summarized as follows; The drying time from initial moisture content (MC) of 110% to approximate 6% MC for a 40mm-thick green board was 192 hours, and about 200 hours for the 70 mm-thick green board, respectively and so the RF/V drying times were dramatically shortened compared to conventional kiln drying time. The case hardenings at the RF/V drying completion stage test were very negligible, thus represented almost no existence of the residual stress. The checks were very slightly formed on all of the boards during the RF/V drying test, but crook appeared quite severely. During the accelerating test, the water-resistant treated specimens had not experienced any signs of checking occurred, whereas the control boards had encountered very frequent occurrences of end checking and slight surface checking. There were no observations of warping and discoloring regardless of the treatment.

• IE interfaces
• /
• v.25 no.1
• /
• pp.79-86
• /
• 2012

Traditional business process management systems provide verification tools of process models to deploy and automate the models. However, there are not so many studies on how to maintain systematically collaborative process models such as supply chain processes when companies are willing to change and update the collaborative process models. In this paper, we analyze change patterns of collaborative processes and declare 19 change patterns. In addition, we apply the change patterns to the process interoperability patterns in order to identify the change problems in case of independent process changes of collaborative processes. As a result, we devise an independency checking algorithm of process changes in collaborative processes.

• Nuclear Engineering and Technology
• /
• v.51 no.2
• /
• pp.463-478
• /
• 2019

The most important non-functional requirements for dependability of any Embedded Real-Time Safety Systems are safety, availability and reliability requirements. System architecture plays the primary role in achieving these requirements. Compliance with these non-functional requirements should be ensured early in the development cycle with appropriate considerations during architectural design. In this paper, we present an application of system architecture modeling for quantitative assessment of system dependability. We use probabilistic model checker (PRISM), for dependability analysis of the DTMC model derived from system architecture model. In general, the model checking techniques do not scale well for analyzing large systems, because of prohibitively large state space. It limits the use of model checking techniques in analyzing the systems of practical interest. We propose abstraction based compositional analysis methodology to circumvent this limitation. The effectiveness of the proposed methodology has been demonstrated using the case study involving the dependability analysis of safety system of a large Pressurized Water Reactor (PWR).

• International Journal of Reliability and Applications
• /
• v.9 no.1
• /
• pp.7-15
• /
• 2008

The dimensional measurement equipment, such as Coordinate Measurement Machine (CMM), Optical Coordinate Measurement Machine (OCMM), and Checking Fixture (CF), take multiple dimensional measurements for each part in an automobile industry. Measurements are also recorded under different measurement systems to see if the responses differ significantly over these systems. Each measurement system (CMM, OCMM, and CF) will be considered as different treatments. This set-up provides massive amounts of process data which are multivariate in nature. Therefore, the multivariate statistical analysis is required to analyze data that are dependent on each other. This research provides step by step methodology for the evaluation procedure of the compatibility of measurement systems and clarify a systematic analyzation among the different measurement system's compatibility followed by number of case studies for each methodologies provided.