• The Journal of the Convergence on Culture Technology
• /
• v.9 no.6
• /
• pp.967-971
• /
• 2023

Recently, a variety of AI-based platform services are available, and one of them is ChatGPT that processes a large quantity of data in the natural language and generates an answer after self-learning. ChatGPT can perform various tasks including software programming in the IT sector. Particularly, it may help generate a simple program and correct errors using C Language, which is a major programming language. Accordingly, it is expected that ChatGPT is capable of effectively using Verilog HDL, which is a hardware language created in C Language. Verilog HDL synthesis, however, is to generate imperative sentences in a logical circuit form and thus it needs to be verified whether the products are executed properly. In this paper, we aim to select small-scale logical circuits for ease of experimentation and to verify the results of circuits generated by ChatGPT and human-designed circuits. As to experimental environments, Xilinx ISE 14.7 was used for module modeling, and the xc3s1000 FPGA chip was used for module embodiment. Comparative analysis was performed on the use area and processing time of FPGA to compare the performance of ChatGPT products and Verilog HDL products.

• The Journal of the Acoustical Society of Korea
• /
• v.13 no.1
• /
• pp.14-23
• /
• 1994

In this paper, speech units appropriate for recognition of Korean language have been studied. For better speech recognition, co-articulatory effects within an utterance should be considered in the selection of a recognition unit. One way to model such effects is to use larger units of speech. It has been found that diphone is a good recognition unit because it can model transitional legions explicitly. When diphone is used, stationary phoneme models may be inserted between diphones. Computer simulation for isolated word recognition was done with 7 word database spoken by seven male speakers. Best performance was obtained when transition regions between phonemes were modeled by two-state HMM's and stationary phoneme regions by one-state HMM's excluding /b/, /d/, and /g/. By merging rarely occurring diphone units, the recognition rate was increased from $93.98\%$ to $96.29\%$. In addition, a local interpolation technique was used to smooth a poorly-modeled HMM with a well-trained HMM. With this technique we could get the recognition rate of $97.22\%$ after merging some diphone units.

• 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.

• Structural Engineering and Mechanics
• /
• v.82 no.1
• /
• pp.1-16
• /
• 2022

This work elaborately investigates the influences of the guideway geometry parameters and track irregularity on the dynamic performances of the suspended monorail vehicle-guideway system (SMVGS). Firstly, a spatial dynamic analysis model of the SMVGS is established by adopting ANSYS parameter design language. Then, the dynamic interaction between a vehicle with maximum design load and guideway is investigated by numerical simulation and field tests, revealing the vehicle-guideway dynamic features. Subsequently, the influences of the guideway geometry parameters and track irregularity on the dynamic performances of the SMVGS are analyzed and discussed in detail, and the reasonable ranges of several key geometry parameters of the guideway are also obtained. Results show that the vehicle-guideway dynamic responses change nonlinearly with an increase of the guideway span, and especially the guideway dynamic performances can be effectively improved by reducing the guideway span; based on a comprehensive consideration of all performance indices of the SMVGS, the deflection-span ratio of the suspended monorail guideway is finally recommended to be 1/1054~1/868. The train load could cause a large bending deformation of the pier, which would intensify the car-body lateral displacement and decrease the vehicle riding comfort; to well limit the bending deformation of the pier, its cross-section dimension is suggested to be more than 0.8 m×0.8 m. The addition of the track irregularity amplitude has small influences on the displacements and stress of the guideway; however, it would significantly increase the vehicle-guideway vibrations and rate of load reduction of the driving tyre.

• International Journal of Computer Science & Network Security
• /
• v.22 no.9
• /
• pp.75-82
• /
• 2022

Analyzing the psychological and pedagogical literature, we found the researchers' interest in the problem posed. The concept of "culture of professional communication» is considered, which is interpreted as the level of realization of creative abilities, exchange of messages, organization of mutual understanding, mutual knowledge in the process of professionally directed interaction between subjects, in which interpersonal relationships arise, manifest and form. The concept of "professional culture of communication of a teacher" is interpreted. The motives that are socially significant in the professional communication of the teacher are highlighted. The necessity of forming a culture of professional communication among students, in particular by means of information technologies in the present, is clarified. The interactive component of professional communication is considered. The types of interactions between people in everyday life (ritual and entertainment interaction, joint purposeful activity, no interaction, game and interpersonal interaction) are identified. Traditional and specific forms and methods of teaching are written out. All interactive technologies carried out by means of information technologies are conventionally divided into four groups, depending on the form of educational activity appropriate for their use (pair (work of the subject with the teacher or peers one on one by means of Information Technologies); frontal (the teacher simultaneously teaches a group of subjects by means of Information Technologies); group or cooperative (all subjects teach each other by means of Information Technologies); individual (independent work of the subject using Information Technologies)). In the higher education institution, future specialists should learn knowledge, acquire skills on the basic rules of the culture of professional communication and methods of interaction and their effective use, which is possible with the use of Information Technologies. Recommendations for optimal professional communication have been developed that help you express your thoughts easily and beautifully, and conduct a dialogue in a relaxed and harmonious way.

• Journal of the Institute of Convergence Signal Processing
• /
• v.4 no.4
• /
• pp.30-39
• /
• 2003

