• 한국감성과학회:학술대회논문집
• /
• 한국감성과학회 2009년도 추계학술대회
• /
• pp.119-122
• /
• 2009

KS 가구 규격 내의 치수를 적절하면서도 일관성 있게 설정하기 위해서는 인간공학적 설계원칙이 정립되어 있어야 한다. 그러나 이제까지의 KS 가구 규격은 일본 JIS 규격의 치수를 그대로 가져와 사용한 경우가 거의 대부분이었다. 이에 본 연구에서는 KS 가구 규격 35 종에 포함된 가구들에 대한 치수항목 중 인체측정치를 반영해야 할 것들을 선정하고 이에 맞는 인간공학적 설계 가이드라인과 산정 수식을 개발하였다. 이를 이용해 현행 KS 가구 규격의 치수들에 대한 검토를 하였고, 맞지 않는 것들에 대해서는 수정 안을 작성하였다.

• 한국정보통신설비학회:학술대회논문집
• /
• 한국정보통신설비학회 2002년도 하계학술대회 및 세미나
• /
• pp.130-132
• /
• 2002

기존의 광선로 특성 데이터에 대한 관리는 대부분 지역별 국소별로 수작업에 의존하였기 때문에 처리 절차의 일원화 및 체계화가 제대로 정립되어 있지 않았다. 이로 인해 선로 자원의 사용이 원활하지 못하였고 최적의 망을 구축하는데 많은 시간 인력 및 비용이 소요되는 등 비효율적인 문제점들이 도출 되었다. 이러한 문제점을 해결하기 위해 본 논문에서는 수작업에 의존했던 광 전송로의 특성 정보를 데이터베이스화하여 데이터에 대한 다양한 가공 능력 및 투자에 대한 일관성 있는 의사 결정 능력을 제시하였으며, 구축된 데이터베이스를 통해 최적의 광통신망 설계를 지원할 수 있도록 광전송로 관리 및 설계 처리에 대한 의사 결정 시스템을 제안했다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 추계학술발표대회 및 정기총회
• /
• pp.171-174
• /
• 2005

본 논문은 VOD 스트리밍 데이터에 대한 변형된 Scope Consistency 알고리즘 설계 방안을 제시한다. Consistency Model 은 주로 전자 계산에서 데이터 동기화에 적용될 수 있는 메커니즘이다. 그 중 Scope Consistency는 Memory Consistency Model의 한 종류로, Scope와 같은 lock을 사용하여 임계영역을 정의한다. Scope Consistency를 지원하는 시스템으로 JIAJIA가 있다. JIAJIA는 lock 기반 캐쉬 일관성을 구현한다. 본 논문에서는 JIAJIA에서 사용하는 동기화 메커니즘 중 barrier 메커니즘을 이용하여 일반적으로 전자 계산에서 사용되는 메커니즘을 VOD 스트리밍 데이터가 처리될 수 있는 변형된 Scope Consistency 알고리즘을 설계한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 추계학술발표대회
• /
• pp.357-359
• /
• 2007

이클립스의 UML2 와 GMF 프로젝트는 UML 다이어그램 편집기를 개발하는데 있어서 기본적인 프레임워크를 지원한다. 일반적으로 UML 을 이용하여 시스템을 설계할 때에는 여러 가지의 다이어 그램을 제작하게 되는데, 이때 각 다이어그램간의 일관성을 유지시키는 것과 설계된 모델에 대한 시뮬레이션은 아주 중요한 기능요소이다. 이 논문에서는 이클립스의 UML2 와 GMF 를 기반으로 한 UML 다이어그램 시뮬레이션 프레임워크를 제안한다.

• 한국방사성폐기물학회:학술대회논문집
• /
• 한국방사성폐기물학회 2010년도 추계 학술논문요약집
• /
• pp.315-316
• /
• 2010

본 연구는 파이로일관공정시험시설인 PRIDE (Py-Roprocess Integrated DEmonstration facility)의 최상위 요구사항부터 파이로 세부공정의 설계요건까지 논리적이며 체계적인 연관성을 제시할 수 있는 파이로 기술추적시스템 개발현황을 기술하였다. 이러한 기술추적기능을 도출하기 위하여 시스템 엔지니어링 도구인 Cradle 데이터베이스를 이용하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (A)
• /
• pp.853-855
• /
• 2005

