• Communications of the Korean Mathematical Society
• /
• v.30 no.4
• /
• pp.385-402
• /
• 2015

In this paper we study the (good) semi-prime closure operations on ideals of a BCK-algebra, lower BCK-semilattice, Noetherian BCK-algebra and meet quotient ideal and then we give several theorems that make different (good) semi-prime closure operations. Moreover by given some examples we show that the given different notions are independent together, for instance there is a semi-prime closure operation, which is not a good semi-prime. Finally by given the notion of "$c_f$-Max X", we prove that every member of "$c_f$-Max X" is a prime ideal. Also we conclude some more related results.

• Proceedings of the IEEK Conference
• /
• 1999.11a
• /
• pp.384-387
• /
• 1999

In this paper, we have proposed a testing methodology for Speed-Independent asynchronous control circuits using the self-checking property where the circuit detects certain classes of faults during normal operation. To exploit self-checking properties of Speed-Independent circuits, the Proposed methodology generates tests from the specification of the target circuit which describes the behavior of the circuit. The generated tests are applied to a fault-free and a faulty circuit, and target faults can be detected by the comparison of the outputs of the both circuits. For the purpose of efficient comparison, reachability information of the both circuits in the form of BDD's is used and operations are conducted by BDD manipulations. The identification for undetectable faults in testing is also used to increase efficiency of the proposed methodology. The proposed identification uses only topological information of the target circuit and reachability information of the good circuit which was generated in the course of preprocess. Experimental results show that high fault coverage is obtained for synthesized Speed-Independent circuits and the use of the identification process decreases the number of tests and execution time.

• International Journal of Highway Engineering
• /
• v.16 no.2
• /
• pp.119-129
• /
• 2014

PURPOSES : The purpose of this study is to develop the U-turn accident model at 4-legged signalized intersections in urban areas. METHODS : In order to analyze the characteristics of the accidents which are associated with U-turn operation at 4-legged signalized intersections in urban areas and develop an U-turn accident model by regression analysis, the tests of overdispersion and zero-inflation are conducted about the dependent variables of number of accidents and EPDO (Equivalent Property Damage Only). RESULTS : As their results, the Poisson model fits best for number of accident and the ZIP (Zero Inflated Poisson) fits best for EPOD, the variables of conflict traffic, width of opposing road, traffic passing speed are adopted as independent variable for both models. The variables of number of bus berths and rate of U-turn signal time at which the U-turn is permitted are adopted as independent variable only for EPDO. CONCLUSIONS : These study results suggest that U-turn would be permitted at the intersection where the width of opposing road is wider than 11.9 meters, the passing vehicle speed is not high and U-turn operation is not hindered by the buses stopping at bus stops.

• Industrial Engineering and Management Systems
• /
• v.12 no.4
• /
• pp.317-329
• /
• 2013

In recent years, for the purpose of solving the problem regarding environment protection and resource saving, certain measures and policies have been promoted to establish a green supply chains (GSC) with material flows from collection of used products to reuse of recycled parts in production of products. In this study, we propose an optimal operation of the GSC while considering the collection incentive of the used products and quality for recycling of used products. Two types of decision-making approaches are used for product quantity, collection incentive of used products and lower limit of quality level of reusable parts in the used products for recycling in the GSC. One is the decision-making under an independent policy in decentralized supply chains where a retailer and a manufacturer make decisions so as to maximize profits individually. The other is the decision-making under a cooperative policy in centralized supply chains where a retailer and a manufacturer make decisions cooperatively so as to maximize the whole system's profit. Additionally, we also discuss supply chain coordination as a manufacturer-retailer partnership based on profit sharing. Furthermore, we show the effect of the quality of the reusable parts on the optimal decisions. The collection incentive of the used products was found to bring more profitability to the GSC activity.

• Journal of Biosystems Engineering
• /
• v.21 no.4
• /
• pp.422-428
• /
• 1996

This study was conducted to developed to develop a simple battery-powered autonomous vehicle for greenhouse works. A steering method using speed difference of two independent driving motors was adopted. DC motor driving circuit, speed control circuit and controller using one-chip microcomputer were constructed. The inputs of controller are rolling of the vehicle and current speed of driving motors. Using these signals, automatic guidance system along furrow was developed. A computer simulation program by the kenematic analysis was developed to find out optimal control algorithm. The results of this study are as follows. 1. Automatic guidance system along the furrow that adopted two independent driving motors and rolling of vehicle was developed. 2. The results of simulation showed that PID control was adequate to automatic guidance system along furrow. 3. Two commercial 12V battery serially connected were able to drive the vehicle on the soil ground for five hours in continuous operation and for four hours in intermittent operation without recharging the battery. 4. The speed range was 0-0.7m/s and the rolling of vehicle could be controlled within $pm5^{\circ}$ range. 5. From a series of tests, developed vehicle was found to be a useful tool for greenhouse works.

• Journal of the Korean Institute of Electrical and Electronic Material Engineers
• /
• v.18 no.4
• /
• pp.363-369
• /
• 2005

