• Journal of KIISE
• /
• v.44 no.9
• /
• pp.893-907
• /
• 2017

In safety-critical systems, software defects may have serious consequences. Therefore, defects should be considered during the requirements specification process, which is the first step of a software development lifecycle. Stakeholder requirements that are usually written in natural language are difficult to derived, and there may also be defects due to ambiguity and inaccuracy. To address these issues, we propose a requirement specification method using a standardized Boilerplate and a GSN Model. The Boilerplate is a semi-standard language that follows a predefined format. Due to its ability to provide a consistent representation of the requirements, boilerplate helps stakeholders avoid ambiguities about what they mean and to define the exact meaning of the requirement. Meanwhile, GSN is recognized notation to prepare a Safety Case to prove to authorities that a system is safe. It can be expressed as a functional goal, e.g., Safety Evidence, etc. The proposed study allows an analyst to easily identify a fault from the early stage of the software development lifecycle. The Boilerplate and GSN Model are designed to specify the requirements of safety critical systems and to prove safety conformity through a connection with Safety Evidence. In addition, the proposed approach is also useful to develop secure software by correcting deficiencies in the requirements found during this process.

• Proceedings of the Costume Culture Conference
• /
• 2004.04a
• /
• pp.47-49
• /
• 2004

최근 스포츠 레져산업의 발전으로 스포츠가 대중화됨에 따라 안전에 대한 문제가 높아지고 있으며, 각종 스포츠 경기시 발생되는 충격에 의한 보호의 기능과 경기력 향상을 위하여 밀차형 모자의 기능성과 적합성을 요구하고 있다. 특히 헬멧이나 특수용도의 모자는 적합도 문제가 더욱 중요하므로 머리 및 얼굴에 착용되는 산업제품 설계 시 이러한 부위들이 세밀하게 고려되어야 한다. (중략)

• Proceedings of the Korean Society of Dyers and Finishers Conference
• /
• 2011.11a
• /
• pp.62-62
• /
• 2011

현재 다운방한 용도에 사용되는 직물 트랜드는 경량화 및 박지화 추세에 있으며, 국내외 유명 브랜드에서 사용되는 스포츠웨어 직물소재의 대부분이 이러한 제품으로 판매가 이루어지고 있다. 현재, 국내외 다운방한용에 사용되는 원단은 겉감이외에 다운 세기방지용 안감직물을 사용하여 다운이 빠져나오지 않도록 하고 있음. 그러나, 최근 겉감으로 사용하여 다운이 세지 않고 매우 가벼우면서 Packable 원단개발이 요구되고 있을 뿐만 아니라, 다운방한직물에 요구되는 성능에 만족하거나 성능이 향상된 고기능 원단개발이 요구되고 있다. 이러한 다운방한용 직물은 다운의 내구성 및 지속성 측면에서 매우 많은 기능이 요구되고 있으며 현재 국내에서 사용하고 있는 다운방한용 직물은 다운커버직물을 사용하거나 코팅에 의해 다운세기 방지기능을 강제로 발현시키고 있다. 그러나 그 직물은 경량화 되어가고 있기 때문에 다운커버 직물을 사용하지 않으면서부터 다운이 세는 문제점, 그리고 공기투과 및 투습이 제대로 되지 못하는 기능성의 문제점, 경량화와 더불어 인열강력이 약하여 잘 찢어지는 문제점, 인열강력의 물리적 특성을 높이고자 코팅을 하게되면 기능성 및 감성이 더욱 나빠지는 문제점이 나타나게 되어 다운 방한용 직물은 큰 문제점이 되고 있다. 이에 겉감만으로도 다운방한용도에 적합한 고감성 및 기능성을 가진 경량직물 개발을 위해 고밀도 제직 및 설계 기술, 최종 염색가공 및 후가공 공정까지의 공정내(內) 간(間)연계기술을 연구하였다.

• Broadcasting and Media Magazine
• /
• v.24 no.1
• /
• pp.56-62
• /
• 2019

