• Korean Journal of Logic
• /
• v.13 no.2
• /
• pp.167-201
• /
• 2010

This paper aims to scrutinize the possibility of mereology as philosophically satisfiable metalogic. Motivation for this is straightforward. As I see, a traditional approach to metalogic presented in the name of mathematical logic posits the existence of mathematical entities such as sets, functions, models, etc. to give definitions of logical concepts like logical consequence. As a result, whenever logic is used in any individual sciences, this set-theoretical metalogic cannot but add these mathematical entities to the domain of them. This fact makes this approach contradict to the ontological conservativeness of logic. Mereology, however, has been alleged to be ontologically innocent, while it is a formal system very similar to set theory. So it may well be that some people thought of mereology as a good substitute for set theoretic metalanguage and concepts for ontologically neutral metalogic. Unfortunately, when we look into argument for the ontological innocence of mereology, we can find that mereological entities such as mereological sums or fusions are not ontologically neutral. Thus we can conclude that mereological approach to metalogic is not promising at all.

• Korean Journal of Plant Resources
• /
• v.13 no.1
• /
• pp.80-88
• /
• 2000

External morphology and numerical taxonomy by principal component analysis and cluster analysis were investigated to understand the taxonomic relationships on the populations of Hanabusaya asiatica from 6 different habitats. Additionally H. latisepala was used as a outgroup. The distinct characters to each habitat were not present in the measurement of 21 qualitative characters except for some native individuals in the top of Mt. Sorak and Hyangrobong based on leaf shape and bracts. This results were recognized as the continuous variations of external morphology. The populations of H. latisepala and H. asiatica were identified by calyx lobe shape. The results obtained based on the principal component(PC) analysis of treated 78 OTU were divided into two groups by PC 1,2,3, and the sums of contributions for the total variance were 50.07% (PC1 22.3% , PC2 15.7%, PC3 12.0%, respectively), and six populations were not distinctly identified as illustrated in two dimensions with PC1 and PC2. In cluster analysis based on average linkage cluster analysis and Ward's method, there were similarities in the composition of clustered taxa, and each populations were not identified.

• Journal of Korean Academy of Nursing
• /
• v.41 no.4
• /
• pp.500-509
• /
• 2011

Purpose: Time-driven activity-based costing was applied to analyze the nursing activity cost and efficiency of a medical unit. Methods: Data were collected at a medical unit of a general hospital. Nursing activities were measured using a nursing activities inventory and classified as 6 domains using Easley-Storfjell Instrument. Descriptive statistics were used to identify general characteristics of the unit, nursing activities and activity time, and stochastic frontier model was adopted to estimate true activity time. Results: The average efficiency of the medical unit using theoretical resource capacity was 77%, however the efficiency using practical resource capacity was 96%. According to these results, the portion of non-added value time was estimated 23% and 4% each. The sums of total nursing activity costs were estimated 109,860,977 won in traditional activity-based costing and 84,427,126 won in time-driven activity-based costing. The difference in the two cost calculating methods was 25,433,851 won. Conclusion: These results indicate that the time-driven activity-based costing provides useful and more realistic information about the efficiency of unit operation compared to traditional activity-based costing. So time-driven activity-based costing is recommended as a performance evaluation framework for nursing departments based on cost management.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.36 no.2B
• /
• pp.176-183
• /
• 2011

In this paper, we propose the implementation and performance analysis of power line communication based on SISO/MIMO-OFDM which focuses on high speed data transmission in smart grid and future power line grid. We employ Zimmermann frequency model and Middleton Class A model as the multipath power line fading channel and impulse noise channel, respectively. In this paper, in order to improve the three-phase or single-phase PLC performance, we introduce a new MRC (called a&f-MRC) which effectively sums up multiple antenna diversity gain and multipath fading diversity gain. Via simulation, we prove the performance advantage over existing SISO/MIMO systems. In addition, we offer the tradeoff on system design through comparing with MRC, EGC and SC.

• The KIPS Transactions:PartB
• /
• v.11B no.6
• /
• pp.717-722
• /
• 2004

This paper presents fuzzy rules to predict diagnosis of Wisconsin breast cancer using neural network with weighted fuzzy membership functions (NNWFM). NNWFM is capable of self-adapting weighted membership functions to enhance accuracy in prediction from the given clinical training data. n set of small, medium, and large weighted triangular membership functions in a hyperbox are used for representing n set of featured input. The membership functions are randomly distributed and weighted initially, and then their positions and weights are adjusted during learning. After learning, prediction rules are extracted directly from the enhanced bounded sums of n set of weighted fuzzy membership functions. Two number of prediction rules extracted from NNWFM outperforms to the current published results in number of rules and accuracy with 99.41%.

• Korean Journal of Fisheries and Aquatic Sciences
• /
• v.38 no.2
• /
• pp.118-128
• /
• 2005

Surface sediment samples from 31 stations in Jinhae Bay were analyzed to evaluate the pollution by sewage from the spatial distribution of the fecal sterol, coprostanol. The sums of eight sterols (coprostanol, epicholestanol, epicoprostanol, cholesterol, cholestanol, brassicasterol, stigmasterol and $\beta$-sitosterol) were in the range of $2,703-27,154{\cal}ng/{\cal}g$ dry weight. The concentrations of the coprostanol in the sediments, which is a good tracer of sewage-derived organic contamination, were in the range of $76-3,964{\cal}ng/{\cal}g$ dry weight. The levels of coprostanol were much higher (almost one order of magnitude) at stations close to the big cities such as Masan and Jinhae. However, those levels were comparable to or lower than those previously reported in other foreign locations. Some ratios of coprostanol to other sterols and multivariate analysis could provide us with the information on the origin of the sterols being from sewage, plankton, and/or benthos. Those showed sewage dominance at the stations near the cities Masan and Jinhae, plankton dominance at the center of Jinhae Bay and mainly marine fauna origin at the mouth of Jinhae Bay. These results suggest that the contents of sterols and some ratios of these components are quite powerful tracer for the detection of the origin of the organic contaminants in the coastal environments.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.19 no.12
• /
• pp.2911-2916
• /
• 2015

