• Title/Summary/Keyword: 증명문제

Search Result 1,048, Processing Time 0.021 seconds

On bi(必, necessity) and xianzhi(先知, a priori knowledge) of Mojing (『묵경』에 있어서 '선지(先知)'와 '필(必)' 개념의 문제)

  • Chong, Chaehyun
    • (The)Study of the Eastern Classic
    • /
    • no.35
    • /
    • pp.275-295
    • /
    • 2009
  • The aim of this paper is to reject Graham's interpretation of bi (必) and xianzhi (先知) of Later Mohists' Mojing ("墨經") as logical necessity and a priori knowledge respectively. Graham's interpretations of them are based on his beliefs that Mojing distinguishes lun (論), the art of description from bian (辯), the art of inference in the Mohist disciplines and that the latter art should be seen as such a rigorous proof as Euclidean geometry even though it is not a Western formal logic. His beliefs also start from his distinguishing 'knowledge of names' from 'knowledge of conjunction of names and objects' according to the objects of knowledge. In my reading, the art of description and the art of inference, however, can't be sharply distinguished each other in Mojing and bi and xianzhi should be taken as suggesting both a normative necessity and an empirical necessity. A normative necessity is derived from 'normative theory of definition' which comes form the theory of rectification of names in China. The normative theory of definition, unlike the descriptive theory of definition, defines terms normatively rather than descriptively. For example, although such a definition of father, 'father is beneficient', has the form of being descriptive, but it actually is prescriptive and therefore means 'father should be beneficient'. Through this normative theory of definition, empirical knowledge, as long as it is a knowledge, is seen as necessary and so can't be wrong. To conclude, for Mohists an empirical knowledge is always a basis of an inferential knowledge or a priori knowledge, so Mohists' a priori knowledge is not really a fundamental knowledge and its necessity therefore is nothing but both a normative necessity and an empirical necessity.

Actual Condition on Preliminary Educational Organizations of Sinheung Military Academy Confirmed from Manjugisa by Yi Sang-nyon - Focused on Liuhexian·Tonghuaxian (석주(石洲) 이상룡(李相龍)의 「만주기사(滿洲紀事)」 분석을 통해 본 신흥무관학교(新興武官學校)의 하급교육기관 실태 - 유하(柳河)·통화현(通化縣)을 중심으로 -)

  • Park, Sung-soon
    • (The)Study of the Eastern Classic
    • /
    • no.67
    • /
    • pp.173-201
    • /
    • 2017
  • Sinheung Military Academy was the first one which prepared for independence war built by members of Sinminhoe in Western Manchuria. Sinheung Military Academy is known that nurtured 3,500 independence soldiers during 10 years from 1911 thorough 1920. Nevertheless no people know how it recruited so many students for 10 tears. In the course of studying the recruit of Sinheung Military Academy, I became to focus on Manjugisa by Yi Sang-nyog. Although Yi Sang-nyon remembered that there were over five hundred students in Sinheung Military Academy from just after it's set up in Manjugisa, scholars overlooked that mention so far. In addition, in the Sixth poem of Manjugisa, Yi Sang-nyong recollected that there were 30 preliminary educational organizations in 1918 after installation of Sinheung Military Academy in 1911. Therefore I concluded that the over 500 students nurtured from just after installation of Sinheung Military Academy were summed up students of preliminary educational organizations over Sinheung Military Academy's and proved it. The students of preliminary educational organizations in Liuhexian Tonghuaxian entranced into Sinheung Military Academy after graduation. The graduates of Sinheung Military Academy taught the students of preliminary educational organizations a common and military educations in duty for two years. In conclusion, Sinheung Military Academy and nearby preliminary educational organizations were an wide military camp organically maintained by Korean in Western Manchuria for big purpose of independence war.

Toegye and Yulgok's Theory of Human Mind·Moral Mind - The Korean Development of Chutzu's Theory of Mind (퇴계와 율곡의 인심도심설 - 주자 심론의 한국적 전개 -)

  • Cheon, Hyunhee
    • The Journal of Korean Philosophical History
    • /
    • no.41
    • /
    • pp.93-127
    • /
    • 2014
  • Toegye and Yulgok both tried to obtain the extent of goodness from the emotion they feel in reality. Toegye thought the extent of goodness is being obtained by Li[理], Yulgok thought it by Chi[氣]. But Four Bases[四端] as goodness from Li[理] would possibly threat the human identity, and the emotion of appropriateness as goodness from Chi[氣] doesn't even prove itself that it is appropriate. They explain the problems and answers through Theory of Human Mind?Moral Mind. Toegye explains that Moral Mind is meaningful as it make people identify themselves as moral existence, Yulgok explains Moral Mind is meaningful that it satisfies standard of appropriateness. While Toegye and Yulgok define Moral Mind and Human Mind as emotion of Yi-fa[已發], Chutzu defines Moral Mind and Human Mind as consciousness. and he defines consciousness as 'preparing Li(理) and practicing the emotion'. So according to Chutzu, Moral Mind and Human Mind derives the reaction from the Li(理) in order to respond to the external stimulation. Supervision of mind is completed by consciousness of Moral Mind. It means that mind not limited to Yi-fa[已發]. Then we should think that Toegye and Yulgok's Theory of Human Mind?Moral Mind is something newly resulted from their own philosophic problem. Toegye and Yulgok's Theory of Human Mind?Moral Mind is commonly explaining human mind in experiential aspect, and it will be esteemed as definite and realistic theory of Mind because it emphasizes willingness which motivates an essential activity.