MBC 기술연구소 산하 기술정보사업팀에서는 수 센티미터 이하의 오차정밀도를 요구하는 측지측량, 3D 건설기계 제어 등의 응용분야부터, 극도의 서비스 안정성을 요구하는 자율주행차, 드론 등의 응용분야에 걸쳐 정밀위치 보정정보를 제공하는 'MBC RTK' 상용서비스를 실시하고 있다. 본 고에서는 MBC의 정밀위치측위 서비스인 'MBC RTK' 서비스를 소개하고, 자율주행차의 적용적합성을 설명하고자 한다.

• Annual Conference of KIPS
• /
• 2003.05a
• /
• pp.741-744
• /
• 2003

지난 2001년 7월 제정된 한국전자책문서표준 EBKS(Electronic Book of Korea Standard) 1.0은 지난 2002년 7월 한국산업기술표준원의 산업표준심의를 거쳐 한국전자처 표준문서형 정의 규격번호 $KS{\times}6100$으로 제정되었다. 따라서 $KS{\times}6100$을 사용하는 전자책 문서들은 표준의 목적과 명세에 대한 부합 여부를 판별하기 위한 적합성 검사 및 이에 기반 한 인증 절차가 요구된다. 본 논문에서는 이러한 적합성 검사의 기준이 되는 적합성 조항(Conformance Clause)의 정의와 이에 따른 전자책 표준 스키마를 정의하였다. 따라서 본 논문에서 정의된 조항들을 통하여 전자책 저작자들은 전자책표준의 목적과 명세에 보다 적합한 전자책 문서들을 제작할 수 있으며, 서비스 제공자들은 적합성 검사 기법을 통한 자동화된 적합성 표준 스키마를 사용하여 효율적인 적합성 검사가 가능하다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2019.06a
• /
• pp.334-337
• /
• 2019

본 논문은 2016 년 제정된 "개방형 클라우드 기반 스마트 방송 플랫폼" 표준(TTAK.KO-07.0129)을 준용하여 개발된 클라우드 방송 플랫폼이 표준의 기술 요구사항을 준수하여 적합하게 구현되었는지 테스트 하기 위한 시험환경 구현에 대해 다룬다. 적합성 시험을 위한 시험항목, 기준, 절차 등이 정의되어 있는 "개방형 클라우드 기반 스마트 방송 플랫폼 표준 적합성 시험" 표준(TTAK.KO-07.0135) 은 2017 년 제정되었으며 이를 기반으로 130 여 개의 테스트케이스가 함께 개발되었다. 테스트케이스를 실제 클라우드 방송 환경과 유사한 조건에서 실행시키기 위하여 방송 송출서버, 이미지 클라우드 서버, 비디오 클라우드 서버, 관리서버 등의 장비로 시험환경을 구축하였다. 그리고 표준기반으로 개발된 클라우드 방송 표준기반 테스트 플랫폼을 통하여 클라우드 방송 적합성 시험환경의 유효성을 검증하였다.

• 전기의세계
• /
• v.26 no.4
• /
• pp.8-11
• /
• 1977

공업기술의 발전에 따라 전동기의 용도도 다양화되고 기계의 기진 정상 정전에서 역전으로 바꾸는것을 기계적 방법보다 전동기의 기동제동 plugging운전방법으로 이송할 때 기계의 고효율화, 기구의 간소화가 된다. 그러나 이러한 다송운전이 빈번할 때 일반전동기로서는 신뢰도가 문제가 되므로, 이 용도에 적합한 특성을 가지는 운동기를 개정함으로서 신뢰도가 높도록 해야 한다. 이런 종류의 용도로 사용되는 용형전동기로서는 특성상 기동 Torque, 가속 Torque가 크고 단시간에 기동하며 Plugging에 적합하고 Dynamic Brake에도 지장이 없어야 하며, 온도상승의 점에서는 기동중에 1차동손이 적고 2차고저항인것이 요구된다. 또 구조상에서는 Inertia가 작으며 급속한 기동이 제일 먼저 요구된다. 만약 기동중에 발열하는 부분의 열용량이 크며 부하 Inertia도 커서 기동시간이 수10초를 걸린다면 국부적으로 대단히 높은 온도상승을 하게 되고, 가혹한 Plugging운전을 하는 경우는 열적 및 기계적으로 고도의 신뢰성이 요구된다. 이에 적합한 Cycle Starting Motor를 시작하여 본 결과를 경험을 토대로 다목적으로 연구검토하여 여기에 소개하고자 한다.

