• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2004년도 ICCAS
• /
• pp.358-362
• /
• 2004

Verification and testing are complementary techniques that are used to increase the level of confidence in the correct functioning of communication systems as prescribed by their specifications. This paper presents an experience of model checking for a formal railway signaling protocol specified in LTS (Labeled Transition System). This formal approach checks deadlock, livelock and reachability for the state and action to verify whether properties expressed in modal logic are true on specifications. We also propose a formal method for semi-automated test case generation for a railway signaling protocol described in I/O FSM (Input/Output Finite State Machine). This enables the generation of more complete and consistent test sequence for conformance testing. The above functions are implemented by C++ language and included within RSPVTE (Railway Signaling Protocol Verification and Testing Environment).

• 대한약학회:학술대회논문집
• /
• 대한약학회 2002년도 Proceedings of the Convention of the Pharmaceutical Society of Korea Vol.2
• /
• pp.340.3-341
• /
• 2002

During the research for the development of antitumor agents. we found the 3-arylisoquinoline derivatives exhibited potent cytotoxicity against human tumor cell lines. For extending our study on these compounds. indeno［1.2-c］isoquinolines were chosen as the next research target due to previous studied data of the compounds that showed potent topoisomerase I inhibition activity as well as cytotoxicity against many kinds of tumor cell lines. Retrosynthetic consideration of indeno[1.2-d]isoquinolines indicates that the coupling of o-methyltoluamide with o-hydroxymethylbenxonitrile might afford 3-arylisoquinoline which could be translerred to the aldehtde. Indeno [1.2-c]isoquinolines can be formed by and inframolecular ring cyclization method. Various derlvatives of this compound including 11-alkoxy-6-methyl-6H. 11H-indeno[1.2-c]isoquinolin-5-one and biological activity will be presented with the docking model with topisomerase 1 enzyme.

• 한국통신학회논문지
• /
• 제19권9호
• /
• pp.1648-1657
• /
• 1994

본 논문은 우리별 소형위성에 탑재되어 사용될 KAX. 25 패킷 통신 프로토콜을 개발하기 위한 연구로서, KAX. 25프로토콜의 부분인 입출력 드라이버, 입출력 처리기 그리고 무선프로토콜인 AX. 25를 차세대 주 컴퓨터부에서 구현한다. 그리고 구현된 프로토콜은 위성국과 지상국을 연결한 시험모델에서 위성국에 탑재하여 데이터 링크 계층 프로토콜의 적합성 시험이 이루어 진다.

• 한국자동차공학회논문집
• /
• 제5권3호
• /
• pp.86-94
• /
• 1997

Quick aging of catalysts has done with IAE(Institute for advanced engineering) AGING MODE suggested by IAE. To estimate the effects of number of aging cycle, temperature and $H_2O$, characteristics of surfaces, mechanical properties and weibull modulus were estimated. Also, the conversion efficiency of aged catalysts was evaluated with model gas bench test. The area of surface and pore volume were decreased according to the number of aging cycle. The precious metal which is well dispersed in fresh state was sintered and agglomerated with aging. The mechanical of deactivation and sintering of catalysts are discussed on the basis of mechanical tests. The conversion efficiency was decreased with the repeats of aging. Especially, the existence of $H_2O$ in supply gas had a main role in catalyst deactivation withy high temperature.

• 대한전자공학회논문지
• /
• 제27권9호
• /
• pp.1351-1363
• /
• 1990

In this paper, a reliable control system structured with dual CPU modules and dual I/O modules is implemented as a means of achieving a highly reliable fault tolerant control system. For this, faults in the system modules are first examined, and a fault detection technique consisting of self diagnostic, comparison process, and exception processing is applied. Self diagnostic is used to locate which components in the modules have been failed, while comparison process is to cmpare control outputs computed by both CPU modules and protect the plant from malfunction by blocking failed control outputsin advance. Finally exception processing is used to determine the faults that are not detected immediately by the self diagnostic and comparison process, e.g. bus error processing when acknowledge signal for data transfer is not activeted in the I/O modules. Also reliability analysis is conducted for the discrete time Markov model with dual structure. It is shown quantitatively that the reliability is improved in the control system with dual structure in comparison with a system with single module structure.

• 한국정보처리학회논문지
• /
• 제3권3호
• /
• pp.608-616
• /
• 1996

본 논문에서는 영상회의를 위한 멀티미디어 하드웨어 구조를 입 출력 중심으로 제안 하고, 구조를 대기모델로 표현하여 시스템의 동작을 분석하였으며, 설계와구현 을 통해 분석결과를 고찰하였다. 영상회의시에 발생되는 멀티미디어 데이타의 병목 현상 과 비디오 데이타의 크기, 프레임 수, 화자의 수 및 압축율의 변화를 모의실험하여 가능한 영상회의 수준과 문제점을 분석하였다. 또 분석된 내용의 요구를 .근사적으로 반영하는 시스팀을 구현하고 시험하여 멀티미디어 시스팀 입축력 설계시에 고려해야 할 사항들을 기술하였다.

• Nuclear Engineering and Technology
• /
• 제52권2호
• /
• pp.279-286
• /
• 2020

