• Journal of the Korean Society for Railway
• /
• v.14 no.6
• /
• pp.526-534
• /
• 2011

In this study, proposed is the methodology to determine the upper limit for stiffness of rail pad for the ballasted and concrete track in high-speed railway in the viewpoint of running safety, considering the dynamic characteristics of train and track and the operation environment. For the track irregularity, one of the most important input parameters for traintrack interaction analysis, the reference vertical track irregularity PSDs(power spectral densities) for the ballasted and concrete track in a wide range of frequencies were proposed based on those presented in France and Germany and that obtained from the measured data at Kyeong-Bu 1st phase high-speed railway line. Using these reference PSD models, the input data for the vertical track irregularity data were regenerated by random generation process, and then, the wheel load reduction rates according to the stiffness of the rail pads have been calculated by the train-track interaction analysis technique. Finally, by comparing the wheel load reduction rates calculated with the derailment criteria prescribed in the Korean standards for railway vehicle safety criteria, the upper limits for the stiffness of rail pad have been proposed.

• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.6
• /
• pp.727-737
• /
• 1999

프로세스 중심 소프트웨어 개발 환경(PSEE : Process-centered Software Engineering Environment)은 소프트웨어 개발자를 위한 여러가지 정보의 제공과 타스크의 수행, 소프트웨어 개발 도구의 수행 및 제어, 필수적인 규칙이나 업무의 수행등과 같은 다양한 행위를 제공하는 프로세스 모형의 수행을 통하여 소프트웨어 개발 행위를 지원한다. SEED(Software Engineering Environment for Development)는 효율적인 소프트웨어 개발과 프로세스 모형의 수행을 제어하기 위해 ETRI에서 개발된 PSEE이다.본 논문에서는 SEED에서 프로세스 모형을 설계하기 위해 사용되는 SimFlex 프로세스 프로그래밍 언어와, 수행지원시스템인 SEED Engine의 구현에 대하여 기술한다. SimFlex는 간단한 언어 구조를 가진 프로세스 프로그래밍 언어이며, 적절한 적합화를 통하여 다른 PSEE에서 사용될 수 있다. SimFlex 컴파일러는 SimFlex에 의해 기술된 프로세스 모형을 분석하고, 모형의 오류를 검사하며, SEED Engine에 의해 참조되는 중간 프로세스 모형을 생성한다. 중간 프로세스 모형을 사용하여 SEED Engine은 외부 모니터링 도구와 연관하여 사용자를 위한 유용한 정보뿐만 아니라 SimFlex에 의해 기술된 프로세스 모형의 자동적인 수행을 제공한다. SimFlex 언어와 수행지원 시스템의 지원을 통하여 소프트웨어 프로세스를 모형화하는데 드는 비용과 시간을 줄일 수 있으며, 편리하게 프로젝트를 관리하여 양질의 소프트웨어 생산물을 도출할 수 있다. Abstract Process-centered Software Engineering Environments(PSEEs) support software development activities through the enaction of process models, providing a variety of activities such as supply of various information for software developers, automation of routine tasks, invocation and control of software development tools, and enforcement of mandatory rules and practices. The SEED(Software Engineering Environment for Development) system is a PSEE which was developed for effective software process development and controlling the enactment of process models by ETRI.In this paper, we describe the implementation of the SimFlex process programming language used to design process models in SEED, and its runtime support system called by SEED Engine. SimFlex is a software process programming language to describe process models with simple language constructs, and it could be embedded into other PSEEs through appropriate customization. The SimFlex compiler analyzes process models described by SimFlex, check errors in the models, and produce intermediate process models referenced by the SEED Engine. Using the intermediate process models, the SEED Engine provides automatic enactment of the process models described by SimFlex as well as useful information for agents linked to the external monitoring tool. With the help of the SimFlex language and its runtime support system, we can reduce cost and time in modeling software processes and perform convenient project management, producing well-qualified software products.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.13 no.6
• /
• pp.1301-1308
• /
• 2018