• The Journal of Korean Association of Computer Education
• /
• v.11 no.2
• /
• pp.1-12
• /
• 2008

It is important to improve the creative problem- solving ability through subject matter education. Especially, Informatics education is important to improve the problem-solving ability by using computer as well as the general problem-solving ability. This paper identifies the creative problem- solving ability which is required in Informatics education. The cognitive components of the creative problem-solving ability are organized as the result of crossing the problem-solving ability and the creativity. This paper investigated the validity of the contents as judged by a panel of experts. The cognitive components of creativity are the elaboration, sensitivity, and reorganization in the step of 'Understanding and Analysis the Problem'. Also, The cognitive components of creativity are the fluency, flexibility, and originality in the step of the 'Exploring the Problem Solutions'. The cognitive components of creativity are elaboration in the step of the 'Design the Problem Solution' and 'Implementation'. Finally, the cognitive components of creativity are the flexibility and elaboration in the step of the 'Evaluation'.

• Journal of Intelligence and Information Systems
• /
• v.3 no.1
• /
• pp.101-109
• /
• 1997

철강제품의 품질설계란 제품의 주문요구조건을 만족시키기 위해 제품의 성분 및 생산공정을 결정하는 과정을 의미한다. 본 연구에서는 품질설계업무를 지원하기 위한 시스템을 개발하였다. 설계업무의 특성을 고려하여 과거사례를 설계에 이용하기 위해, 사례기반추론(Case-based Reasoning)접근방법을 이용하였다. 본 연구에서는 또한 유사사례의 효율적 검색을 위해 품질설계 문제에 적합한 유사성척도를 제안하고 있으며, 문제에 적합한 유사성척도를 제안하고 있으며, 문제에 적합한 지식관리 방법 및 설계조정 방법을 개발하였다.

• 한국지형공간정보학회:학술대회논문집
• /
• 2001.04a
• /
• pp.1-15
• /
• 2001

본 연구는 도시토지이용의 적합성분석을 실시하는 데 있어 GSIS와 인공신경망의 유기적인 결합을 시도해 보았다. 인공신경망은 학습이라는 과정을 통해 신경망 노드(node)간의 연결강도를 합리적으로 결정할 수 있는 이점이 있다. 이러한 점에서 공간분석에서 요구되는 인자간의 경중률과 신경망의 연결강도는 대체가 가능하리라 판단된다. 본 연구를 수행하기 위해 두 종류의 신경망을 구성하였다. 1차 신경망은 토지이용별 적합성 분석에 적용했으며, 2차 신경망은 최적의 토지이용패턴을 분석하기 위해 구성하였다. 이들 신경망은 C++로 작성된 프로그램에 의해 구현된 최급강하법에 의한 역전파 알고리즘에 의해 학습을 실시하였으며, 활성화 함수는 시그모이드 함수를 사용하였다. 분석결과는 현행 용도지역제에서 주거, 상업, 공업, 녹지에 대한 토지이용 적합도면과 4가지 유형의 토지이용에 대한 대상지역의 최적토지이용패턴을 제시한 도면으로서 Arc/Info의 Grid 형식으로 작성하였다. 또한 토지이용별 적합도면상에 나타난 적합지역과 최적토지이용패턴은 위치적인 면과 공간 구성에 있어 실제의 도시토지이용계획의 이론적인 개념에 매우 합치되는 분포형태를 보였다.