• 한국IT서비스학회:학술대회논문집
• /
• 2006.11a
• /
• pp.177-184
• /
• 2006

시스템의 동적 요소를 기술하고 분석하기 위해 C&C view 아키텍처를 주로 사용하지만 시스템의 실행 순서나 상태에 대한 정보가 부족하기 때문에 단지 C&C view 아키텍처로만 시스템의 동적 요소를 분석하기가 어렵다. FSP model은 시스템의 동작을 표현하기 위한 모델링 언어로써 시스템의 동작을 모델링 할 뿐만 아니라 LTSA라는 FSP 검증 툴을 이용하여 시스템의 특성을 자동으로 파악하기에도 용이한 특성을 가지고 있어 시스템 동적 요소 분석에 도움을 준다. 하지만 관련 정보를 얻기 어려워 FSP model을 구현하는데 어려움이 있다. 이 논문은 C&C view 아키텍처와 요구 사항(Use Case Scenario 혹은 Sequence diagram)을 근간으로 시스템의 동적 요소를 FSP로 모델링 하는 방법을 정의한다. 또한 LTSA 툴을 이용하여 자동적으로 시스템의 특성을 검증할 수 있고, 이를 통해 시스템 구현 전에 시스템의 에러를 찾아내고 해결하는 도움을 줄 수 있다. C&C view 아키텍처는 시스템의 컴포넌트와 커넥터에 대한 정보를 제공하여 주고 요구 사항은 소프트웨어 시스템의 행동에 대한 정보를 제공하여 줄 수 있다. 만약 우리가 컴포넌트와 커넥터에 대한 정보가 있고 시스템 동적 요소에 대해 알고 있다면 우리는 이것을 기반으로 메시지 흐름도를 구현할 수 있다. 메시지 흐름도는 Harel, Kugler 와 Pnueli에 의해 개발된 Synthesized 알고리즘을 이용하여 Statechart로 만들어지고 이것은 바로 FSP model로 변환될 수 있다. 우리가 소프트웨어 시스템에 대한 FSP model을 가지고 있다면 이것을 기반으로 시스템 행동 특성을 체크할 수 있으며 이는 향후 발생할 수 있는 결함을 미리 찾아내는데 유용한 도움이 될 수 있다. 우리는 간단한 예제를 통해 본 논문의 이론을 수립하였으며 이를 기반으로 실제 어플리케이션에 적용하여 그 효용성을 검증하였다.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.18 no.2
• /
• pp.167-172
• /
• 2015

In this paper, we have compared some radio propagation models in order to verify the performance of W.C.Y LEE propagation model in mountain area. The four propagation models, which are Okumura-Hata, ITU-R P.525, Egli and W.C.Y. LEE, are analyzed by comparing the differences between measured values and propagation loss estimation values. And a correction method for W.C.Y LEE model is suggested to improve the performance of W.C.Y. LEE model with measured data in mountain area. Simulation results show that the estimation error using W.C.Y LEE model is the lowest among four propagation models. Also, the results show that the corrected W.C.Y LEE model with suggested method improves the performance of propagation loss estimation.

• The Korean Journal of Pain
• /
• v.14 no.2
• /
• pp.142-149
• /
• 2001

Background: The expression of the proto-oncogene c-fos in spinal cord neurons following various noxious stimuli has been demonstrated in numerous studies. However, the pattern of expression of c-fos after incisional stimulus has not been evaluated. This study was designed to examine c-fos expression in an incisional pain model of rats. Methods: A 1 cm longitudinal incision was made through the skin, fascia and muscle of the plantar aspect of the hindpaw in enflurane-anesthetized rats. Withdrawal responses were measured using von Frey filaments at areas around the wound before surgery and for the next 48 hours. The expression of c-fos protein in the lumbar spinal cord was examined by immunohistochemistry. Results: After incision, c-fos was strongly expressed within laminae I, II, III, IV, V and VI ipsilateral to the incision. C-fos positive neurons were detected in the controlateral site, as well. Conclusions: These studies suggest that spinal c-fos protein may not be used as a specific marker for spinal nociceptive processing in an incisional pain model.

