• Journal of KIISE:Software and Applications
• /
• v.26 no.12
• /
• pp.1428-1444
• /
• 1999

MSC는 ITU에 의해 표준화된, 병행 시스템의 명세를 기술하기 위한 그래픽 형태와 텍스트 형태를 제공하는 언어로서 실시간 시스템 특히 통신 교환 시스템의 특성을 기술하기 위해 자주 사용된다. 통신 시스템이 제대로 동작함을 보이기 위해서는 정형적인 방법을 사용하여 시스템 행위를 검증할 필요가 있다. 통신 소프트웨어를 검증하는 방법 중 하나의 방법으로 유한 상태를 기반으로 하는 방법이 있다. 유한 상태를 기반으로 하는 방법에서는 먼저 시스템 명세에 해당하는 전체 상태 전이 그래프를 생성한 후 이를 바탕으로 model-checking 등의 방법을 사용하여 시스템의 특성을 검증한다. 본 논문에서는 MSC로 기술된 통신 소프트웨어 명세로부터 전체 상태 전이 그래프를 생성하는 방법에 초점을 맞추었다. 시스템 명세에 해당하는 상태 전이 그래프를 생성하기 위해 보다 직관적으로 MSC의 의미론을 표현할 수 있고, 또한 쉽게 전체 상태 전이 그래프를 생성할 수 있는 행위 종속 그래프를 제안하였다. MSC 명세는 일단 행위 종속 그래프로 변환이 되고 이 행위 종속 그래프를 이용하여 전체 상태 전이 그래프가 생성된다.Abstract Message Sequence Chart (MSC) standardized by International Telecommunication Union is a graphical and textual language for describing the specification of concurrent systems. It is frequently used both formally and informally for specifying the behavior of real-time systems, in particular telecommunication switching systems. To ensure that a communication system operates properly, the verification process showing the correctness of system's behavior formally is necessary. One of the verification methods is a finite-state method. In the finite-state method, the global state transition graph (GSTG) is constructed and then safety and liveness properties of systems are verified through a well-known method such as model checking. In this paper, we forcus on the construction of GSTG from the specifications of telecommunication software written in MSC. We suggest Action Dependency Graph (ADG) which can present the semantics of MSC intuitively and also provide a GSTG construction method from ADG. MSC specifications are translated to ADGs and, in turns, the GSTGs are constructed by using these ADGs.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.43 no.5 s.311
• /
• pp.48-56
• /
• 2006

