UML (Unified Modeling Language) is widely used to analyze and design target software. Developers also implement the target software based on the UML artifacts. However, it is difficult to validate whether the artifacts are generated to correspond to the modeling guidelines because the guidelines for UML modeling are described in natural language. This paper discusses rule based model checker focused on whether models are designed according to modeling methodology. We propose rules and their own checker, named GARDIAN, for UML model validation. The checkers are designed for COMET method for the real-time embedded system. We illustrate our checkers using Intelligent Robot system to validate our approach.
Types of innovation can be categorized into simplification, information, automation, and intelligence. Intelligence is the highest level of innovation, and RPA can be seen as one of intelligence. Robotic Process Automation(RPA), a software robot with artificial intelligence, is an example of intelligence that is suited for simple, repetitive, large-scale transaction processing tasks. The RPA, which is already in operation in many companies in Korea, shows what needs to be done to naturally focus on the core tasks in a situation where the need for a strong organizational culture is increasing and the emphasis is on voluntary leadership, strong teamwork and execution, and a professional working culture. The introduction was considered naturally according to the need to find. Robotic Process Automation, or RPA, is a technology that replaces human tasks with the goal of quickly and efficiently handling structural tasks. RPA is implemented through software robots that mimic humans using software such as ERP systems or productivity tools. RPA robots are software installed on a computer and are called robots by the principle of operation. RPA is integrated throughout the IT system through the front end, unlike traditional software that communicates with other IT systems through the back end. In practice, this means that software robots use IT systems in the same way as humans, repeat the correct steps, and respond to events on the computer screen instead of communicating with the system's application programming interface(API). Designing software that mimics humans to communicate with other software can be less intuitive, but there are many advantages to this approach. First, you can integrate RPA with virtually any software you use, regardless of your openness to third-party applications. Many enterprise IT systems are proprietary because they do not have many common APIs, and their ability to communicate with other systems is severely limited, but RPA solves this problem. Second, RPA can be implemented in a very short time. Traditional software development methods, such as enterprise software integration, are relatively time consuming, but RPAs can be implemented in a relatively short period of two to four weeks. Third, automated processes through software robots can be easily modified by system users. While traditional approaches require advanced coding techniques to drastically modify how they work, RPA can be instructed by modifying relatively simple logical statements, or by modifying screen captures or graphical process charts of human-run processes. This makes RPA very versatile and flexible. This RPA is a good example of the application of digital to intelligence(D2I).
In the acquisition program, the conceptual design is the most important step toward specifying the military objectives, establishing requirements and determining future developmental directions, of a target system. However, if both the requirements and directions are incorrectly set due to the lack of development experiences and literature backgrounds in the target systems, such as future ground combat vehicles, it may become a major risk in the future design phases and the entire acquisition program. In order to correct these errors in the future phases, time, effort and cost are required. Therefore, it is necessary to reduce the errors that occur in the initial stages to effectively acquire the future ground combat vehicles. This paper describes the initial design method for verifying the requirements and the developmental directions and estimating the system performance at the conceptual design through the system-level physical modeling and simulation (M&S) and the target system performance analysis. The system-level physical M&S use cutting-edge design tools, model-based designs and geometric-based designs. The system performance estimation is driven from the results of the system-level physical M&S and the specialized system analysis software.
Objective: This study aims to analyze research trends related to software education for young children, focusing on studies published in Korea from 2016 to 2019 March. Methods: A total of 26 research publications on software education for young children, searched from Korea Citation Index and Research Information Sharing Service were identified for the analysis. The trend in these publications was classified and examined respectively by publication dates, types of publications, and the fields of study. To investigate a means of research, the analysis included key topics, types of research methods, and characteristics of the study variables. Results: The results of the analysis show that the number of publications on the topic of software education for young children has increased over the three years, of which most were published as a scholarly journal article. Among the 26 research studies analyzed, 16 (61.5%) are related to the field of early childhood education or child studies. Key topics and target subjects of the most research include the curriculum development of software education for young children or the effectiveness of software education on 4- and 5-year-old children. Most of the analyzed studies are experimental research designs or in the form of literature reviews. The most frequently studied research variable is young children's cognitive characteristics. For the studies that employ educational programs, the use of a physical computing environment is prevalent, and the most frequently used robot as a programming tool is "Albert". The duration of the program implementation varies, ranging from 5 weeks to 48 weeks. In the analyzed research studies, computational thinking is conceptualized as a problem-solving skill that can be improved by software education, and assessed by individual instruments measuring sub-factors of computational thinking. Conclusion/Implications: The present study reveals that, although the number of research publications in software education for young children has increased, the overall sufficiency of the accumulated research data and a variety of research methods are still lacking. An increased interest in software education for young children and more research activities in this area are needed to develop and implement developmentally appropriate software education programs in early childhood settings.
Jeong, Eun Seong;Yang, Myongkyoon;Son, Daesik;Cho, Seong In
Proceedings of the Korean Society for Agricultural Machinery Conference
/
2017.04a
/
pp.143-143
/
2017
산업이 고도화됨에 따라 자동화 기계 및 로봇에 의해 대량 생산 되는 품목과 달리, 작업 절차의 비정형성, 비연속성 등으로 인해 여전히 농업에 많은 인력이 투입되고 있다. 국제노동기구에 따르면, 세계 인력의 절반이 농업 인력에 해당하고 작업 중 부상이나 사망 등으로 인해 가장 위험한 직업군 중 하나에 해당하는 것으로 나타났다. 시설 재배 농업의 경우, 노동집약적인 온실 내 작업 특성상 잘못된 자세로 작업하거나 지나친 작업량 등으로 인해 작업자에게 근골격계 질환이 발생할 수 있다. 근골격계 질환으로 인해 작업효율이 감소하거나 생산비용의 증가로 이어질 수 있으며, 농가 수익에 손실이 발생할 수 있다. 이에 본 연구에서는 현행 시설 재배 농업에서 사용되는 레일 전동 작업차를 이용하여 작업자가 토마토를 수확할 때의 신체에 대한 농작업의 부하를 평가하고자 하였다. 작업차를 이용한 주요 작업 절차는 작물로부터 과실 수확, 과실 상자에 과실 투입, 빈 과실 상자와 가득 찬 과실 상자의 교대, 작업차 위의 과실 상자를 운반용 파레트에 하역하는 순서로 이루어지는 것을 확인하였다. 비디오장비로 촬영된 일련의 농작업 과정을 OWAS, RULA, REBA와 같은 체크리스트형 인간공학적 작업 부하 평가 도구를 이용하여 평가한 결과, 기존 레일 전동 작업차를 이용한 농작업의 근골격계 질환 유발 가능성을 확인하였다. 동작별 위험성을 토대로 근골격계 질환 유발 가능성이 높아 개선이 필요한 농작업 동작을 선정하였다. 선정된 동작은 실험실 내 환경에서 피실험자를 통한 모의 동작의 생체 신호 계측을 통해 신체 부하 정도를 정량적으로 측정할 수 있으며, 보조가 필요한 신체 부위를 특정하거나 안전성 확보가 필요한 동작에 대한 증거가 될 수 있다. 본 연구를 통해 향후 토마토 온실 내 신선도 유지를 위한 레일 전동 작업차의 개발에 작업자의 안전과 효율성 향상을 위한 인간공학적 설계를 적용할 수 있을 것으로 기대한다.
In this paper, the author researched to enhance course outcomes while increasing the interest in engineering design through the 'Introduction to Engineering Design Course'. Deviating from the current practice of engaging in content-oriented lectures, the redesign of the weekly lecture has been conducted with a focus on learning achievement in order to enhance design competency, teamwork and communication skills, which are the goals of the PO3, PO6 and PO7, respectively. Moreover, assessment tools have been developed according to learning achievement, and rubrics, the measurement criteria, have been defined according to the respective assessment tools, along with course goals for learning achievement and results analysis. To enhance course learning achievement, as well as to induce interest in and satisfaction with the 'Introduction to Engineering Design Course', a design project utilizing a Boe-Bot robot has been carried out. An evaluation on learning achievement and lecture has identified an increase in learning achievement and interest in design in comparison with that of previous lectures.
Journal of The Korean Association of Information Education
/
v.26
no.5
/
pp.361-374
/
2022
The National Institute of Special Education developed and distributed software textbooks for disabled students according to the necessity of practical course in elementary school and information in middle school in the 2015 revised curriculum. It is a textbook provided from the perspective of education opportunity equity but the content of programming education for visually impaired students was insufficient. Therefore this study was conducted for the purpose of confirming the effectiveness of programming education for visual impaired students and providing the direction of future programming education. In order to achieve the purpose, programming classes were conducted for blind students in the 6th grade of elementary school. As a result of a study using "Blocks4All", a block-based programming tool with robots, students participated in classes actively and efficacy, intrest, and usefulness of programming are high. This study is meaningful in that it confirmed the possibility of programming education for visually impaired students.
Seung-Gi Kim;Sung-Yoon Jung;Beom-ki Hong;Hyun-Jun Shin;Kyoung-Ho Kim;Se-Hoon Park
Journal of the Institute of Convergence Signal Processing
/
v.25
no.2
/
pp.67-76
/
2024
Various types of assistive devices have been developed for upper limb amputees over the years, with myoelectric prosthesis particularly aimed at improving user convenience by enabling a range of hand gestures beyond simple grasping, tailored to the size and shape of objects. In this study, we developed a five-finger myoelectric prosthesis mimicking human hand size and finger movements, utilizing motor and worm gear mechanisms for stable and independent operation. Based on this, we designed a control system for independent finger control through electromyographic signal input, proposed a state transition-based hand gesture conversion algorithm by selecting representative eight hand gestures and defining conversion condition parameters. We introduced training and usability evaluation methods, and conducted usability assessments among upper limb amputees using dedicated tools, confirming the potential for commercial application of the algorithm and observing adaptive capabilities and high performance through iterative evaluations.
Most of product designers use 3D CAD system as a inevitable design tool nowadays and many new products are developed through a concurrent engineering process. However, it is very difficult for novice designers to get the sense of reality from modeling objects shown in the computer screens. Such a intangibility problem comes from the lack of haptic interactions and contextual information about the real space because designers tend to do 3D modeling works only in a virtual space of 3D CAD system. To address this problem, this research investigate the possibility of a interactive quantified structure simulation for product design using AR(augmented reality) which can register a 3D CAD modeling object on the real space. We built a quantified structure simulation system based on AR and conducted a series of experiments to measure how accurately human perceive and adjust the size of virtual objects under varied experimental conditions in the AR environment. The experiment participants adjusted a virtual cube to a reference real cube within 1.3% relative error(5.3% relative StDev). The results gave the strong evidence that the participants can perceive the size of a virtual object very accurately. Furthermore, we found that it is easier to perceive the size of a virtual object in the condition of presenting plenty of real reference objects than few reference objects, and using LCD panel than HMD. We tried to apply the simulation system to identify preference characteristics for the appearance design of a home-service robot as a case study which explores the potential application of the system. There were significant variances in participants' preferred characteristics about robot appearance and that was supposed to come from the lack of typicality of robot image. Then, several characteristic groups were segmented by duster analysis. On the other hand, it was interesting finding that participants have significantly different preference characteristics between robot with arm and armless robot and there was a very strong correlation between the height of robot and arm length as a human body.
Journal of the Korea Society of Computer and Information
/
v.19
no.4
/
pp.149-158
/
2014
The rapidly changing 21st-century knowledge and information society is emphasizing converged education that crosses various academic fields. In particular, the society expected the cultivation of the talent who balance scientific creativity and artistic sensitivity by adding arts to the existing converged education revolving around science and technology. However, at present, most STEAM education has been actively conducted with a focus on science and technology, whereas the subject of arts has been regarded or utilized as a supplementary means. Its problem is that the educational characteristics and values of art education have not been effectively utilized in educational terms and this could lead to superficial integrated education. In this respect, this study had the knowledge of various fields, such as science, technology, and mathematics, utilized usefully during the process of experiencing and creating arts. Accordingly, this study designed an education programs as with the case of Nam-Jun Baek who expanded the dominion of arts by creatively utilizing his own time's scientific technologies. In this educational process, the target program was developed in a manner that enables EPL to be utilized essentially as the study's knowledge-based tool and medium. The results of applying this educational program in 5th-grade elementary school students showed that the program has positive effects on the creative attributes of the students.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 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일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.