• The Transactions of the Korea Information Processing Society
• /
• v.4 no.5
• /
• pp.1243-1256
• /
• 1997

Object modeling has been cinsidered as an efficient technique for eleciting user requirements and communicat-ing between developers and customers. But model itself is not easy to understand what recult will be after coding and whether it will be meet with the requirements of customers. In this paper, we developed the envuroment for visualization of object model for validating with rewuirnent at the early stage. Therefore, we defined correct and complete rules which can transform the object model.the delierables of Shler/Mellor's method, into a for-mal specification language of VDM(Vienna Development Methods) with a mathematical basis. This basis provides the means of proving that a specification is realizable and proving properties of a system.Therefore.the completeness, preciceness of object model can be verified by proving the transformed VDM specification and prototyping by constructing a visualization supporting enviroment.

• Korean Journal of Construction Engineering and Management
• /
• v.18 no.5
• /
• pp.50-58
• /
• 2017

The efficient communication process is essential to guarantee the completeness of design and secure the quality to meet the contractor's needs. However, using the existing communication methods based on the design and documents, it is difficult to effectively understand the drawings and specifications that are very complicated, and sufficient technical experiences would be required. Ineffective and inefficient communication among users, designers and project participants during the design process would raise the possibility of functional interferences of the object, induce conflicts, cause a design change, and accordingly incur losses of the project in terms of cost and time. The purpose of this study is to suggest improvement direction of communication in accordance with the requirements, by investigating the present state and the project participants' understanding of design communication. And also, it presents the application model of QFD that the project participants could share and define, and feedback the requirements as well as conducting analysis of improvement factors based on the survey.

• Nuclear Engineering and Technology
• /
• v.26 no.4
• /
• pp.502-506
• /
• 1994

The design of safety computer system is described along with the case of software design and testing in the Core Protection Calculator System (CPCS). The application of computer system in safety system requires not only hardware qualification but thorough testing on software to verify its correctness and completeness. The testing on software for CPCS is performed by comparing the outputs of two versions of code. One is implemented in assembly language and the other is in Fortran. The testing is performed in sequencial and overlapping manner. Phase I test verifies that each software module is implemented correctly by executing every branch. Phase II test verifies that the integrated software is complete, meeting its requirements specification and also the integrated system meet its requirement and timing constraints. Through these testing, the Yonggwang Nuclear Power Plant Units (YGN) 3 and 4 CPCS software is verified to be correct and complete, and the integrated system is designed as in its requirements specification.

• Journal of ILASS-Korea
• /
• v.21 no.4
• /
• pp.207-213
• /
• 2016

To protect air pollution of urban area from motor vehicles, emission limits for diesel vehicles have been dramatically lowered in short period. But recent studies have shown that on-road NOx emissions of light-duty diesel vehicles are considerably higher than the values measured with laboratory test procedures used for emission certification. To tackle with this issue, Ministry of Environment have a plan to introduce EU RDE-LDV (Real-driving Emission-Light-duty Vehicle) regulation. In this study, 4 Euro 6 diesel vehicles have been tested with the new test procedures published by EU to estimate on-road NOx emissions using PEMS (Portable Emission Measurement System). The results have shown that the requirements of EU RDE-LDV could be met in driving condition of metropolitan area for constitution of test routes and validity of test results. In analysing with Moving Averaging Window method the completeness and normality of test data were validated with the requirement. On-road NOx emissions were quite deviated as test vehicles and higher than the new limit of on-road NOx emission enforced from Sept. 2017, which means that RDE-LDV can effectively reduce NOx emission of diesel vehicles in real driving conditions of Korea.

• Journal of Advanced Navigation Technology
• /
• v.15 no.3
• /
• pp.419-431
• /
• 2011

Design traceability has been widely recognized as being an integral aspect of software development. Also many projects for software application development have failed because that the projects did not analyze user requirements sufficiently and reflected them in the projects adequately. This thesis proposes a specification and tracing technique for object-oriented analysis and design. The subject of this study is the artifacts of UML development methodology. Therefore, to improve the quality of the software development cycle, in short, the system requirement of customers will be able to respond quickly.

• Structural Engineering and Mechanics
• /
• v.21 no.5
• /
• pp.539-551
• /
• 2005

