최근 이더넷 신호를 융통성 있게 구성하도록 하는 FlexE는 OTN을 통해 투명하게 전달하기 위하여 OTN으로 수용하는 것을 ITU-T에서 권고하고 있다. FlexE신호를 OTN 페이로드로 맵핑할 때 발생할 수 있는 비트율 차이를 보상하기 위하여 유휴 코드워드를 제거하거나 삽입하는 방법을 사용한다. 그러나 이와 같은 방법을 구현하기 위해 필요한 세부적인 기능 블록은 아직 공개되고 있지 않다. 본 논문에서는 최근 ITU-T 요구사항을 기초로 하여 400G급을 기준으로 FlexE 신호의 OTN 맵핑을 위한 세부적인 기능 블록을 살펴보았다. 또한 세부 기능 블록을 바탕으로 유휴 코드워드의 제거 및 삽입되는 발생 특성을 얻기 위하여 수학적인 분석을 하였고, 이를 이용한 시뮬레이션을 결과를 보였다.
To develop functional workwear for fishing, this study investigated the working conditions, inconveniences and problems associated with workwear, and functions required for workwear. A questionnaire was used for the study, and SPSS 26.0 was used for the analysis. In total, 124 fishermen participated in this survey (ages: 53.2 ± 11.9), consisting of 84.7% males and 15.3% females. The number of participants whose work experience was more than 10 years and less than 20 years was 46, accounting for 37.1%. Most fishing industry was in danger of getting hit by machinery or clothes. Fishermen preferred two-piece style workwear, and a waterproof fabric was the most important factor considered while purchasing the workwear. Their discomfort while moving in their workwear was attributed to the stretching of their hips, thighs, crotch, and knees when lifting their legs or squatting. Preferences depended on the type of fishery and the age of fishermen. Protection was emphasized for aquaculture fishing, while the activity was emphasized for capture fishing. People in their 50s emphasized the protection provided by the workwear, while others emphasized the activity. In the future, substantial research is necessary to develop workwear that reflects fishermen's requirements.
교통약자 즉, 장애인과 노약자의 자립생활과 사회통합을 위한 장애물 없는 생활환경(Barrier-Free)의 실현은 건축, 도시, 교통, 도로 등 통합적인 측면에서 생활환경의 설계기준 재정비 등 하드웨어적인 측면과 함께 사회활동에 필요한 편의시설의 다양한 정보접근과 이용 등 소프트웨어적인 측면이 동시에 충족되어야 하며, 소프트웨어적인 측면은 편의시설의 이용성을 제고하는데 있어 매우 중요한 문제이다. 이러한 측면에서 편의시설의 이용성 향상을 위해 유비쿼터스 기술 등 정보통신기술을 활용한 지원시스템 구축이 필요하다. 대표적 교통약자인 장애인 노약자가 사회생활을 하기 위하여 주거지를 넘어 다른 장소로 이동하고자 할 경우에도 이들의 목적을 달성하기에 어려움이 없도록 정보를 제공하고 지원하는 시스템이 필요하다. 장애인, 노약자의 행태조사 및 요구조사를 통한 요구사항분석과 장애인, 노약자 중심의 생활 및 이동지원시스템관련 국외 연구동향 및 관련 기술요소파악 및 시스템 요구조건과 유즈케이스를 도출하였다.
Application of computer software to safety-critical systems is on the increase. To be successful, the software must be designed and constructed to meet the functional and performance requirements of the system. For safety reason, the software must be demonstrated not only to meet these requirements, but also to operate safely as a component within the system. For longer-term cost consideration, the software must be designed and structured to ease future maintenance and modifications. This paper present a software engineering process for the production of safety-critical software for a nuclear power plant The presentation is expository in nature of a viable high quality safety-critical software development. It is based on the ideas of a rational design process and on the experience of the adaptation of such process in the production of the safety-critical software for the Shutdown System Number Two of Wolsong 2, 3 & 4 nuclear power generation plants. This process is significantly different from a conventional process in terms of rigorous software development phases and software design techniques. The process covers documentation, design, verification and testing using mathematically precise notations and highly reviewable tabular format to specify software requirements and software design. These specifications allow rigorous, stepwise verification of software design against software requirements, and code against software design using static analysis. The software engineering process described in this paper applies the principle of information-hiding decomposition in software design using a modular design technique so that when a change is' required or an error is detected, the affected scope can be readily and confidently located. It also facilitates a sense of high degree of confidence in the ‘correctness’ of the software production, and provides a relatively simple and straightforward code implementation effort.
ISO/IEC 9000에 의하면 품질이란 사용 시 사용자 요구사항을 만족시키는 제품이나 서비스의 특성을 종합한 개념으로 정의하고 있다. 웹애플리케이션의 시큐어코딩은 안정성과 함께 정보시스템 서비스 품질을 결정짓는 요소 중의 하나이다. 시큐어코딩을 달성하기 위해서는 품질을 기반으로 하는 설계 모델이 필요하다. 그 이유는 보안도 하나의 품질 속성으로서 비 기능적 요구사항의 범위에 속하기 때문이다. 웹애플리케이션 품질평가체계 설계를 위해서는 품질의 정의를 기초로 품질속성, 품질요구사항, 품질측정 시나리오가 정의되고 설정되어야 한다. 이를 위해 IEEE 1061 품질모델을 참조한 웹애플리케이션 품질모델 관리체계를 개발한다. 웹 애플리케이션 아키텍쳐 설계는 시큐어코딩 품질모델 체계, 웹어플리케이션 이해관계자 관심 도출, 아키텍처 동인 결정, 품질속성 도출, 보안품질 요구사항 설정, 웹어플리케이션 아키텍처기술서 작성, 보안 프레임워크 설계 순서로 구성된다.
소프트웨어의 개발 단계 중 품질을 결정하는 주요 단계는 요구 명세 단계로 알려져 있다. 따라서, 소프트웨어 개발 업체는 소프트웨어 요구명세서의 분석을 가장 중요한 단계 중 하나로 취급하고 있고, 특히 안전성이 중요한 시스템의 경우에는 시스템을 운영하기 위하여 국내와 국제적인 규제 기관에서는 요구 명세의 분석을 통한 안전성의 입증을 요구한다. 소프트웨어의 요구 명세 분석을 위한 방법 중 인스펙션과 정형 검증이 가장 효과적인 방법으로 알려져 있다. 본 논문에서는 SCR-style의 요구 명세를 정리 증명기인 PVS를 이용하여 정형 검증을 수행하는 방법을 제안하였다. 그리고, 논문에서 제안된 방법으로 실제 월성 원자력 발전소의 정지 시스템의 검증을 수행하였다. 이 시스템은 인스펙션으로 검증된 적은 있으나 정형 검증 방법으로는 증명된 적이 없고, 국내에서 실제 운영되는 산업계시스템에 정형 검증 방법이 적용된 사례는 매우 드물기 때문에 차후 정형 검증 방법을 적용하기 위한 평가로서도 이와 같은 실험적인 적용이 매우 중요하다.
In this paper, we propose an edge cloud platform architecture for implementing smart factory. The edge cloud platform is one of edge computing architecture which is mainly focusing on the efficient computing between IoT devices and central cloud. So far, edge computing has put emphasis on reducing latency, bandwidth and computing cost in areas like smart homes and self-driving cars. On the other hand, in this paper, we suggest not only common functional architecture of edge system but also light weight cloud based architecture to apply to the specialized requirements of smart factory. Cloud based edge architecture has many advantages in terms of scalability and reliability of resources and operation of various independent edge functions compare to typical edge system architecture. To make sure the availability of edge cloud platform in smart factory, we also analyze requirements of smart factory edge. We redefine requirements from a 4M1E(man, machine, material, method, element) perspective which are essentially needed to be digitalized and intelligent for physical operation of smart factory. Based on these requirements, we suggest layered(IoT Gateway, Edge Cloud, Central Cloud) application and data architecture. we also propose edge cloud platform architecture using lightweight container virtualization technology. Finally, we validate its implementation effects with case study. we apply proposed edge cloud architecture to the real manufacturing process and compare to existing equipment engineering system. As a result, we prove that the response performance of the proposed approach was improved by 84 to 92% better than existing method.
This work has been conducted as a part to set up the regulations and the scientific evaluation systems for the functional dairy products with health claims in Korea. Toward this end, current regulations, requirements, and all kinds of provisions related to the functional dairy products overseas were taken into accounts and feasible recommendations of new initiatives on the current regulations as well. By doing so, not only protecting hopefully the innocent consumers from the false labeling statements and fake advertisements, but also eventually to revitalize the stagnated domestic dairy industries. Currently, functional daily products are simply regarded as "Dietary Supplements" in the United States, and subjected to the regulations under the Dietary Supplement Health and Education Act, established m 1994. Manufacturers and sales distributors should notify their products to the FDA, which is in charge of the dietary supplements on nutrition and labeling, in advance when they start marketing a new dietary ingredient or any foods containing it in the States. For EU countries, there exists keen interests about the functional food products between the member countries of the European Union even though the products are categorized into "Food Supplements" similar to those in the United States. Therefore, they maintain a cautious attitude in applying the health claims to the functional food products. On the other hand, under the Japanese health food system, functional foods are qualified to the functional health foods in terms of legal status as long as any traditional foods can meet the legal standards in its effectiveness, safety as well as quality, along with significant scientific evidences related to the products, thus categorized into "Foods for Specified Health Uses and "Foods with Nutrient Function Claims". Through this study, we may have some expectations and potential utilizations as follows: Legal regulations of dietary supplements especially for the dairy products will be implemented by the outcomes of this research and proposed a tentative amendment of functional ingredients for the sake of consumer protection from the false advertisements and overstatement labeling. Current regulations on the animal foods processing and advertisements will be amended and supplemented in order to revitalize the current downturn dairy sales and to harmonize the international Codex recommendations. The results obtained from this study will make the consumers a wise selection of the dairy products with health claims and be utilized for consumer education and advertisement of the functional products as well.
함정은 일반성능, 특수성능, 탑재장비 성능과 관련된 수많은 요구사항이 있으며, 장기간에 걸친 설계 및 건조기간 동안 요구사항은 각 시스템에 반영되고 구현되어야 한다. 요구사항은 설계기간 동안 작성되는 도면, 보고서, 제안요청서, 사양서 등 다양한 문서들을 통해 구체화 된다. 그러나 함정과 같은 복합시스템의 경우 이런 산출물을 통해 요구사항 추적성을 유지하며 요구사항을 관리하는 것에 많은 어려움이 따른다. 함정의 설계 및 건조기술은 오랜 역사 속에 발전되어 왔기 때문에 기존의 문서기반 설계 방식에 익숙하지만, 각종 설계 산출물과 요구사항, 그리고 시스템의 기능, 물리 아키텍처 간 추적성 관리는 어려움이 있다. 함정의 기본설계는 함정 제원 및 성능, 탑재장비 선정 및 배치, 연동 등을 확정하는 중요한 단계이며 시스템 아키텍처 설계 구현을 위한 구체적인 적용 방법 연구를 통해 변화가 요구된다. 따라서 함정 기본설계 단계에 적합한 요구사항 설계 적용을 위한 시스템 아키텍처 설계 방법 연구가 필요하다. 본 논문에서는 요구사항으로 부터 시스템 아키텍처 설계를 수행하고 SE 기반 기술검토 프로세스를 통해 확인하는 방법을 연구하였다. 잠수함 시스템 아키텍처 설계를 위해 요구사항 분석, 아키텍처 설계, 설계 실행 및 통합의 각 단계별 세부 수행사항과 내용을 제시하였다. 이를 통해 효과적인 시스템 요구사항 개발 및 아키텍처 설계가 가능하였으며, 단계별 추적성 관리, 요구사항의 확인 측면에서 효과적임을 확인하였다. 향후 잠수함을 비롯한 다양한 함정에 제시한 프로세스 적용이 가능할 것으로 판단된다.
제조 클라우드는 여러 공장이 연결되어 단일 공장처럼 구성되어 사용자의 요구사항에 유연하게 대처할 수 있는 새로운 제조 패러다임이다. 이러한 기능을 제공하는 제조 클라우드 시스템은 클라우드 컴퓨팅, 사물인터넷, 인공지능과 같은 컴퓨팅 기술을 활용하여 분산되어 있는 제조 시설 간의 협업을 통한 유연 생산에서 안정성, 고신뢰성, 연동성 등을 제공하는 일종의 대규모 CPS이다. 제조 클라우드 CPS는 많은 수와 다양한 종류의 이기종 서브시스템들로 구성되어 있는데 이 때문에 서브시스템 간 연동, 데이터 교환, 시스템 통합 등에 문제가 발생할 수 있어 대규모의 제조 클라우드 CPS을 구성하는데 어려움을 겪고 있다. 본 논문에서는 이러한 어려움을 극복하기 위하여 제조 클라우드를 체계적으로 분석하고 분석 결과를 바탕으로 제조 클라우드 CPS를 효과적으로 지원할 수 있는 플랫폼 참조 모델을 제안한다. CPS 분석 방법론인 CPS 프레임워크를 활용하여 제조 클라우드 CPS의 기능적, 인간적, 신뢰성, 시간적, 데이터 및 구성의 측면에서 사용자 요구사항을 도출하고 이들을 분석하여 확장성, 구성성, 상호 작용성, 신뢰성, 시간성, 상호 운용성, 지능성의 영역에서 시스템 요구사항을 정의한다. 정의된 제조 클라우드 CPS 시스템 요구사항을 바탕으로 플랫폼을 구성하기 위하여 IoT 플랫폼 표준인 oneM2M의 요구사항에 매핑하고 oneM2M 구현물인 Mobius를 통하여 요구사항 지원성 검증 실험을 수행하였다. 수행 결과를 분석하여 현재 사물인터넷 플랫폼의 제조 클라우드 CPS 지원성을 확인하고 이를 확장하여 대규모 제조 클라우드 생산을 지원하는 플랫폼 참조 모델을 제안한다.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 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일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.