• International Journal of Railway
• /
• 제2권3호
• /
• pp.99-106
• /
• 2009

Checks and tests before putting safety facilities into service as well as the results of these tests are essential, time consuming and may show great variations between each other. Economic constraints and the increasing complexity associated with the development of computerized tools tend to limit the capacity of the classic approval process (manual or automatic). A reduction of the validation cover rate could result in practice. This is not compatible with the French national plan to renew the interlocking systems of the national network. The method and the tool presented in this paper makes it possible to formally validate new computerized systems or evolutions of existing French interlocking systems with real-time functional interpreted Petri nets. The aim of our project is to provide SNCF with a method for the formal validation of French interlocking systems. A formal proof method by assertion, which is applicable to industrial automation equipment such as interlocking systems, and which covers equally the specification and its real software implementation, is presented in this paper. With the proposed method we completely verify that the system follows all safety properties at all times and does not show superfluous conditions: it replaces all the indoor checks (not the outdoor checks). The advantages expected are a significant reduction of testing time and of the related costs, an increase of the test coverage rate, an answer to the new demand of railway infrastructure maintenance engineering to modify and validate computerized interlocking systems. Formal methods mastery by infrastructure engineers are surely a key to prove that more safety is not necessarily more expensive.

• 한국정밀공학회지
• /
• 제18권12호
• /
• pp.177-184
• /
• 2001

C3M(chemical mechanical micro machining) is applied for diminishing the size of burr and fabricating the massless patterning for aluminium wafer(thickness of 1${\mu}m$). It is difficult to perform the micro size machining with the radically increased shear stress. While the miniaturization and function-orientation of parts has been needed in the many field such as electronics, optics and medicine. etc., it is not enough to satisfy the industry needs in the machining technology. In this paper feasibility test of diminishing burr and fabricating maskless pattern was experimented and analyzed. In the experiment oxide layer was farmed on the aluminium with chemical reaction by ${HNO_3}$(10wt%), then the surface was grooved with tungsten carbide tool for the different condition such as the load and fred rate. The result was compared with the conventional machining to show the improvement of C3M with SEM for burr diminish and XPS for atomic existence, AFM for more precise image.

• 한국항공우주학회지
• /
• 제49권10호
• /
• pp.871-877
• /
• 2021

항공기 결함은 항공기 운영 및 조종사의 생명과 직결된 중요한 사항으로 항공기 조종 중 발생하는 임무 소프트웨어의 결함은 조종사 임무수행 및 안전에 심각한 영향을 미친다. 항공기 개발을 주관하는 단체나 소프트웨어 결함을 개발 초기에 식별하고 제거하기 위해 프로세스를 강화하고 많은 공수와 시간을 할애하고 있지만 임무 소프트웨어의 특성상 타 항전 장비와 강한 기능적 결합도(Coupling) 및 높은 복잡도(Complexity)를 가지고 있어 기존 시험 방법을 통한 소프트웨어 결함 식별 및 제거에 제약이 따른다. 본 연구는 임무 컴퓨터 연동 장비의 통신 데이터 중 피드백 데이터의 기댓값 검증을 자동화하는 도구를 개발하여 데이터 무결성 검증을 통한 임무 소프트웨어 건전성 확보 및 시험 비용 감소 효과를 분석한다.

• Computers and Concrete
• /
• 제24권2호
• /
• pp.151-158
• /
• 2019

The sustainable development principle of replacing natural resources with renewable material is an important research topic. In this study, waste LCD (liquid crystal display) glass powder was used to replace cement (0%, 10%, 20% and 30%) through a volumetric method using three water-binder ratios (0.47, 0.59, and 0.71) to make cement mortar. The compressive strength was tested at the ages of 7, 28, 56 and 91 days. The test results show that the compressive strength increases with age but decreases as the water-binder ratio increases. The compressive strength slightly decreases with an increase in the replacement of LCD glass powder at a curing age of 7 days. However, at a curing age of 91 days, the compressive strength is slightly greater than that for the control group (glass powder is 0%). When the water-binder ratios are 0.47, 0.59 and 0.71, the compressive strength of the various replacements increases by 1.38-1.61 times, 1.56-1.80 times and 1.45-2.20 times, respectively, during the aging process from day 7 to day 91. Furthermore, a prediction model of the compressive strength of a cement mortar with waste LCD glass powder was deduced in this study. According to the comparison between the prediction analysis values and test results, the MAPE (mean absolute percentage error) values of the compressive strength are between 2.79% and 5.29%, and less than 10%. Thus, the analytical model established in this study has a good forecasting accuracy. Therefore, the proposed model can be used as a reliable tool for assessing the design strength of cement mortar from early age test results.

• 한국기계가공학회지
• /
• 제13권1호
• /
• pp.1-7
• /
• 2014

