• Environmental Analysis Health and Toxicology
• /
• v.21 no.1 s.52
• /
• pp.71-79
• /
• 2006

Epidemiologic studies have showed a close correlation between arsenic exposure and heart disease such as, cardiovascular problem, ischemic heart disease, infarction, atherosclerosis and hypertension in human. It may increase the mortality of high risk group with heart disease. Regarding the mechanism studies of heart failure, blood vessel, vascular smooth muscle cells and endothelial cells have long been focused as the primary targets in arsenic exposure but there are only a few studies on the cardiomyocytes. In this study, the generation of oxidative stress by low dose of arsenic trioxide was investigated in rat cardiomyocytes. By direct measurement of reactive oxygen species and fluorescent microscopic observation using fluorescent dye 2',7'-dichlorofluorescin diacetate, reactive oxygen species were found to be generated without cell death, where cells are treated with 0.1 ppm arsenic for 24 hours. With the induction of reactive oxygen species, GSH level was decreased by the same treatment. However, DNA damage did not seem to be serious by DAPI staining, while high dose of arsenic (2 ppm for 24 hrs) caused fragmentation of DNA. To identify the molecular biomarkers of low-dose arsenic exposure, gene expression was also investigated with whole genome microarray. As results, 9,022 genes were up-regulated including heme oxygenase-l and glutathione S-transrerase, which are well-known biomarkers of oxidative stress. 9,404 genes were down-regulated including endothelial type gp 91-phox gene by the treatment of 0.1 ppm arsenic for 24 hours. This means that biological responses of cardiomyocytes may be altered by ROS induced by low level arsenic without cell death, and this alteration may be detected clearly by molecular biomarkers such as heme oxygenase-1.

• Journal of Korean Society of Environmental Engineers
• /
• v.36 no.10
• /
• pp.704-710
• /
• 2014

Biomass is considered an alternative energy which can solve an greenhouse gas problem like $CO_2$ which is a major contributor to global warming. The biomass can be converted to various energy sources through thermochemical conversion. In this study, a continuous gasifier was engineered for a wood biomass gasification. The biomass was used a waste wood. The experiments of $CO_2$ gasification were achieved as the gasification temperature, moisture content and input $CO_2$ concentration. The results showed that the yield of producer gas increased with an increasing the gasification temperature. The amount of the light tar increased due to the decomposition of gravimetric tar by the thermal cracking, and the char was confirmed pore development through the SEM analysis. The CO concentration was increased with an increased input $CO_2$ concentration from Boudouard reaction. Through the parametric screening studies, the hydrogen and carbon monoxide concentration were 32.91% and 48.33% at the optimal conditions of this test rig.

• The Journal of the Korea Contents Association
• /
• v.16 no.12
• /
• pp.562-573
• /
• 2016

Diversification of college admission system has recently brought up the problem of system fairness. Studies on fairness of college admission system mainly focused on policy proposal or investigation of teacher's perception. Different from previous works, this study aims to analyze college students' perceptions of fairness of the current college admission system. This study used grounded theory and interviews from eleven students. Results of analysis are as follows. Causal condition proved to be frequent change in admission system happened in the course of diversifying admission criteria. The core phenomenon is fundamental unfairness in both procedural and substantive aspects of admission system. Contextual condition is information and infrastructure asymmetry among students which has a root in regional gap in Korea. Mediatory condition is advance of information technology and individual or group effort to overcome disadvantages. In conclusion, students consider that unfairness in college admission system reflects social structural problems that cannot be solved in a one-time prescription.

• Journal of KIISE:Software and Applications
• /
• v.33 no.8
• /
• pp.692-702
• /
• 2006

In this study, a weighted fuzzy min-max (WFMM) neural network model for pattern classification is proposed. The model has a modified structure of FMM neural network in which the weight concept is added to represent the frequency factor of feature values in a learning data set. First we present in this paper a new activation function of the network which is defined as a hyperbox membership function. Then we introduce a new learning algorithm for the model that consists of three kinds of processes: hyperbox creation/expansion, hyperbox overlap test, and hyperbox contraction. A weight adaptation rule considering the frequency factors is defined for the learning process. Finally we describe a feature analysis technique using the proposed model. Four kinds of relevance factors among feature values, feature types, hyperboxes and patterns classes are proposed to analyze relative importance of each feature in a given problem. Two types of practical applications, Fisher's Iris data and Cleveland medical data, have been used for the experiments. Through the experimental results, the effectiveness of the proposed method is discussed.

