• Journal of Science and Technology Studies
• /
• v.15 no.2
• /
• pp.229-262
• /
• 2015

Toxic tort cases have increased dramatically since the 1970s, as large technological systems, such as nuclear power plants and chemical factories, or mass-produced, high-tech products, had exposed citizens and consumers to dangerous substances. It was, however, difficult to establish causal connection between exposure and the alleged harms in many of the environmental, pollution, and product liability cases under the framework of tort law conception of causation and responsibility. Science and law was called upon to resolve such 'late modern' legal cases where true causes are hard to find, where no single explanatory factor is sufficient for explaining diseases like cancer. This article examines how plaintiffs in the Korean tobacco litigation mobilized such late modern tools in science and law, such as epidemiology and the allocation of the burden of proof, in the context of the global circulation of science and law. It further shows how a set of the scientific theories and legal arguments developed in order to cope with late modern risk played a central role in establishing a causation between smoking and cancer in 2011. This article suggests that STS scholars can fruitfully examine the interaction between science and law as a way to understand and engage with social and legal issues engendered by late modern risk.

• The Journal of the Korea Contents Association
• /
• v.19 no.4
• /
• pp.466-476
• /
• 2019

This study suggested a way to compose a flexible environment capable of meeting the needs of various users from the aged people to challenged people, and ordinary people by applying the concept of universal design. The purpose of this study was to develop a more convenient environment by deriving the best size and color for each subject and constructing a detailed design platform for each module. For this, the concept of universal design as well as the current bathroom designs were examined and various users were analyzed prior to developing the design. A virtual environment was prepared based on the results and its usability was evaluated in two phases with various users including the aged people, challenged people, and ordinary people. As a result, it received quite a favorable evaluation from users, over 90 out of 100 in average, which can be regarded as a proof that it is differentiated from existing bathrooms. This study may lead to the change in the paradigm of bathroom in residential space, development of safer and comfortable domestic environment, and the enhancement of the quality of healthy life through the development of a design platform for each module that provides new experiences to various users. It is hoped that these modular systems are continuously studied not only for bathrooms but also for various residential spaces where people can stay.

• The Korean Journal of Archival Studies
• /
• no.30
• /
• pp.175-204
• /
• 2011

Electronic records are generated not only in public sector but also in private sector. Records will be used across the public-private boundary. The Certified e-Document Authorities(CeDAs) may keep electronic documents in private sector for preservation and evidence, like the official Record Management Systems for Public sector. A CeDA is the Trusted Third Party (TTP) as a business to be entrusted and proof interchanging documents between parties. This CeDA system could be sustainable only if the CeDA earn the enough sales through enough uses. And yet, all the eight CeDA companies have not had enough users. How to utilize CeDAs is one of the hot issues in this area. In this paper, We analyze the threat to trustworthiness of CeDA due to payment of only one party among others, and describe the difficulty in use of CeDA for an individual user. These things make CeDAs cannot have enough users. To do address these, We expand the boundary of relevant parties for a document, present a delegate-establishing option under a joint name, show the needs of identifying and notifying minimum relevant parties, and suggest the proxy parties to help the individual users.

• Journal of IKEEE
• /
• v.23 no.1
• /
• pp.112-119
• /
• 2019

In this paper, we propose a deep learning structure suitable for embedded system. The flame detection process of the proposed deep learning structure consists of four steps : flame area detection using flame color model, flame image classification using deep learning structure for flame color specialization, $N{\times}N$ cell separation in detected flame area, flame image classification using deep learning structure for flame shape specialization. First, only the color of the flame is extracted from the input image and then labeled to detect the flame area. Second, area of flame detected is the input of a deep learning structure specialized in flame color and is classified as flame image only if the probability of flame class at the output is greater than 75%. Third, divide the detected flame region of the images classified as flame images less than 75% in the preceding section into $N{\times}N$ units. Fourthly, small cells divided into $N{\times}N$ units are inserted into the input of a deep learning structure specialized to the shape of the flame and each cell is judged to be flame proof and classified as flame images if more than 50% of cells are classified as flame images. To verify the effectiveness of the proposed deep learning structure, we experimented with a flame database of ImageNet. Experimental results show that the proposed deep learning structure has an average resource occupancy rate of 29.86% and an 8 second fast flame detection time. The flame detection rate averaged 0.95% lower compared to the existing deep learning structure, but this was the result of light construction of the deep learning structure for application to embedded systems. Therefore, the deep learning structure for flame detection proposed in this paper has been proved suitable for the application of embedded system.