90/150 CA which are used as key generators of the cipher system have more randomness than LFSRs, but synthesis methods of 90/150 CA are difficult. Therefore, 90/150 CA synthesis methods have been studied by many researchers. In order to synthesize a suitable CA, the analysis of the characteristic polynomial of 90/150 CA should be preceded. In general, the characteristic of polynomial ${\Delta}_n$ of n cell 90/150 CA is obtained by using ${\Delta}_{n-1}$ and ${\Delta}_{n-2}$. Choi et al. analyzed $H_{2^n}(x)$ and $H_{2^n-1}(x)$, where $H_k(x)$ is the characteristic polynomial of k cell 90/150 CA with state transition rule <$10{\cdots}0$>. In this paper, we propose an efficient method to obtain $H_n(x)$ from $H_{n-1}(x)$ and an efficient algorithm to obtain $H_{2^n+i}(x)$ and $H_{2^n-i}(x)$ ($1{\leq}i{\leq}2^{n-1}$) from $H_{2^n}(x)$ by using this method.

• Journal of The Korean Association For Science Education
• /
• v.43 no.4
• /
• pp.369-387
• /
• 2023

This study aims to interpret the experience of science research in a graduate school laboratory from the perspective of Gilles Deleuze's concepts of "agencement" and "becoming". The research was conducted as an autobiographical narrative inquiry. The research text is written in a way that tells the story of my science research experience and retells it from the perspective of Gilles Deleuze. In Deleuze's view, science research is a constantly flowing agencement. The science research agencement is composed of a mechanical agencement of various experimental tools-machines and researcher-machines as well as a collective agencement of speech acts such as biological knowledge, experiment protocols, and laboratory rules. Furthermore, science research agencement is fluid as events occur all over the agencement. Data, as a change occurring in the material dimension, is an event and sign that raises problems. It has the agency to influence agencement through an intersubjective relationship with researchers, and the meaning of data is generated in this process. The change of agencement compelled me to perform science practice. I have performed repeated science practice, meaning that my body has constantly been connected to other machines. As a result of this connection, my body has been affected, and the capacity of my body that constitutes the agencement has been augmented. In addition, I was able to be deterritorialized from the existing science research agencement and reterritorialized in a new science research agencement with data. This process of differentiation allowed me to becoming-scientist. In sum, this study provides implications for science practice-oriented education by exploring the process of becoming-scientist based on my science research experience.

• Journal of Intelligence and Information Systems
• /
• v.16 no.3
• /
• pp.121-145
• /
• 2010

University timetabling depending on the educational environments of universities is an NP-hard problem that the amount of computation required to find solutions increases exponentially with the problem size. For many years, there have been lots of studies on university timetabling from the necessity of automatic timetable generation for students' convenience and effective lesson, and for the effective allocation of subjects, lecturers, and classrooms. Timetables are classified into a course timetable and an examination timetable. This study focuses on the former. In general, a course timetable for liberal arts is scheduled by the office of academic affairs and a course timetable for major subjects is scheduled by each department of a university. We found several problems from the analysis of current course timetabling in departments. First, it is time-consuming and inefficient for each department to do the routine and repetitive timetabling work manually. Second, many classes are concentrated into several time slots in a timetable. This tendency decreases the effectiveness of students' classes. Third, several major subjects might overlap some required subjects in liberal arts at the same time slots in the timetable. In this case, it is required that students should choose only one from the overlapped subjects. Fourth, many subjects are lectured by same lecturers every year and most of lecturers prefer the same time slots for the subjects compared with last year. This means that it will be helpful if departments reuse the previous timetables. To solve such problems and support the effective course timetabling in each department, this study proposes a university timetabling support system based on two phases. In the first phase, each department generates a timetable template from the most similar timetable case, which is based on case-based reasoning. In the second phase, the department schedules a timetable with the help of interactive user interface under the timetabling criteria, which is based on rule-based approach. This study provides the illustrations of Hanshin University. We classified timetabling criteria into intrinsic and extrinsic criteria. In intrinsic criteria, there are three criteria related to lecturer, class, and classroom which are all hard constraints. In extrinsic criteria, there are four criteria related to 'the numbers of lesson hours' by the lecturer, 'prohibition of lecture allocation to specific day-hours' for committee members, 'the number of subjects in the same day-hour,' and 'the use of common classrooms.' In 'the numbers of lesson hours' by the lecturer, there are three kinds of criteria : 'minimum number of lesson hours per week,' 'maximum number of lesson hours per week,' 'maximum number of lesson hours per day.' Extrinsic criteria are also all hard constraints except for 'minimum number of lesson hours per week' considered as a soft constraint. In addition, we proposed two indices for measuring similarities between subjects of current semester and subjects of the previous timetables, and for evaluating distribution degrees of a scheduled timetable. Similarity is measured by comparison of two attributes-subject name and its lecturer-between current semester and a previous semester. The index of distribution degree, based on information entropy, indicates a distribution of subjects in the timetable. To show this study's viability, we implemented a prototype system and performed experiments with the real data of Hanshin University. Average similarity from the most similar cases of all departments was estimated as 41.72%. It means that a timetable template generated from the most similar case will be helpful. Through sensitivity analysis, the result shows that distribution degree will increase if we set 'the number of subjects in the same day-hour' to more than 90%.

