• Journal of the Ergonomics Society of Korea
• /
• v.21 no.2
• /
• pp.1-11
• /
• 2002

Classification of Korean characters(alphabets) and frequency data of them are studied that is essential to information process of Korean. We defined a classification of characters using the concept of 'set of 2 parts' and 'set of 3 parts', and we researched frequencies about all combinations of continual two characters. These data would be important basic data to design input device of computer, for example.

• Proceedings of the IEEK Conference
• /
• 2001.06b
• /
• pp.357-360
• /
• 2001

As SOC design methodology becomes popular, processors, the essential core in embedded system are required to be designed fast and supported to customers with expansive behavior description. This paper presents new methodology to meet such goals with designer configurable instruction set simulator for processors. This paper proposes new language called PML(Processor Modeling Language), which is based on microprogramming scheme and is also successful in most behavior of processors. By using this, we can describe scalar processor very efficiently with by-far faster simulation speed in compared with HDL model.

• Journal of the Korean Data and Information Science Society
• /
• v.16 no.4
• /
• pp.1041-1044
• /
• 2005

Recently, Zhang et al.(Fuzzy Sets and Systems 147(2004) 475-485) proved Fatou's lemma and Lebesgue dominated convergence theorem under some conditions of fuzzy measure. In this note, we show that these conditions of fuzzy measure is essential to prove Fatou's lemma and Lebesgue dominated convergence theorem by examples

• Nonlinear Functional Analysis and Applications
• /
• v.28 no.2
• /
• pp.521-535
• /
• 2023

In this work, some various types of Dissipativity in random dynamical systems are introduced and studied: point, compact, local, bounded and weak. Moreover, the notion of random Levinson center for compactly dissipative random dynamical systems presented and prove some essential results related with this notion.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 1996.03a
• /
• pp.101-109
• /
• 1996

Mini-mill process which is one of the new steel -marking technologies to be able to produce the hot rolled coils by thin slab caster of ISP(In-Line Strip Production) type, will be completed in the Kwangyang Steel Works of POSCO in August, 1996, SEt-Up Model of finishing mill which consists of 5 stands is the most basic and essential in mini-mill plant. Therefore, the simulation program of Finishing-mill Set-Up model were developed in this research , using new temeprature prediction model, roll gap model and rolling physical model. Using the developed FSU program , pass schedules to produce the strips with target strip thickness of 1.8mm, 2.0mm, 2.3mm, 2.7mm an d3.0mm were also determined respectively.

• Food Science of Animal Resources
• /
• v.37 no.5
• /
• pp.626-634
• /
• 2017

This study set out to identify the changes in the nutrient contents during the chicken cooking process as basic data for the establishment of a national health nutrition policy. Samples were produced using 3 chicken parts (wing, breast, and leg) and 7 cooking methods (boiling, pan-cooking, pan-frying, deep-frying, steaming, roasting, and microwaving), and the essential amino acid contents, principal components, and retention rates were analyzed. Weight loss was observed in all chicken parts with all cooking methods. The protein and essential amino acid contents of the chicken samples differed significantly according to the part and the cooking method (p<0.01). The protein and essential amino acid contents (g/100 g) of raw and cooked chicken parts showed ranges of 16.81-32.36 and 0.44-2.45, respectively. The principal component analysis (PCA) clearly demonstrated that the cooking methods and chicken parts produced similar trends for the essential amino acid contents. The retention rates of the chicken parts varied with the cooking methods, yielding a minimum value of 83% for isoleucine in a roasted wing, 91% for protein in a steamed breast, and 77% for isoleucine and lysine in a roasted leg. Therefore, the protein and amino acid contents of the roasted breast were higher than those of the other cooked chicken parts.

• Korean Journal of Health Education and Promotion
• /
• v.32 no.4
• /
• pp.25-35
• /
• 2015