본 논문은 Sequence Diagram을 이용한 안전등급 PLC(Safety-Grade Programmable Logic Controller) 운영 체제의 인터페이스 설계명세를 기술한다. 원자력 발전소에 사용하기 위한 안전 소프트웨어(Safety Software)의 규제 기준인 Reg. Guide는 IEEE Std 1016, IEEE Std 1016.1 의 설계명세서 작성 표준에 따라 작성하도록 요구하며, 이러한 규제기준과 기 표준을 안전등급 PLC를 위한 운영체제 소프트웨어의 설계명 세서도 만족해야 한다. 특히 운영 체제와 외부 장치들 사이의 인터페이스를 위해 실시간 특성의 표현에 장점을 갖는 Sequence Diagram을 적용함으로써 운영체제의 인터페이스에 대한 정확성, 완전성, 그리고 일관성을 향상시킬 수 있었다.

• 대한토목학회논문집
• /
• 제1권1호
• /
• pp.33-42
• /
• 1981

현행(現行) 철근(鐵筋)콘크리트 표준시방서(標準示方書)는 WSD와 USD의 재래적(在來的)인 두 가지 설계편(設計編)으로 구성(構成)되어 있는데 이들 설계기준(設計基準)은 ACI 318-63 및 318-71 Code에 기초를 두고 있다. 이와 같이 주로 ACI 318-63 시방서(示方書)에 기초를 둔 우리의 WSD와 USD의 안전율(安全率)은 우리의 설계(設計) 및 시공실무(施工實務)에 비(比)해 부적절(不適切)한 것으로 받아들여지고 있다. 더구나 ACI의 안전율(安全率)도 확률적(確率的)으로 결정(決定)된 것이 아니고 주로 경험(經驗)과 현실성(現實性)을 고려하여 결정(決定)된 것이다. 본(本) 연구(硏究)는 현행(現行) 허용응력설계(許容應力設計) 안전율규정(安全率規定)으로 설계(設計)되는 휨 부재(部材)의 안전수준(安全水準)을 2차(次)모멘트 신뢰성이론(信賴性理論)에 의해 고찰(考察)하고, 일관성(一貫性)있는 목표신뢰성(目標信賴性)을 제공(提供)하는 철근(鐵筋) 및 콘크리트의 공칭안전율(公稱安全率)과 휨 허용응력(許容應力)을 합리적(合理的)이고도 효율적(效率的)으로 결정(決定)하는 방법(方法)을 제안(提案)하였다. Cornell의 제(第)1계(階) 이차(二次)모멘트법(法)을 하중(荷重)과 저항(抵抗) 결과변화(結果變化)의 대수변환(對數變換)에 의해 적용(適用)하는 방법(方法)을 본(本) 연구(硏究)의 신뢰성해석법(信賴性解析法)으로 사용하였다. 최적(最適) 철근비(鐵筋比)를 갖는 극한강설계(極限强設計)의 과소철근(過少鐵筋)보에 대응하는 균형철근비(均衡鐵筋比)로 설계(設計)되는 균형단면(均衡斷面)이 되도록 하는 독특한 방법으로 콘크리트의 허용압축응력(許容壓縮應力)을 유도하였다. 우리의 시공(施工) 및 설계실무(設計實務)의 수준(水準)에 적합(適合)한 ${\beta}_0=4$를 안전율(安全率) 결정(決定)을 위한 목표신뢰성지수(目標信賴性指數)로 택하였다. 현행(現行) WSD 시방서(示方書)로 설계(設計)되는 RC 휨 부재(部材)의 안전(安全) 및 신뢰성(信賴性)을 여러 수치계산(數値計算)을 통해 고찰(考察)해본 결과(結果), 현행(現行) WSD 기준(基準)에 의한 설계(設計)는 비정당적(非定當的)이며 일관성(一貫性)없는 신뢰성(信賴性)으로 인하여 비경제적(非經濟的)인 설계(設計)도 된다는 사실(事實)을 알 수 있었다. 적절(適切)한 목표신뢰성지수(目標信賴性指數) ${\beta}_0=4$에 따른 휨 부재(部材)의 철근(鐵筋)과 콘크리트의 합리적(合理的)인 허용응력(許容應力)을 본(本) 연구(硏究)의 신뢰성이론(信賴性理論)에 의해 제안(提案)하였다.