• Analyses & Alternatives
• /
• v.7 no.2
• /
• pp.35-77
• /
• 2023

This study aims to solve the entangled loop between demographic transition (DT) and economic growth by analyzing cross-country data. We undertake a national-level group analysis to verify the compressed transition of demographic variables over time. Assuming that the LA (latecomer advantage) on DT over time exists, we verify that the DT of the latecomer is compressed by providing a formal proof of LA on DT over income. As a DT has the double-kinked functions of income, we check them in multiple aspects: early maturation, leftward threshold, and steeper descent under a contour map and econometric methods. We find that the developing countries (the latecomer) have speedy DT (CDT, compressed DT) as well as speedy income such that DT of the latecomers starts at lower levels of income, lasts for a shorter period, and finishes at the earlier stage of economic development compared to that of developed countries (the early mover). To check the balance of DT, we classify countries into four groups of DT---balanced, slow, unilateral, and rapid transition countries. We identify that the main causes of rapid transition are due to the strong family planning programs of the government. Finally, we check the effect of latecomer's CDT on economic growth inversely: we undertake the simulation of the CDT effect on economic growth and the aging process for the latecomer. A worrying result is that the CDT of the latecomer shows a sharp upturn of the working-age population, followed by a sharp downturn in a short period. Compared to early-mover countries, the latecomer countries cannot buy more time to accommodate the workable population for the period of demographic bonus and prepare their aging societies for demographic onus. Thus, we conclude that CDT is not necessarily advantageous to developing countries. These outcomes of the latecomer's CDT can be re-interpreted as follows. Developing countries need power sources to pump up economic development, such as the following production factors: labor, physical and financial capital, and economic systems. As for labor, the properties of early maturation and leftward thresholds on DTs of the latecomer mean that demographic movement occurs at an unusually early stage of economic development; this is similar to a plane that leaks fuel before or just before take-off, with the result that it no longer flies higher or farther. What is worse, the property of steeper descent represents the falling speed of a plane so that it cannot be sustained at higher levels, and then plummets to all-time lows.

• The Mathematical Education
• /
• v.61 no.2
• /
• pp.287-303
• /
• 2022

The purpose of this study is to draw implications for the improvement in the CSAT by analyzing structures and tasks in the Abitur. To this end, it analyzes the mathematics test system with a focus on the basic and advanced level examination systems, the operator, the using technology, and mathematical formulas. And the characteristics of tasks in the 2021 Abitur were analyzed. As a result of the analysis, first, Germany evaluates whether students have the competency emphasized in the curriculum at Abitur. Second, Germany, which emphasizes the proper use of technology, utilizes both tasks that use technology and those that do not in the Abitur. Third, the Abitur consists of most of the tasks using promised operators and uses various types of operators to present various types of questions to evaluate competence. Fourth, the Abitur includes not only simple structured items consisting of 2-3 subtasks but also tasks dealing in depth with a single situation centered on a big idea. Finally, mathematical justification and proof play an important role in the Abitur. Based on this, some specific measures for improving the CSAT were suggested.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1993.06a
• /
• pp.975-976
• /
• 1993