The CCTV is limited by weather conditions. To overcome this limitation, we develop a monitoring program that can sense the approach or recede of two or more objects within a surveillance system that uses a continuous-wave (CW) Doppler radar, and we proposed an algorithm to efficiently detect the approach or recede information of the object. The proposed algorithm separates the signal received by the CW Doppler radar into the real and imaginary parts using Fast Fourier Transform (FFT), and sums the amplitudes for each frequency to determine whether the objects are approaching or receding, using their locations. The algorithm is verified by simulations and experiments, which confirms that it successfully detects the approach or recede of two objects.

• THE INTERNATIONAL COMMERCE & LAW REVIEW
• /
• v.67
• /
• pp.119-142
• /
• 2015

Many insurers have traditionally incorporated "fraud clauses" into insurance policies, setting out the consequences of making a fraudulent claim. Even in the absence of an express terms, English courts provide insurers with a remedy for a fraudulent claim. However, the law in this area is complex, convoluted and confused. English Law Commission think that the law in this area needs to be reformed for three reasons; (1) the disjunctive between the common law rule and section 17 generates unnecessary disputes and litigation, (2) increasingly, UK commercial law must be justified to an international insurance society, and (3) the rules on fraudulent claims are functioned as a deterrent if they are clear and well-understood. In order for these purposes, English Law Commission recommends a statutory regime to the effect that, when an insured commits fraud in relation to a claim, the insurer should (1) have no liability to pay the fraudulent claim and be able to recover any sums already paid in respect to the claim, and (2) have the option to treat the contract as having been terminated with from the time of the fraudulent act and, if chosen the option, be entitled to refuse all claims arising after the fraud, but (3) remain liable for legitimate losses before the fraudulent act. LC is not recommending a complete restatement of the law on insurance fraud generally. For example, LC does not seek to define fraud, instead, recommends the introduction of targeted provisions to confirm the remedies available to an insurer who discovers a fraud by a policyholder.

• Journal of the Korean Professional Engineers Association
• /
• v.21 no.2
• /
• pp.51-57
• /
• 1988

The writer has worked out his original philosophy both scientific and religious, which he calls "Knownism" The new thought states; the word "known" in "knownism" means "already well-informed in the providence" about the essence of the things, and the true state of the reality, hence the knownism, as the existence of God is set forth as a premise. The knownism is a philosophy unified reasonably the science and the faith into one, for the humans can perceive and realize the essence and the true state, and authorize the truth transcending the experience by the scientific method. The new thought of the knownism is a bridge-building between the natural science and the religious faith. The idea explains that the life is the process to pursue the essence of the things and the god, and the truth is immanent in the original nature of things and in God′s sphere. This thought is a philorophy of possibility to solve the paradigms-to-be such as thinking, faith experience, and supernatural power, so that it presents a vision in the human life as a profitable religious science philosophy. The knownism is much different from agnosticism, skepticism, empiricism, and agnosticism. The grace of God may be detected differently from the supernatural power. The new dark clouds overspread abruptly the summer sky are not new ones but originally derived frosm worn-out water drops. Thus those are called the old clouds. The Korean word "known"(노운) of which pronunciation is same with the English "known" means the old clouds, hence also the name, Knownism. The root of the new clouds is detectable from the preserved old clouds. The old clouds symbolized in the paper indicate the essence and the principles of the things and the fittest, or the key for the solution of the problem in the epistemology, believing that everything has its own, proper nature, the writer sums up his theory by insisting that the humans have to find out the "old clouds" or the "known" in knownism to live eternally either in this world or in other dimensions, though the human beings are transformed into the other phases of life. The writer proclaims through the ideas for the United Nations to fortify the Confederate System of World Nations in order to ensure the world peace and the future of the humans.

• Journal of Fashion Business
• /
• v.11 no.1
• /
• pp.61-74
• /
• 2007

Photographic measurement was first made with the subjects of 190 males in their 20s residing in the Ningbo area, Zhejiang Province in China. In this second report, lower body shapes were classified and discriminated by using indirect measurement, measurement items, and lower body analysis. The following sums up the research: 1. The subjects were $8.85^{\circ}$ (hip breadth angle), $1.58^{\circ}$ (abdomen upper angle), $11.80^{\circ}$ (hip upper angle), and $5.12^{\circ}$ (lateral lower body posture angle). 2. The subjects of Chinese males in their 20s showed three types of lower bodies: Bow Legs & Slight Slant of Lateral Lower Body Type (30.5%)-gap between legs, curve waist-hip contour, average abdomen-hip profile, and lateral lower body posture were slightly slanted forward. Adjacent Straight Legs & Slight Slant of Lateral Lower Body Type (35.8%)-adjacent straight between legs, curve waist-hip contour, slim abdomen-hip profile, and lateral lower body posture were slightly slanted forward. Balance Legs & Large Slant of Lateral Lower Body Type (33.7%)-average between legs, straight waist-hip contour, protruding hip profile, and lateral lower body posture were largely slanted forward. 3. Eight useful variables for the categorization of the subjects' lower body types were chosen through stepwise discriminant analysis, and the hit ratio of discrimination was 97.9%.