• Journal of KIISE:Software and Applications
• /
• v.30 no.1_2
• /
• pp.103-116
• /
• 2003

States explosion due to composition of spaces of data, temporal, and locational values is one of the well-known critical problems which cause difficulty in understanding and analysing real-time systems specified with state-based formal methods. In order to overcome this problem, this paper presents an abstraction method for state minimization based on an abstraction in system specification and an abstraction in system execution. The first is named the syntactic in system specification and an abstraction in system execution. The first is named the syntactic abstraction, through which the patterns of the unconditionally internalized computation and the repetition and selection structures are abstracted. The latter is named the semantic abstraction, through which the patterns of the execution space represented with data. Through the abstractions, the components of a system in specification and execution model is hierarchically organized. The system can be analyzed briefly in the upper level in an skeleton manner with low complexity. The system, however, can be abstraction method for the state minimization and the decrease in analysis complexity through the abstraction with examples.

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

프로그래밍 언어의 의미를 정형적으로 표기하는 기법인 액션의미론을 기반으로 한 컴파일러 생성기는 프로그래밍언어의 액션의미구조가 주어지면 그 언어의 컴파일러를 자동으로 생성한다. 생성된 컴파일러는 먼저 원시 프로그램을 그에 상응하는 액션 프로그램으로 확장한 후, 목적 프로그램으로 컴파일 한다. 여기서 액션 프로그램은 일종의 중간코드로 쓰이므로, 효율적인 목적코드를 생성하기 위해서 중간코드의 성능향상이 필요하다. 본 논문에서는 액션 프로그램을 부분계산을 통해 효율적인 코드로 자동 변환해 주는 온라인 액션 부분계산기를 설계하고 구현한다. 선행 연구된 오프라인 방식에서 전역분석을 하지 않고는 불가능했던 요약캡슐의 몸통, 펼치기의 몸통에 대한 부분계산이 온라인 방법을 사용하면 가능함을 보이고, 명령형 액션의 부분계산도 추가적으로 수행할 수 있도록 확장한다. Abstract Action Semantics is a framework for formally defining the semantics of programming languages. Action semantics-directed compiler generators take an action semantics definition of a programming language and automatically generate a compiler of the language. The generated compiler first expands a source program into an action denotation of the program, and then compiles it to a target code. In these compiler-generation systems, it is important to statically process the expanded action denotation - used as an intermediate code - as much as possible so that the generated compiler can produce better target code. In this paper, we develop an automatic action-transformation method based on online partial evaluation. The previous off-line method was rather weak because it could not partially evaluate actions inside the body of abstraction and unfolding-action without performing separate global analysis. The proposed online method remedies the problem, thus naturally improves the quality of residual actions. Moreover, we also extend the method to partially evaluate imperative actions.

• Journal of the Korean Society of Food Science and Nutrition
• /
• v.27 no.4
• /
• pp.756-764
• /
• 1998

The purpose of this study is to compare food habits of four institution(public boarding home, public mursing home, private boarding home, meal service in welfare center) in Pusan, Korea. Data were collected from 119 of were more than 65 years in the above institutions. Chi-square test was the main data analysis method. More than a quarter of the respondents(27%) showed fairly good level of activity, while a half of them(52.9%) answered the middle level. More than 80 percent of the respondents reported that their food attitude was "Good". There were more elderly women than elderly men among the four institutions. Although the four institutions have served snacks on the regular basis, they did not provide the residents with nutritious food. Most of the residents want to have snacks between meals, but they did not perfer candy. All the subjects didn't point out any particular problem of institution. They were accustomed with their old food served by their institution. As food perferences, almost all of the respondents preferred cooked rice and cooked rice with cereals. Only the residents of private boaring home liked cooked rice with red bean. In case of soup, all of residents liked any kind of soup. The most preferred most menu was beef. But only residents of private boarding home did not like pork. All residents like any all kind of kimchi except kimchi made by radish. In preference of cooking method of a side dish, seasoned food and vegetables were the most favorable menu by the respondents. Compared to the private home, the institutions give residents effective plan to prepare meals. Even though this study tried to find differences in attitudes of dietary life among the institutions, it could not find any meaningful difference among them. Korean elders in the institutions seem to have no proper that they do not have any proper sense of evaluating their dietary life.

