• 한국시뮬레이션학회논문지
• /
• 제13권3호
• /
• pp.43-54
• /
• 2004

Studies of Internet algorithms or policies require experiments on the real large-scale networks. But practical problems with large real networks make them difficult. Instead many researchers use simulations on the Internet topology models. So, It is Important that study about topology model that reflect characteristic of the internet exactly. We propose new topology model which reflect of hierarchical network and addition, removal of nodes and accompanied change of topologies. In the modeling scheme for network generation, we applied DEVS formalism and analyzed the topologies generated by our algorithms.

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

A common task in assembly modeling is the determination of the position and orientation of a set of components by solving the spatial relationships between them. Assembly models could be constructed at various levels of abstraction. They could be classified into component or geometry-level assembly models. The geometry-level assembly design approach using mating constraints such as against and fits is widely used in the commercial modelers, but it may be very tedious in some cases fur designer. In this paper, we propose a new method to construct an assembly model at the component-level by extracting joint mating features from the kinematics constraints specified between components. The assembly model constructed using the proposed method includes hierarchical and relational assembly models, component/sub-assembly positions and degrees of freedom information. The proposed method is more intuitive and natural way of assembly design and it guarantees the topological robustness of assembly modification such as component replacement and modification.

• 시스템엔지니어링학술지
• /
• 제1권1호
• /
• pp.20-25
• /
• 2005

This paper presents the general system theory and its applications to the safety analysis method that is a recent trend over the traditional event-driven model. This new model is known as STAMP(Systems Theory Accident Modeling and Process) proposed by Nancy G. Leveson in MIT. The new model has benefits o f systemic approaches concerning the system safety as a whole including the context it is in, its stimulants and outcomes, and its parts as well as the relationships among them in a holistic manner. The method consists of a hierarchical control structure, a process model, and the safety constraints governing the control. This paper demonstrates an example that contrasts the differences between the approaches of STAMP and the traditional safety models.

• Journal of Microbiology and Biotechnology
• /
• 제22권6호
• /
• pp.788-792
• /
• 2012

We report the computational structural simulation of the Cry1Ab19 toxin molecule from B. thuringiensis BtX-2 based on the structure of Cry1Aa1 deduced by x-ray diffraction. Validation results showed that 93.5% of modeled residues are folded in a favorable orientation with a total energy Z-score of -8.32, and the constructed model has an RMSD of only $1.13{\AA}$. The major differences in the presented model are longer loop lengths and shortened sheet components. The overall result supports the hierarchical three-domain structural hypothesis of Cry toxins and will help in better understanding the structural variation within the Cry toxin family along with facilitating the design of domain-swapping experiments aimed at improving the toxicity of native toxins.

• Journal of the Korean Data and Information Science Society
• /
• 제27권5호
• /
• pp.1423-1431
• /
• 2016

When the sample size in a certain domain is too small to produce adequate information, small area model with random effects is usually used. Also, if we do not consider an inherent pattern which data possess, it considerably affects inference. In this paper, we mainly focus on modeling to handle increased variation of the Current Population Survey (CPS) median income as the Internal Revenue Service (IRS) mean income increases. In a hierarchical Bayesian framework, most estimations are carried out through the Gibbs sampler while the grid method is used to generate parameters from non-standard form. Numerical study indicates that the performance of proposed model is better than that of CPS method in terms of four comparison measurements.

• 한국시뮬레이션학회논문지
• /
• 제11권2호
• /
• pp.55-66
• /
• 2002

VHDL has been. widely used in modeling and simulation of hardware designs. However, complex relationship between components of the designs makes the VHDL modeling problem very difficult. Furthermore, after the initial creation of VHDL models, they evolve into many versions over their lifetime. To cope with such difficulties, this paper proposes a new methodology for the management of VHDL models supporting versions. Its conceptual bases are system entity structure and relational database. Within the methodology, a family of hierarchical structures of a design is organized in the form of VHDL model structure. It is, in turn, represented in the form of relational tables. Once the model structure is built in such a way, a specific simulation model which meets design objective is pruned from the model structure. The details of VHDL codes are systematically synthesized by combining it with the primitive models in a model base. These algorithms are also defined in terms of relational algebraic operations.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 ITC-CSCC -2
• /
• pp.661-664
• /
• 2000

