• Food Science and Biotechnology
• /
• 제17권6호
• /
• pp.1316-1321
• /
• 2008

This study was conducted to develop a model to describe the effect of antimicrobials [potassium sorbate (PS), potassium lactate (PL), and combined PL and sodium diacetate (SDA, PLSDA)] on the growth parameters of Listeria monocytogenes such as specific growth rate (SGR) and lag phase periods (LT) in air-dried raw sausages as a function of storage temperature (4, 10, 16, and $25^{\circ}C$). Results showed that the SGR of L monocytogenes was dependent on the storage temperature and level of antimicrobials used. The most effective treatment was the 4% PLSDA, followed by the 2% PLSDA and 4% PL and 0.2% PS exhibited the least antimicrobial effect. Increased growth rates were observed with increasing storage temperatures from 4 to $25^{\circ}C$. The growth data were fitted with a Gompertz equation to determine the SGR and LT of the L. monocytogenes. Six polynomial models were developed for the SGR and LT to evaluate the effect of PS (0.1, 0.2%) and PL (2,4%) alone and PLSDA (2, 4%) on the growth kinetics of L. monocytogenes from 4 to $25^{\circ}C$.

• 한국정보디스플레이학회:학술대회논문집
• /
• 한국정보디스플레이학회 2006년도 6th International Meeting on Information Display
• /
• pp.759-762
• /
• 2006

A simple SPICE model for the description of the on-current of low-temperature poly-silicon thin film transistors is proposed. By employing constant mobility, $V_GS$ dependent alpha parameter, and exponential kink effect, very good agreements between the model and measurement were obtained.

• Fibers and Polymers
• /
• 제3권4호
• /
• pp.169-173
• /
• 2002

Fabric touch was evaluated psychophysically in order to determine the relationship between mechanical properties and subjective sensation. For subjective touch sensation, eight aspects such as hardness, smoothness, coarseness, coolness, pliability, crispness, heaviness and thickness were evaluated using free modulus magnitude estimation (FEME) technique. KES-FB was used to measure the mechanical properties of fabrics. Woolen fabric with the highest values of WC and weight was evaluated as the coarsest, heaviest and thickest. While silk crepe do chine with the lowest LT, G, 2HG, thickness and weight was rated as smoother and more pliable than any other fabrics. And flax with the highest values of LT and SMD was evaluated as hard, cool and crisp. Fabric touch and satisfaction were predicted well from the mechanical properties, especially from SMD, by regression analysis. Satisfaction for touch increased as smoothness increased.

• Communications for Statistical Applications and Methods
• /
• 제30권6호
• /
• pp.561-575
• /
• 2023

Brain network analysis has attracted the interest of neuroscience researchers in studying brain diseases. Magnetoencephalography (MEG) is especially proper for analyzing functional connectivity due to high temporal and spatial resolution. The application of graph theory for functional connectivity analysis has been studied widely, but research on network modeling for MEG still needs more. Temporal exponential random graph model (TERGM) considers temporal dependencies of networks. We performed the brain network analysis, including static/temporal network statistics, on two groups of epilepsy patients who removed the left (LT) or right (RT) part of the brain and healthy controls. We investigate network differences using Multiset canonical correlation analysis (MCCA) and TERGM between epilepsy patients and healthy controls (HC). The brain network of healthy controls had fewer temporal changes than patient groups. As a result of TERGM, on the simulation networks, LT and RT had less stable state than HC in the network connectivity structure. HC had a stable state of the brain network.

• Journal of Periodontal and Implant Science
• /
• 제49권5호
• /
• pp.299-309
• /
• 2019

Purpose: To analyze the ridge profile of the anterior maxilla using cone-beam computed tomography and to assess the clinical significance of the ridge profile by performing virtual implant placement. Methods: Thirty-two cone-beam computed tomography scans of anterior maxillae were included. For each tooth, a vertical line was made along the longitudinal axis, and 3 horizontal lines at 1-, 3-, and 5-mm levels below the labial bone crest were drawn perpendicularly to the vertical reference. At these levels, the thickness of the alveolar ridge (RT), and the labial (LT) and palatal bone plate (PT) were measured. Then, virtual implant placement using standard and tapered implants was performed. A generalized linear mixed model was used for statistical analysis. Results: The teeth were located labially based on the proportion of LT and PT with respect to RT. At the 1-mm level, the value of LT was between $1.0{\pm}0.4mm$ for central incisors and $1.3{\pm}0.6mm$ for canines. A large number of teeth had area(s) with less than 1-mm-thick labial bone between the 1- and 5-mm levels below the crest. The mean PT was generally thicker than the LT in all tooth types. The greatest mean value of labial concavity was observed for canines, compared to other tooth types. Men had a greater RT than did women, but had a comparable LT. Less apical fenestration was observed when tapered implants were used. Conclusions: Most teeth in the anterior maxilla had a thin labial bone plate, with no significant difference between sexes. Tapered implants may be advantageous for the anterior maxilla.

