• Journal of KIISE:Software and Applications
• /
• v.35 no.3
• /
• pp.149-161
• /
• 2008

As Programmable Logic Controllers(PLCs) are frequently used to implement real-time safety critical software, testing of PLC software is getting more important. We propose a structural testing technique on Function Block Diagram(FBD) which is one of the PLC programming languages. In order to test FBD networks, we define templates for function blocks including timer function blocks and propose an algorithm based on the templates to transform a unit FBD into a flowgraph. We generate test cases by applying existing testing techniques to the generated flowgraph. While the existing FBD testing technique do not consider infernal structure of FBD to generate test cases and can be applied only to FBD from which the specific intermediate model can be generated, this approach has advantages of systematic test case generation considering infernal structure of FBD and applicability to any FBD without regard to its intermediate format. Especially, the proposed method enables FBD networks including timer function blocks to be tested thoroughly. To demonstrate the effectiveness of the proposed method, we use trip logic of bistable processor of digital nuclear power plant protection systems which is being developed in Korea.

• Korean journal of applied entomology
• /
• v.55 no.4
• /
• pp.459-464
• /
• 2016

An outbreak of the migratory locust, Locusta migratoria, in the environment-friendly reclaimed plantations of forage crops in Sanyimyeon, Haenam-gun, Jellanam-do, Korea in August 2014 caused severe damages to various crops. Owing to its first occurrence in the Korean history, the causes underlying the outbreak and phase-transition of the migratory locust were not known. It is critical to establish the genetic relationship of the migratory locust in Sanyimyeon, Haenam-gun with the other previously reported strains in the world in order to understand the mechanisms responsible for its outbreak. The gene sequences of the 16S ribosomal RNA (rRNA) and displacement-loop (D-loop) of the mitochondria of various regional species of the migratory locust were used to perform the phylogenetic analysis. Our results suggested that the migratory locusts in Sanyimyeon, Haenam-gun are closely related with the Eurasian strains of the northern lineage. In future, these two mitochondrial genes can be used for elucidating the genetic population structures in migratory locusts in various regions. In addition, the sequence information of these genes can be used to enhance our understanding of the genetic basis of the outbreak of migratory locusts.

• Journal of the Korean Society of Radiology
• /
• v.13 no.5
• /
• pp.757-763
• /
• 2019

Recently, Following the recent development of flat panel detector with wide dynamic ranges, increasing numbers of healthcare providers have begun to use digital radiography. As a result, filter thickness standards should be reestablished, as current clinical practice requires the use of thicknesses recommended by the National Council on Radiation Protection and Measurements, which are based on information, acquired using conventional analog systems. Here we investigated the possibility of minimizing dose creep and optimizing patient dose using Al filters in digital radiography. The use of thicker Al filters resulted in a maximum 19.3% reduction in the entrance skin exposure dose when medical images with similar sharpness values were compared. However, resolution, which is a critical factor in imaging, had a significant change of 1.01 lp/mm. This change in resolution is thought to be due to the increased amount of scattered rays generated from the object due to the X-ray beam hardening effect. The increase in the number of scattered rays was verified using the scattering degradation factor. However, the FPD, which has recently been developed and is widely used in various areas, has greater response to radiation than analog devices and has a wide dynamic range. Therefore, the FPD is expected to maintain an appropriate level of resolution corresponding to the increase in the scattered-ray content ratio, which depends on filter thickness. Use of the FPD is also expected to minimize dose creep by reducing the exposure dose.

• The Korean Journal of Air & Space Law and Policy
• /
• v.23 no.2
• /
• pp.137-172
• /
• 2008