• 정보처리학회논문지D
• /
• 제16D권1호
• /
• pp.65-72
• /
• 2009

현재 컴포넌트 기반 개발 기법은 재사용성과 생산성 측면에서 효과적인 소프트웨어 개발 방법으로 많은 각광을 받고 있다. 하지만 기존의 UML을 이용한 컴포넌트 기반 개발에서는 컴포넌트의 행위를 배제하고 컴포넌트 인터페이스만 참조하여 컴포넌트를 설계함으로써, 컴포넌트의 구체적인 행위에 대한 파악과 컴포넌트 간 인터페이스 호환성 보장이 불가능하다. 이에 따라 컴포넌트 설계 단계에서 컴포넌트의 행위를 상태기계 다이어그램으로 표현하고, 표현된 상태기계 다이어그램을 통해 컴포넌트의 행위 호환성을 보장할 필요가 있다. 이 연구에서는 상태기계 다이어그램으로 표현된 컴포넌트의 행위를 관찰 일치(observation equivalence)와 호출 일관성(invocation consistency)의 개념을 이용하여 행위 호환성을 검증하는 방법을 제공하고, 동적으로 이를 수행하는 도구를 개발한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 춘계학술발표대회
• /
• pp.409-412
• /
• 2005

비즈니스 전략 및 환경이 정적인 환경에서 동적인 환경으로 변화의 필요성이 요구되는 유비쿼터스 환경에 제공되는 서비스가 언제, 어디서나, 쉽게 접근하기 위한 이동성을 제공하기 위한 기술로 모바일 서비스의 중요성이 대두되고 있다. 현재 웹 서비스에서 사용하고 있는 요청-응답방식의 모바일 환경에서 일관성을 유지하기 힘들다. 서비스 지향 아키텍처를 기반으로 이동성을 고려한 아키텍처를 정의할 필요가 있다. 따라서 에이전트 컴퓨팅 아키텍처에 의해 상호운영성이 높은 모바일 에이전트 컴퓨팅을 통하여 모바일 환경에서 사용자의 접근을 용이하게 하고 컴포넌트를 이용한 개발의 효율성을 향상시킬 수 있어야 한다. 본 논문에서는 정의된 모바일 에이전트 컴퓨팅 아키텍처에 기반으로 하여 다양한 PDA(Personal Digital Assistant) 서비스들 중 하나를 사례연구로 들어 분석 및 설계를 한다. 그리고 컴포넌트 기반한 모바일 에이전트를 통해 모바일 환경에서 PDA를 통한 컨텐츠 서비스가 원할히 되는 효율성을 기대하게 된다.

• 한국항행학회논문지
• /
• 제15권3호
• /
• pp.419-431
• /
• 2011

오늘날 기업의 비즈니스 환경은 시장, 기술 및 사회에서 오는 여러 가지 요인들로 인하여 한층 더 복잡해지고 있다. 비즈니스 패러다임의 변화에 따른 빠른 시장 대응(Time-to Market)에의 요구 증가 및 비용 감소, 높은 생산성에 대한 요구 증가, 재사용성 증대를 통한 유연한 애플리케이션을 개발할 수 있는 절차와 매커니즘에 대한 필요성이 대두되고 있다. UML 기반의 객체지향 소프트웨어 개발 생명주기에서 요구사항 추적 매트릭스 설계(RTMD : Requirement Tracing Matrix Design) 모델을 제시하여 실제업무에 적용하였다. 이 방법은 소프트웨어 개발의 생산성 향상 및 유지보수 비용을 절감하는 효과가 있다. 그러나 관련 문서들의 완전성(completeness), 일관성(consistency), 정확성(correctness)을 검증하기 위한 절차 및 규칙이 미흡하며, 또한 이들 명세서들은 보다 체계적으로 관리할 수 있는 자동화된 시스템을 필요로 한다.