Efficient RSA-Based PAKE Procotol for Low-Power Devices (저전력 장비에 적합한 효율적인 RSA 기반의 PAKE 프로토콜)

  • Lee, Se-Won;Youn, Taek-Young;Park, Yung-Ho;Hong, Seok-Hie
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.19 no.6
    • /
    • pp.23-35
    • /
    • 2009
  • Password-Authenticated Key Exchange (PAKE) Protocol is a useful tool for secure communication conducted over open networks without sharing a common secret key or assuming the existence of the public key infrastructure (PKI). It seems difficult to design efficient PAKE protocols using RSA, and thus many PAKE protocols are designed based on the Diffie-Hellman key exchange (DH-PAKE). Therefore it is important to design an efficient PAKE based on RSA function since the function is suitable for designing a PAKE protocol for imbalanced communication environment. In this paper, we propose a computationally-efficient key exchange protocol based on the RSA function that is suitable for low-power devices in imbalanced environment. Our protocol is more efficient than previous RSA-PAKE protocols, required theoretical computation and experiment time in the same environment. Our protocol can provide that it is more 84% efficiency key exchange than secure and the most efficient RSA-PAKE protocol CEPEK. We can improve the performance of our protocol by computing some costly operations in offline step. We prove the security of our protocol under firmly formalized security model in the random oracle model.

Suppression of Coupled Pitch-Roll Motions using Quasi-Sliding Mode Control (준 슬라이딩 모드 제어를 이용한 선박의 종동요 및 횡동요 억제)

  • Lee, Sang-Do;Cuong, Truong Ngoc;Xu, Xiao;You, Sam-Sang
    • Journal of the Korean Society of Marine Environment & Safety
    • /
    • v.27 no.2
    • /
    • pp.211-218
    • /
    • 2021
  • This paper addressed the problems of controlling the coupled pitch-roll motions in a marine vessel exposed to the regular waves in the longitudinal and transversal directions. Stabilization of the pitch and roll motions can be regarded as the essential task to ensure the safety of a ship's navigation. One of the important features in the pitch-roll motions is the resonance phenomena, which result in unexpected large responses in terms of pitch and roll modes in some specific conditions. Besides, owing to its inherent characteristics of coupled combination and nonlinearity of restoring terms, the vessel shows various dynamical behaviors according to the system parameters, especially in the pitch responses. Above all, it can be seen that suppression of pitch rate remains the most significant challenge to overcome for ship maneuvering safety studies. To secure the stable upright condition, a quasi-sliding mode control scheme is employed to reduce the undesirable pitch and roll responses as well as chattering elimination. The Lyapunov theory is adopted to guarantee the closed stability of the pitch-roll system. Numerical simulations demonstrate the effectiveness of the control scheme. Finally, the control goals of state convergences and chattering reduction are effectively realized through the proposed control synthesis.

Study on Chinese Youth Film Expression through Defamiliarization :Taking Us and Them(后来的我们) as Example ('낯설게 하기'를 통한 중국 청년 영화의 표현에 관한 연구 : 중국 영화 <먼 훗날 우리> (后来的我们)를 중심으로)

  • Zhang, Lin
    • Journal of Korea Entertainment Industry Association
    • /
    • v.14 no.1
    • /
    • pp.117-124
    • /
    • 2020
  • Chinese youth films fall into the dilemma of continuous development after experiencing rapid development from 2013 to 2017. How to update the creative ideas and methods of the films, arouse the audience's interest in watching and stimulate a new aesthetic experience has become a focal point for the creators who concern about the Chinese film market. "Us and Them" is a successful youth film in 2018. Its creative practice proves that defamiliarization can provide theoretical and methodological basis for the creation of Chinese youth films. Therefore, taking the current situation of Chinese youth film as the research background, treating "Us and Them" as the research object, the defamiliarization of narrative discourse and narrative content used in the film are analyzed. First, the defamiliarization of narrative discourse composed of scenes, characters and plots makes the film "stand out" from the real world. Second, the defamiliarization of narrative content composed of metropolis adoration, self-identity and hometown affection makes the film "stand out" from the existing context. These methods of creation not only meet the needs of the contemporary, but also provide an effective reference for the creation of other youth films. Research will be needed to utilize the elements of defamiliarization through the analysis of the successful case in spite of the time change.