• Proceedings of the Korean Biophysical Society Conference
• /
• 2003.06a
• /
• pp.30-30
• /
• 2003

Without a definitive resolution of stoichiometry of cardiac Na$^{+}$-Ca$^{2+}$exchange (NCX), we cannot proceed to any quantitative analysis of exchange function as well as cardiac excitation-contraction coupling. The stoichiometry of cardiac NCX, however, is presently in doubt because reversal potentials determined by various groups range between those expected for a 3-to-1 and a 4-to-1 flux coupling. For a new perspective on this problem, we have used ion-selective microelectrodes to quantify directly exchanger-mediated fluxes of $Ca^{2+}$and Na$^{+}$in giant membrane patches. $Ca^{2+}$- and Na$^{+}$-selective microelectrodes, fabricated from quartz capillaries, are placed inside of the patch pipettes to detect extracellular ion transients associated with exchange activity. Ion changes are monitored at various distances from the membrane, and the absolute ion fluxes through NCX are determined via simulations of ion diffusion and compared with standard ion fluxes (Ca$^{2+}$ fluxes mediated by $Ca^{2+}$ ionophore, and Na$^{+}$ fluxes through gramicidin channels and Na$^{+}$/K$^{+}$pumps). Both guinea pig myocytes and NCX1-expressing BHK cells were employed, and for both systems the calculated stoichiometries for inward and outward exchange currents range between 3.2- and 3.4-to-1. The coupling ratios do not change significantly when currents are varied by changing cytoplasmic [Ca$^{2+}$] or by adding cytoplasmic Na$^{+}$. The exchanger reversal potentials, measured in both systems under several ionic conditions, range from 3.1- to 3.3-to-1. Taken together, a clear discrepancy from a NCX stoichiometry of 3-to-1 was obtained. Further definitive experiments are required to acquire a fixed number, and the present working hypothesis is that NCX current has an extra current via ‘conduction mode’.ent via ‘conduction mode’.

• Journal of Korean Society for Geospatial Information Science
• /
• v.10 no.3 s.21
• /
• pp.115-122
• /
• 2002

The mainly used technique to rectify satellite images with distortion is to develop a mathematical relationship between the pixel coordinates on the image and the corresponding points on the ground. By defining the relationship between two coordinate systems, a polynomial model is designed and various linear transformations are used. These GCP based geometric correction has performed overall plane to plane mapping. In the overall plane mapping, overall structure of a scene is considered, but local variation is discarded. The highly variant height of region is resampled with distortion in the rectified image. To solve this problem, this paper proposed the TIN-based rectification on a satellite image. The TIN based rectification is good to correct local distortion, but insufficient to reflect overall structure of one scene. So, this paper shows the experimental result and the analysis of each rectification model. It also describes the relationship GCP distribution and rectification model. We can choose a geometric correction model as the structural characteristic of a satellite image and the acquired GCP distribution.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.26 no.4
• /
• pp.82-90
• /
• 2003

The Systems Engineering, as a methodology for engineering and management of today's ever-growing complex system, is a comprehensive and iterative problem-solving process. The process centers on the analysis and management of the stakeholders' needs throughout the entire life-cycle of a system and searches for an optimized system architecture. There are many essential needs and requirements to be met when a system development task is carried out. Systems Engineering Management Plan(SEMP), as a specification for system development process, must be established to satisfy constraints and requirements of stakeholders successfully and to prevent cost overrun and schedule delay. SEMP defines technical management functions and comprehensive plans for managing and controlling the entire system development process, specialty engineering processes, etc. Especially. in the case of a large-scale complex system development program where various disciplinary engineering such as mechanical; electrical; electronics; control; telecommunication; material; civil engineering etc. must be synthesized, it Is essential to develop SEMP to ensure systematic and continuous process improvements for quality and to prevent cost/schedule overruns. This study will enable the process knowledge management on the subject of SEMP as a core systems engineering management effort, that is, definitely defining and continuously managing specification of development process about requirements, functions, and process realization of it using a computer-aided systems engineering software. The paper suggests a systematic SEMP development process and demonstrates a data model and schema for computer-aided systems engineering software, RDD-100, for use in the development and management of SEMP. These are being applied to the systems engineering technology development task for the next-generation high-speed railway systems in progress.