• Nuclear Engineering and Technology
• /
• v.41 no.1
• /
• pp.79-90
• /
• 2009

Verification of programmable logic controller (PLC) programs written in IEC 61131-3 function block diagram (FBD) is essential in the transition from the use of traditional relay-based analog systems to PLC-based digital systems. This paper describes effective use of the well-known verification tool VIS for automatic verification of behavioral equivalences between successive FBD revisions. We formally defined FBD semantics as a state-transition system, developed semantic-preserving translation rules from FBD to Verilog programs, implemented a software tool to support the process, and conducted a case study on a subset of FBDs for APR-1400 reactor protection system design.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.4
• /
• pp.1299-1304
• /
• 2000

In a speed coding system using excitation source of voiced and unvoiced, it would be involved a distortion of speech quality in case coexist with a voiced and an unvoiced consonants in a frame. So, I propose TSIUVC(Transition Segment Including UnVoiced Consonant) searching, extraction ad approximation-synthesis method in order to uncoexistent with a voiced and unvoiced consonants in a frame. This method based on a zerocrossing rate and pitch detector using FIR-STREAK Digital Filter. As a result, the extraction rates of TSIUVC are 84.8% (plosive), 94.9%(fricative), 92.3%(affricative) in female voice, and 88%(plosive), 94.9%(fricative), 92.3%(affricative) in male voice respectively, Also, I obain a high quality approximation-synthesis waveforms within TSIUVC by using frequency information of 0.547kHz below and 2.813kHz above. This method has the capability of being applied to speech coding of low bit rate, speech analysis and speech synthesis.

• Journal of Welding and Joining
• /
• v.11 no.1
• /
• pp.73-79
• /
• 1993

The phenomenon of metal transfer has been investigated for different transfer modes using a digital high speed motion analyzer and an arc shadow-graphing system based on a laser source and related optical system. It was observed that the pinch instability phenomenon did not occur for the globular transfer mode, since the liquid globule was then spherical rateher than a cylindrical liquid bar. On increasing the ratio of carbon dioxide to argon, the transition current from globular to spray transfer generally increased, but it is interesting that the transition was observed to occur at the lowest current in a 5% CO$_{2}$-95% argon gas mixture. For pure carbon dioxide and helium shielding gases, the drop frequency increased slowly with increasing current. At high currents or an argon based shielding gas, the length of liquid bar decreased as the carbon dioxide content increased. The acceleration of a droplet within the arc was determined using the gas drag force theory and was found to be greater than the experimental results.

• Korean Journal of Remote Sensing
• /
• v.17 no.4
• /
• pp.335-344
• /
• 2001

Texture is extensively studied in a variety of image processing applications such as image segmentation and classification because it is an important property to perceive regions and surfaces. This paper focused on the analysis and synthesis of textured single and multiband images using Markov Random Field model considering the existent spatial correlation. Especially, for multiband images, the cross-channel correlation existing between bands as well as the spatial correlation within band should be considered in the model. Although a local interaction is assumed between the specified neighboring pixels in MRF models, during the maximization process, short-term correlations among neighboring pixels develop into long-term correlations. This result in exhibiting phase transition. In this research, the role of temperature to obtain the most probable state during the sampling procedure in discrete Markov Random Fields and the stopping rule were also studied.

• The Journal of the Convergence on Culture Technology
• /
• v.7 no.4
• /
• pp.95-104
• /
• 2021

This study was conducted for the purpose of convergence reconstruction of the transition education model for students with disabilities in Korea. Ultimately, this study was also conducted with the aim of enhancing the perspective of the development of a lifelong education support system for the disabled in connection with schools and communities. The research method consisted of a procedure with a meeting of experts based on the procedure of analyzing the previous research literature that tried to materialize the transition education model for students with disabilities from the viewpoint of connection between school age and adulthood. The contents of this study were reflected in the dimension of ensuring consistent connectivity validity based on the viewpoint of school-centered, community-centered, education, and welfare between special education and lifelong education for the disabled in order to reconstruct the conversion transition education model constructed in the current special education field. Accordingly, the transition education model for students with disabilities built in the field of special education centered on school age minimizes the tendency of a fragmented approach between school age and adulthood, and presents a standard basis and structure that can be linked to the entire adulthood. The transition education model was reconstructed convergence in terms of content.

