Recently manufacturing companies have used PLC control programs popularly for their automated production systems. Since the life cycle of production process is not so long, the change of the production lines occur frequently. Most of changes happen with modification of the position information and control process of the equipment. PLC control program is also modified based on the fundamental process. Therefore, to verify new PLC program by configuring virtual space according to real environment is needed. In this paper we show a logical modeling method, based on Timed-FSA useful for sequence control and dead-lock prevention. There is a problem wasting user's labor and time when defining a variety of states in a device. To overcome this problem, we propose an extended I-O model based on existing methods by adding a token concept of Petri Nets. Also we will show the usability of the extended I-O modeling through user study.
Hyeomg-Jun, Jeon;Yoon-Soo, Na;Yeo-Gyun, Youn;Kyeong-Ho, Kim;Hee-Woon, Ahn;Jae-Wook, Kim
The Journal of the Korea institute of electronic communication sciences
/
v.17
no.6
/
pp.1199-1206
/
2022
In this paper, unlike door locks that are controlled only by the existing keypad because electronic devices can be easily operated through apps on smartphones in modern society, an app was created using app inventory so that door locks can be controlled using smartphones. Through the Bluetooth module experiment, the communication distance with the smartphone was controlled up to 10m when there were no obstacles, and through the voice recognition experiment, the recognition rate was 85% and 90% at 500~1000Hz and 1000~1500Hz, respectively, and 70% and 80% at 80dB noise. Through the results of the experimental evaluation, it was confirmed that convenience and security could be improved.
The Journal of the Institute of Internet, Broadcasting and Communication
/
v.22
no.6
/
pp.7-12
/
2022
This paper introduces the implementation of the AWS IoT service and MQTT based smart home system. The smart home system implemented in this study can monitor temperature and humidity, and can manually adjust the air conditioner heating, and can check the visitors with the camera and remotely control the door lock. The implemented smart home system controls door locks, heating and air conditioners using Arduino, and manages the collected data and control information using the AWS IoT service. In this study, the Android app has been developed to allow users to control IoT devices remotely, and the MQTT protocol was used for data communication and control between the app and the AWS IoT server and Arduino. The implemented smart home system has been implemented based on AWS IoT service, which has scalability to add sensors and devices.
Purpose: The purpose of this study was to evaluate the retentive characteristics of the additional attachments used with implant bar attachment under repeated insertion/removal cycles. Materials and methods: The newly developed attachment and the commercially available attachment were investigated: ADD-Lock (AL), Locator blue (LB). Two fixtures were placed parallel to each other on the custom lower mounting, and patrix of each attachment was fixed to the fixture. Also, the matrix of each attachment was placed on the opposing upper mounting. A universal testing machine was used to measure the retentive force during initial, 100, 250, 500, 1000, 2000, and 2500 repeated insertion/removal cycles. Wear and deformation of the attachment s were observed by scanning electron microscopy (SEM). Mann-Whitney U test (α=.05) and wilcoxon signed-rank test (α=.05) were performed to compare retentive force between each group and before and after 2500 repeated insertion/removal cycles. Results: In terms of initial retentive force and retentive force after 2500 repeated insertion/removal cycles, the AL group (15.24 ± 1.46 N and 9.74 ± 1.16 N) showed significantly smaller values than the LB group (43.53 ± 12.39 N and 22.99 ± 4.77 N) (P<.05). Also, in the loss of retentive force, the AL group (5.50 ± 1.08 N, 36.08%) showed a smaller value than the LB group (20.54 ± 11.89 N, 47.19%) (P<.05). Based on SEM analysis, The AL group showed noticeable wear and deformation in the patrix and the LB group in the matrix. Conclusion: Locator showed a higher initial retentive force than newly developed attachment, while the loss of retentive force was also higher. Both additional attachments are considered to have sufficient retentive force after repeated insertion/removal cycles.
Journal of Korean Home Economics Education Association
/
v.19
no.4
/
pp.91-117
/
2007
This study was to compare the contents and practical problems addressed, the process of teaching-learning method, and evaluation method of Korean Home Economics curriculum and of the Oregon and Ohio's Practical Problem Focused Family & Consumer Sciences Curricula. The results are as follows. First, contents of Korean curriculum are organized by major sub-concepts of Home Economics academic discipline whereas curricular of both Oregon and Ohio states are organized by practical problems. Oregon uses the practical problems which integrate multi-subjects and Ohio uses ones which are good for the contents of the module by integrating concerns or interests which are lower or detailed level (related interests). Since it differentiates interest and module and used them based on the basic concept of Family and Consumer Science, Ohio's approach could be easier for Korean teachers and students to adopt. Second, the teaching-learning process in Korean home economics classroom is mostly teacher-centered which hinders students to develop higher order thinking skills. It is recommended to use student-centered learning activities. State of Oregon and Ohio's teaching-learning process brings up the ability of problem-solving by letting students clearly analyze practical problems proposed, solve problems by themselves through group discussions and various activities, and apply what they learn to other problems. Third, Korean evaluation system is heavily rely on summative evaluation such as written tests. It is highly recommended to facilitate various performance assessment tools. Since state of Oregon and Ohio both use practical problems, they evaluate students mainly based on their activity rather than written tests. The tools for evaluation include project documents, reports of learning activity, self-evaluation, evaluation of discussion activity, peer evaluation in a group for each students for their performance, assessment about module, and written tests as well.
Seo, Hee-Jun;Moon, Guee-Won;Lee, Sang-Hun;Cho, Hyok-Jin;Cho, Chang-Lae;Choi, Seok-Weon
Aerospace Engineering and Technology
/
v.4
no.1
/
pp.57-65
/
2005
Due to the future of a large size satellite like Geo-stationary orbit satellite, KARI has progressed the construction of Large Thermal Vacuum Chamber(LTVC) with Φ8mXL10m, which simulates the orbit environment at space. The space environment can be characterized as very harsh conditions. Once the spacecraft is launched and enters its orbit, the satellite is exposed to this space environment. The continuous exposure to such space environment could cause malfunction of major parts of the spacecraft, which could lead to the failure of the entire mission. Due to the fact that space environment is completely different from that of the ground, the satellite that functioned normally on the ground could show some unexpected malfunction in space environment. For this reason, the performance of the spacecraft must be confirmed under the simulated conditions of the space environment. This document includes LTVC control logic, Interlock by which the LTVC can be controlled more safely and efficiently.
본 연구는 미국에서 boat공업의 중심지 중의 하나인 Seattle의 boat 공업의 입지와 그 변화를 고찰하므로서 소기업의 입지를 구명하려고 하였다. 본 연구에서는 먼저 Seattle에서 소규모 boat제조업체가 가장 많이 집중한 Washington호와 Shilshole 만간의 운하지역을 연구지역으로 선정하려 이 지역내에 입지하고 있는 boat 제조업체의 기업주와 interview한 결과를 기본자료로 이용하였다. 이상에서 얻어진 결과는 다음과 같았다. 연구지역의 소규모 boat 공업은 boat제조에 흥미와 능력을 가진 기업가들이 boat 공업에 유리한 Seattle의 환경의 영향을 받아 그들의 기업을 그들의 오랜 거주 지역에서 시작하므로서 발생하게 되었다. 그러나 담수를 지향하는 이 공업의 입지상의 특색, 원료공급처와 제품판매처의 위치, 주위의 지형 그리고 지방정부의 정책에 기인하여 이 공업은 Chittenden Locks와 Portage 만간의 운하지역에 그 입지가 국한되었다. 다시 이 지역내에서는 주위의 지형과 토지이용, 기업의 재정적인 능력 때문에 이 운하지역에 연해있는 기존공장 혹은 건물을 이용하여 입지하게 되었다. 입지후에 이 공업은 원료공급처와 제품판매처와의 강한 linkage를 형성하고 있다. 더구나 원료공급처의 희소성에 기인한 공간적 독점과 소비자 및 제품의 특성 때문에 연구지역의 대부분의 소규모 boat 제조업체는 바로 근처에 있는 원료공급처 및 소비자와 긴밀한 contact를 하고 있고 이러한 contact를 통하여 그들의 입지를 존속시키고 있다. 한편 Seattle 이 가지고 있는 boat 공업에 유리한 기업환경의 덕택으로 이들 소규모 boat 제조업체들은 수요의 계절적인 변동에서 초래되는 노동력의 공급 때문에 곤란을 받을 뿐 장기적인 불황에 직면한 적은 없다. 이리하여 이들 업체들은 이러한 계절적인 변동에 대처하기 위해 생산 input 의 조절, 주위의 기존공장이나 건물의 병합을 통한 연속적인 확장 혹은 그들의 action space 내에 있는 기존공장이나 건물을 이용한 이동등과 같은 입지변화를 보여왔을 뿐이다. 이리하여 연구지역의 소규모 boat공업은 Seattle의 경제 system 내의 주요 subsystem의 하나로서 활발히 움직이고 있다. 그러나 만약 기업의 외부환경에서 초래되는 stress, 즉 주민의 소득저하, 타 recreation 산업이 쇠퇴하게 되면 이 공업 또한 쇠퇴될 것이다. 요컨대 담수 지향성과 관련된 입지상의 특색을 제외하고는 연구지역의 소규모 boat 공업은 타 소규모 공업과 동일한 입지상의 특색을 가지고 있다.
JavaScript is a popular technique for activating static HTML. JavaScript has drawn more attention following the introduction of HTML5 Standard. In proportion to JavaScript's growing importance, attacks (ex. DDos, Information leak using its function) become more dangerous. Since these attacks do not create a trail, whether the JavaScript code is malicious or not must be decided. The real attack action is completed while the browser runs the JavaScript code. For these reasons, there is a need for a real-time classification and determination technique for malicious JavaScript. This paper proposes the Analysis Engine for detecting malicious JavaScript by adopting the requirements above. The analysis engine performs static analysis using signature-based detection and dynamic analysis using behavior-based detection. Static analysis can detect malicious JavaScript code, whereas dynamic analysis can detect the action of the JavaScript code.
Objective : This systematic review aimed to evaluate the global literature on the effect of early intervention for preschool children with autism spectrum disorder (ASD). Methods : A literature search of the PubMed database identified 10 studies published up to December 2017, using the following search terms: autism, autism spectrum disorder, ASD, high-function autism, high-function ASD, Asperger syndrome, pervasive developmental disorder, PDDNOS, intervention, and early intervention. Results : Early intervention for children with ASD used Applied Behavior Analysis in 8 of the 10 selected studies. The other two studies used a Sensory Integration approach and Technology-based intervention. Most studies reported positive effects on communication skills, social interaction skills, intelligence, adaptive behavior, and improved attention through early intervention. Conclusions : These results suggested a basis for early intervention for children with ASD. Further research is needed to determine the effectiveness of early intervention.
Song Hyun Keun;Lee Joo Hyung;Kim Jae Moung;Eum Ho Min;Kim Seung Won
Journal of Broadcast Engineering
/
v.10
no.1
s.26
/
pp.31-42
/
2005
ATSC DTV system uses FPLL block for acquiring the frequency synchronization. Because the FPLL uses only the pilot signal, the frequency convergence range becomes narrower and it takes a more time to acquire the frequency synchronization as the pilot is distorted. And the spectrum shape around the pilot makes an asymmetric convergence range between the positive frequency offset and the negative frequency offset. This paper proposes the algorithm that requires the Installation of the fitters at the both edges of a VSB spectrum and uses the signal power that passes these filters. The proposed algorithm complements the problems of the asymmetric convergence range and overcomes the performance degradation due to the distortion of a pilot level.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 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일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.