• Journal of Educational Research in Mathematics
• /
• v.16 no.2
• /
• pp.95-113
• /
• 2006

The study tries to differentiate the levels of mathematical reasoning from inductive reasoning to formal reasoning for teaching gradually. Because the formal point of view without the relation to objects has limitations in the creation of a new knowledge, our mathematics education needs consider the such characteristics. We propose an intuitive level of proof related in concrete operations and perceptual experiences as an intermediating step between inductive and formal reasoning. The key activity of the intuitive level is having insight on the generality of reasoning. The details of the process should pursuit the direction for going away from objects and near to formal reasoning. We need teach the mathematical reasoning gradually according to the appropriate level of reasoning more differentiated.

• The Journal of the Korean life insurance medical association
• /
• v.29 no.1
• /
• pp.16-21
• /
• 2010

The measurement of prostate specific antigen (PSA) in screening for prostate cancer is recently performed as a routine check-up in clinical medicine and insurance medicine. Several factors may affect serum PSA levels. As prostate size increases with increasing age, the PSA concentration also rises. Increasing body mass index (BMI) is associated with a lower mean PSA concentration. Inhibitors of 5-alpha-reductase such as finasteride and dutasteride produce a 50 percent or greater decrease in serum PSA during the first three months of therapy, which persists as long as the drug is continued. Men who are regularly taking non-steroidal antiinflammatory drugs (NSAIDs) or acetaminophen have lower PSA levels. Emerging concepts regarding PSA testing that may help refine the interpretation of an elevated concentration include: PSA density, PSA velocity, and Free versus complexed or bound PSA. With many insurance companies, PSA level has become part of a standard battery of blood tests, along with HIV, cholesterol, liver enzymes, and other predictors of premature death. But, there is no clear proof of benefit, so we have to monitor the value of PSA test as a prostate cancer screening test in insurance medicine.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2007.04a
• /
• pp.725-730
• /
• 2007

A framework of multi layered database is proposed for the integrated operation of civil infrastructure information in this study. The multi-layered database is a logically integrated database composed of standardized information layers. The framework of multi-layered database is defined by three axes, national assets, lifetime, and data levels. The axis of national assets indicates civil infrastructures such as bridges, dams, tunnels and power plants that can be considered as national key structures. The axes of lifetime and data levels indicate the standardized information layers generated from the life-phase of civil infrastructure and the priority of data in the information layers, respectively. The standardized information layers are basically composed of reusable data sets defined by information models. A prototype of standard database for steel bridges is constructed based on the framework as a proof of concept. Demonstration examples such as data consistency check and automatic generation of a FEA model show that the proposed concept can assure the sustainable interoperability of civil infrastructure information as well as design information of steel bridges.

• Journal of Electrical Engineering and Technology
• /
• v.7 no.3
• /
• pp.376-383
• /
• 2012

A number of scientific researches are currently being conducted on the potential health hazards of power frequency electric and magnetic field (EMF). There exists a non-objective and psychological belief that they are harmful, although no scientific and objective proof of such exists. This possible health risk from ELF magnetic field (MF) exposure, especially for children under 17 years of age, is currently one of Korea's most highly contested social issues. Therefore, to assess the magnetic field exposure levels of those children in their general living environments, the personal MF exposure levels of 436 subjects were measured for about 6 years using government funding. Using the measured database, estimation formulas were developed to predict personal MF exposure levels. These formulas can serve as valuable tools in estimating 24-hour personal MF exposure levels without directly measuring the exposure. Three types of estimation formulas were developed by applying evolutionary computation methods such as genetic algorithm (GA) and genetic programming (GP). After tuning the database, the final three formulas with the smallest estimation error were selected, where the target estimation error was approximately 0.03 ${\mu}T$. The seven parameters of each of these three formulas are gender (G), age (A), house type (H), house size (HS), distance between the subject's residence and a power line (RD), power line voltage class (KV), and the usage conditions of electric appliances (RULE).

• The Korean Society of Law and Medicine
• /
• v.14 no.2
• /
• pp.143-172
• /
• 2013