An impeller is difficult to machine due to the complex, overlapping and twisted shapes that form the blades of an impeller. Therefore, most CAM software companies have developed a CAM module for manufacturing an impeller in addition to their CAM software. However, it is not easy for inexperienced users to machine impellers. The purpose of this paper is to outline the development of an automatic CAM module for the manufacturing of an impeller (E-ICAM) which is based on visual basic language and which uses a CATIA graphical environment in order to simplify the machining of impellers. The automatic CAM module generates a tool path and proposes the recommended cutting condition according to the stock and tool material. In addition, it includes a post-processor for five-axis control machining. Therefore, a user can easily machine impellers using this automation module. There are two types of impellers: the closed and open types. The closed-type impeller consists of the body and cover parts. To combine these two parts, it is necessary to create tap holes on the shroud of the body. Therefore, in the study, a drilling CAM program for a closed-type impeller is developed and manufactured by creating NC data from the developed drilling program. After manufacturing the test specimen, its compatibility was verified.

• 항공우주시스템공학회지
• /
• 제16권2호
• /
• pp.13-24
• /
• 2022

항공용 소프트웨어의 규모가 커짐에 따라 기능적 확장, 효율적인 개발 및 코드의 재사용을 위하여 객체지향 기술의 사용이 증가하고 있으나, 그 검증방안은 기존의 절차지향 프로그램 관점으로 수행되고 있다. 본 논문에서는 객체지향 기술의 특징과 객체지향 언어의 기능적 특징에서 파생되는 취약점들을 분석하고 객체지향기술이 적용된 항공용 소프트웨어의 기능 안전 무결성을 보장하기 위한 소프트웨어 개발단계(Design, Coding, Test)별 적용 가능한 검증 방안을 제시한다. 또한, 비행제어 소프트웨어 구현에 사용되는 오픈소스인 PX4에 정적분석 자동화 도구인 LDRA를 적용하여 제시한 단계별 검증 방안 중 정적분석 결과의 의미를 분석하였다.

• 대한간호학회지
• /
• 제52권5호
• /
• pp.535-549
• /
• 2022

Purpose: The study aimed to design and develop an automated personalized self-care (APSC) program for patients with type 2 diabetes mellitus. The secondary aim was to present a clinical protocol as a mixed-method research to test the program effects. Methods: The APSC program was developed in the order of analysis, design, implementation, and evaluation according to the software development life cycle, and was guided by the self-regulatory theory. The content validity, heuristics, and usability of the program were verified by experts and patients with type 2 diabetes mellitus. Results: The APSC program was developed based on goal setting, education, monitoring, and feedback components corresponding to the phases of forethought, performance/volitional control, and self-reflection of self-regulatory theory. Using the mobile application, the participants are able to learn from educational materials, monitor their health behaviors, receive weekly-automated personalized goals and feedback messages, and use an automated conversation system to solve the problems related to self-care. The ongoing two-year study utilizes a mixed method design, with 180 patients having type 2 diabetes mellitus randomized to receive either the intervention or usual care. The participants will be reviewed for self-care self-efficacy, health behaviors, and health outcomes at 6, 12, 18, and 24 months. Participants in the intervention group will be interviewed about their experiences. Conclusion: The APSC program can serve as an effective tool for facilitating diabetes health behaviors by improving patients' self-care self-efficacy and self-regulation for self-care. However, the clinical effectiveness of this program requires further investigation.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제5권7호
• /
• pp.319-326
• /
• 2016

어플리케이션의 구매 결정 소요시간이 짧은 동시에 구매 취소 역시 간편한 모바일 앱의 속성을 고려했을 때, 사용 편리성은 모바일 앱이 제공해야 할 다양한 품질 요소들 중 상위의 우선순위를 가지는 요소라 할 수 있다. 이러한 배경에서 모바일 앱 개발자들은 앱의 상품성을 저하시키는 사용성 저해 요소를 여러 가지 측면에서 최소화시키는데 많은 노력을 기울이고 있다. 모바일 앱의 사용 편리성을 저해하는 대부분의 요소는 GUI 설계시에 발생되는 잠재적인 오류들로부터 기인한다. 우리는 앞선 연구에서 사용자 행위 로그를 이용한 모바일 앱의 사용성 분석 기법을 제안한 바 있다. 본 논문에서는 앞선 연구 결과를 토대로 사용자 행위로그를 유한 상태 모델로 표현하고, 여러 명의 사용자로부터 추출된 사용자 행위모델을 병합하여 설계자의 의도가 반영된 설계 행위모델과 비교해 나감으로써, 체계적으로 모바일 앱의 GUI 모델상에 잠재된 사용성 저해 요소 검출해 내는 기법을 제안하고 있다. 또한 기존 개발자들이 사용성 오류 검출을 위해 행해왔던 반복적인 테스트 작업의 부담을 줄이기 위해, 본 논문에서는 제안 된 기법의 자동화가 가능하도록 하는 사용성 오류검출 자동화 도구를 함께 제안하고 있다. 제안된 기법과 도구의 효용성은 실제 오픈 소스 앱 개발자들에 의해 제기된 GUI 이슈 리포트와 제안된 기법에 의해 검출된 이상징후들 간의 비교를 통해 논의하고 있다.