Semantic Computing-based Dynamic Job Scheduling Model and Simulation (시멘틱 컴퓨팅 기반의 동적 작업 스케줄링 모델 및 시뮬레이션)

  • Noh, Chang-Hyeon;Jang, Sung-Ho;Kim, Tae-Young;Lee, Jong-Sik
    • Journal of the Korea Society for Simulation
    • /
    • v.18 no.2
    • /
    • pp.29-38
    • /
    • 2009
  • In the computing environment with heterogeneous resources, a job scheduling model is necessary for effective resource utilization and high-speed data processing. And, the job scheduling model has to cope with a dynamic change in the condition of resources. There have been lots of researches on resource estimation methods and heuristic algorithms about how to distribute and allocate jobs to heterogeneous resources. But, existing researches have a weakness for system compatibility and scalability because they do not support the standard language. Also, they are impossible to process jobs effectively and deal with a variety of computing situations in which the condition of resources is dynamically changed in real-time. In order to solve the problems of existing researches, this paper proposes a semantic computing-based dynamic job scheduling model that defines various knowledge-based rules for job scheduling methods adaptable to changes in resource condition and allocate a job to the best suited resource through inference. This paper also constructs a resource ontology to manage information about heterogeneous resources without difficulty as using the OWL, the standard ontology language established by W3C. Experimental results shows that the proposed scheduling model outperforms existing scheduling models, in terms of throughput, job loss, and turn around time.

A Case of Anti-Sda Proven by Urine Neutralization Test (중화반응으로 증명된 Anti-Sda 1예)

  • Yun, Seung Gyu;Kim, Jang Su;Yang, Jin Hyuk;Yoon, Soo-Young;Lee, Chang Kyu;Lim, Chae Seung;Cho, Yunjung;Kim, Young Kee;Lee, Kap No
    • Laboratory Medicine Online
    • /
    • v.1 no.1
    • /
    • pp.64-66
    • /
    • 2011
  • Anti-Sda is of no clinical significance, because it rarely causes hemolytic transfusion reactions. Even when its presence is suspected during antibody screening test, further identification of the antibody is usually not performed. We experienced a case of anti-Sda in 73 yr-old male patient showing mixed field agglutination by microcolumn agglutination. Antibody specificity could not be identified by conventional antibody identification test, and it was proven to be anti-Sda by urine neutralization test. In spite of its little clinical significance, it may give incompatible crossmatching results reacting with Sda antigen, which occurs at a high frequency in general population. When incompatible crossmatch results arising from anti-Sda are suspected, the problem may be solved by using the urine-neutralized serum of in crossmatching test.

A Comparative Study on the Burden of proof between Korea and the USA under the Product Liability (제조물책임법상 입증책임에 관한 한·미 간 비교연구)

  • Ha, Choong-Lyong;Kim, Eun-Bin
    • Korea Trade Review
    • /
    • v.43 no.3
    • /
    • pp.101-124
    • /
    • 2018
  • After the establishment of the Korean Product Liability Act, a new clause on the burden of proof has been added and is being revised to meet the purpose of consumer protection. Article 3(2) of the new clause stipulates a provision for estimating a causal relationship when proving indirect facts to alleviate burden of proof. While consumer rights are increasing and public attention is drawn to consumer issues, problems are still emerging. In order to solve the problem, the U.S. Product Liability Act, which has strong consumer rights, was examined to describe the direction in which Korea's Product Liability Act should proceed in terms of consumer protection. The results of the comparative analysis show that the US has expanded the concept of strict liability in terms of rigorous liability, consumer dispute resolution, provable possibility, and litigation accessibility, The consumer dispute settlement system has thoroughly protected consumers by operating educational and systemic consumer ADR system. As for the possibility of proving, Korea has three provenances, and the United States has one. In the United States, where consumer lawsuits are frequent, lawsuits are more accessible than those in Korea, where the party responsible for proving is turned into a manufacturer and responsible for proving the case. This study focuses on consumer protection and provides implications for Korean product liability law.

  • PDF

Analyzing the Relationship between Environmental Consciousness and Railway Choice Behavior (환경의식과 철도이용행동의 관련성 분석)

  • Lee, Jae-Boong;Kim, Hyun;Oh, Seung Hwoon
    • KSCE Journal of Civil and Environmental Engineering Research
    • /
    • v.30 no.6D
    • /
    • pp.697-705
    • /
    • 2010
  • The purpose of this research is to clarify the relation between environmental consciousness and railway usage behavior. Author would locate this research on position of basic survey to promote railway use according to Low Carbon Green Growth policy in Korea. In this research, we would perform descriptive analysis using data of research on the actual condition of railway use in 2008, Daegu, and describe its relationship. In addition, we would suggest some idea about policy which can promote railway use. The order of railway choice behavior noticed in clustering of environmental consciousness was cooperative behavior type, middle type and non-cooperative behavior type. It suggests that environmental consciousness has effect on transportation choice behavior. Specially, railway improvement isn't enough to promote railway use. And, it is advisable to carry out the improvement in such a way that it may encourage the nation to move from the current environmental consciousness stage to cooperative behavior. Moreover, we assumed Binary Probit(BP) model using SP data of time or condition of transportation expense compared with passenger car and bus. As the results, modified likelihood ratio of two BP models is favorable variables. And it occurred that mode was transferred from passenger car to railway when it showed higher social environment consciousness and low selfish environment consciousness, because t-statistic which represents selfish environment consciousness showed significance in 95% confidence level. That is, it can be described that environment consciousness affect on the intention of railway use.