• Journal of the Korea Institute of Military Science and Technology
• /
• v.10 no.1
• /
• pp.55-69
• /
• 2007

The paper provides the approach to apply formal methods to the development and certification criteria of defense safety/security-critical software. RTCA/DO-178B is recognized as a do facto international standard for airworthiness certification but lack of concrete activities and vagueness of verification/certification criteria have been criticized. In the case of MoD Def Stan 00-55, the guidelines based on formal methods are concrete enough and structured for the defense safety-related software. Also Common Criteria Evaluation Assurance Level includes the strict requirements of formal methods for the certification of high-level security software. By analyzing the problems of DO-178B and comparing it with MoD Def Stan 00-55 and Common Criteria, we identity the important issues In safety and security space. And considering the identified issues, we carry out merging of DO-178B and CC EAL7 on the basis of formal methods. Also the actual case studies for formal methods applications are shown with respect to the verification and reuse of software components.

• The Journal of Asian Finance, Economics and Business
• /
• v.7 no.7
• /
• pp.391-401
• /
• 2020

The objective of this study is to prioritize the Total Quality Management (TQM) factors based on fuzzy Analytical Hierarchy Process (AHP) method in Vietnamese supporting industries. Through an in-depth literature review, eight criteria were identified. These criteria were then divided into 32 sub-criteria. The fuzzy AHP is used to determine the percent weightings of eight categories of performance criteria that were identified via a review of the quality-management literature. These criteria include management commitment, role of the quality department, training and education, continuous improvement, quality policies, quality data and reporting, communication to improve quality, and customer satisfaction orientation. An empirical analysis of the criteria of each stage using the fuzzy AHP methodology and the expert opinion of quality management are used to evaluate the percent weightings of the criteria and sub-criteria that are synonymous with TQM implementation. The results showed that management commitment is the most critical factor; among sub-criteria, supports and responsibilities of top management is the most important. The study also identified the rank order of critical success factors of TQM. The findings suggest a generic hierarchy model for organizations to prioritize the critical factors and formulate strategies for implementing TQM in supporting industries, as well as other industries in Vietnam.

• Perspectives in Nursing Science
• /
• v.1 no.1
• /
• pp.50-65
• /
• 2004

Despite the new wave of diverse philosophical thoughts in nursing, the criteria for theory evaluation rarely incorporate the new thoughts in its realm. Especially, feminist thoughts, which have contributed to the development of nursing knowledge through incorporating diversities and complexities of nursing phenomenon and reflecting social, cultural, and historical contexts surrounding nursing encounters, were rarely incorporated into the evaluation criteria. In this paper, a feminist approach to theory evaluation is proposed based on a critical analysis of the existing evaluation criteria. First, a historical review of feminist thoughts is provided, and feminist principles across diverse groups of thinking within feminism are discussed. Then, theory evaluation criteria are historically analyzed and critiqued while considering the feminist principles. The critical points found in the currently available theory evaluation criteria include: (a) the evaluation criteria are based on objectivity, (b) they are ignoring gender differences; (c) cultural differences tend not to be seriously considered; and (d) contexts surrounding nursing phenomenon are rarely considered. Based on the critical points, four additional components for theory evaluation are proposed. The components are: (a) respect for subjectivity; (b) historical and sociopolitical contextual considerations; (c) gender sensitivity; (d) cultural competence; and (e) blueprint for action.

• Asia pacific journal of information systems
• /
• v.9 no.4
• /
• pp.125-142
• /
• 1999

The increased investment in technological innovations makes the investigation of factors affecting technology adoption more interesting. Several perspectives have been proposed to explain the determinants of information technology adoption. While the traditional innovation diffusion research streams try to explain and predict adoption behavior with the adopter's perceptions about the characteristics of the innovation itself, critical mass theorists argue that adoption behavior as a collective action is based on what their business partners are doing and whether there exists enough critical mass to justify the investment. Drawing on theses two perspectives, this study investigates the decision criteria in the adoption of information technology as innovation and factors affecting the decision criteria. The survey results reveal that the adoption behavior is affected both by innovation characteristics and by critical mass's activity. Correlation analysis, t-test, and stepwise regression models also show that as the environmental uncertainty is getting higher, adoption decision is affected more by what others are doing, and that highly competitive organizations seem to play the role of critical mass.

• Journal of Engineering Education Research
• /
• v.23 no.6
• /
• pp.51-59
• /
• 2020