• 대한임상검사과학회지
• /
• 제49권4호
• /
• pp.350-358
• /
• 2017

용혈 지수(hemolysis index)는 생화학 장비에서의 용혈을 위한 반정량 지표이다. 용혈 지수의 특성이 상업 플랫폼마다 다르기 때문에 용혈 지수의 표준화 또는 일치화는 현재 되어 있지 않다. 진단검사의학에서 일치화(harmonization)는 측정 절차와 상관없이 동일한 결과와 동일한 해석을 할 수 있는 능력을 말한다. 임상 환자의 혈액 중에서 무작위로 추출한 40개의 검체를 인위적으로 체외 용혈(in vitro hemolysis)시킨다. 혈액 자동화 장비인 XE-2100 (Sysmex, Japan)에서 측정된 혈청 헤모글로빈을 기준으로 검체의 혈청을 0~300 mg/dL 사이에서 20 mg/dL 차이로 각각을 희석시킨다. 희석된 혈청 헤모글로빈을 생화학 자동화 장비 Hitachi-7600 (Hitachi, Japan)으로 측정하여 용혈 지수와 혈청 헤모글로빈을 평가하였다. 용혈 지수와 혈청 헤모글로빈은 선형성을 보였으며 용혈 지수 1은 대략 혈청 헤모글로빈 20 mg/dL 정도였다. 용혈 거절 기준을 결정하기 위해 용혈 지수를 세 그룹으로 나눈다: 용혈 지수 0~1, 용혈지수 4~6, 용혈 지수 9~15. 또 다른 임상 검체 40개의 검체를 Hitachi-7600 (Hitachi, Japan)로 각각의 임상 검사 종목을 측정한 후, 각각의 검체를 주사기의 피스톤을 앞 뒤로 움직여 인위적인 체외 용혈을 시키고 Hitachi-7600 (Hitachi, Japan)로 측정하였다. 세 그룹 사이의 임상 검사 종목의 용혈로 인한 백분율 차이(percentage difference)를 ANOVA 또는 Kruskal-Wallis test 분석하였다. 사후 검정에서 용혈 지수 0~1인 그룹과 용혈지수 5~6인 그룹 사이에 유의한 차이가 나는 종목들은 Glucose, creatinine, total protein, AST, direct bilirubin, uric acid, phosphorus, triglyceride, LDH, CPK, magnesium, potassium이였다. 많은 임상 검사 종목들이 용혈지수 4~6인 그룹과 참조 그룹인 용혈지수 0~1인 그룹 간에 통계적으로 유의미한 차이를 보이기 때문에 용혈 기준은 대략 용혈지수 5 (혈청 헤모글로빈 100 mg/dL)가 적합하다 판단된다.

• 한국기계가공학회지
• /
• 제10권6호
• /
• pp.50-55
• /
• 2011

The fluid power products are widely used in current industrial area such as automation of products and equipment assembly, high-tech machine tool, aircraft, train, and etc. As the development of industry is in progress, the development of the fluid power products is demanding and it is required in every industrial area. This research proposed a pneumatic system to evaluate displacement accuracy of the pneumatic actuator without external load and to analyze capability of integration of the valve system. The pneumatic system consisted of a combination of pneumatic actuator, four two-port valves, two three-port valves, two pressure valve, a check valve, two proximity sensors, and a program logic controller (PLC). The position controller is based on the PLC connected with the proximity sensors. The maximum air pressure applied for tests was $49.05N/cm^2$ and the displacement accuracy of a stroke was measured using a dial gauge. The supply- and discharge-side of air pressure and the length of the stroke of the pneumatic cylinder were varied The test of the position control of the pneumatic cylinder was carried out 50 times at each supply- and discharge-side air pressure of 24.53/34.34, 29.43/39.24, 34.34/44.15, and $39.24/49.05N/cm^2$ and replicated three times. The accuracy of the displacement of the pneumatic cylinder stroke increased as the supply- and discharge-side of air pressure increased with the stroke length of 133mm. Also the displacement accuracy increased as the stroke length increased with the fixed supply- and discharge-side of air pressure of the pneumatic cylinder as 34.34 and $44.15N/cm^2$, respectively. The most accurate displacement of the pneumatic cylinder was obtained at the supplyand discharge-side of air pressure of 39.24 and $49.05N/cm^2$, respectively, and strokes of 170 and 190mm.