• Proceedings of the KSR Conference
• /
• 2006.11b
• /
• pp.856-862
• /
• 2006

In railway signalling system, there are several kinds of signal system such as signals, signs, marker. The signals allows train to go or not, the signs permit to communicate between railway men, and the marks indicate status of railway lines. In KNR, the application of the signal systems are defined in railway operational regulations, operational related regulation, Operation safety critical system manipulation manual, and so on. In this paper, we extracted regulations for signalling system operation from related regulations, reviewed compatibility and contradiction for signalling system operations. We tried to check logical integrity of informal signalling operation regulation using formal method.

• The Journal of the Korean dental association
• /
• v.52 no.11
• /
• pp.656-669
• /
• 2014

This literature considers Pierre Fauchard's exploits under historical context of the enlightenment movement and development of the surgery during 18th century in France. <치과의사 Le Chirurgien Dentiste, ou Traite des dents>, a vast collection of the former and contemporary dental knowledge, technologies, and skills, established Modern Dentistry. To emphasize the professionality of dental treatment and actions involving it, Fauchard replaces the title 'dental expert' with 'stomatologist, or Le Chirurgien Dentiste' As professionalism tried to contribute to the public interest by sharing dental knowledge and technolgies, it had become a model for the dentists. Moreover, the professionalism has been accepted as an important value throughout the manufacture crafts era and the modern capitalist industrial society. Also the principles of liberty, equality, and tolerance founded during enlightenment movement, which is based on empirical positivism and rational reason, has become the legal basis of modern nations. In order to resolve the contradiction or conflict between 'liberty and equality' by 'tolerance for the public benefit', Korean dentists need develop professionalism.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.9 no.6
• /
• pp.1690-1695
• /
• 2008

The 3D virtual reality digital recovery technique is a new type in protecting and displaying remains and cultural relics through which the information of cultural relics can easily be known anytime and any where. The dissertation focuses on the study of the contradiction between quality and loading speed.

• Journal of Powder Materials
• /
• v.7 no.3
• /
• pp.154-160
• /
• 2000

In order to enhance sinterability of W-Cu composites used for heat sink materials, mechanical alloying process where both homogeneous mixing of component powders and fine dispersion of minor phase can be easily attained was employed. Nanostructured W-Cu powders prepared by mechanical alloying showed W grain size ranged of 20-50 nm and were able to be efficiently sintered owing to the fine particle size as well as uniform distribution of Cu phase. The thermal properties such as electrical resistivity, coefficient of thermal expansion and thermal conductivity were evaluated as functions of temperature and Cu content. It was found that the coefficient of thermal expansion could be controlled by changing Cu content. The measured electrical resistivities and thermal diffusivities were also varied with Cu content. The thermal conductivities calculated from the values of resistivities and diffusivities showed similar tendency as a function of temperatures. However, this is in contradiction with thermal conductivities of pure W and Cu which decrease with increasing temperature.

• Proceedings of the KIEE Conference
• /
• summer
• /
• pp.60-63
• /
• 2004

AGC is widely used to regulate the frequency of power systems. It is also used to control the frequency of Korean Power System. Control strategies depends on systems to which it is applied. Korean Power System consists of one control area and it has no tie-line. In this research, we have developed a simulation tool to confirm AGC dynamics. The developed tool has been verified by two-machine three-bus system. Moreover an AGC control strategy has been suggested to avoid contradiction with governor dynamics. Low pass filter with relatively long time constant showed good regulation performance. This simple strategy is expected to be applied to New EMS in KPX to get reasonable AGC regulation performance.

• International Journal of Computer Science & Network Security
• /
• v.21 no.4
• /
• pp.47-51
• /
• 2021

The article analyzes and studies that pedagogical design of the educational process using information and communication technologies in educational institutions of higher education based on the development of a model and methodology personalization of training will improve the quality of the educational process at the university and solve the identified contradiction. A qualitative analysis of foreign countries in the possibility of using information and communication technologies in educational institutions of higher education is carried out.

• Nuclear Engineering and Technology
• /
• v.54 no.9
• /
• pp.3415-3421
• /
• 2022

This paper is aimed to find out the impact of the geometrical parameters, mainly the radius and the height of a cylinder, on the SGEMP response including the famous scaling law in the classical cylinder model using a homemade PIC code UNIPIC-3D. We computed the electric fields at the center and at the edge on the emission head face with different radii and heights under normal X-rays incidence. The results show that the electric field will increase with the radius but decrease with the height. We analyze the scaling law that links the electric field product and fluence product, and whereafter an irreconcilable contradiction raises when the radius is changeable, which limits the application range of the scaling law. Moreover, the field-height-radius relation is found and described by a combination of logarithmic and minus one-quarter numerical fitting law firstly. Particle and magnetic field distributions are used to explain all the behaviors of the fields reasonably. All the findings will assist the evaluation of SGEMP response in spacecraft protection.

• American Studies
• /
• v.42 no.2
• /
• pp.79-107
• /
• 2019

This article explores the photographic work of North American artist Jeff Wall. While his photographic work has been much discussed in terms of aesthetics and composition highlighting his methodological appropriation of modernist painters such as Eduard Manet and Piet Mondrian, the political aspect of his work remains to be investigated. This article especially unpacks the complicated dialectical relationship between the formal aesthetics and the political nature of his works by visiting his photographic work in the context of contemporary debates on the contradiction and conflicts between aesthetics and politics in photographic form. Ultimately, this article argues that Wall's photograph acquires its political meaning by problematizing the reified social representation of the other in a way in which the materiality and/or otherness of the photographic object is registered within the photographic frame and by representing the violence of the social representation and the un-representability of the object/other.

• Steel and Composite Structures
• /
• v.47 no.6
• /
• pp.729-741
• /
• 2023

As the most popular shear connection in composite structures, mature concrete has been widely investigated by considering mechanical properties of stud connectors (SCs) embedded. To further enhance the fabrication efficiency of composite structures and solve the contradiction between construction progress and structural performance, it is required to analyze the shear performance of stud connections of composite structures with different concrete ages. 18 typical vertical push-out tests were carried out on stud shear connectors at concrete ages of 7 days, 14 days, and 28 days. Also, the effects of concrete age, stud spacing and stud diameter on the shear capacity, connection stiffness and failure mode of the connectors were studied. A new relationship expression of load-slip for SCs with various concrete ages was proposed. The existing design code for the SCs shear strength was evaluated according to the experimental data, and a more practical prediction equation for the shear capacity of SCs with different concrete ages was established. A great agreement was observed between the experimental and theoretical results, which can provide a reference for engineering practices.

• Communications of the Korean Mathematical Society
• /
• v.38 no.3
• /
• pp.741-754
• /
• 2023

In this paper, we study the existence and nonexistence of solutions for a class of Hamiltonian strongly degenerate elliptic system with subcritical growth $$\left{\array{-{\Delta}_{\lambda}u-{\mu}v={\mid}v{\mid}^{p-1}v&&\text{in }{\Omega},\\-{\Delta}_{\lambda}v-{\mu}u={\mid}u{\mid}^{q-1}u&&\text{in }{\Omega},\\u=v=0&&\text{ on }{\partial}{\Omega},}$$ where p, q > 1 and Ω is a smooth bounded domain in ℝ^N, N ≥ 3. Here Δ_λ is the strongly degenerate elliptic operator. The existence of at least a nontrivial solution is obtained by variational methods while the nonexistence of positive solutions are proven by a contradiction argument.