In this paper, we carried out the performance evaluation of HM-Net(Hidden Markov Network) speech recognition system for Korean speech databases. We adopted to construct acoustic models using the HM-Nets modified by HMMs(Hidden Markov Models), which are widely used as the statistical modeling methods. HM-Nets are carried out the state splitting for contextual and temporal domain by PDT-SSS(Phonetic Decision Tree-based Successive State Splitting) algorithm, which is modified the original SSS algorithm. Especially it adopted the phonetic decision tree to effectively express the context information not appear in training speech data on contextual domain state splitting. In case of temporal domain state splitting, to effectively represent information of each phoneme maintenance in the state splitting is carried out, and then the optimal model network of triphone types are constructed by in the parameter. Speech recognition was performed using the one-pass Viterbi beam search algorithm with phone-pair/word-pair grammar for phoneme/word recognition, respectively and using the multi-pass search algorithm with n-gram language models for sentence recognition. The tree-structured lexicon was used in order to decrease the number of nodes by sharing the same prefixes among words. In this paper, the performance evaluation of HM-Net speech recognition system is carried out for various recognition conditions. Through the experiments, we verified that it has very superior recognition performance compared with the previous introduced recognition system.

• The Journal of the Acoustical Society of Korea
• /
• v.22 no.8
• /
• pp.727-739
• /
• 2003

In this paper, we propose a generation method of regression classes for adaptation in the HM-Net (Hidden Markov Network) system. The MLLR (Maximum Likelihood Linear Regression) adaptation approach is applied to the HM-Net speech recognition system for expressing the characteristics of speaker effectively and the use of HM-Net in various tasks. For the state level sharing, the context domain state splitting of PDT-SSS (Phonetic Decision Tree-based Successive State Splitting) algorithm, which has the contextual and time domain clustering, is adopted. In each state of contextual domain, the desired phoneme classes are determined by splitting the context information (classes) including target speaker's speech data. The number of adaptation parameters, such as means and variances, is autonomously controlled by contextual domain state splitting of PDT-SSS, depending on the context information and the amount of adaptation utterances from a new speaker. The experiments are performed to verify the effectiveness of the proposed method on the KLE (The center for Korean Language Engineering) 452 data and YNU (Yeungnam Dniv) 200 data. The experimental results show that the accuracies of phone, word, and sentence recognition system increased by 34∼37%, 9%, and 20%, respectively, Compared with performance according to the length of adaptation utterances, the performance are also significantly improved even in short adaptation utterances. Therefore, we can argue that the proposed regression class method is well applied to HM-Net speech recognition system employing MLLR speaker adaptation.

• Journal of Families and Better Life
• /
• v.23 no.4 s.76
• /
• pp.17-26
• /
• 2005

The purpose of the this study was to identify the relations among intelligence, parenting environment and self-regulation of preschool children. The subjects were 81 children between the ages 3 and 6 and their mothers from one day-care center in Seoul. T-test, correlation analysis, multiple regression analysis were used for data analysis. First, the result of this study showed that children's self-regulation ability by sex difference was significant to only girls and children's self-regulation ability by no was not significant. Parents who had higher educational background were positively related to children's intelligence and children's self-regulation ability was significant to mothers' educational background. Second, the preschool children who got higher scores in intelligence scale were higher self-regulation ability. Third, the young children's self-regulation ability showed significance only in motor intelligence which was one of the subscales of intelligence scale. Fourth, the effect of children's intelligence and parenting environment on preschoolers' self-regulation were relatively presented as intelligence($\beta$=.34, p<.01), trauma state($\beta$=0.31, p<.05) and development state($\beta$ =.23, p<0.5) which were subscales of parenting environment.

• The Journal of Korean Academy of Sensory Integration
• /
• v.1 no.1
• /
• pp.61-72
• /
• 2003

The suck/swallow/breathe(SSB) synchrony, serving as the earlist primary motor mechanism, is the rhythmical, coordinated pattern of sucking, swallowing and breathing. The development of an intact SSB is an important precursor for further sensorimotor and cognitive development including speech and language development, state regulation, postural control, feeding, eye/hand coordination and social/emotional development. Arousal means a neurological mechanism for preparing one's body to orienting stimulus. Its levels are regulated with an interaction of the reticular formation, the limbic system, the hypothalamus and the autonomic nervous system. General strategies such as blowing, sucking, chewing, munching and licking to effectively modulate arousal state are related to SSB. The SSB synchrony is an important treatment principle for children with sensory integration disorder and problems with the modulation of arousal. The purpose of this article is to review concepts of SSB synchrony and the underlying relation between the modulation of arousal and SSB synchrony.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.48 no.3
• /
• pp.76-81
• /
• 2011

Intrusion prevention systems (IPS) are important solution about solved problems for inside system security or outsider attacks. When introduce this system, first consideration item is secured rather than multiple function. Colored Petri Nets (CPNs) used that in order to secured verification for user authentication function of intrusion prevention system security model. CPNs is a graphical modeling language suitable for modeling distributed, concurrent, deterministic or non-deterministic systems with synchronous. Like these CPNs was expressed every possible state and occurrence graph. Secured of IPS security model was verified because expression every state using CPN tool and as a result of analyzing the occurrence graph was without a loop or interruption.