• Korean Journal of Food Science and Technology
• /
• v.37 no.6
• /
• pp.1012-1017
• /
• 2005

Predictive growth model of putrefactive bacteria of surimi-based imitation crab in the modified surimi-based imitation crab (MIC) broth was investigated. The growth curves of putrefactive bacteria were obtained by measuring cell number in MIC broth under different conditions (Initial cell number, $1.0{\times}10^2,\;1.0{\times}10^3$ and $1.0{\times}10^4$ colony forming unit (CFU)/mL; temperature, $15^{\circ}C,\;20^{\circ}C\;and\;25^{\circ}C$) and applied them to Gompertz model. The microbial growth indicators, maximum specific growth rate constant (k), lag time (LT) and generation time (GT), were calculated from Gompertz model. Maximum specific growth rate (k) of putrefactive bacteria was become fast with rising temperature and fastest at $25^{\circ}C$. LT and GT were become short with rising temperature and shortest at $25^{\circ}C$. There were not significant differences in k, LT and GT by initial cell number (p>0.05). Polynomial model, $k=-0.2160+0.0241T-0.0199A_0$, and square root model, $\sqrt{k}=0.02669$ (T-3.5689), were developed to express the combination effects of temperature and initial cell number, The relative coefficient of experimental k and predicted k of polynomial model was 0.87 from response surface model. The relative coefficient of experimental k and predicted k of square root model was 0.88. From above results, we found that the growth of putrefactive bacteria was mainly affected by temperature and the square root model was more credible than the polynomial model for the prediction of the growth of putrefactive bacteria.

• Journal of the East Asian Society of Dietary Life
• /
• v.22 no.4
• /
• pp.558-565
• /
• 2012

The objective of this study was to develop a predictive growth model for Bacillus cereus in nutrient broth and validate the developed growth model in blanched vegetables. After inoculating B. cereus into nutrient broth, growth of B. cereus was investigated at 13, 17, 24, 30 and $35^{\circ}C$. Lag time (LT) decreased while specific growth rate (SGR) increased with an increase in storage temperature. Growth of B. cereus was not observed at temperatures lower than $12^{\circ}C$. Secondary growth models were developed to describe primary model parameters, including LT and SGR. Model performance was evaluated based on bias factor ($B_f$) and accuracy factor ($A_f$). In addition, we inoculated B. cereus into blanched vegetables stored at 13, 24, $35^{\circ}C$ and observed the growth kinetics of B. cereus in five different blanched vegetables. Growth of B. cereus was most delayed on Doraji at $13^{\circ}C$ and was not observed on Gosari at $13^{\circ}C$. Growth of B. cereus at $35^{\circ}C$ was significantly (p<0.05) slower on Gosari than on other blanched vegetables. The developed secondary LT model for broth in this study was suitable to predict growth of B. cereus on Doraji and Gosari, whereas the SGR model was only suitable for predicting the growth of B. cereus on mung bean sprout.

• Journal of the Korea Convergence Society
• /
• v.11 no.9
• /
• pp.169-173
• /
• 2020

The structural analysis was performed at this study when the axle was loaded by using a total of three automotive support beam models, models A, B and C. Comparing with three models A, B, and C, the equivalent stress is considered to be good for its durability because model C is less than the yield stress of the material. The maximum equivalent stresses happening at models A and B are 1.8 times and 2.5 times higher than the yield stress, respectively, indicating that the material is fractured. So, it does not seem to be efficient as a support beam. Model C can be applied efficiently to the improvement design of axle support beams in terms of durability compared to models A and B. The strength of automotive support beam can be evaluated by applying this research result to the automotive part. And it is seen that this study is adequate at the efficient design and aesthetic convergence practically.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2004.03a
• /
• pp.398-400
• /
• 2004

The three-dimensional woven fabric C/SiC composites blisk turbine rotor model was evaluated. The spin tests of the blisk model were performed to measure strain distributions at the room temperature. The rotational strength of the blisk model could be improved by the fiber addition. But, there are still more researches to be done.