• Journal of Intelligence and Information Systems
• /
• v.16 no.3
• /
• pp.77-97
• /
• 2010

Market timing is an investment strategy which is used for obtaining excessive return from financial market. In general, detection of market timing means determining when to buy and sell to get excess return from trading. In many market timing systems, trading rules have been used as an engine to generate signals for trade. On the other hand, some researchers proposed the rough set analysis as a proper tool for market timing because it does not generate a signal for trade when the pattern of the market is uncertain by using the control function. The data for the rough set analysis should be discretized of numeric value because the rough set only accepts categorical data for analysis. Discretization searches for proper "cuts" for numeric data that determine intervals. All values that lie within each interval are transformed into same value. In general, there are four methods for data discretization in rough set analysis including equal frequency scaling, expert's knowledge-based discretization, minimum entropy scaling, and na$\ddot{i}$ve and Boolean reasoning-based discretization. Equal frequency scaling fixes a number of intervals and examines the histogram of each variable, then determines cuts so that approximately the same number of samples fall into each of the intervals. Expert's knowledge-based discretization determines cuts according to knowledge of domain experts through literature review or interview with experts. Minimum entropy scaling implements the algorithm based on recursively partitioning the value set of each variable so that a local measure of entropy is optimized. Na$\ddot{i}$ve and Booleanreasoning-based discretization searches categorical values by using Na$\ddot{i}$ve scaling the data, then finds the optimized dicretization thresholds through Boolean reasoning. Although the rough set analysis is promising for market timing, there is little research on the impact of the various data discretization methods on performance from trading using the rough set analysis. In this study, we compare stock market timing models using rough set analysis with various data discretization methods. The research data used in this study are the KOSPI 200 from May 1996 to October 1998. KOSPI 200 is the underlying index of the KOSPI 200 futures which is the first derivative instrument in the Korean stock market. The KOSPI 200 is a market value weighted index which consists of 200 stocks selected by criteria on liquidity and their status in corresponding industry including manufacturing, construction, communication, electricity and gas, distribution and services, and financing. The total number of samples is 660 trading days. In addition, this study uses popular technical indicators as independent variables. The experimental results show that the most profitable method for the training sample is the na$\ddot{i}$ve and Boolean reasoning but the expert's knowledge-based discretization is the most profitable method for the validation sample. In addition, the expert's knowledge-based discretization produced robust performance for both of training and validation sample. We also compared rough set analysis and decision tree. This study experimented C4.5 for the comparison purpose. The results show that rough set analysis with expert's knowledge-based discretization produced more profitable rules than C4.5.

• Journal of the Korean Ceramic Society
• /
• v.34 no.2
• /
• pp.145-156
• /
• 1997

