• Proceedings of the Korean Society of Coastal and Ocean Engineers Conference
• /
• 2000.09a
• /
• pp.176-181
• /
• 2000

This paper briefly outline the approach we are now setting for improving the existing global ocean tidal charts in next few years. There has been notable progress in predicting global ocean tide in mid 90s to improve correction procedures for tidal signals in altimetry with more accurate tidal models (http://podaac.jpl.nasa.gov/) than existing ones. (omitted)

• Environmental and Resource Economics Review
• /
• v.9 no.4
• /
• pp.701-725
• /
• 2000

Environmental taxes tend to compound the welfare cost of pre-existing tax distortions, the tax-interaction effect, however they also raise government revenues, tax revenue-recycling effect. By incorporating these two opposite tax effects, this paper examines a second- best environmental taxation for a polluting monopolist with distortionary taxes. The analysis suggests that the complications posed by pre-existing tax distortions as well as market structure can be key considerations in designing environmental taxes. In the tax setting game between regulator and regulated firm, we also derive the equilibrium tax rate and examine its relationship with distortionary taxes.

• Journal of the Korea Concrete Institute
• /
• v.14 no.4
• /
• pp.589-596
• /
• 2002

In this paper, setting and strength performances of concrete containing saccharic type super retarding agents are investigated under various kinds and contents of super retarding agents. According to test results, as super retarding agents contents increase, slump shows to be increased, while air contents decrease about 1∼2％. Setting time shows to be retarded considerably with increase of super retarding agents. It takes 20 days after mixing to reach final setting in case of concrete containing gluconic acid more than 0.3％. And 10 days after mixing in case of enhancing sucrose, white and brown sugar. Compressive strength of concrete containing super retarding agents is lower than that of plain concrete at early age. However, it keeps up with and exceeds the compressive strength of plain concrete at later age. White sugar md brown sugar shows positive performances in delaying setting time and strength compared to existing super retarding agents. n further investigations on durability are conducted, it is thought that application of white sugar as super retarding agent is available.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.15 no.10
• /
• pp.3815-3833
• /
• 2021

MILP-based automatic search is the most common method in analyzing the security of cryptographic algorithms. However, this method brings many issues such as low efficiency due to the large size of the model, and the difficulty in finding the contradiction of the impossible differential distinguisher. To analyze the security of ESF algorithm, this paper introduces a simplified MILP-based search model of the differential distinguisher by reducing constrains of XOR and S-box operations, and variables by combining cyclic shift with its adjacent operations. Also, a new method to find contradictions of the impossible differential distinguisher is proposed by introducing temporary variables, which can avoid wrong and miss selection of contradictions. Based on a 9-round impossible differential distinguisher, 15-round attack of ESF can be achieved by extending forward and backward 3-round in single-key setting. Compared with existing results, the exact lower bound of differential active S-boxes in single-key setting for 10-round ESF are improved. Also, 2108 9-round impossible differential distinguishers in single-key setting and 14 12-round impossible differential distinguishers in related-key setting are obtained. Especially, the round of the discovered impossible differential distinguisher in related-key setting is the highest, and compared with the previous results, this attack achieves the highest round number in single-key setting.

• Journal of Korean Society of Transportation
• /
• v.32 no.4
• /
• pp.357-368
• /
• 2014

So far, land use-transportation models have been used exclusively for numerical analysis. A recent theoretical endeavor now enables us to derive the first-order derivative of the model's welfare function with respect to policy variables. I extend this methodology into the institutional setting where toll revenues are recycled through labor income tax. In this setting, the first-order derivative is composed of (1) the increase in welfare due to reduced congestion, and (2) the decrease in welfare due to interaction with the existing labor income tax. This result coincides with existing theory in the non-spatial model.

• Journal of the Korean Institute of Landscape Architecture
• /
• v.31 no.4
• /
• pp.57-66
• /
• 2003

The purpose of this study is to evaluate the resource value of existing mud flats in JANGWHARI, KANGWHADO, as strategies for ecotourism. The research methods used in this study are Limits of Acceptable Change(LAC), and Recreation Opportunity Spectrum(ROS). The LAC process draws attention to the existing area conditions that are judged to be acceptable. Managers must define desired area conditions and undertake actions to maintain or achieve these conditions. The ROS is within each of the recreation opportunity classes identified as being used at the regional level. The Results of this study are as follows: 1) The Opportunity Class of the ROS is ecological, physical, social, managerial setting as primitive, semi-primitive. non-motorized, semi-primitive$.$motorized, and roaded natural. 2) The indicator of the LAC is ecological, physical, social, and managerial setting; the indicator of ecological is wildlife populations, water quality, road paving; the indicator of physical is facilities; the indicator of social is visitor needs for knowledge, adventure, eco-experience, and environmental education programs; and, the indicator of managerial is limits of law, and degree of management. 3) Currently, the Opportunity Class of the ROS of JANGWHARI, KANGWHADO is levels II-III, and the Opportunity Class of the suggested ROS is levels I-II. 4) This paper describes strategies for mud flat area management: detection of water quality, resolving problems of equipment, supply of both environmental education programs and guide equipment.