• Economic and Environmental Geology
• /
• v.50 no.2
• /
• pp.159-170
• /
• 2017

The temporal and spatial temperature distribution of the heat storage mortar made of porous feldspar was measured and the thermal properties and electricity consumption were analyzed. For the experiment, two real size chambers (control model and test model) with hot water pipes were constructed. Two large scale models with hot water pipes were constructed. The surface temperature change of the heat storage layer was remotely monitored during the heating and cooling process using infrared thermal imaging camera and temperature sensor. The temperature increased from $20^{\circ}C$ to $30^{\circ}C$ under the heating condition. The temperature of the heat storage layer of the test model was $2.0-3.5^{\circ}C$ higher than the control model and the time to reach the target temperature was shortened. As the distance from the hot water pipe increased, the temperature gap increased from $4.0^{\circ}C$ to $4.8^{\circ}C$. The power consumed until the surface temperature of the heat storage layer reached $30^{\circ}C$ was 2.2 times that of the control model. From the heating experiment, the stepwise temperature and electricity consumption were calculated, and the electricity consumption of the heat storage layer of the test model was reduced by 66%. In the cooling experiment, the surface temperature of the heat storage layer of the test model was maintained $2^{\circ}C$ higher than that of the control model. The heat storage effect of the porous feldspar mortar was confirmed by the temperature experiment. With considering that the time to reheat the heat storage layer is extended, the energy efficiency will be increased.

• Parasites, Hosts and Diseases
• /
• v.45 no.4
• /
• pp.247-253
• /
• 2007

Leishmania (L.) tropica is a causative agent of cutaneous leishmaniasis, and occasionally of visceral or viscerotropic leishmaniasis in humans. Murine models of Leishmania infection have been proven to be useful for elucidation of mechanisms for pathogenesis and immunity in leishmaniasis. The aim of this study was to establish a murine model for human viscerotropic leishmaniasis, and the growth pattern of L. tropica was studied in different tissues of BALB/c mice in order to find out whether the parasite visceralizes in this murine model. L. major was used as a control as this species is known to cause a progressive infection in BALB/c mice. L. tropica or L. major was injected into the footpad of mice, and thickness of footpad, parasite loads in different tissues, and the weight of the spleen and lymph node were determined at different intervals. Results showed that L. tropica visceralizes to the spleen and grows there while its growth is controlled in footpad tissues. Dissemination of L. tropica to visceral organs in BALB/c mice was similar to the growth patterns of this parasite in human viscerotropic leishmaniasis. The BALB/c model of L. tropica infection may be considered as a good experimental model for human diseases.

• Journal of Preventive Medicine and Public Health
• /
• v.46 no.2
• /
• pp.74-81
• /
• 2013

Objectives: The objective of this study was to evaluate the performance of risk-adjusted mortality models for colorectal cancer surgery. Methods: We investigated patients (n=652) who had undergone colorectal cancer surgery (colectomy, colectomy of the rectum and sigmoid colon, total colectomy, total proctectomy) at five teaching hospitals during 2008. Mortality was defined as 30-day or in-hospital surgical mortality. Risk-adjusted mortality models were constructed using claims data (basic model) with the addition of TNM staging (TNM model), physiological data (physiological model), surgical data (surgical model), or all clinical data (composite model). Multiple logistic regression analysis was performed to develop the risk-adjustment models. To compare the performance of the models, both c-statistics using Hanley-McNeil pair-wise testing and the ratio of the observed to the expected mortality within quartiles of mortality risk were evaluated to assess the abilities of discrimination and calibration. Results: The physiological model (c=0.92), surgical model (c=0.92), and composite model (c=0.93) displayed a similar improvement in discrimination, whereas the TNM model (c=0.87) displayed little improvement over the basic model (c=0.86). The discriminatory power of the models did not differ by the Hanley-McNeil test (p>0.05). Within each quartile of mortality, the composite and surgical models displayed an expected mortality ratio close to 1. Conclusions: The addition of clinical data to claims data efficiently enhances the performance of the risk-adjusted postoperative mortality models in colorectal cancer surgery. We recommended that the performance of models should be evaluated through both discrimination and calibration.