http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
권민혁(Minhyuk Kwon),신승철(Seungcheol Shin) 한국정보과학회 2010 정보과학회 컴퓨팅의 실제 논문지 Vol.16 No.2
발전소와 임베디드 시스템, 지능형 빌딩과 같은 현대의 대부분의 시스템은 PLC 라는 특수목적 컴퓨터를 이용하여 자동제어된다. PLC 프로그래밍 언어 중에서 가장 많이 사용하는 것은 LD 프로그램이다. LD 프로그램의 검증은 시뮬레이션과 테스팅등을 통해 이루어지는데 이러한 방법은 프로그램 검증에 한계가 있다. 본 논문에는 LD 프로그램의 검증시 모델 체킹을 사용할 수 있도록 주어진 LD 프로그램을 모델 체커의 입력으로 자동으로 변환하는 방법을 기술한다. LD 프로그램과 SMV 모델의 의미구조를 정의 하고 이를 바탕으로 의미가 보존되는 변환 함수를 정형적으로 나타낸다. PLCs are special purpose microcontrollers used in most automatic control systems such as plants, embedded systems, and intelligent buildings. LD is one of the most popular languages among PLC languages. For now LD programs are mainly verified by simulation and testing which has a lot of limitation. This paper describes how to translate a given LD program into an input of a model checker so that LD program is verified by model checking. We define formal semantics of LD programs and SMV models and specify a formal definition of the translation function which preserves semantics between LD programs and SMV models.
권민혁(Minhyuk Kwon),신승철(Seungcheol Shin) 한국정보과학회 2007 한국정보과학회 학술발표논문집 Vol.34 No.2C
산업자동화, 임베디드시스템, 지능형 빌딩, 유비쿼터스 환경 구축 등의 다양한 분야에 활용되는 PLC나 모션제어기를 위한 표준안은 IEC 61131-3이다. 이 표준안은 제어기를 위한 프로그래밍 환경과 언어의 문법구조를 정의하고 있으나, 도식적으로 표현되는 LD 프로그램의 저장 형식이 제시되지 않아서 관련 소프트웨어마다 서로 다른 저장 형식을 사용한다. PLCopen 그룹에서 배포한 표준 저장 형식 XML 스키마를 사용하면 데이터의 교환과 연동 언어들의 호환이 가능하다, 본 논문은 표준 XML 스키마를 기반하는 LD 그래픽편집기를 구현한다. 구현 형태는 Eclipse 플러그인으로서, Eclipse 도구인 EMF와 GEF를 이용하였다.
( Geonwoo Lee ),( Minhyuk Kwon ),( Seungwoo Shin ),( Juseong Lee ),( Yunseo Choi ),( Jeongran Ko ),( Jae Yong Jang ),( Junghoon Kim ) 대한운동사협회 2022 대한운동사협회 운동사대회자료집 Vol.2022 No.-
OBJECTIVES ‘Ocean healing’ refers to treatments using seawater, seaweed, mud, sand, and all substances coming from the sea used for curative and preventative purposes. Previous studies have been supported the use of seawater to therapy in improving physical and mental health. However, the clinical effects of ocean healing program using leisure-sports remain unknown. Therefore, we investigated the effect of the ocean healing program using a stand-up paddle board (SUP) on body composition and dynamic balance in middle-aged women. METHODS Thirty women aged ≥30 years participated for this study and were randomly classified into SUP group (N=15, mean age: 50.0±13.5 years) and control group (N=15, mean age: 52.0±12.6 years). Body weight, body mass index, %body fat, skeletal muscle mass, and skeletal muscle index were measured using InBody. We also conducted the Y-balance test to measure the dynamic balance ability. Participants in the intervention group performed the SUP program 3 times a week for 60 min, and the total intervention period was 10 weeks. RESULTS In the intervention group, 13 women completed the 10-week intervention. Body weight (P=0.004) and %body fat (P=0.002) was significantly decreased in the SUP group after intervention. Moreover, we found that skeletal muscle mass was increased in SUP group (P=0.029) but not in control group. Compared to the control group, the score of Y-balance test of the intervention group were significantly improved (baseline: 85.6±7.6 vs post: 96.2±5.4, P<0.001). CONCLUSIONS On trial completion the primary outcome (body weight, %body fat, and skeletal muscle mass) was significantly improved compared with control group. We also found improved dynamic balance in the SUP group after 10 weeks intervention. Our findings suggest that implementation of an ocean healing program is an effective intervention to enhance body composition and dynamic balance in middle-aged women.