Objectives: Health behaviors among young people group are strongly linked to healthy habit or life style in adulthood. This study performed to explore the essential components and effective strategies to develop the standardized program on healthy campus that could contribute to health status and sustainable health promotion among students, faculty, and staff in university health. Methods: To set up the priority and weighting of essential components and strategies on health promoting university, thirty one professionals who had majored in health promotion were selected for Delphi in Oct. 2011. Results: Barriers to success of the health promoting university were lack of interest and policies, incomplete process of health planning, absence of health-related personnel, and inadequate action plan. Essential components of healthy campus were raising fund, healthy policy, participation, human resource, and health promotion programs. Effective strategies were expanding of health promotion programs to improve lifestyle, improvement of campus environment, planning of healthy campus, development of infrastructure, and building up a healthy and safety campus. Conclusions: Health promoting university services support to achieve academic goal of student and helps to reduce absenteeism of university faculty and staff through the on-campus services that are accessible, student-focused, cost-effective, and high quality.

• BMB Reports
• /
• v.53 no.2
• /
• pp.112-117
• /
• 2020

A recent study suggested that methylation of ubiquitin-like with PHD and RING finger domain 1 (UHRF1) is regulated by SET7 and lysine-specific histone demethylase 1A (LSD1) and is essential for homologous recombination (HR). The study demonstrated that SET7-mediated methylation of UHRF1 promotes polyubiquitination of proliferating cell nuclear antigen (PCNA), inducing HR. However, studies on mediators that interact with and recruit UHRF1 to damaged lesions are needed to elucidate the mechanism of UHRF1 methylation-induced HR. Here, we identified that poly [ADP-ribose] polymerase 1 (PARP1) interacts with damage-induced methylated UHRF1 specifically and mediates UHRF1 to induce HR progression. Furthermore, cooperation of UHRF1-PARP1 is essential for cell viability, suggesting the importance of the interaction of UHRF1-PARP1 for damage tolerance in response to damage. Our data revealed that PARP1 mediates the HR mechanism, which is regulated by UHRF1 methylation. The data also indicated the significant role of PARP1 as a mediator of UHRF1 methylation-correlated HR pathway.

• Journal of the Korea Society of Computer and Information
• /
• v.19 no.3
• /
• pp.109-117
• /
• 2014

This paper revises the Quine-McCluskey Algorithm to circuit minimization problems. Quine-McCluskey method repeatedly finds the prime implicant and employs additional procedures such as trial-and-error, branch-and-bound, and Petrick's method as a means of circuit minimization. The proposed algorithm, on the contrary, produces an implicant chart beforehand to simplify the search for the prime implicant. In addition, it determines a set cover to streamline the search for $1^{st}$ and $2^{nd}$ essential prime implicants. When applied to 3-variable and 4-variable experimental data, the proposed algorithm has indeed proved to obtain the optimal solutions much more simply and accurately than the Quine-McCluskey method.

• Journal of Information Technology Applications and Management
• /
• v.12 no.3
• /
• pp.27-39
• /
• 2005

The Semantic Web has increased the interest in ontologies recently Ontology is an essential component of the semantic web and continues to change and evolve. We consider versions management schemes in ontology. We study a set of changes based on domain changes, changes in conceptualization, metadata changes, and temporal dimension. Our change specification is represented by a set of changes. A set of changes consists of instance data change, structural change, and identifier change. In order to support a query in ontology versions, we consider temporal dimension includes valid time. Ontology versioning brings about massive amount of versions to be stored and maintained. We present the ontology versions management schemes that are 1) storing all the change sets, 2) storing the aggregation of change sets periodically, and 3) storing the aggregation of change sets using an adaptive criterion. We conduct a set of experiments to compare the performance of each versions management schemes. We present the experimental results for evaluating the performance of the three version management schemes from scheme 1 to scheme 3. Scheme 1 has the least storage usage. The average response time in Scheme 1 is extremely large, those of Scheme 3 is smaller than Scheme 2. Scheme 3 shows a good performance relatively.