• Journal of KIISE:Software and Applications
• /
• v.36 no.7
• /
• pp.590-606
• /
• 2009

We present a static analyzer that detects memory leaks in C programs. It achieves relatively high accuracy at a relatively low cost on SPEC2000 benchmarks and several open-source software packages, demonstrating its practicality and competitive edge against other reported analyzers: for a set of benchmarks totaling 1,777 KLOCs, it found 332 bugs with 47 additional false positives (a 12.4% false-positive ratio), and the average analysis speed was 720 LOC/sec. We separately analyze each procedure's memory behavior into a summary that is used in analyzing its call sites. Each procedural summary is parameterized by the procedure's call context so that it can be instantiated at different call sites. What information to capture in each procedural summary has been carefully tuned so that the summary should not lose any common memory-leak-related behaviors in real-world C program. Because each procedure is summarized by conventional fixpoint iteration over the abstract semantics ('a la abstract interpretation), the analyzer naturally handles arbitrary call cycles from direct or indirect recursive calls.

• Environmental and Resource Economics Review
• /
• v.16 no.3
• /
• pp.653-682
• /
• 2007

In this study, multi-sectoral partial equilibrium and computable general equilibrium models of Taiwan are used to investigate the direct and indirect effects of energy price increases on overall economies and agro-food sector in Taiwan. The results suggest that agricultural prices, production cost would increase between 0.27% to 1.88%, and a reduction in GDP around 0.39% to 0.54 %. The negative impact on livestock sector is slightly higher than that on the crop sector. Negative impacts are also observed in the employment and wages. The rising oil price has the potential to discourage production of energy-intensive activity because of the possibility of substitution and adaptations. The growth rate of real GDP will shrink by 0.64% to 1.06% and CPI will increase by 1.17% to 1,95%. Both the agriculture and non-agricultural sector also respond by raising output prices by 0.80% to 1.33%. The rising international oil price has urged the government to take policy actions like using alternative fuels such as biodiesel, bioethanol, and adopting measures to cut down on energy consumptions mainly in transportation sectors in response to public concern over economic shocks.

• Journal of the Korea Safety Management & Science
• /
• v.16 no.4
• /
• pp.331-341
• /
• 2014

Internet of Thing(IoT), which is recently talked about with the development of information and communication technology, provides big data to all nodes such as companies and homes, means of transportation etc. by connecting all things with all people through the integrated global network and connecting all actual aspects of economic and social life with Internet of Thing through sensor and software. Defining Internet of Thing, it plays the role of a connector of providing various information required for the decision-making of companies in the cloud computing environment for the Insight usage by collecting and storing Raw Data of the production site through the sensor network and extracting big data in which data is accumulated and Insight through this. In addition, as the industry showing the largest linkage with other root industries among root industries, the mold industry is the core technology for controlling the quality and performance of the final product and realizing the commercialization of new industry such as new growth power industry etc. Recently, awareness on the mold industry is changing from the structure of being labor-intensive, relying on the experience of production workers and repeating modification without the concept of cost to technology-intensive, digitization, high intellectualization due to technology combination according to IT convergence. This study, therefore, is to provide a golden opportunity to increase the direct and indirect expected effects in poor management activities of small businesses by actually implementing and managing the entire process of mold life cycle to information system from mold planning to mass production and preservation by building SME(small and medium-sized enterprises)-type mold life cycle management information system in the cloud computing environment and applying it to the production site.

• The Journal of Society for e-Business Studies
• /
• v.16 no.4
• /
• pp.17-31
• /
• 2011

Damage caused by private information breach causes serious problems and huge social losses. In order to make a better policy that prevents society from suffering from the damage, we have to know about the actual size of damage. So it is needed to develop a quantitative model of private information breach that helps catching the more accurate size of damage. In our study, we suggest a method which calculate not only the costs of damage from firms' perspective but also those from individual and social perspectives. In this process, we refer to methods adopted by JNSA(Japan Network Security Association) and Ponemon Research Institue and modify it with considering our current situation. Also we try to make a new model by using new methods(web traffic analysis, survey, indirect comparison, etc.) and verify it with theories and methods from econometrics, cost accounting and theory of producer.

• Safety and Health at Work
• /
• v.8 no.1
• /
• pp.59-66
• /
• 2017

Background: Despite considerable efforts made in recent years, the industrial accident rate and the fatality rate in the Republic of Korea are much higher than those in most developed countries in Europe and North America. Industrial safety policies and safety regulations are also known to be ineffective and inefficient in some cases. Methods: This study focuses on the quantitative evaluation of the effectiveness of direct safety regulations such as safety certification, self-declaration of conformity, and safety inspection of industrial machines in the Republic of Korea. Implications on safety policies to restructure the industrial safety system associated with industrial machines are also explored. Results: Analysis of causes in industrial accidents associated with industrial machines confirms that technical causes need to be resolved to reduce both the frequency and the severity of such industrial accidents. Statistical analysis also confirms that the indirect effects of safety device regulation on users are limited for a variety of reasons. Safety device regulation needs to be shifted to complement safety certification and self-declaration of conformity for more balanced direct regulations on manufacturers and users. An example of cost-benefit analysis on conveyor justifies such a transition. Conclusion: Industrial safety policies and regulations associated with industrial machines must be directed towards eliminating the sources of danger at the stage of danger creation, thereby securing the safe industrial machines. Safety inspection further secures the safety of workers at the stage of danger use. The overall balance between such safety regulations is achieved by proper distribution of industrial machines subject to such regulations and the intensity of each regulation. Rearrangement of industrial machines subject to safety certification and self-declaration of conformity to include more movable industrial machines and other industrial machines with a high level of danger is also suggested.

• Korea Journal of Hospital Management
• /
• v.4 no.2
• /
• pp.41-59
• /
• 1999

Objectives: This study was done to compare patient satisfaction and hospital charges of surgery performed in an outpatient basis(ambulatory surgical procedures). Methods : This retrospective study was performed in 20(vitrectomy 11, tonsillectomy 9) randomly selected ambulatory surgical procedures patients and 50(vitrectomy 26, tonsillectomy 24) inpatients who. received the same procedure at a general hospital in Seoul since January 1, 1998 to October 31, 1998. The operative procedures were vitrectomy and tonsilletomy which could be performed on a ambulatory surgical procedures basis or on an inpatient basis. Results: The results of this study shows that the patients thought the expenses and the surgical operative time was an important factor in a ambulatory surgical procedures but there were no differences in the patient satisfaction by the method of surgery. The charges of vitrectomy and tonsilletomy were reduced up to 495,000 won and 380,000 won from l,589,000 won 842,000 won inpatient surgery respectively. Conclusions: This study focused only on the charges of the surgical procedures and did not include the cost of patient helper, the lost salary due to missing days of work to care for a member of the family, transportation costs, and other indirect costs. Therefore, if those fees were included, ambulatory surgical procedures would be more economical. Therefore, by giving incentives at the fee schedule, the government health policies it would reduce the total hospital charges.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.11
• /
• pp.7690-7697
• /
• 2015

This study is to reveal structural causal relationship of individual factors influencing association member's substantive payment in the economic view which is a critical factor of project implementation and identify its influence through simulation and actual proof analysis. As the results of analysis, the first, association member's substantive payment is decided to allow for the difference between special price for association members and general price and the profit arising between the time of approval of disposal plan and moving in. The second, on analysis of sensitivity of individual factors influencing association member's substantive payment, floor area ratio applied to project has the biggest influence. Association member's payment is also greatly influenced by the subject of cost allocation for establishing infrastructure in project area. The third, this study set up a structure model based on causal relationship among the factors deciding association member's payment and empirically examined influence and path of influence which the individual factors exercise. The result indicates that control elements and regional characteristic elements influence association member's payment through the medium of plan elements.

• Journal of the Korean Institute of Gas
• /
• v.2 no.3
• /
• pp.49-53
• /
• 1998

It takes quite a long time for an analyzer, such as gas chromatography, to measure a bulk property of a system, which prevents on-line measurements. Also, the cost of installation and maintenance is very high. Consequently, some other means is needed for on-line measurements of properties and the development of soft sensors based on process variables like temperature and pressure is of great interest. In the field of gas industry, the development of a soft sensor which makes indirect on-line measurements of gas compositions and flow rate, is in progress. In this paper, we proposed a hybrid inner model PLS which improved the prediction performance by taking into account the data structure, as an empirical modeling algorithm. When applied to a design of a soft sensor of a distillation tower, the hybrid inner model PLS showed better prediction performance than other methods.

• Journal of Climate Change Research
• /
• v.9 no.1
• /
• pp.75-80
• /
• 2018

The problem of water shortages and water related disasters caused by climate change has increased the seriousness of water problems and the importance of water treatment technology capable of securing clean water is expanding. In this study, we analyzed not only the water pollutant generated by the filtration system technology of various water treatment technologies but also the indirect greenhouse gas emissions generation, and analyzed the influence on the environment. The subjects of study are Fabric Filter, Reverse Osmosis System and Pressurized Microfiltration Device which are widely used for water treatment and we analyzed the impact on the environment using the Life Cycle Assessment (LCA) method using the electricity amount necessary for use, the water purification efficiency, the throughput per ton and the cost. The amount of greenhouse gas generated when the Pressurized Microfiltration Device operates for 1 year is $2.15E+04kg\;CO_2-eq$., Fabric Filter is $3.29E+04kg\;CO_2-eq$., and Reverse Osmosis System is $1.68E+05kg\;CO_2-eq$. As a result of analyzing the amount of greenhouse gas generated at the time of purifying 1 ton of the Pressurized Microfiltration Device and the conventional filtration system, the Pressurized Microfiltration Device was $20.5g\;CO_2-eq$., Fabric Filter was $34.7g\;CO_2-eq$., and Reverse Osmosis System was $191.7g\;CO_2-eq$. The amount of greenhouse gas generated was calculated to be 41.0% less than that of the Fabric Filter by the Pressurized Microfiltration Device and 89.3% less than the Reverse Osmosis System. From the viewpoint of climate change, it is necessary to select a filtration system that takes climate change into account, not from the viewpoint of water quality removal efficiency and economic efficiency according to future water treatment applications, and it is necessary to select a water treatment filtration system more researches and improvements will be made for.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.44 no.3
• /
• pp.165-175
• /
• 2021

As the advent of the Fourth Industrial Revolution and Information Age, companies are in the state of infinite competition due to the rapidly changing technological environment and fierce competition. In this situation companies are making efforts to gain the competitive advantage by introducing information systems. Supply Chain Management (SCM) is considered a method to gain a competitive edge in rapid change. In fact, companies that already have introduced the SCM system are achieving company renovation with positive effects such as increase of sales stock reduction on-time delivery cost reduction and improved efficiency. This study was started to investigate the resistance that occurs in introducing the SCM system for small and medium-sized manufacturing industries that have not yet introduced the SCM system despite the importance of the SCM system, and to check the effect on the intention of the introduction. As the result of this study, the first is that the company has the higher technological innovation, the more positive the effect on Relative advantage Compatibility Perceived risk, Complexity. Second, The compatibility of the SCM system was rejected in innovation resistance, but it is adopted with the highest impact in the introduction intention. In addition, the mediating effect of innovation resistance was also rejected, confirming that if the SCM system is compatible for the company, it doesn't affect the resistance and is the biggest factor to consider in the introduction of the SCM system. Third, the perceived risk of the SCM system doesn't directly affect the intention to introduce, but has an indirect effect when mediation innovation resistance.