• Therapeutic Science for Rehabilitation
• /
• v.11 no.3
• /
• pp.23-36
• /
• 2022

Objectives : This study aimed to provide basic data on intervention strategies that occupational therapists can access by systematically analyzing the intervention and effectiveness for youth with disabilities. Methods : The RISS, PubMed, and Web of Science databases were used to search for papers published between 2006 and 2021. The keywords were "Disability AND Adolescents OR Young adult AND Transition education OR Transition program". Seven papers were selected for analysis, and the full text was reviewed. The keywords and national relations were analyzed and visualized using the WoS (Web of Science) and VOSviewer programs. Results : The participants were classified into five types (ASD or ADHD, ID, DD, and physical disability). The areas used for the intervention were mixed into three categories: occupation (academic), self-management (time), and interaction (personal relations and communication). Sociality and adaptation, quality of life, and at least one of the three categories of daily life activities showed significant improvement. Conclusions : This study can be used as basic data to expand the area where only OTs can contribute while grasping the research trend of the conversion program and presenting the direction of exchange with various experts by organizing the application and its effects.

• Journal of Korea Society of Industrial Information Systems
• /
• v.8 no.2
• /
• pp.7-13
• /
• 2003

The Internet presents a unique platform for disseminating digital content such as music, video, games, software, text, business and proprietary corporate information. It promises ubiquitous access, while at the same time fundamentally challenging the traditional rules of ownership and distribution of content. In such environment, safe protection and proper delivery of digital content would be a crucial requirement toward a new e-business model. Research on the Digital Rights Management (DRM) focuses on filling this functional vacancy of the market transition by providing a more viable business model based. XrML(eXtensible Rights Markup Language) provides a universal tool for specification of rights, fees, and issuing conditions(licenses) associated with the use and protection of digital content. ContentGuard has developed XrML to unify the Digital Rights Management(DRM) specifications and encourage interoperability. It seems that all working groups of DRM agree to use XrMl for their right description language.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.12 no.5
• /
• pp.2416-2424
• /
• 2011

This study focused on the transition from modularity of a mechanical construction system to the seriality in a digital production system in architecture and arguing how digital design process affects the design of surface in the contemporary architecture and development of digital technology actively intermediate surface of architecture and expressive characteristics of media on surface. The analysis of two exhibition facilities of Herzog & de Meuron expose process of fabrication in the surface design and makes possible to implementation of the concept of code to seriality which shows images employed to reveal immediate representation of the perceptual communication with humans and architecture through the role and significance of digital design techniques.

• Journal of the Semiconductor & Display Technology
• /
• v.20 no.3
• /
• pp.71-76
• /
• 2021

Digital decimation filters are used in various digital signal processing systems using ADCs, including digital communication systems and sensor network systems. When the sampling rate of digital data is reduced, aliasing occurs. So, an anti-aliasing filter is necessary to suppress aliasing before down-sampling the data. Since the anti-aliasing filter has to have a sharp transition band between the passband and the stopband, the order of the filter is very high. However, as the order of the filter increases, the complexity and area of the filter increase, and more power is consumed. Therefore, in this paper, we propose two types of decimation filters, focusing on reducing the area of the hardware. In both cases, the complexity of the circuit is reduced by applying the required down-sampling rate in two times instead of at once. In addition, CIC decimation filters without a multiplier are used as the decimation filter of the first stage. The second stage is implemented using a CIC filter and a down sampler with an anti-aliasing filter, respectively. It is designed with Verilog-HDL and its function and implementation are validated using ModelSim and Quartus, respectively.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.52 no.6
• /
• pp.137-143
• /
• 2015

A delay-line type time-to-digital converter (TDC) implemented in a field-programmable gate array (FPGA) is most widely owing due to its simple structure and high conversion rate. However, the delay-line type TDC suffers from nonlinearity error caused by the long delay-line because its time interval measurement range is determined by the length of the used delay line. In this study, a new TDC structure with a shorter delay line by taking a pulse train as an input is proposed for improved time accuracy and efficient use of resources. The proposed TDC utilizes a pulse-train with four transitions and a transition state detector that identifies the used transition among four transitions and prevents the meta-stable state without a synchronizer. With 72 delay cells, the measured resolution and maximum non-linearity were 20.53 ps, and 1.46 LSB, respectively, and the time interval measurement range was 5070 ps which was enhanced by approximately 343 % compared to the conventional delay-line type TDC.