• 대한수학회논문집
• /
• 제17권1호
• /
• pp.175-187
• /
• 2002

The existence and uniqueness of steady states for the age structured S-I-R epidemic model is considered. Intercohort form with external force is considered for the force of infection. Existence is obtained for nonvanishing external force of infection. Uniqueness is shown for the case where there is no vertical transmission of the disease.

• 대한의용생체공학회:의공학회지
• /
• 제10권2호
• /
• pp.157-164
• /
• 1989

Three-dimensional imaging and manipulation of CT data are becoming increasingly important for deterRing the complex structure and pathologies. Octree which is a hierarchical data model is used to reconstruct three- dimensional objects from CT scans. Orthogonal cross sections are displayed by traverse the octree partially. Arbitrary oblique planes are derived by intersecting the square region of plane and cubic volume of octal node. Thia method enables the display of multi-structured complex organ ann the realization by personal computer.

• Journal of applied mathematics & informatics
• /
• 제28권5_6호
• /
• pp.1379-1393
• /
• 2010

In this paper, a stage-structured predator prey model (stage structure on prey) with two discrete time delays has been discussed. The two discrete time delays occur due to maturation delay and gestation delay. Linear stability analysis for both non-delay as well as with delays reveals that certain thresholds have to be maintained for coexistence. Numerical simulation shows that the system exhibits Hopf bifurcation, resulting in a stable limit cycle.

• International Journal of Computer Science & Network Security
• /
• 제21권12spc호
• /
• pp.643-647
• /
• 2021

The use of data analysis on large volumes of data constitutes a challenge for deducting knowledge and new information. Data can be heterogeneous and complex: Semi-structured data (Example: XML), Data from social networks (Example: Tweets) and Factual data (Example: Spreading of Covid-19). In this paper, we propose a generic multidimensional model in order to analyze complex data, according to several dimensions.

• 한국전자거래학회지
• /
• 제14권1호
• /
• pp.13-34
• /
• 2009

최근 유비쿼터스 컴퓨팅 기술이 발전함에 따라서 유비쿼터스 컴퓨팅 기술을 이용한 다양한 서비스들이 개발되고 있고, 일부 u-서비스들은 상용화되고 있다. 이와 더불어 u-서비스의 비즈니스 모델에 대한 연구의 중요성 또한 커지고 있다. 하지만 비즈니스 모델에 대한 명확한 정의가 없고, 작성되는 비즈니스 모델의 방법론이 통일되지 않는 등 u-서비스에 대한 구조적인 비즈니스 모델을 작성하는 구조적인 방법론이 아직 거의 존재하지 않는다. 더욱이 현재 개발된 비즈니스 모델 작성 및 분석 방법론은 기존 전통적인 서비스나 e-service를 대상으로 작성된 반면 u-service의 특성에 대한 고려가 되고 있지 않다. 따라서 본 논문에서는 비즈니스 모델 개념의 정의와 비즈니스 모델의 설계, 분석에 이르는 비즈니스 모델에 대한 통합 방법론을 개발하는 것이 목적이다. 이를 위해 u-서비스에 맞는 모델 컴포넌트를 포함한 비즈니스 모델링 다이어그램(BMD)라고 하는 도구를 제안하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권7호
• /
• pp.869-882
• /
• 2004

본 논문에서는 정형방법론의 일관성 검사방법을 유스케이스 모델링에 적용함으로써 논리적으로 일관되고 구조화된 요구사항 모델을 생성할 수 있는 방안을 제안하였다. 제안된 방안을 통해 서로 중복되거나 충돌할 수 있는 다중 사용자관점의 부분적인 요구사항들을 구조화된 요구사항 모델로 통합할 수 있다. 요구사항 모델의 구조는 문맥목표와 관심영역의 중복구조를 통하여 분석되며, 요구사항의 모델의 일관성은 요구사항 통합의 수단으로 요구사항 명세의 중복관계에 기반한 일관성 검사방법을 사용함으로써 획득된다. 제시된 방법을 사례분석에 적용한 결과 제안된 방안이 요구사항의 중복관계 및 불일치를 도출할 수 있을 뿐만 아니라 다중 사용자관점의 부분적인 요구사항들을 일관성을 갖는 통합된 요구사항 모델로 전환함으로써 소프트웨어의 행위와 기능을 명확하게 규명할 수 있음을 보여 주었다. 제안된 방안을 통하여 개발 초기단계의 유스케이스 모델링에 있어서 요구사항 불일치 도출능력을 강화할 수 있으며, 고객만족을 위해 사용자와 개발자간의 의사소통을 촉진할 수 있다.

