• 한국통신학회논문지
• /
• 제19권7호
• /
• pp.1335-1345
• /
• 1994

대용량 교환시스템인 TDX-10의 내부통신망의 성능을 분석하였다. 내부통신망의 시뮬레이션은 SLAM II의 이산사건모델을 이용하여 개발하였다. 시뮬레이션의 결과로 각 노드에서의 최대버퍼길이와 평균대기시간 그리고 D버스의 이용율을 구하였다. 또한 링크속도를 고려한 내부통신망의 최대호처리용량을 구하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1997년도 하계학술대회 논문집 B
• /
• pp.590-592
• /
• 1997

A Discrete Event Dynamic System is a system whose states change in response to the occurrence of events from a predefined event set. A major difficulty in developing analytical results for the systems is the lack of appropriate modeling techniques. This paper proposes the use of Real-time Temporal Logic as a modeling tool for the analysis and control of DEDS. The Real-time Temporal Logic Frameworks is extended with a suitable structure of modeling hard real-time constraints. Modeling rules are developed for several specific situations. It is shown how the graphical model can be translated to a system of linear equations and constraints.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2002년도 춘계공동학술대회
• /
• pp.923-929
• /
• 2002

We discuss scheduling analysis for a discrete event system with time windows of which firing or holding time delays are subject to random variation within some finite range. To do this, we propose a modified p-lime Petri net, named p+-time Petri net. We develop a condition for which a synchronized transition does not have a dead token, that is, the firing epochs do not violate the time window constraints. We propose a method of computing the feasible range of the token sojourn time at each place based on a time difference graph. We also discuss an application for analyzing wafer residency times within the process chambers for a dual-armed cluster tool for chemical vapor deposition.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1992년도 제2회 정기총회 및 추계학술 발표회 발표논문 초록
• /
• pp.7-7
• /
• 1992

Extending discrete event modelling formalisms to facilitate greater symbol manipulation capabilities is important to further their use in intelligent control and design of high autonomy systems. This paper defines an extension to the DEVS formalism that facilitates symbolic expression of discrete event times by extending the time base from the real numbers to the field of linear polynomials over the reals. A simulation algorithm is developed to generate the branching trajectories resulting from the underlying non-determinism. To efficiently manage linear polynomial constraints based on feasibility checking algorithm borrowed from linear programming. The extended formalism offers a convenient means to conduct multiple, simultaneous explorations of model behaviors. Examples of application are given with consideration on fault model analysis.

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

본 논문에서는 이산 이벤트 시뮬레이터인 SMPL을 이용하여 노변 네트워크에서의 데이터 처리에 따르는 데이터 캐쉬 성능분석기를 구현한다. 구현된 성능분석기는 SMPL의 요청 도착과 서비스 사건 처리를 기본 골격으로 하여 실제 차량의 궤적 데이터에 기반한 데이터 요청 생성부와 큐잉 정책과 캐쉬 정책을 선택할 수 있는 정책 처리부 등으로 구성된다. 이 분석기는 서비스율, 해당 정책, 캐쉬의 크기 등의 수행인자를 설정하여 이에 따르는 큐 길이의 분포, 캐쉬의 히트율, 요청 처리시간의 분포 등을 측정할 수 있도록 한다. 추정된 성능 요소를 기반으로 노변 네트워크에 기반한 차량 텔레매틱스 시스템에서 RSU(RoadSide Unit)의 배치, 성능 요구사항 분석, 새로운 큐잉 정책과 캐쉬 정책의 설계 등 다양한 응용이 가능하다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (1)
• /
• pp.769-771
• /
• 2005

유비쿼터스 컴퓨팅의 기반 설비인 센서 네트워크는 많은 수의 센서 노드들로 구성되며, 각 센서 노드의 하드웨어는 매우 작은 규모이다. 또한 최소한의 전력 소모를 위하여 센서 노드들은 동적으로 재구성되며, 노드들 간의 통신은 무선 네트워크를 통하여 이루어진다. 센서 네트워크는 구축 목적에 따라 네트워크 토폴로지 및 라우팅 방식이 결정되어야 하고, 이와 더불어 센서 노드의 하드웨어와 소프트웨어도 필요에 따라 다양하게 변경되어야 한다. 따라서 센서 네트워즈가 구현되기 전에 시스템 동작과 성능을 예측할 수 있고 소프트웨어 개발 환경도 제공해주는 시뮬레이터가 사용 가능하다면, 시스템 개발 기간을 크게 단축시킬 수 있을 것이다. 기존의 센서 네트워크 시뮬레이터들은 특별한 응용을 위한 특정 기반의 하드웨어와 운영체제에 국한되어 개발되었기 때문에 다양한 센서 네트워크 환경을 지원하기에는 한계가 있으며, 센서 네트워크 설계상의 주요 요소인 전력 소모량 분석이 포함되지 않았다. 따라서 본 연구에서는 특정한 응용이나 운영체제에 제한을 받지 않으면서 다양하게 센서 네트워크 환경을 설계 및 검증할 수 있고 전력 소모량 추정도 가능한 시뮬레이터를 개발하는 것을 목표로 하였다. 본 연구에서 개발한 시뮬레이터는 기계명령어-레일(machine instruction-level)의 이산-사건 시뮬레이션(discrete-event simulation) 기법을 이용함으로써 실제 센서 노드의 프로그램 실행 및 관련 동작들을 세부적으로 예측하는 데 사용될 수 있도록 하였다. 시뮬레이션의 작업부하(Workload)인 명령어 트레이스(instruction trace)로는 ATmega128L 마이크로컨트롤러용으로 크로스 컴파일된 인텔 헥스-레코드 형식(.hex) 또는 S-레코드 형식(.srec)의 파일을 사용한다.들을 해결하고자 프라이버시보호에 새로운 키 생성 방법을 통한 강력한 프로토콜을 제안 한다.하였으나 사료효율은 증진시켰으며, 후자(사양, 사료)와의 상호작용은 나타나지 않았다. 이상의 결과는 거세비육돈에서 1) androgen과 estrogen은 공히 자발적인 사료섭취와 등지방 침적을 억제하고 IGF-I 분비를 증가시키며, 2) 성선스테로이드호르몬의 이 같은 성장에 미치는 효과의 일부는 IGF-I을 통해 매개될 수도 있을을 시사한다. 약 $70 {\~} 90\%$의 phenoxyethanol이 유상에 존재하였다. 또한, 미생물에 대한 항균력도 phenoxyethanol이 수상에 많이 존재할수록 증가하는 경향을 나타내었다. 따라서, 제형 내 oil tomposition을 변화시킴으로써 phenoxyethanol의 사용량을 줄일 수 있을 뿐만 아니라, 피부 투과를 감소시켜 보다 피부 자극이 적은 저자극 방부시스템 개발이 가능하리라 보여 진다. 첨가하여 제조한 curd yoghurt는 저장성과 관능적인 면에서 우수한 상품적 가치가 인정되는 새로운 기능성 신제품의 개발에 기여할 수 있을 것으로 사료되었다. 여자의 경우 0.8이상이 되어서 심혈관계 질환의 위험 범위에 속하는 수준이었다. 삼두근의 두겹 두께는 남녀 각각 $20.2\pm8.58cm,\;22.2\pm4.40mm$으로 남녀간에 유의한 차이는 없었다. 조사대상자의 식습관 상태는 전체 대상자의 $84.4\%$가 대부분이 하루 세끼 식사를 규칙적으로 하고 있었으며 식사속도는 허겁지겁 빨리 섭취하는 경우가 남자는 $31.0\%$, 여자는 $21.4\%$로 나타났고 이들을 제외한 나머지 사람들은 보통 속도 혹은 충분한 시간을 가지고 식사를 하였