In order to achieve the purpose of treatment for patients by a doctor, the instruction explanation obligation, which means that he should give patients the description in more details to prepare for postoperative sequelae or complications, is common with the advice explanation obligation as a doctor should ex-plain some information to patients. Since the advice explanation obligation is the benefit and protection of the law for self determination right, but the instruction explanation obligation is one for the integrity of body and life, one can be distinct from the other. Judgments giving the instruction on the concept of instruction explanation obligation, specific methods of implementation and a range of compensation for damage are recently being made by courts at all levels including the Supreme Court. It is the time to systematize them. The contents which have been mainly discussed so far include the essence of above mentioned instruction explanation obligation. However, when the tendency of practice is considered, the efforts are required to admit the organic relevance between instruction explanation obligation and advice explanation obligation and to explain the relationship without any contradiction. For whereabouts of li-ability of proof, patients theoretically demonstrate the failure to implement it. However, when the theoretical consistency is maintained, it is likely to fail the intent to recognize the instruction explanation obligation and it may ask patients to prove something impossible to be proven. Thus, these things should be considered. Moreover, as the instruction explanation obligation is associated with medicine instruction obligation of a pharmacist and the coverage is being extended, it is the time to require the systematic study on the theoretical limit.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.10
• /
• pp.4781-4803
• /
• 2017

Environmental monitoring systems using Wireless Sensor Networks (WSNs) face the challenge of high power consumption, due to the high levels of multi-hop data communication involved. In order to overcome the issue of fast energy depletion, a proof-of-concept implementation proves that adopting a clustering algorithm in environmental monitoring applications will significantly reduce the total power consumption for environment sensor nodes. In this paper, an energy-efficient WSN-based environmental monitoring system is proposed and implemented, using eight sensor nodes deployed over an area of $1km^2$, which took place in the city of Tabuk in Saudi Arabia. The effectiveness of the proposed environmental monitoring system has been demonstrated through adopting a number of real experimental studies.

• Asia pacific journal of information systems
• /
• v.16 no.4
• /
• pp.151-178
• /
• 2006

The objective of this research is to develop a formal framework and methodology to facilitate real-time data integration, thus enabling semantic interoperability among distributed and heterogeneous information systems. The proposed approach is based on the concepts of "ontology" and "semantic mediators." An ontology is developed and used to capture the intension (including structure, integrity rules and meta-properties) of the database schema. We also develop the agent communication protocol for semantic reconciliation, which is based on the theory of speech acts and agent communication language. This protocol is used by a set of semantic mediators, which automatically detect and resolve various semantic conflicts at the data- and schema-levels by referring to the ontology. A mediation-based query processing technique is developed to provide uniform and integrated access to the multiple heterogeneous information sources. Prototype tools are being implemented to provide proof of concept for this work.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.19 no.2
• /
• pp.273-278
• /
• 2009

The determination of the associated weights in the theory of ordered weighted averaging (OWA) operators is one of the important issue. Recently, Wang and Parkan [Information Sciences 175 (2005) 20-29] proposed a minimax disparity approach for obtaining OWA operator weights and the approach is based on the solution of a linear program (LP) model for a given degree of orness. Recently, Liu [International Journal of Approximate Reasoning, accepted] showed that the minimum variance OWA problem of Fuller and Majlender [Fuzzy Sets and Systems 136 (2003) 203-215] and the minimax disparity OWA problem of Wang and Parkan always produce the same weight vector using the dual theory of linear programming. In this paper, we give an improved proof of the minimax disparity problem of Wang and Parkan while Liu's method is rather complicated. Our method gives the exact optimum solution of OWA operator weights for all levels of orness, $0\leq\alpha\leq1$, whose values are piecewise linear and continuous functions of $\alpha$.

• Proceedings of the Optical Society of Korea Conference
• /
• 2008.07a
• /
• pp.119-120
• /
• 2008

A HMD type multi-focus 3D display system is developed and proof about satisfaction of eye accommodation is tested. Four LEDs(Light Emitting Diode) and a DMD are used to generate four parallax images at single eye and any mechanical part is not included in this system. The multi-focus means the ability of monocular depth cue to various depth levels. By achieving multi-focus function, we developed a 3D display system for only one eye, which can satisfy the accommodation to displayed virtual objects within defined depth. We could achieve a result that focus adjustment is possible at 5 step depths in sequence within 2m depth for only one eye. Additionally, the change level of burring depending on the focusing depth is tested by captured photos and moving pictures of video camera and several subjects. And the HMD type multi-focus 3D display can be applied to a monocular 3D display and monocular AR 3D display.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 1994.11a
• /
• pp.29-31
• /
• 1994

In digital signature schemes derived from the zero-knowledge proof techniques, some authors often claims that the length of hash-values for their schemes could be as short as 64 or 72 bits for the security level of 2$^{-64}$ or 2$^{-72}$ . This letter shows that signature schemes with such short hash values cannot achieve the security levels as stated, due to the birthday attack by the signer.