we compared the operating characteristics between flux-lock type and resistive type superconducting fault current limiters(SFCLs). Flux-lock type SFCL consists of two coils, which are wound in parallel each other through an iron core, and a high-Tc superconducting(HTSC) element is connected with coil 2 in series. The the flux-lock type SFCL can be divided into the subtractive polarity winding and the additive polarity winding operations according to the winding directions between the coil 1 and coil 2. It was confirmed from experiments that flux-lock type SFCL could improve both the quench characteristics and the transport capacity compared to the resistive type SFCL, which means, the independent operation of HTSC element.

• KSBB Journal
• /
• v.13 no.4
• /
• pp.411-417
• /
• 1998

The possibility of application of membrane type immobilized adsorbent to the fed-batch or perfusion culture system with anchorage-independent cells as well as batch system was investigated. The improvement in cell density and cell viability due to the combination of immobilized adsorbent with each culture system was evaluated for the investigation, and the optimum culture system employing immobilized adsorbent system was suggested based on the results. It was observed that the system with immobilized adsorbent showed better cell growth and cell viability than that without immobilized adsorbent in every operation system of batch, fed-batch, and perfusion. In case of batch system, 200% improvement of maximum cell density was observed in the system where ammonium chloride was added on purpose. And 50% improvement of maximum cell density was observed in the fed-batch system where ammonium ion accumulates significantly, while small increase in maximum cell density was observed in the perfusion system where dilution of waste byproducts exists. Especially, the fed-batch system showed the most significant improvement on cell growth because both compensation of nutrient and removal of ammonium ion occurred simultaneously in the system. Therefore a combined system of immobilized adsorbent and fed-batch operation could be suggested as an optimum system with in situ removal of ammonium ion.

• Journal of Environmental Science International
• /
• v.31 no.7
• /
• pp.555-567
• /
• 2022

With the introduction of the tele-monitoring system (TMS) in South Korea, monitoring of the concentration of pollutants discharged from nationwide water quality TMS attachments is possible. In addition, the Ministry of Environment is implementing a smart sewage system program that combines ICT technology with wastewater treatment plants. Thus, many institutions are adopting the automatic operation technique which uses process operation factors and TMS data of sewage treatment plants. As a part of the preliminary study, a multilayer perceptron (MLP) analysis method was applied to TMS data to identify predictability degree. TMS data were designated as independent variables, and each pollutant was considered as an independent variables. To verify the validity of the prediction, root mean square error analysis was conducted. TMS data from two public sewage treatment plants in Chungnam were used. The values of RMSE in SS, T-N, and COD predictions (excluding T-P) in treatment plant A showed an error range of 10%, and in the case of treatment plant B, all items showed an error exceeding 20%. If the total amount of data used MLP analysis increases, the predictability of MLP analysis is expected to increase further.

• Korean Journal of Comparative Education
• /
• v.27 no.1
• /
• pp.171-197
• /
• 2017

China's independent college approved private education investment, and facilitates the use of funds to support individual investors, corporations, and society. In contrast to China's public universities, the college guarantee private school method of operation. Its bachelor's degree, admission to students, the establishment of a separate corporation, and the recognition of scholastic achievements, was established with the aim of ensuring the diversity of higher education institutions in China. However, since the early 1990s, the independent college, which has emerged as a new way of higher education in China, has achieved quantitative growth over the past 30 years, but the quality of education has not yet grown. The reason why the independent college in China is interested is that it receives support from the facilities and professors of the original public college, and the major in which it is established and shares the reputation of the university. This study tried to analyze the policy of independent college which is a unique higher education institution in China. For this purpose, we use Four-Dimensional Framework to analyze the problem of China's independent colleges. It examines the profitability and non-profitability of independent college as a normative dimension and analyzes the Chinese society that have the old "guanxi" culture core in China. On the structural dimension, we analyzed the structure of the relationship in educational administrative institution. On the constituentive dimension, we observed that the various stakeholders who are interested in the independent college policy. Finally, we searched for future directions of the independent college centered on the process of legalization of independent colleges in technical dimension. The results of this analysis suggest the implications of the direction of China's independent college policy.

• The KIPS Transactions:PartC
• /
• v.16C no.1
• /
• pp.27-36
• /
• 2009

The leaking of personal information is mostly occurred by internal users. The confidential information such as credit card number can be disclosed or modified by system manager easily. The secure storaging and managing scheme for sensitive data of individual and enterprise is required for distributed data management. The manager owning private data is needed to have a weight which is a right to disclose a private data. For deciding a weight, it is required that system is able to designate the level of user's right. In this paper, we propose the new algorithm named digit-independent algorithm. And we propose a new data management scheme of gathering and processing the data based on digit-independent algorithm. Our sharing and recovering scheme have the efficient computation operation for managing a large quantity of data using weight table. The proposed scheme is able to use for secure e-business data management and storage in ubiquitous computing environment.