In this paper, we proposed the high quality audio watermarking algorithm using MDCT/IMDCT (Modified DCT/Inverse Modified DCT) with psychoacoustic model. Generally, a digital audio watermark is embedding the frequency domain after frequency transform of the digital audio data but the digital audio quality is affected by watermarking. In our scheme, the digital audio data is spread with PN((Pseudo Noise) code and then audio watermark is embedded in MDCT processing that refers psychoacoustic model. In MDCT processing, according to the shape of filter bank output, the block switching selects a window sequence that has 256, 1,024 or 2,048 points interval for high quality audio. The author confirm that when watermark weight ${\alpha}$ is 2.5 below, the detection ratio of watermark is a satisfied to SDMI's(Secure Digital Music Initiative) recommendation 50% above and SM is $50{\sim}68dB$ range with mainly 4 kind of attacks(Compression, Cropping, FFT and Echo).

• Journal of the Korean Institute of Telematics and Electronics T
• /
• v.35T no.3
• /
• pp.128-133
• /
• 1998

This paper is study on performance analysis of modulator using direct digital frequency synthesizer of Initial Clock Accumulating Method. It has been generally used for PLL or digital frequency synthesizing method to be synthesizd randomly chosen frequency state. In order to improve disadvantage of two methods, we constructed modulator system using DDFS of Initial Clock Accumulating Method. We also confirmed the coherence frequency hopping state and possibility of phase control. The results obtained from the experiments are as follows; First, the synthesized output frequency is proportional to the sampling frequency, according to index, K. Second, the difference of the gain between the basic frequency and the harmonic frequencies was more than 50 [dB], that is, this means facts that is reduced the harmonic frequency factor. Third, coherence frequency hopping state is confirmed by PN code sequence. Here, we confirmed the proposed method cut switching time, this verify facts that is the best characteristic of the frequency hopping. We also verified the fact that the phase varies as the adder is operated set or reset.

• Journal of Pharmaceutical Investigation
• /
• v.41 no.5
• /
• pp.317-322
• /
• 2011

Sertraline HCl, (1S-cis)-4-(3, 4-dichloro-phenyl)-1, 2, 3, 4-tetrahydro-N-methyl-l-naphthalenamine hydrochloride, is a potent and selective serotonin reuptake inhibitor which is used in the treatment of depression and obsessivecompulsive disorders. The purpose of the present study was to evaluate the bioequivalence of two sertraline HCl tablets, Traline tablet (Myungin Pharm. Co. Ltd.) and Zoloft$^{(R)}$ tablet (Pfizer Inc.), according to the guidelines of the Korea Food and Drug Administration (KFDA). The in vitro release of sertraline from the two sertraline HCl formulations was tested using KP VIII Apparatus II method with various dissolution media. Twenty four healthy Korean male volunteers, $23.50{\pm}1.74$ years in age and $64.09{\pm}7.10\;kg$ in body weight, were divided into two groups and a randomized $2{\times}2$ crossover study was employed. After a single tablet containing 50 mg as sertraline HCl was orally administered, blood samples were taken at predetermined time intervals and the concentrations of sertraline in serum were determined using an online columnswitching HPLC method with UV/Vis detection. The dissolution profiles of two formulations were similar in all tested dissolution media. The pharmacokinetic parameters such as $AUC_t$, $C_{max}$ and $T_{max}$ were calculated, and computer programs (Equiv Test and K-BE Test) were utilized for the statistical analysis of the parameters using logarithmically transformed $AUC_t$, $C_{max}$ and un-transformed $T_{max}$. The results showed that the differences between two formulations based on the reference drug, Zoloft$^{(R)}$ tablet, were 0.04, 3.26 and -1.29% for $AUC_t$, $C_{max}$, and $T_{max}$, respectively. There were no sequence effects between two formulations in these parameters. The 90% confidence intervals using logarithmically transformed data were within the acceptance range of log0.8 to log1.25. Thus, the criteria of the KFDA bioequivalence guideline were satisfied, indicating Traline tablet was bioequivalent to Zoloft$^{(R)}$ tablet.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.29 no.6
• /
• pp.704-711
• /
• 2023

This paper discusses the control method of BLDC(Brushless Direct Current) motor that has similar electrical characteristics with DC motor but has improved its lifespan and reliability. The BLDC motor can improve durability and speed stability by using rotor position information to eliminate commutators that require mechanical contact with DC motors. In this study, a controller for a DC motor was designed based on the fact that the current in the windings of a BLDC motor is a square-wave current like the current flowing in the armature of a DC motor. Next, the designed controller was applied to a 3-phase BLDC motor to confirm the effectiveness of the controller. In detail, a single-phase DC motor with electrical parameter values of a three-phase BLDC motor was modeled and a PI controller for motor speed control was designed by applying the root locus method to the derived system. The speed control simulation of the DC motor was performed to confirm the validity of the controller, and the same controller was applied to the speed control of the 3-phase BLDC motor implemented in MATLAB. From the simulation, similar results of the DC motor were obtained in the 3 phase BLDC motor and confirmed the usefulness of the proposed control scheme.

• Tuberculosis and Respiratory Diseases
• /
• v.45 no.3
• /
• pp.529-535
• /
• 1998

Background: Interleukin-4 plays an important role in pathogenesis of asthma, especially in developing atopy by means of switching B lymphocytes to produce IgE. It has been shown that there is polymorphism in the Interleukin-4 promoter region, transversion of cytosine to thymine at-598 from translation initiation site of IL-4 gene. There has also been quite a few works to reveal the role of the polymorphism of IL-4 gene in patients with asthma. We performed this investigation to determine the role of the polymorphism in the severity of symptoms of patients with asthma. We also examined the frequency and the type of the polymorphism in asthmatics compared with non-asthmatics as well. Method: The subjects enrolled in this study were 49 asthmatics and 33 non-asthmatics. All the asthmatics were classified as mild and moderate to severe by the NHLBI/WHO Workshop. DNA from both asthmatics and non-asthmatics was extracted, then performed ARMS(Amplification Refractory Mutation System) as well as RFLP using BsmFl restriction enzyme in order to confirm the polymorphism of Il-4 gene. Results: There was no significant difference in the occurrence of polymorphism of the IL-4 promoter sequence between asthm and non-asthma groups(P=0.7). Among those with polymorphisms, the number of C/C type was slightly more than C/T type in both asthmatics and non-asthmatics, 26 vs 21 in asthmatics and 18 vs 15 in non-asthmatics, which was, however, insignificant statistically. No significant relationship between the severity of asthma and the polymorphism was found(P=0.7). Conclusion: There was no significant difference between the severity of asthma and the IL-4 promoter polymorphism(P=0.709). Interestingly, the frequency of the polymorphism in both asthmatics as well as non-asthmatics was found to be even higher than that occurred in Caucasians. However, no significant difference in the frequency of the polymorphism was found in both groups.