• 한국정보통신학회논문지
• /
• 제15권11호
• /
• pp.2313-2320
• /
• 2011

조선소에서 판넬블록 생산공정은 가장 많은 물량을 처리해야 하는 중요하고 복잡한 공정이 고, 모든 선박 및 해양구조물의 하부는 반드시 판넬블록 생산 공정을 거쳐야 하기 때문에 판넬블록 생산공정은 병목공정으로 평가된다. 공정의 생산성을 극대화하기 위해 본 논문에서는 디지털 선박생산에서 가장 중요한 기술 중의 하나인 시뮬레이션과 최적화기법을 활용하여 조선생산실행시스템(SPEXS)을 개발하였고, 판넬블록조립장 적용사례로 SPEXSPanel을 구축하여 향상된 일정계획을 수립하는 효과를 보였다. 더불어 SPEXS-Panel은 지속적인 개선을 통해 야드 생산성 향상에 도움을 줄 수 있을 것으로 기대된다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1997년도 추계학술대회 논문집
• /
• pp.201-205
• /
• 1997

As manufacturing system have become complex and globalized, rapid development and production of products are essentially requisites for competitiveness. The importance of agility in manufacturing is being emphasized and a new paradigm is necessary for reduction of the time and expenses related to planning, product development and production. To meet such requirements, virtual manufacturing (VM) environment was suggested. In this paper, Multi-agent system is adopted into VM operating system. Because our system is flexible due to agent technology, agents can be added or deleted with ease. VM unit modules which were defined as DEVS models execute independent simulation of other modules in unit level and compose one VM system with other modules. They also execute simulation in system level. This research can contribute to usefulness of VM environment due to flexibility and extensibility of this system.

• 전자공학회논문지SC
• /
• 제37권5호
• /
• pp.34-45
• /
• 2000

이 논문에서는 부분관측하에서 직렬생산시스템에 대한 멀티에이젼트 내고장성 관리제어기법을 제안한다. 이를 위해 기존의 이산사건시스템에 대한 내고장성 관리제어기법에 멀티에이젼트 제어기법의 개념을 도입한다. 특히, 직렬연결된 프로세서 사이의 상호 내고장성 개념을 정립하며 제어결과의 상이정보를 이용한 관측불능 고장 식별에 관해 다룬다. 그리고 정립된 개념을 바탕으로 에이젼트 관리제어기의 설계기법을 정형화한다. 또한 제안하는 제어기법의 효용성을 검증하기 위해 폴리프로필렌의 예비중합공정과 중합공정에 있어서의 고장파급제어에 대한 사례연구를 살펴본다.

• 대한조선학회논문집
• /
• 제45권4호
• /
• pp.441-454
• /
• 2008

Shipyard design and equipments layout problem, which are directly linked with the productivity of ship production, is an important issue serving as reference data of production plan for later massive production of ships. So far in many cases, design of a shipyard has been relying on the experienced engineers in shipbuilding, resulting in sporadic and poorly organized processes. And thus, economic losses as well as trials and errors in that accord have been pointed out as inevitable problems. This paper extracts a checklist of major elements to fine tune the shipbuilding yard designing process and the input/output data based on the simulation based shipbuilding yard layout designing framework and methodology proposed in existing researches, and executed initial architecture to develop software that integrates all the relevant processes and designing tools. In this course, both user request and design data by the steps are arranged and organized in the proposed layout design template form. In addition, simulation is done based on the parent shipbuilding process planning and scheduling data of the ship product, shipbuilding process and work stage facilities that constitute shipbuilding yard, and design items are verified and optimized with the layout and equipment list showing optimal process planning and scheduling effects. All the contents of this paper are based on simulation based shipbuilding yard layout designing methodology, and initial architecture processes are based on object oriented development methodology and system engineering methods.