• Journal of Communications and Networks
• /
• v.12 no.1
• /
• pp.74-85
• /
• 2010

For the purpose of compromising hosts, attackers including infected hosts initially perform a portscan using IP addresses in order to find vulnerable hosts. Considerable research related to portscan detection has been done and many algorithms have been proposed and implemented in the network intrusion detection system (NIDS). In order to distinguish portscanners from remote hosts, most portscan detection algorithms use a fixed threshold that is manually managed by the network manager. Because the threshold is a constant, even though the network environment or the characteristics of traffic can change, many false positives and false negatives are generated by NIDS. This reduces the efficiency of NIDS and imposes a high processing burden on a network management system (NMS). In this paper, in order to address this problem, we propose an automatic portscan detection system using an fast increase slow decrease (FISD) scheme, that will automatically and adaptively set the threshold based on statistical data for traffic during prior time periods. In particular, we focus on reducing false positives rather than false negatives, while the threshold is adaptively set within a range between minimum and maximum values. We also propose a new portscan detection algorithm, rate of increase in the number of failed connection request (RINF), which is much more suitable for our system and shows better performance than other existing algorithms. In terms of the implementation, we compare our scheme with other two simple threshold estimation methods for an adaptive threshold setting scheme. Also, we compare our detection algorithm with other three existing approaches for portscan detection using a real traffic trace. In summary, we show that FISD results in less false positives than other schemes and RINF can fast and accurately detect portscanners. We also show that the proposed system, including our scheme and algorithm, provides good performance in terms of the rate of false positives.

• Journal of Korean Tunnelling and Underground Space Association
• /
• v.16 no.2
• /
• pp.135-148
• /
• 2014

This study was performed to evaluate the performance about Improved C12A7 based mineral accelerator (ICM) increased in initial and long-term strength. ICM was developed to overcome the long-term strength decrease in existing accelerator. To evaluate the performance of ICM according to addition rate, setting time, compressive strength, and flexural strength tests were conducted in laboratory. In results, initial setting time was slower, final setting time was faster than existing $C_{12}A_7$ based mineral accelerator (CM) when usage of ICM 6%. In compressive and flexural strength, existing CM was higher than ICM at 3hours and 1day. After 7days, strength of shotcrete using ICM was increased. Rebound test, compressive strength and flexural strength test with optimum addition rate through the laboratory test were conducted in field. Field experiment results were the same as laboratory test. Long-term strength performance of ICM was superior to existing accelerator.

• The KIPS Transactions:PartD
• /
• v.9D no.3
• /
• pp.511-522
• /
• 2002

WBI (Web-Based Instruction), a web-based tool for teaching the students at a long distance, makes possible to Interact between learners and instructors, provides a wide variety of learning materials, has an advantage of overcoming spatial constraints. In this paper, as a model of using the web for education, a web-based education-evaluation system has been designed and implemented. Web-based education-evaluation system has to be equipped with both of the online setting question mode and the upload setting question mode, the former makes questions on web and the latter uploads the setted questions on offline with settling a defeat of the existing systems on setting questions. And the system has to be equipped with the function of analyzing the questions that gives teacher several kinds of analysis information and makes possible to feedback to questions by adjusting the difficulty and revising the questions. In this paper, a system that reflects the above requirements has been designed and implemented with PHP script language and MySQL database system.

• KIEAE Journal
• /
• v.11 no.2
• /
• pp.45-57
• /
• 2011

As climate change and environmental degradation become more evident, the public's concern and knowledge on sustainable development requires planners to have regards to social impacts and long term economic viability, as well as environmental impacts. The main objective of this study is to analyze existing sustainability assessment tools for single detached houses. The most widely used oversea tools are selected. From analysis on the existing assessment tools, "Impact Estimator" by Athena Institute, "Bees 4.0" by NIST, "CASBEE for Home" by JSBC, "Envest for Housing" by Energy Saving Trust, "LISA" by Center for Sustainable Technology, "SBTool" by iiSBE (International Initiative for Sustainable Built Environment), it can be seen that the current sustainability assessment programs are in need of much improvement. The selected programs are analyzed on scope of program setting & running, data input & output, assessment categories, and strength & weakness. This study is to supplement the existing sustainability assessment tools for single detached houses, and provide information for the development of web-based program to assist architects or home owners to plan sustainable houses in Korea in the schematic design stage.