The earliest safety data programs, the FDR and CVR, were electronic reporting systems that generate data "automatically." The FDR program, originally instituted in 1958, had no publicly available restrictions for protections against sanctions by the FAA or an airline, although there are agreements and union contracts forbidding the use of FDR data for FAA enforcement actions. This FDR program still has the least formalized protections. With the advent of the CVR program in 1966, the precursor to the current FAR 91.25 was already in place, having been promulgated in 1964. It stated that the FAA would not use CVR data for enforcement actions. In 1982, Congress began restricting the disclosure of the CVR tape and transcripts. Congress added further clarification of the availability of discovery in civil litigation in 1994. Thus, the CVR data have more definitive protections in place than do FDR data. The ASRS was the first non-automatic reporting system; and built into its original design in 1975 was a promise of limited protection from enforcement sanctions. That promise was further codified in an FAR in 1979. As with the CVR, from its inception, the ASRS had some protections built in for the person who might have had a safety problem. However, the program did not (and to this day does not) explicitly deal with issues of use by airlines, litigants, or the public media, although it appears that airlines will either take a non-punitive stance if an ASRS report is filed, or the airline may ignore the fact that it has been filed at all. The FAA worked with several U.S. airlines in the early 1990s on developing ASAP programs, and the FAA issued an Advisory Circular about the program in 1997. From its inception, the ASAP program contained some FAA enforcement protections and company discipline protections, although some protection against litigation disclosure and public disclosure was not added until 2003, when FAA Order 8000.82 was promulgated, placing the program under the protections of FAR 193, which had been added in 2001. The FOQA program, when it was first instituted through a demonstration program in 1995, did not contain protections against sanctions. Now, however, the FAA cannot take enforcement action based on FOQA safety data, and an airline is limited to "corrective action" under the program. Union contracts can exclude FOQA from the realm of disciplinary action, although airline practice may be for airlines to require retraining if there is no contract in place forbidding it. The data is protected against disclosure for litigation and public media purposes by FAA Order 8000.81, issued in 2003, which placed FOQA under the protections of FAR 193. The figure on the next page shows when each program began, and when each statute, regulation, or order became effective for that program.

• Asia pacific journal of information systems
• /
• v.20 no.3
• /
• pp.191-204
• /
• 2010

Recently, the CO2 emission and energy consumption have become critical global issues to decide the future of nations. Especially, the spread of IT products and the increased use of internet and web applications result in the energy consumption and CO2 emission of IT industry though information technologies drive global economic growth. EU, the United States, Japan and other developed countries are using IT related environmental regulations such as WEEE(Waste Electrical and Electronic Equipment), RoHS(Restriction of the use of Certain Hazardous Substance), REACH(Registration, Evaluation, Authorization and Restriction of CHemicals) and EuP(Energy using Product), and have established systematic green business/IT strategies to enhance the competitiveness of IT industry. For example, the Japan government proposed the "Green IT initiative" for being compatible with economic growth and environmental protection. Not only energy saving technologies but energy saving systems have been developed for accomplishing sustainable development. Korea's CO2 emission and energy consumption continuously have grown at comparatively high rates. They are related to its industrial structure depending on high energy-consuming industries such as iron and steel Industry, automotive industry, shipbuilding industry, semiconductor industry, and so on. In particular, export proportion of IT manufacturing is quite high in Korea. For example, the global market share of the semiconductor such as DRAM was about 80% in 2008. Accordingly, Korea needs to establish a systematic strategy to respond to the global environmental regulations and to maintain competitiveness in the IT industry. However, green competitiveness of Korea ranked 11th among 15 major countries and R&D budget for green technology is not large enough to develop energy-saving technologies for infrastructure and value chain of low-carbon society though that grows at high rates. Moreover, there are no concrete action plans in Korea. This research aims to deduce the priorities of the Korean green business/IT strategies to use multi attribute weighted average method. We selected a panel of 19 experts who work at the green business related firms such as HP, IBM, Fujitsu and so on, and selected six assessment indices such as the urgency of the technology development, the technology gap between Korea and the developed countries, the effect of import substitution, the spillover effect of technology, the market growth, and the export potential of the package or stand-alone products by existing literature review. We submitted questionnaires at approximately weekly intervals to them for priorities of the green business/IT strategies. The strategies broadly classify as follows. The first strategy which consists of the green business/IT policy and standardization, process and performance management and IT industry and legislative alignment relates to government's role in the green economy. The second strategy relates to IT to support environment sustainability such as the travel and ways of working management, printer output and recycling, intelligent building, printer rationalization and collaboration and connectivity. The last strategy relates to green IT systems, services and usage such as the data center consolidation and energy management, hardware recycle decommission, server and storage virtualization, device power management, and service supplier management. All the questionnaires were assessed via a five-point Likert scale ranging from "very little" to "very large." Our findings show that the IT to support environment sustainability is prior to the other strategies. In detail, the green business /IT policy and standardization is the most important in the government's role. The strategies of intelligent building and the travel and ways of working management are prior to the others for supporting environment sustainability. Finally, the strategies for the data center consolidation and energy management and server and storage virtualization have the huge influence for green IT systems, services and usage This research results the following implications. The amount of energy consumption and CO2 emissions of IT equipment including electrical business equipment will need to be clearly indicated in order to manage the effect of green business/IT strategy. And it is necessary to develop tools that measure the performance of green business/IT by each step. Additionally, intelligent building could grow up in energy-saving, growth of low carbon and related industries together. It is necessary to expand the affect of virtualization though adjusting and controlling the relationship between the management teams.