• 생물환경조절학회지
• /
• 제32권4호
• /
• pp.416-422
• /
• 2023

본 연구는 겨울과 봄철의 CO₂ 시비 토마토 온실에서 낮과 밤의 온도 변화에 따른 CO₂ 농도 변화를 구명하고 계산된 CO₂ 공급량을 비교하고자 수행하였다. 온실 내 CO₂ 농도는 2022년과 2023년의 겨울철 실험 온실에서 생육단계가 LAI 2.0인 대표적인 날들 중 누적광량 차이로 인한 평균 온도가 다른 날을 선정하여 분석하였다. 평균 온도 18℃ 이상의 경우(고온, HT), CO₂ 공급 시간대(10:00-13:00) 이후 13, 14, 15, 16시에 각각 31.7, 26.8, 23.8, 22.4℃일 때 CO₂ 농도는 459, 299, 275, 239µmol·mol^-1이었고 평균 온도 18℃ 이하의 경우(저온, LT), 22.0, 18.9, 15.0, 13.7℃일 때 각각 500, 368, 366, 364µmol·mol^-1으로 HT에서 CO₂ 감소량이 LT보다 유의적으로 높았다. 야간 CO₂ 농도는 HT의 경우 오후 6시(346µmol·mol^-1) 부터 서서히 증가되어 오전 3시(454µmol·mol^-1)에 가장 높았으며 9시간 동안 약 100µmol·mol^-1이 증가되어 시간당 약 11µmol·mol^-1이 증가되었고(토마토 240개체, 엽면적 330m²), LT에서는 그 증가폭이 낮았다. 봄철 CO₂ 시비 온실에서 CO₂ 시비 개시 직전(오전 7:30)에 측정된 CO₂ 농도는 야간온도가 15℃ 이상의 경우(HT)는 15℃ 이하의 경우(LT)보다 3-4배 높은 것으로 나타났으며 그날의 계산된 공급 CO₂ 시비량도 HT에서 적었다. 본 연구결과에서 야간 CO₂ 농도는 재배 시기에 따른 온도의 영향을 받으며, 야간에 증가된 CO₂는 광합성 작용의 주요 공급원이 된다는 것을 알 수 있었다. 이를 고려한 CO₂ 공급 모델식 개발이 필요한 것으로 판단된다.

• 한국축산식품학회지
• /
• 제30권1호
• /
• pp.49-54
• /
• 2010

The aim of this research was to estimate the effect of temperature and develop predictive models for the growth of total viable cells (TVC) and Escherichia coli (EC) on chicken breast under aerobic and various temperature conditions. The primary models were determined by Baranyi model. The secondary models for the specific growth rate (SGR) and lag time (LT), as a function of storage temperature, were developed by the polynomial model. The initial contamination level of chicken breasts was around 4.3 Log CFU/g of TVC and 1.0 Log CFU/g of E. coli. During 216 h of storage, SGR of TVC showed 0.05, 0.15, and 0.54 Log CFU/g/h at 5, 15, and $25^{\circ}C$. Also, the growth tendency of EC was similar to those of TVC. As storage temperature increased, the values of SGR of microorganisms increased dramatically and the values of LT decreased inversely. The predicted growth models with experimental data were evaluated by $B_f$, $A_f$, RMSE, and $R^2$. These values indicated that these developed models were reliable to express the growth of TVC and EC on chicken breasts. The temperature changes of distribution and showcase in markets might affect the growth of microorganisms and spoilage of chicken breast mainly.

• 한국수산과학회지
• /
• 제53권5호
• /
• pp.699-706
• /
• 2020