This talk presents the overview of the author's research and development activities on fuzzy inference hardware. We involved it with two distinct approaches. The first approach is to use application specific integrated circuits (ASIC) technology. The fuzzy inference method is directly implemented in silicon. The second approach, which is in its preliminary stage, is to use more conventional microprocessor architecture. Here, we use a quantitative technique used by designer of reduced instruction set computer (RISC) to modify an architecture of a microprocessor. In the ASIC approach, we implemented the most widely used fuzzy inference mechanism directly on silicon. The mechanism is beaded on a max-min compositional rule of inference, and Mandami's method of fuzzy implication. The two VLSI fuzzy inference chips are designed, fabricated, and fully tested. Both used a full-custom CMOS technology. The second and more claborate chip was designed at the University of North Carolina(U C) in cooperation with MCNC. Both VLSI chips had muliple datapaths for rule digital fuzzy inference chips had multiple datapaths for rule evaluation, and they executed multiple fuzzy if-then rules in parallel. The AT & T chip is the first digital fuzzy inference chip in the world. It ran with a 20 MHz clock cycle and achieved an approximately 80.000 Fuzzy Logical inferences Per Second (FLIPS). It stored and executed 16 fuzzy if-then rules. Since it was designed as a proof of concept prototype chip, it had minimal amount of peripheral logic for system integration. UNC/MCNC chip consists of 688,131 transistors of which 476,160 are used for RAM memory. It ran with a 10 MHz clock cycle. The chip has a 3-staged pipeline and initiates a computation of new inference every 64 cycle. This chip achieved an approximately 160,000 FLIPS. The new architecture have the following important improvements from the AT & T chip: Programmable rule set memory (RAM). On-chip fuzzification operation by a table lookup method. On-chip defuzzification operation by a centroid method. Reconfigurable architecture for processing two rule formats. RAM/datapath redundancy for higher yield It can store and execute 51 if-then rule of the following format: IF A and B and C and D Then Do E, and Then Do F. With this format, the chip takes four inputs and produces two outputs. By software reconfiguration, it can store and execute 102 if-then rules of the following simpler format using the same datapath: IF A and B Then Do E. With this format the chip takes two inputs and produces one outputs. We have built two VME-bus board systems based on this chip for Oak Ridge National Laboratory (ORNL). The board is now installed in a robot at ORNL. Researchers uses this board for experiment in autonomous robot navigation. The Fuzzy Logic system board places the Fuzzy chip into a VMEbus environment. High level C language functions hide the operational details of the board from the applications programme . The programmer treats rule memories and fuzzification function memories as local structures passed as parameters to the C functions. ASIC fuzzy inference hardware is extremely fast, but they are limited in generality. Many aspects of the design are limited or fixed. We have proposed to designing a are limited or fixed. We have proposed to designing a fuzzy information processor as an application specific processor using a quantitative approach. The quantitative approach was developed by RISC designers. In effect, we are interested in evaluating the effectiveness of a specialized RISC processor for fuzzy information processing. As the first step, we measured the possible speed-up of a fuzzy inference program based on if-then rules by an introduction of specialized instructions, i.e., min and max instructions. The minimum and maximum operations are heavily used in fuzzy logic applications as fuzzy intersection and union. We performed measurements using a MIPS R3000 as a base micropro essor. The initial result is encouraging. We can achieve as high as a 2.5 increase in inference speed if the R3000 had min and max instructions. Also, they are useful for speeding up other fuzzy operations such as bounded product and bounded sum. The embedded processor's main task is to control some device or process. It usually runs a single or a embedded processer to create an embedded processor for fuzzy control is very effective. Table I shows the measured speed of the inference by a MIPS R3000 microprocessor, a fictitious MIPS R3000 microprocessor with min and max instructions, and a UNC/MCNC ASIC fuzzy inference chip. The software that used on microprocessors is a simulator of the ASIC chip. The first row is the computation time in seconds of 6000 inferences using 51 rules where each fuzzy set is represented by an array of 64 elements. The second row is the time required to perform a single inference. The last row is the fuzzy logical inferences per second (FLIPS) measured for ach device. There is a large gap in run time between the ASIC and software approaches even if we resort to a specialized fuzzy microprocessor. As for design time and cost, these two approaches represent two extremes. An ASIC approach is extremely expensive. It is, therefore, an important research topic to design a specialized computing architecture for fuzzy applications that falls between these two extremes both in run time and design time/cost. TABLEI INFERENCE TIME BY 51 RULES {{{{Time }}{{MIPS R3000 }}{{ASIC }}{{Regular }}{{With min/mix }}{{6000 inference 1 inference FLIPS }}{{125s 20.8ms 48 }}{{49s 8.2ms 122 }}{{0.0038s 6.4㎲ 156,250 }} }}