• Journal of Information Technology Applications and Management
• /
• 제14권4호
• /
• pp.175-198
• /
• 2007

Technology Acceptance Model (TAM) has been a basis model for testing technology use. Post researches of TAM have been conducted with the updating the TAM by adding new independent variables in order to increase the explanation power of the model. However, one problem is that different independent variables have to be introduced to keep the explanation power whenever applying to particular technology. This reduces the generality of the research model. Thus in order to increase the generality of the model, this study reviewed the previous researches and collected the independent variables used, and regrouped them into three basic independent constructs. New research model was designed with three basic independent constructs with four constructs selected for the mandatory IT environment and voluntary IT environment, and the structured equations analysis(AMOS) was applied to find the significant causal effect relationships between constructs in addition to the explanation power of the model. Finally, this study concluded that new TAM could be used to explain the users' adopting new technology without any adding new particular independent variables.

• 대한전기학회논문지
• /
• 제38권6호
• /
• pp.401-415
• /
• 1989

A simple but accurate analytical model for the lateral channel electric field in gate-offset structured Lightly Doped Drain MOSFET has been developed. Our model assumes Gaussian doping profile, rather than simple uniform doping, for the lightly doped region and our model can be applied to LDD structures where the junction depth of LDD is not identical to the heavily doped drain. The validity of our model has been proved by comparing our analytical results with two dimensional device simulations. Due to its simplicity, our model gives a better understanding of the mechanisms involved in reducing the electric field in the LDD MOSFET. The model shows clearly the dependencies of the lateral channel electric field on the drain and gate bias conditions and process, design parameters. Advantages of our analytical model over costly 2-D device simulations is to identify the effects of various parameters, such as oxide thickness, junction depth, gate/drain bias, the length and doping concentration of the lightly doped region, on the peak electric field that causes hot-electron pohenomena, individually. Our model can also find the optimum doping concentration of LDD which minimizes the peak electric field and hot-electron effects.

• 상하수도학회지
• /
• 제13권3호
• /
• pp.42-55
• /
• 1999

A mathematical model for biological nutrient removal in a sequencing batch reactor process, which is based on the IAWQ Activated Sludge Model No. 2 with a few modifications, has been developed. Twenty water quality components and twenty three kinetic equations are incorporated in the model. The model is structured in the matrix form based on the law of mass conservation using stoichiometry and kinetic equations. Stoichiometric coefficients and kinetic parameters included in the model equations are chosen from the literature. A multistep predictor-corrector algorithm of variable step-size is adopted for solving the vector nonlinear ordinary differential equations. The simulation for experimental results is conducted to evaluate the validity of the model and to calibrate coefficients and parameters. The simulation using the model well represents the experimental results from laboratory. The mathematical model developed in this study may be utilized for the design and operation of a sequencing batch reactor process under the steady and unsteady-state at various environmental conditions.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제15권4호
• /
• pp.232-239
• /
• 2015

Studies on the control of the inverted pendulum type system have been widely reported. This is because it is a typical complex nonlinear system and may be a good model for verifying the performance of a proposed control system. In this paper, we propose the design of some fuzzy logic control (FLC) systems for controlling a Segway-type mobile robot, which is an inverted pendulum type system. We first derive a dynamic model of the Segway-type mobile robot and then analyze it in detail. Next, we propose the design of some FLC systems that have good performance for the control of any nonlinear system. Then, we design two conventional FLC systems for the position and balance control of the Segway-type mobile robot, and we demonstrate their usefulness through simulations. Next, we point out the possibility of simplifying the design process and reducing the computational complexity,, which results from the skew symmetric property of the fuzzy control rule tables. Finally, we design two other FLC systems for position and balance control of the Segway-type mobile robot. These systems have only one input variable in the FLC systems. Furthermore, we observe that they offer similar control performance to that of the conventional two-input FLC systems.