ABEEK's professional liberal arts education reflecting critical thinking, has been well received by professors and students in the engineering discipline. Also, the demand for further utilization of critical thinking within the engineering curriculum is increasing. To meet such demand, there is a need for experts in the area of critical thinking education and engineering education to come together and search for the most effective method in using critical thinking in engineering design education courses. In this paper, we were able to confirm, through specific application cases, that the problem-solving process of critical thinking can be effectively transferred to an engineering design process, and the elements and criteria of critical thinking can be used as a successful design tool. Also, we explore the possibility of further improving engineering education on the basis of critical thinking.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.29 no.4
• /
• pp.43-50
• /
• 2006

The objective of this research is to select the most effective technique from AMT (Advanced Manufacturing Technologies) and IMP (Innovative Management Practices) for improving manufacturing performance in shipbuilding enterprises. The research consists of several principal steps. The first step is to design critical criteria in evaluating manufacturing performance in shipbuilding enterprises. The second step is to develop sub-criteria of the critical criteria. The third step is to develop a four level AHP (Analytic Hierarchy Process) structure using the critical criteria, sub-criteria and techniques from AMT and IMP. The fourth step is to develope the pairwise comparison matrix by each level of AHP structure, which was based on survey data collected at the H heavy industry. And the last step is to select the most effective technique from AMT and IMP by using AHP analysis. The results of AHP analysis did not show clear difference in priority between techniques of AMT and IMP in terms of manufacturing performance of the shipbuilding enterprise. Thus, each critical criterion was assigned modified weights and examined the priority change of techniques by conducting performance sensitivity analysis.

• Journal of The Korean Society of Agricultural Engineers
• /
• v.63 no.5
• /
• pp.27-38
• /
• 2021

The physical condition assessment criteria of fill dam safety inspection are now weakly regulated and inappropriate for small agricultural reservoirs since these criteria have fundamental backgrounds suitable for large-scale dams. This study proposes the degree (critical values) of defects for the quantitative condition assessment of the embankment in order to prepare the condition assessment criteria for a small reservoir with a storage capacity of less than one (1) million cubic meters. The critical values of defects were calculated by applying the method that considers the size ratios based on the dimensional data of reservoirs, and the method of statistical analysis on the measured values of the defect degree which extracted from comprehensive annual reports on reservoir safety inspection. In comparison with the current criteria, the newly proposed critical values for each condition assessment item of the reservoir embankment are presented in paragraphs 4 and 6 of the conclusion. In addition, this study presents a method of displaying geometric figures to clarify the rating classification for condition assessment items with the two defect indicators.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.34 no.3
• /
• pp.115-122
• /
• 2011

The critical role played by manufacturing performance measurement systems in achieving competitive success is increasingly recognized. Developing an integrated performance measurement model is significant for strategic management. This study consist of several principal steps. Performance criteria from the literature and an questionnaire were utilized prior to building the performance model. The AHP(Analytic Hierarchy Process) is utilized to evaluate the weight of each criterion when generating the performance measurement model for Korea automobile parts manufacturing company. AHP analysis showed clear difference in the priority between 5 criteria and 24 sub-criteria in terms of manufacturing performance of Korean automobile parts manufacturing company. The result of priority evaluation in the 5 criteria of 2nd level was ranked quality, cost, delivery, employee, flexibility. And the critical sub-criteria in the 24 sub-criteria of 3rd level was ranked claim rate, process defect rate, outsourcing parts defect rate, ability to quality management innovation, claim cost, etc.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2003.10a
• /
• pp.291-295
• /
• 2003

The occurrence of ductile fracture is the working limit of many metal forming processes. It is necessary to predict the criteria and to apply the condition in a process design. Over the years. the way for clarifying conditions have been studied and presented. However such a way needs lots of experiments and analysis. In this study, in order to determine the critical damage value of a used material Cu 4N, it was performed a tensile test and FEM analysis by using DEFORM 2D. For applying the obtained critical damage value it was also performed a upsetting test by using DEFORM 2D. The way of determining a critical damage value which is presented in this study will make possible to find easily it which is one of the working limit factor. And the way of determining a critical damage value will make possible to find in multi-pass drawing process.

• Journal of Engineering Education Research
• /
• v.23 no.6
• /
• pp.27-32
• /
• 2020

The aim of this paper is to explore various ways to utilize critical thinking in engineering education. To this end, this paper, in the light of the relationship between critical thinking and the program learning performance of ABEEK, reviews engineering design education, engineering ethics education, and engineering communication education, which are major areas where critical thinking can be utilized in engineering education. As a result, it was confirmed that critical thinking skills, especially the elements and criteria of critical thinking, can contribute to the creative problem-solving process in engineering design education, the rational decision-making process in engineering ethics education, and the effective communication process in engineering communication education.