• Economic and Environmental Geology
• /
• v.53 no.5
• /
• pp.619-629
• /
• 2020

The National Groundwater Monitoring Network (NGMN) in South Korea has been implemented in alluvial/ bedrock aquifers for efficient management of groundwater resources. In this study, aquifer types were reclassified with unconfined and confined aquifers based on water-level fluctuation and water quality characteristics. Principal component analysis (PCA) of water-level data from paired monitoring wells of alluvial/bedrock aquifers results in the principal components of both aquifers showing similar water-level fluctuation pattern. There was no significant difference in the rate of water-level rises responding to precipitations and in the NO₃-N concentrations between the alluvial and bedrock aquifers. In contrast, in the results classified with the hydrogeological type, the principal components of water level were different between unconfined and confined conditions. The water-level rises to precipitation events were estimated to be 4.6 (R²=0.8) in the unconfined and 2.1 (R²=0.4) in the confined aquifers, respectively, indicating less impact of precipitation recharge to the confined aquifer. The confined aquifers have the average NO₃-N concentration below 3 mg/L, implying the natural background level protected from the sources at surface. In summary, reclassification of aquifers into hydrogeological types clearly shows the differences between unconfined and confined aquifers in the water-level fluctuation pattern and NO₃-N concentrations. The hydrogeologic condition of aquifer could improve groundwater resource management by providing critical information on groundwater quantity through recharge estimation and quality for protection from potential contamination sources.

• Journal of Legislation Research
• /
• no.55
• /
• pp.167-191
• /
• 2018

Despite international cooperation, piracy has not yet been eradicated in major waters around the world. From the perspective of South Korea, which is absolutely dependent on exporting and importing, it's a lifeline for us to secure safe maritime traffic so it is a situation we have to be vigilant about maritime safety and security. However, criminal law on punishment of piracy is still insufficient and legislative consideration is needed. Since pirates are regarded as enemies of humankind, all nations can punish pirates regardless of their damage. The international community has done its best in cooperation from hundreds of years ago to secure maritime trade through this universal jurisdiction and marine transportation in international waters which is an essential space for military activities, particularly in the Gulf of Aden, the advanced nations have dispatched fleets to combat maritime security threats through joint operations to crack down on Somali pirates. Even if universal jurisdiction is allowed for piracy in accordance with the International Convention on Human Rights and the United Nations Convention on the Law of the Sea, it is difficult to effectively deal with piracy if it not fully complied with a domestic legal system for this purpose or is stipulated as different from international regulations. In other words, universal jurisdiction corresponding to international norms and constitution of piracy should be defined in criminal law in accordance with criminal statutory law. If the punishment of pirates by unreasonably applying our criminal law without prejudice to such work can lead to diplomatic disputes in violation of the Universal Declaration of Human Rights or other international norms. In South Korea, there is no provision to explicitly prescribe piracy as a crime, but punish similar acts like piracy in criminal law and maritime safety law. However, there is a limit to effective piracy punishment because we are not fully involved in internationally accepted piracy. In this study, we critically examine the proposals of the constitutional elements of piracy, propose the legislative direction, and insist on the introduction of globalism to pirate sins.