• Journal of Intelligence and Information Systems
• /
• v.19 no.3
• /
• pp.1-23
• /
• 2013

To discover significant social issues such as unemployment, economy crisis, social welfare etc. that are urgent issues to be solved in a modern society, in the existing approach, researchers usually collect opinions from professional experts and scholars through either online or offline surveys. However, such a method does not seem to be effective from time to time. As usual, due to the problem of expense, a large number of survey replies are seldom gathered. In some cases, it is also hard to find out professional persons dealing with specific social issues. Thus, the sample set is often small and may have some bias. Furthermore, regarding a social issue, several experts may make totally different conclusions because each expert has his subjective point of view and different background. In this case, it is considerably hard to figure out what current social issues are and which social issues are really important. To surmount the shortcomings of the current approach, in this paper, we develop a prototype system that semi-automatically detects social issue keywords representing social issues and problems from about 1.3 million news articles issued by about 10 major domestic presses in Korea from June 2009 until July 2012. Our proposed system consists of (1) collecting and extracting texts from the collected news articles, (2) identifying only news articles related to social issues, (3) analyzing the lexical items of Korean sentences, (4) finding a set of topics regarding social keywords over time based on probabilistic topic modeling, (5) matching relevant paragraphs to a given topic, and (6) visualizing social keywords for easy understanding. In particular, we propose a novel matching algorithm relying on generative models. The goal of our proposed matching algorithm is to best match paragraphs to each topic. Technically, using a topic model such as Latent Dirichlet Allocation (LDA), we can obtain a set of topics, each of which has relevant terms and their probability values. In our problem, given a set of text documents (e.g., news articles), LDA shows a set of topic clusters, and then each topic cluster is labeled by human annotators, where each topic label stands for a social keyword. For example, suppose there is a topic (e.g., Topic1 = {(unemployment, 0.4), (layoff, 0.3), (business, 0.3)}) and then a human annotator labels "Unemployment Problem" on Topic1. In this example, it is non-trivial to understand what happened to the unemployment problem in our society. In other words, taking a look at only social keywords, we have no idea of the detailed events occurring in our society. To tackle this matter, we develop the matching algorithm that computes the probability value of a paragraph given a topic, relying on (i) topic terms and (ii) their probability values. For instance, given a set of text documents, we segment each text document to paragraphs. In the meantime, using LDA, we can extract a set of topics from the text documents. Based on our matching process, each paragraph is assigned to a topic, indicating that the paragraph best matches the topic. Finally, each topic has several best matched paragraphs. Furthermore, assuming there are a topic (e.g., Unemployment Problem) and the best matched paragraph (e.g., Up to 300 workers lost their jobs in XXX company at Seoul). In this case, we can grasp the detailed information of the social keyword such as "300 workers", "unemployment", "XXX company", and "Seoul". In addition, our system visualizes social keywords over time. Therefore, through our matching process and keyword visualization, most researchers will be able to detect social issues easily and quickly. Through this prototype system, we have detected various social issues appearing in our society and also showed effectiveness of our proposed methods according to our experimental results. Note that you can also use our proof-of-concept system in http://dslab.snu.ac.kr/demo.html.

• The Korean Journal of Air & Space Law and Policy
• /
• v.18
• /
• pp.9-39
• /
• 2003

