Major obstruction of using formal methods for hybrid real-time systems in industry is the difficulty that engineers have in understanding and applying the quantitative methods in an abstract requirements phase. While formal methods technology in safety-critical systems can help increase confidence of software, difficulty and complexity in using them can cause another hazard. In order to overcome this obstruction, we propose a framework for qualitative requirements engineering of the hybrid real-time systems. It consists of a qualitative method for requirements specification, called QFM (Qualitative Formal Method), and a safety analysis method for the requirements based on a causality information, called CRSA (Causal Requirements Safety Analysis). QFM emphasizes the idea of a causal and qualitative reasoning in formal methods to reduce the cognitive burden of designers when specifying and validating the software requirements of hybrid safety systems. CRSA can evaluate the logical contribution of the software elements to the physical hazard of systems by utilizing the causality information that is kept during specification by QFM. Using the Shutdown System 2 of Wolsong nuclear power plants as a realistic example, we demonstrate the effectiveness of our approach.
Despite high uncertainty on financial return, firms have continuously increased their investment on technologies because they recognize the potential value of technology investment in terms of enhancing operational efficiency and sustaining competitive advantage. Notably, an individual technology investment pattern or strategy within an industry may ultimately lead to significant differences in business performance. Hence, we first categorized technology investment into traditional research and development investment and information technology investment. Afterward, we examined the effects of each pattern with combination of the two types of technology investment on business performance according to firm size and position in the supply chain through fuzzy-set qualitative comparative analysis. Data collected from 562 manufacturing firms in Korea were used in the analysis. Results showed that large-sized firms were slightly affected with microscopic patterns in their technology investments, whereas small firms were highly affected with their technology investment patterns and their positions in the supply chain. The findings implied that a small enterprise requires an appropriate technology investment strategy to achieve successful business outcomes.
Computational techniques for topic classification can support qualitative research by automatically applying labels in preparation for qualitative analyses. This paper presents an evaluation of supervised learning techniques applied to one such use case, namely, that of labeling emotions, instructions and information in suicide notes. We train a collection of one-versus-all binary support vector machine classifiers, using cost-sensitive learning to deal with class imbalance. The features investigated range from a simple bag-of-words and n-grams over stems, to information drawn from syntactic dependency analysis and WordNet synonym sets. The experimental results are complemented by an analysis of systematic errors in both the output of our system and the gold-standard annotations.
Chun, Ju Lan;Bang, Han Tae;Ji, Sang Yun;Jeong, Jin Young;Kim, Minji;Kim, Byeonghyeon;Lee, Sung Dae;Lee, Yoo Kyung;Reddy, Kondreddy Eswar;Kim, Ki Hyun
Journal of Animal Science and Technology
/
v.62
no.1
/
pp.58-63
/
2020
The pre-treatment condition affects on the element analysis of inductively coupled plasma (ICP). In this study the pre-treatment condition of ICP has been studied to quantify elements in dog's hair. The hair samples were collected from twelve female Beagles by clipping them into 1 or 2 cm at the back neck. The qualitative and quantitative analysis of elements in hairs were performed by using ICP. By ICP nine elements were qualitatively detected and quantitatively analyzed (Ca, Cu, Fe, K, Mg, Na, P, Se, Zn). The measured amounts of elements were compared between 3 step and 2 step procedures which were with and without the acetone based washing step. The quantitative analysis showed that the concentrations of K, Na, P, and Se were significantly decreased in hair samples with acetone-based washing (p < 0.005 or 0.001) unlike those without the acetone-based washing. It implied that some minerals are lost by the acetone based washing during the sample preparation step. Therefore, the acetone based washing process is not suitable for quantifying elements in dog's hair. In addition, the results of qualitative and quantitative analysis were compared. Although there was a difference in absolute values of elemental contents in hair, the results of qualitative and quantitative analysis were significantly correlated each other. This finding suggested that the results of qualitative analysis can be used to monitor elemental contents in dog's hair.
Purpose - The purpose of this paper is to analyze the trade structure and competitiveness of China's information technology (IT) industry in comparison to that of Korea and the United States, particularly in terms of quality. Design/methodology/approach - Indices such as trade specialization index (TSI), Revealed Comparative Advantage (RCA), and Market Comparative Advantage (MCA) are used. Further, an Intra-industry Trade (IIT) index is used to analyze qualitative changes in horizontal intra-industry trade and intra-industry trade of high- and low-quality goods. Findings - China's IT industry has a comparative competitive advantage over that of Korea and the United States, and mainly exports goods of inferior quality and imports goods of superior quality. Further, China's horizontal intra-industry trade has been decreasing, while its vertical intra-industry trade has been increasing and vertical trade of inferior quality goods outweighs that of superior quality goods. This shows that China is rapidly catching up with Korea and the United States, even though its qualitative competitiveness has not significantly improved. Research limitations/implication - This study has academic and political implications, as it analyzes changes in China's IT trade competitiveness. However, it is somewhat limited as factors determining qualitative aspects has not been considered. Originality/value - Most studies aggregate analyses of export competitiveness using methodologies such as TSI, RCA, and market share. However, the focus of these methods is price competitiveness. Hence, an examination of the objective and qualitative trade competitiveness of China's IT industry is necessary. this study the trade structure and quantitative competitiveness of the industry by analyzing intra-industry trade focusing on the quality of competitiveness. Therefore, the changes in China's IT industry in the USA and Korea and in foreign trade competitiveness and quality competitiveness are clarified. The results show that the academic and policy implications of these changes in the IT industry will be a useful resource. This is the first study in Korea to attempt such an analysis. This is the first study in Korea to attempt such an analysis.
In this article, the dynamic fracture instability characteristics, including dynamic crack propagation and crack branching, in PMMA brittle solids under dynamic loading are investigated using the discrete element method (DEM) simulations. The microscopic parameters in DEM are first calibrated using the comparison with the previous experimental results not only in the field of qualitative analysis, but also in the field of quantitative analysis. The calibrating process illustrates that the selected microscopic parameters in DEM are suitable to effectively and accurately simulate dynamic fracture process in PMMA brittle solids subjected to dynamic loads. The typical dynamic fracture behaviors of solids under dynamic loading are then reproduced by DEM. Compared with the previous experimental and numerical results, the present numerical results are in good agreement with the existing ones not only in the field of qualitative analysis, but also in the field of quantitative analysis. Furthermore, effects of dynamic loading magnitude, offset distance of the initial crack and initial crack length on dynamic fracture behaviors are numerically discussed.
Purpose - The corporate culture's energy is recognized to go through the company and facilitate a new balance to realize success, which means that the culture in an environment of various organizations affects the performance of its employees. The purpose of the current research is to investigate the impact of organizational culture on employee performance. Research design, data, and methodology - The current research conducted a qualitative content analysis. The primary research approach applied by qualitative content analysis is an inductive methodology, and this approach is a type of reasoning that seeks the application of logic, which later helps develop a theory that will guide the future research. Result - Research findings of the present study indicated that five solutions to the problems encountered through the execution of culture are attached to how effective the organizational culture are when workers execute. Thus, culture is realized to boost structure, because the structure of an organization elevates the behavior of the organization. Conclusion - Workers will be aware of both the negative and positive implications of executing culture in the organization. Therefore, organization managers must learn that various employees are vital people in their vicinity, and creating a culture that would make a good rapport with them is vital.
International Journal of Knowledge Content Development & Technology
/
v.13
no.1
/
pp.101-109
/
2023
Fifteen years have passed since the enactment of the Industrial Technology Innovation Promotion Act, which promoted industry cooperation activities for universities. Therefore, the study analyzes the relationship between the university's industrial cooperation activities and the college graduates' starting salaries and provides policy suggestions on improving the direction of university-industry cooperation. The study used nine-year panel data from Graduates Occupational Mobility Survey (GOMS) to conduct an empirical analysis and found that starting salaries of college graduates were not significantly higher if the university only participated in basic industry cooperation activities. On the other hand, when the quality of university-industry cooperation activities was higher, such as job search support, the starting salary of college graduates was higher. The findings suggest that university-industry cooperation activities must focus on qualitative performances rather than quantitative approaches.
Computer technology in mathematics teaching-learning is not for teaching computer but for improving mathematics teaching-learning with computer. It is shown the use of computer technology comparing with traditional approach provides students more opportunities in order to approach abstract structure. Computer activity provides not only understanding concepts of analysis and opportunity to investigate theory but also effective background in teaching analysis. We analyze students' computer usage level on analysis education by using computer usage level according to role of computer technology. We try to get an useful educational implication on analysis education applying MATLAB through qualitative research.
Journal of Information Science Theory and Practice
/
v.9
no.3
/
pp.42-55
/
2021
Knowledge and technology resources are the most crucial sources for the achievement of sustainable development in competitive advantage. Meanwhile, few empirical studies have clarified the types of knowledge and technology resources that nonprofit organizations (NPOs) use and develop. This study aims to categorize knowledge and technology resources in NPOs that both researchers and practitioners can use to develop the nonprofit sector further. A qualitative research method was used for the study. Data were collected from 31 interviews with senior and founding members of NPOs in Thailand. Analysis of qualitative data identified five critical categories of knowledge resources: human resources, organizational practices, partnership or stakeholder involvement, operational practices, and other resources. This study also illustrates both internal and external technology resources, which are used in sample organizations. The study's findings contribute to developing a body of knowledge management literature related to the knowledge and technology resources of NPOs.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.