A workflow expresses the How of persons and things related to a business. To improve efficiency of a business, it is important to grasp and evaluate the actual situation of the current business. Till now, researches on workflows have been done almost on once business and these results can not be simply applied to food business. Besides, it is also important how to evaluate a food business workflow with a specific standard. In this paper, we propose a modeling method of food business by using hierarchical Petri net. Then we propose a concept, called throughput, as a standard to evaluate the workflows. Finally we show a method how to compute throughput and meanwhile apply a Petri net tool, Design/CPN, to do simulation of computing throughput. Our simulation result shows the modeling method and computation method of throughput are reasonable and useful.

• 항공우주기술
• /
• 제7권1호
• /
• pp.183-193
• /
• 2008

본 논문은 KSLV-I 상단부에 대한 고장모드 분석 결과와 시스템 수준의 비행시험 신뢰도 모델을 기술한다. 먼저, KSLV-I 상단부의 14개의 주요 기능과 비행시험 임무 프로파일을 분석하고, 기능 분석 결과와 임무 구간별 수행 기능 목록을 바탕으로 시스템 체계에 따른 상단부의 고장모드 계층 구조와 시스템 수준의 비행시험 신뢰도 모델을 구성한다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2023년도 학술발표회
• /
• pp.29-29
• /
• 2023

To mitigate the damaging impacts of floods, accurate prediction of runoff, streamflow and flood inundation is needed. Conventional approach of simulating hydrology and hydraulics using loosely coupled models cannot capture the complex dynamics of surface and sub-surface processes. Additionally, the scarcity of data in ungauged basins and quality of data in gauged basins add uncertainty to model predictions, which need to be quantified. In this presentation, first the role of integrated modeling on creating accurate flood simulations and inundation maps will be presented with specific focus on urban environments. Next, the use of machine learning in producing streamflow predictions will be presented with specific focus on incorporating covariate shift and the application of theory guided machine learning. Finally, a framework to quantify the uncertainty in flood models using Hierarchical Bayesian Modeling Averaging will be presented. Overall, this presentation will highlight that creating accurate information on flood magnitude and extent requires innovation and advancement in different aspects related to hydrologic predictions.

• 한국정보과학회논문지:정보통신
• /
• 제32권4호
• /
• pp.515-524
• /
• 2005

네트워크 내의 이동 노드 (Mobile Node: MN)들의 수가 점차 증가함에 따라 IP 이동성 관리로 인한 시그널링 트래픽은 급증하게 될 것이며, 이러한 현상은 전반적인 네트워크의 성능을 크게 좌우할 수도 있을 것이다. 본 논문에서는 대표적인 IPv6 이동성 지원 프로토콜인 Mobile IPv6 (MIPv6)와 Hierarchical Mobile IPv6 (HMIPv6)의 시그널링 부하에 대한 분석을 위하여, 연속 시간 마코프 체인 모델과 계층적 네트워크 모델을 사용하는 새로운 분석적 접근 방법을 제안한다. 본 논문은 동일한 네트워크 구조 하에서 MIPv6와 HMIPv6가 각각 적용되었을 경우, MN의 평균 도메인 상주 시간 동안에 MN에 의해 발생되는 시그널링 비용들을 분석적 모델링에 기반하여 각각 유도해 낸다. 또한, MN의 이동성 및 트래픽과 관련된 다양한 파라미터들의 변화가 MIPv6와 HMIPv6 하에서 MN에 의해 발생되는 시그널링 비용에 어떠한 영향을 미치는지에 대하여도 살펴본다. 본 논문에서 제안된 분석적 모델링을 통하여, MN의 평균 이동 속도가 빠를수록, 바인딩 라이프타임이 큰 값으로 설정될수록, 그리고 평균 패킷 도착율이 적을수록, MN의 평균 도메인 상주 시간 동안에 HMIPv6 하에서 발생되는 총 시그널링 비용은 MIPv6 하에서 발생되는 총 시그널링 비용보다 상대적으로 더 적어지게 되며, 이와 반대되는 상황 하에서는 MIPv6 하에서의 총 시그널링 비용이 HMIPv6 하에서의 총 시그널링 비용보다 상대적으로 더 적어지게 됨을 알 수 있었다.