ZrO2 phase transformations depending on the type and amount of dopants and the sintering temperatures were studied for the 2 components (CaO-, Y2O3-, MgO-ZrO2) and the 3 components(MgO-ZrO2-Al2O3)ZrO2 powder by X-ray diffraction and Raman spectroscopy. In the CaO- and Y2O3-ZrO2 systems, as the CaO and Y2O3 contents increased to 6~15mol% and 3~15mol% respectively, we were not able to identify between tetragonal and cubic in the X-ray diffraction patterns. On the other hand, all Raman modes shifted to lower wavenumbers, decreasing in intensity and the number of bands, markedly. These phenomena were caused by tetragonallongrightarrowcubic phase transformation and interpreted by the breakdown of the wave vector selection rule(k=0) and the structural disorder associated with the formation of oxygen sublattice which was caused by the substitution between Zr4+ ion and Ca2+ or Y3+ ion in ZrO2 matrix. The monoclinic to cubic phase transformation occurred in 10mol% MgO-ZrO2 system. As the Al2O3 content increased from 0 to 20mol% in the MgO-ZrO2-Al2O3 systems, cubic phase transformed to monoclinic phase, this is because the MgO didn't play a role in a stabilizer because of the formation of the spinel(MgAl2O4) by the reaction between MgO and Al2O3, Also, the ZrO2 phase transformation was explained by the change of it's lattice parameters depending on the type and amount of dopants. Namely, as the amount of dopant increased to 10~13mol%, the axial ra-tio c/a came close to unity with increasing the lattice parameter a and decreasing the lattice parameter c. At that time, the tetragonallongrightarrowcubic phase transformation occurred.

• Journal of Technologic Dentistry
• /
• v.21 no.1
• /
• pp.27-41
• /
• 1999

The Ag-Pd-Cu alloys containing a small amount of Au is commonly used for dental purposes, because this alloy cheaper than Au-base alloys for clinical use. However, the most important characteristic of this alloy is age-hardenability, which is not exhibited by other Ag-base dental alloys. The specimens used were Ag-30Pd-10Cu ternary alloy and Au addition alloy. These alloys were melted and casted by induction electric furnace and centrifugal casting machine in Ar atmosphere. These specimens were solution treated for 2hr at $800^{\circ}C$ and were then quenched into iced water, and aged at 350-$550^{\circ}C$ Age-hardening characteristic of the small Au-containing Ag-Pd-Cu dental alloys were investigated by means of hardness testing, X-ray diffraction and electron microscope observations, electrical resistance, differential scanning calorimetric, energy dispersed spectra and electron probe microanalysis. Principal results are as follows ; Maximum hardening occured in two co-phases of ${\alpha}_2$ + PdCu In stage II, decomposition of the $\alpha$ solid solution to a PdCu ordered phase($L1_o$ type) and an Ag-rich ${\alpha}_2$ phase occurred and a discontinuous precipitation occurred at the grain boundary. From the electron microscope study, it was concluded that the cause of age-hardening in this alloy is the precipitation of the PdCu redered phase, which has AuCu I type face-centered tetragonal structure. Precipitation procedure was ${\alpha}{\to}{\alpha}_1+PdCu{\to}{\alpha}_2+PdCu$ at Pd/Cu = 3 Pd element of Ag-Pd-Cu alloy is more effective dental alloy on anti-corrosion and is suitable to isothermal ageing at $450^{\circ}C$.

• Fashion & Textile Research Journal
• /
• v.24 no.6
• /
• pp.667-685
• /
• 2022

This paper aims to investigate 4D printing materials for soft robots. 4D printing is a targeted evolution of the 3D printed structure in shape, property, and functionality. It is capable of self-assembly, multi-functionality, and self-repair. In addition, it is time-dependent, printer-independent, and predictable. The shape-shifting behaviors considered in 4D printing include folding, bending, twisting, linear or nonlinear expansion/contraction, surface curling, and generating surface topographical features. The shapes can shift from 1D to 1D, 1D to 2D, 2D to 2D, 1D to 3D, 2D to 3D, and 3D to 3D. In the 4D printing auxetic structure, the kinetiX is a cellular-based material design composed of rigid plates and elastic hinges. In pneumatic auxetics based on the kirigami structure, an inverse optimization method for designing and fabricating morphs three-dimensional shapes out of patterns laid out flat. When 4D printing material is molded into a deformable 3D structure, it can be applied to the exoskeleton material of soft robots such as upper and lower limbs, fingers, hands, toes, and feet. Research on 4D printing materials for soft robots is essential in developing smart clothing for healthcare in the textile and fashion industry.