In this article, we develop a reactive distillation (RD) column configuration for the production of hydrogen. This RD column is in the HI decomposition section of the sulphur - iodine (SI) thermochemical cycle, in which HI decomposition and H₂ separation take place simultaneously. The section plays a major role in high hydrogen production efficiency (that depends on reaction conversion and separation efficiency) of the SI cycle. In the column simulation, the rigorous thermodynamic phase equilibrium and reaction kinetic model are used. The tuning parameters involved in phase equilibrium model are dependent on interactive components and system temperature. For kinetic model, parameter values are adopted from the Aspen flowsheet simulator. Interestingly, there is no side reaction (e.g., solvation reaction, electrolyte decomposition and polyiodide formation) considered aiming to make the proposed model simple that leads to a challenging prediction. The process parameters are determined on the basis of optimal hydrogen production as reflux ratio = 0.87, total number of stages = 19 and feeding point at 8th stage. With this, the column operates at a reasonably low pressure (i.e., 8 bar) and produces hydrogen in the distillate with a desired composition (H₂ = 9.18 mol%, H₂O = 88.27 mol% and HI = 2.54 mol%). Finally, the results are compared with other model simulations. It is observed that the proposed scheme leads to consume a reasonably low energy requirement of 327 MJ/kmol of H₂.

• 한국환경농학회지
• /
• 제10권2호
• /
• pp.167-177
• /
• 1991

O,S-dialkyl alkylphosphonothioates 계열 유기인제 농약의 체내 작용기작을 이해하기 위하여 model 화합물 (1), O-ethyl S-methyl ethylphosphonothioate [$LD_{50}$(rat, oral) 4.6mg/kg ; $K_i$(bovine erythrocyte acetylcholinesterase) 303 $M^{-1}min^{-1}$]이 선정되었다. 이 유기인계 화합물들은 체내에서 활성화(活性化) 과정을 겪으면서 독성(毒性)을 발현하는 것으로 가설(假說)되어져 왔다. 생체 내 mixed function oxidases에 의한 산화 활성화 과정을 화학적(化學的)으로 재현하기 위하여 두 종류의 유기산화제 즉, meta-chloroperoxybenzoic acid와 monoperoxyphthalic acid가 사용되었고, 대사적(代謝的) 산화를 재현하기 위하여 쥐 간(肝)에서 추출한 microsomal oxidation system을 이용한 in vitro 산화반응이 시도되었다. 산화반응 중간생성물인 S-oxide의 존재가 전구물질(1)의 가설적 산화 반응경로를 통해서 간접적으로나마 충분히 확인 되어질 수 있었다. 더욱이 ethanol을 이용한 trapping 실험에서 불안정한 산화중간물질인 S-oxide가 강한 phosphorylating agent라는 것이 확인되어, 전구물질 (1)로부터 산화반응을 거치면서 생성된 이 중간물질이 체내 신경전달에 중요한 역할을 하는 acetylcholinesterase를 phosphorylation하게 되고, 결국 이런 활성화 과정을 통해 이 계열의 화합물들이 독성을 발휘하는 것으로 이해될 수 있었다.

• 한국지하수토양환경학회지:지하수토양환경
• /
• 제27권6호
• /
• pp.47-57
• /
• 2022

A number of different methods have been used for modeling the sorption of volatile organic chlorinated compounds such as tetrachloroethylene/perchloroethylene (PCE). In this study, PCE was adsorbed in several natural sorbents, i.e., Pahokee peat, vermicompost, BionSoil^®, and natural soil, in the batch experiments. Several sorption models such as linear, Freundlich, solubility-normalized Freundlich model, and Polanyi-Manes model (PMM) were used to analyze sorption isotherms. The relationship between sorption model parameters, organic carbon content (f_oc), and elemental C/N ratio was studied. The organic carbon normalized partition coefficient values (log K_oc = 1.50-3.13) in four different sorbents were less than the logarithm of the octanol-water partition coefficient (log K_ow = 3.40) of PCE due to high organic carbon contents. The log K_oc decreased linearly with log f_oc and log C/N ratio, but increased linearly with log O/C, log H/C, and log (N+O)/C ratio. Both log K_F,oc or log K_F,oc decreased linearly with log f_oc (R² = 0.88-0.92) and log C/N ratio (R² = 0.57-0.76), but increased linearly with log (N+O)/C (R² = 0.93-0.95). The log q_max,oc decreased linearly as log f_oc and log C/N increased, whereas it increased with log O/C, log H/C and log (N+O)/C ratios. The log q_max,oc increased linearly with (N+O)/C indicating a strong dependence of q_max,oc on the polarity index. The results showed that PCE sorption behaviors were strongly correlated with the physicochemical properties of soil organic matter (SOM).

• Bulletin of the Korean Chemical Society
• /
• 제34권6호
• /
• pp.1679-1683
• /
• 2013

Intergrowth perovskite type complex oxides $La_{0.8}Ln_{0.2}Sr_2MnCrO_{7-{\delta}}$ (Ln=La, Nd, Gd, and Dy) have been synthesized by sol-gel method. Rietveld profile analysis shows that the phases crystallize with tetragonal unit cell in the space group I4/mmm. The unit cell parameters a and c decrease with decreasing effective ionic radius of the lanthanide ion. The magnetic studies suggest that the ferromagnetic interactions are dominant due to $Mn^{3+}$-O-$Mn^{4+}$ and $Mn^{3+}$-O-$Cr^{3+}$ double exchange interactions. Both Weiss constant (${\theta}$) and Curie temperature ($T_C$) increase with decreasing ionic radius of lanthanide ion. It was found that the transport mechanism is dominated by Mott's variable range hopping (VRH) model with an increase of Mott localization energy.