Predictive models in food microbiology are used for predicting microbial growth or death rates using mathematical and statistical tools considering the intrinsic and extrinsic factors of food. This study developed predictive growth models for Bacillus cereus on dried laver Pyropia pseudolinearis stored at different temperatures (5, 10, 15, 20, and 25℃). Primary models developed for specific growth rate (SGR), lag time (LT), and maximum population density (MPD) indicated a good fit (R²≥0.98) with the Gompertz equation. The SGR values were 0.03, 0.08, and 0.12, and the LT values were 12.64, 4.01, and 2.17 h, at the storage temperatures of 15, 20, and 25℃, respectively. Secondary models for the same parameters were determined via nonlinear regression as follows: SGR=0.0228-0.0069*T₁+0.0005*T₁²; LT=113.0685-9.6256*T₁+0.2079*T₁²; MPD=1.6630+0.4284*T₁-0.0080*T₁² (where T₁ is the storage temperature). The appropriateness of the secondary models was validated using statistical indices, such as mean squared error (MSE<0.01), bias factor (0.99≤B_f≤1.07), and accuracy factor (1.01≤A_f≤1.14). External validation was performed at three random temperatures, and the results were consistent with each other. Thus, these models may be useful for predicting the growth of B. cereus on dried laver.

• 정보교육학회논문지
• /
• 제18권4호
• /
• pp.625-632
• /
• 2014

정보통신기술의 발달로 인하여 스마트 기기와 앱, SNS, 미러링 등을 이용한 의사소통이 이루어지고 있으며 이러한 사회의 변화를 반영하여 최근 다양한 협업 상호작용을 강조한 스마트교육이 대두되고 있다. 이에 본 연구에서는 초등학생의 의사소통능력을 신장시키기 위해 스마트교육과 LT 협동학습 모형을 연계한 '스마트 기반 협동학습' 모형을 개발하여 초등학교 3학년 사회과 수업에서 적용하고 스마트 기반 협동학습과 일반적인 협동학습이 의사소통능력에 미치는 영향을 각각 비교, 분석하였다. 그 결과, 일반적인 협동학습 모형을 적용한 수업의 초등학생들보다 스마트 기반 협동학습을 적용한 사회과 수업에서 초등학생들의 표현, 경청과 이해, 상호작용 등 의사소통능력의 모든 하위 영역이 신장되었다. 이는 스마트 기반 협동학습이 학습자의 생각이나 의견을 말과 글로 명료하게 표현하게 하고, 다른 학생들의 말과 글의 의미를 파악할 수 있게 해 주며 사회적 상황에서 목적에 맞게 상호작용하는 능력을 향상시켜 준다고 할 수 있다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권12호
• /
• pp.1485-1492
• /
• 1999

대규모 시스템 명세의 올바름을 검증하기 위한 유한 상태 LTS에 기반을 둔 CTL논리 적용에 있어 가장 큰 문제점은, 시스템 내부의 병렬 프로세스간의 상호작용으로 인한 상태폭발이다. 그러나 Modal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결 가능하다. 본 논문에서는 LTS로 명세화된 통신 프로토콜 시스템 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증함에 있어, 시제 논리로 사용된 Modal mu-calculus 안전성 및 필연성 논리식과 CTL 의 안전성 및 필연성 논리식의 극한값이 동일함을 두 논리식을 만족하는 상태 집합이 같다는 것을 보임으로써 증명한다. 증명된 결과는 I/O FSM 모델로 표현된 통신 프로토콜의 안전성 및 필연성 검사를 위해 이론적인 기반으로서, 컴퓨터를 이용한 모형검사 기법에 효과적인 방법으로 응용이 가능하다.Abstract In applying CTL-based model checking approach to correctness verification of large state transition system specifications, the major obstacle is the combinational explosion of the state space arising due to interaction of many loosely coupled parallel processes. If, however, the modal mu-calculus viewed as a CTL-based logic with recursion, is used to specify the safety and liveness property of a given system, it is possible to resolve this problem. In this paper, we discuss the problem of verifying communication protocol system specified in LTS, and prove that a logic expression specifying safety and liveness in modal mu-calculus is semantically identical to the maximum value of the expression in CTL. This relation is verified by the proof that the sets of states satisfying the two logic expressions are equivalent. The proof can be used as a theoretical basis for verifying safety and liveness of communication protocols represented as I/O FSM model.