The rule of the Warsaw Convention of 1929 are well known and still being all over the world. The Warsaw Convention is undoubtedly the most widely accepted private international air law treaty with some 140 countries. In the international legal system for air transportation, the Warsaw Convention has played a major role for more than half century, and has been revised many times in consideration of the rapid developments of air high technology, changes of social and economic circumstances, need for the protection of passengers. Some amendments became effective, but others are still not effective. As a result, the whole international legal system for air transportation is at past so complicated and tangled. However, the 'Warsaw system' consists of the Warsaw Convention of 1929 the Guadalajara Convention of 1961, a supplementary convention, and the following six protocols: (1) the Hague Protocol of 1955, (2) the Guatemala Protocol of 1971, (3) the Montreal Additional Protocols, No.1, (4) the Montreal Additional Protocol No.2, (5) the Montreal Additional Protocol No.3, and (6) the Montreal Additional Protocol No.4. of 1975. As a fundamental principle of the air carrier's liability in the international convention and protocols, for instance in the Warsaw Convention and the Hague Protocol, the principle of limited liability and a presumed fault system has been adopted. Subsequently, the Montreal Inter-carrier Agreement of 1966, the Guatemala City Protocol, the Montreal Additional Protocol No.3, and the Montreal Additional Protocol No. 4 of 1975 maintained the limited liability, but substituted the presumed liability system by an absolute liability, that is, strict liability system. The Warsaw System, which sets relatively low compensation limits for victims of aircraft accidents and regulates the limited liability for death and injury of air passengers, had become increasingly outdated. Japanese Airlines and Inter-carrier Agreement of International Air Transport Association in 1995 has been adopted the unlimited liability of air carrier in international flight. The IATA Inter-Carrier Agreement, in which airlines in international air transportation agree to waive the limit of damages, was long and hard in coming, but it was remarkable achievement given the political and economic realities of the world. IATA deserves enormous credit for bringing it about. The Warsaw System is controversial and questionable. In order to find rational solution to disputes between nations which adopted differing liability systems in international air transportation, we need to reform the liability of air carriers the 'Warsaw system' and fundamentally, to unify the liability system among the nations. The International Civil Aviation Organization(ICAO) will therefore reinforce its efforts to further promote a legal environment that adequately reflects the public interest and the needs of the parties involved. The ICAO Study Group met in April, 1998, together with the Drafting Committee. The time between the "Special Group on the Modernization and Consolidation of the 'Warsaw system'(SGMW)" and the Diplomatic Conference must be actively utilized to arrange for profound studies of the outstanding issues and for wide international consultations with a view to narrowing the scope of differences and preparing for a global international consensus. From 11 to 28 May 1999 the ICAO Headquarters at Montreal hosted a Diplomatic Conference convened to consider, with a view to adoption, a draft Convention intended to modernize and to integrate replace the instruments of the Warsaw system. The Council of ICAO convened this Conference under the Procedure for the Adoption of International Conventions. Some 525 participants from 121 Contracting States of ICAO attended, one non-contracting State, 11 observer delegations from international organizations, a total of 544 registered participants took part in the historic three-week conference which began on 10 May. The Conference was a success since it adopted a new Convention for the Unification of Certain Rules for International Carriage by Air. The 1999 Montreal Convention, created and signed by representatives of 52 countries at an international conference convened by ICAO at Montreal on May 28, 1999, came into effect on November 4, 2003. Representatives of 30 countries have now formally ratified the Convention under their respective national procedures and ratification of the United States, which was the 30th country to ratify, took place on September 5, 2003. Under Article 53.6 of the Montreal Convention, it enters into force on the 60th day following the deposit of the 30th instrument of ratification or acceptation. The United States' ratification was deposited with ICAO on September 5, 2003. The ICAO have succeeded in modernizing and consolidating a 70-year old system of international instruments of private international law into one legal instrument that will provide, for years to come, an adequate level of compensation for those involved in international aircraft accidents. An international diplomatic conference on air law by ICAO of 1999 succeeded in adopting a new regime for air carrier liability, replacing the Warsaw Convention and five other related legal instruments with a single convention that provided for unlimited liability in relation to passengers. Victims of international air accidents and their families will be better protected and compensated under the new Montreal Convention, which modernizes and consolidates a seventy-five year old system of international instruments of private international law into one legal instrument. A major feature of the new legal instrument is the concept of unlimited liability. Whereas the Warsaw Convention set a limit of 125,000 Gold Francs (approximately US$ 8,300) in case of death or injury to passengers, the Montreal Convention introduces a two-tier system. The first tier includes strict liability up to l00,000 Special Drawing Rights (SDR: approximately US$ 135,000), irrespective of a carrier's fault. The second tier is based on presumption of fault of a carrier and has no limit of liability. The 1999 Montreal Convention also includes the following main elements; 1. In cases of aircraft accidents, air carriers are called upon to provide advance payments, without delay, to assist entitled persons in meeting immediate economic needs; the amount of this initial payment will be subject to national law and will be deductable from the final settlement; 2. Air carriers must submit proof of insurance, thereby ensuring the availability of financial resources in cases of automatic payments or litigation; 3. The legal action for damages resulting from the death or injury of a passenger may be filed in the country where, at the time of the accident, the passenger had his or her principal and permanent residence, subject to certain conditions. The new Montreal Convention of 1999 included the 5th jurisdiction - the place of residence of the claimant. The acceptance of the 5th jurisdiction is a diplomatic victory for the US and it can be realistically expected that claimants' lawyers will use every opportunity to file the claim in the US jurisdiction - it brings advantages in the liberal system of discovery, much wider scope of compensable non-economic damages than anywhere else in the world and the jury system prone to very generous awards. 4. The facilitation in the recovery of damages without the need for lengthy litigation, and simplification and modernization of documentation related to passengers. In developing this new Montreal Convention, we were able to reach a delicate balance between the needs and interests of all partners in international civil aviation, States, the travelling public, air carriers and the transport industry. Unlike the Warsaw Convention, the threshold of l00,000 SDR specified by the Montreal Convention, as well as remaining liability limits in relation to air passengers and delay, are subject to periodic review and may be revised once every five years. The primary aim of unification of private law as well as the new Montreal Convention is not only to remove or to minimize the conflict of laws but also to avoid conflict of jurisdictions. In order to find a rational solution to disputes between nations which have adopted differing liability systems in international air transport, we need fundamentally to reform their countries's domestic air law based on the new Montreal Convention. It is a desirable and necessary for us to ratify rapidly the new Montreal Convention by the contracting states of lCAO including the Republic of Korea. According to the Korean and Japanese ideas, airlines should not only pay compensation to passengers immediately after the accident, but also the so-called 'condolence' money to the next of kin. Condolence money is a gift to help a dead person's spirit in the hereafter : it is given on account of the grief and sorrow suffered by the next of kin, and it has risen considerably over the years. The total amount of the Korean and Japanese claims in the case of death is calculated on the basis of the loss of earned income, funeral expenses and material demage (baggage etc.), plus condolence money. The economic and social change will be occurred continuously after conclusion of the new Montreal Convention. In addition, the real value of life and human right will be enhanced substantially. The amount of compensation for damage caused by aircraft accident has increased in dollar amount as well as in volume. All air carrier's liability should extend to loss of expectation of leisure activities, as well as to damage to property, and mental and physical injuries. When victims are not satisfied with the amount of the compensation for damage caused by aircraft accident for which an airline corporation is liable under the current liability system. I also would like to propose my opinion that it is reasonable and necessary for us to interpret broadly the meaning of the bodily injury on Article 17 of the new Montreal Convention so as to be included the mental injury and condolence. Furthermore, Korea and Japan has not existed the Air Transport Act regulated the civil liability of air carrier such as Air Transport Act (Luftverkehrsgestz) in Germany. It is necessary for us to enact "the Korean Air Transport Contract Act (provisional title)" in order to regulate the civil liability of air carrier including the protection of the victims and injured persons caused by aircraft accident.