Finite elements based on isoparametric formulation are known to suffer spurious stiffness properties and corresponding stress oscillations, even when care is taken to ensure that completeness and continuity requirements are enforced. This occurs frequently when the physics of the problem requires multiple strain components to be defined. This kind of error, commonly known as locking, can be circumvented by using reduced integration techniques to evaluate the element stiffness matrices instead of the full integration that is mathematically prescribed. However, the reduced integration technique itself can have a further drawback - rank deficiency, which physically implies that spurious energy modes (e.g., hourglass modes) are introduced because of reduced integration. Such instability in an existing stiffness matrix is generally detected by means of an eigenvalue test. In this paper we show that a knowledge of the dimension of the solution space spanned by the column vectors of the strain-displacement matrix can be used to identify the instabilities arising in an element due to reduced/selective integration techniques a priori, without having to complete the element stiffness matrix formulation and then test for zero eigenvalues.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.8
• /
• pp.2072-2087
• /
• 1999

As software size ever increases and user's requirements become more and more sophisticated., the importance of software quality is more and more emphasized. However, we are not satisfied for the present techniques on detecting errors and checking consistency in the object-oriented design model. This paper proposes a systematic approach which produces implementable rules to detect errors and check consistency. At first, the meta-models for UML diagrams are constructed, generalized meta-rules are reduced from the meta-models, and then the meta-rules are applied to produce the implementable rules. This approach enables to pursue the completeness of the rules and the automation of rule application. An example of rule application shows the feasibility of the rule application.

• The Journal of Asian Finance, Economics and Business
• /
• v.9 no.6
• /
• pp.127-137
• /
• 2022

This paper aims to investigate the impact of corporate governance on the quality of integrated reporting. Corporate governance includes internal (board size, board independence, and board diversity) and external (audit quality and enforcement) governance factors. This paper develops an index to capture the quality of integrated reporting by employing the completeness of information required by the International Integrated Reporting Council (IIRC). For an international sample, the paper manually collects 160 integrated reports along with internal and external governance factors and employs multivariate analyses to examine the association between these governance factors and the quality of integrated reporting. The empirical results suggest that firms with a larger board of directors, a larger proportion of female members on board, and located in countries with enforcement for integrated reporting requirements have a higher quality of integrated reporting. Our conclusions still hold after accounting for several conditions, including the industry-fixed and year-fixed effects. Together, these results suggest that both internal and external governance factors are important determinants for the quality of integrating reporting. These results have several theoretical and practical implications as they fulfill the absence of relevant studies on addressing the impact of internal and external corporate governance factors on the quality of integrated reporting.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.26 no.3
• /
• pp.22-31
• /
• 2022

Existing Finocyl grain designs assume configurations and repeat the process of configuration modification and confirmation of the requirements through burn-back analysis. Such a design increases the design fatigue of workers and has a problem of different design completeness depending on capabilities. Therefore, this study devised an optimal design method that applied genetic algorithms to the Burn-back automation analysis program to solve the problem of existing design. For stable search, variable-offset and non-drawable configuration control techniques were developed. The program performance was verified through the searching neutral and double thrust grains.

• Journal of KIBIM
• /
• v.3 no.1
• /
• pp.1-10
• /
• 2013

BIM(Building Information Modeling) ordering manuals and guidelines are diffused with the recent BIM activation. However, it is causing drawbacks such as an increase of work at each design stage and a decline of BIM application level that the standard of making up and managing BIM is vague and it includes comprehensive meaning. Therefore, this study aims to secure BIM work standard by establishing BIM making-out standard based on LOD(Level of Detail) classification considering domestic design process. It compared each definition of LOD by analyzing domestic and foreign BIM guideline examples, and figured out insufficiency of existing domestic and foreign design process and BIM guidelines. Moreover, it drew architects' work articles for promoting the progression of the efficient design process, and analyzed BIM requirements on design process, dividing BIM application scale by field. Through this analyzing process, it finally established BIM making-out standard classified by design process. The effects of establishing BIM making-out standard would include improving a division of labor and cooperation environment by creating integrated BIM model on design stages, advancing work efficiency by preventing a repetition and an increase of work, and upgrading project completeness and design quality. Besides, it can secure BIM work standard by clarifying responsibility for working steps. BIM making-out standard established by this study will contribute to developing the future BIM work standard document and BIM guideline as a data base.