• Title/Summary/Keyword: proof theory

Search Result 175, Processing Time 0.025 seconds

Semantic Network Analysis of Science Gifted Middle School Students' Understanding of Fact, Hypothesis, Theory, Law, and Scientificness (언어 네트워크 분석법을 통한 중학교 과학영재들의 사실, 가설, 이론, 법칙과 과학적인 것의 의미에 대한 인식 조사)

  • Lee, Jun-Ki;Ha, Minsu
    • Journal of The Korean Association For Science Education
    • /
    • v.32 no.5
    • /
    • pp.823-840
    • /
    • 2012
  • The importance of teaching the nature of science (NOS) has been emphasized in the science curriculum, especially in the science curriculum for science-gifted students. Nevertheless, few studies concerning the structure and formation of students' mental model on NOS have been carried out. This study aimed to explore science-gifted students' understanding of 'fact', 'hypothesis', 'theory', 'law', and 'scientificness' by utilizing semantic network analysis. One hundred ten science-gifted middle school students who were selected by a national university participated in this study. We collected students' written responses of five items and analyzed them by the semantic network analysis(SNA) method. As a result, the core ideas of students' understanding of 'fact' were proof and reality, of 'hypothesis' were tentativeness and uncertainty, of 'theory' was proven hypothesis by experimentation, of 'law' were absoluteness and authority, and of 'scientificness' were factual evidence, verifiability, accurate and logical theoretical framework. The result of integrated semantic network illustrated that the viewpoint of science-gifted students were similar to absolutism and logical positivism (empiricism). Methodologically, this study showed that the semantic network analysis method was an useful tool for visualization of students' mental model of scientific conceptions including NOS.

Trends of the Precedent Case concerning Hospitalized Acquired Infection (병원감염에 관한 판례의 동향)

  • Lee, Dong-Pil
    • The Korean Society of Law and Medicine
    • /
    • v.8 no.1
    • /
    • pp.61-105
    • /
    • 2007
  • The Hospitalized Acquired Infection is defined as the case where the hidden infection or not found at the time of hospitalization occurs during the hospitalized period or, within 30 days to those who performed the surgery operation and then left the hospital. About 2/3 of the Hospitalized Acquired Infection are found as having the internal infection cases that are occurred by the patients' own virus due to the lowered immune system, while about 1/3 are found as having the external infection. The latter 1/3 of the external infection cases can be prevented through the infection management. And in case the new Hospitalized Acquired Infection case occur to the patient who was treated in the hospital, its responsibility issue will matter. As well in the disputes over the Hospitalized Acquired Infection cases, the cause-result relation between the damages and the medical staff's fault and as to whether there is failure of the medical staff or not. personnel should be proved in the medical-malpractice cases. In addition, the difficulties in proving such as expertise, secrecy propensity, discrete propensity and incompleteness will be considered to ease the burden of patient side's proving. Probability theory, Fact based assumption theory, Most adequate plaintiff preassumption or Expressed evidence theories are being discussed as the theories of eased burden of proof. In the result of gathering and reviewing Korea's precedent cases concerning the Hospitalized Acquired Infection, there are only a few accumulated prece dent cases and the attitude of the court also are also not consistent. Therefore, there are the precedents where the cause-result relation and the failure are immediately assumed when (1) timely proximity between the medical behavior and malpractice results, (2) proximity between the medical behavior-applied parts and the malpractice results-found parts, and (3) lack of other causes are separately evidenced; while the are the precedents only when 'the existence of the medical faults based on the common sense' is separately evidenced. It was found that the former and latter cases coexisted. The former is considered as based on the theory that separates the fault and cause-result relation not to consider them together, or regarded as based on the doubts that assumes the medical staff's neglect even though the Hospitalized Acquired Infection might be completely prevented by their efforts. However, the modern medical technology has the limitation as far as the prevention of the Hospitalized Acquired Infection. In conclusion, the assumption of the cause-result relation and that of the fault should be separately reviewed. Therefore, the latter precedents are considered as more reasonable, in the point the faulty behavior may be proved based on the common sense.

  • PDF

A Study of Yi cheon's Medical Ideology and Research System (이천 의학사상(醫學思想)의 학술계통(學術系統) 및 특징(特徵)에 대한 연구(硏究))

  • Cha, Wung Seok
    • The Journal of Korean Medical History
    • /
    • v.14 no.2
    • /
    • pp.189-248
    • /
    • 2001
  • In this essay, following final conclusions have been drawn by analyzing medical ideology and research system of Yi cheon in Yi hak yip mun("醫學入門"). Firstly, even though the existing medical history researchers are not noting the system of Yi-cheon's medical ideology, this essay has proved the man as a doctor who succeeded the (main system) based on the content of Yi-hak-yip-mun("醫學入門") by Ju-Dan-Gae(朱丹溪). The outline of this proof is as follows. 1. Those doctors who had actively researched in Myung era(明代), were basically taking over the medical studies and result of Gum-Won era(金元代). However, depending on whose theory is to be followed, the followers are largely divided into two groups of Ju-Dan-Gae Academics(丹溪學派) and On-Boe Academics(溫補學派). In addition, both Ju-Dan-Gae Academics(丹溪學派) and On-Boe Academics(溫補學派) hold contradictory ideologies to that of the main medical system. In Yi-hak-yip-mun("醫學入門"), Yi-cheon(李?) ties The Text of Whang-Jae-Nae-Kyung("黃帝內經"), Jang-Jung-Kyung(張仲景), Yu-Ha-Gun(劉河間), Yi-Dong-Won(李東垣), Ju-Dan-Gae(朱丹溪) into one pedigree. With regard to the main system, he especially marks Ju-Dan-Gae(朱丹溪) for his efforts in gathering various medical theories into a large compilement. 2. When Yi-Cheon(李?) was writing Yi-Hak-Yip-Mun("醫學入門"), he made references to various medical publishings, among those book which he had utilized, books by Ju-Dan-Gae Academics(丹溪學派) had affected him more than anything else in terms of both quality and quantity. 3. Yi-Cheon(李?)'s "Congested Phlegm Theory(痰鬱論)" had succeeded "Congested Phlegm Theory(痰鬱論) of Ju-Dan-Gae Academics(丹溪學派). His Yi-Hak-Yip-Mun("醫學入門"), carries a more complete form of "Congested Phlegm Theroy(痰鬱論) which was made into a more systemic and widely applicable method which was by Ju-Dan-Gae Academics(丹溪學派). Secondly, Yi-Hak-Yip-Mun("醫學入門"), is a medical book which was written in the process of systemic reorganization of medical theories of various academic parties in Myung 명 era. Since this process was hearing its completion in the period of Yi-Cheon(李?), he chose specific ways of reshuffling, whilst seeking ways to efficiently utilizing existing medical information . He provided a standard to specific ways. He rearranged the existing medical theories based upon these standards. He also contributed to clinical medicine by providing description of symptoms focused upon the symptoms differentiated In Conclusion, Yi-Hak-Yip-Mun("醫學入門") holds systematic medical information which was developed by Ju-Dan-Gae Academics(丹溪學派). Also, Yi-Cheon(李?) uniformly classified the clinical experiences of existing Ju-Dan-Gae Academics(丹溪學派). He had contributed in the clinical use of Ju-Dan-Gae Academic(丹溪學派)'s clinical experience by providing main points from differentiation of symptoms.

  • PDF

Medico Legal Aspects of Clinical Practice Guideline (표준 치료 지침서(Clinical Practice Guideline)의 의료법학적 의의)

  • Bae, Hyun-A
    • The Korean Society of Law and Medicine
    • /
    • v.9 no.2
    • /
    • pp.181-207
    • /
    • 2008
  • With recent emphasis on evidence based medicine, clinical practice guidelines are seen as a potential mechanism by which unify various managerial and professional approaches to improving the quality of care. The development process of guidelines has been the subject of much research. and it is need translating the medical evidence of research into a clinical practice guidelines. the gathered evidence needs to be interpreted into a clinical, public health, policy, or payment context. The term 'clinical practice guidelines' can evoke a diverse range of responses from healthcare personnel. Clinical practice guidelines are increasingly used in patient management but some clinicians are not familiar with their origin or appropriate applications. Understanding the limitations as well as benefits of CPG could enable clinicians to have clearer view of the place of guidelines in every practice. In the context of increasing complaints and litigation in healthcare, the legal implications of clinical practice guidelines are of increasing importance. Clinical practice guidelines could, in theory, influence the manner in which the courts establish negligence by suggesting the doctor breached the duty of care by failing to provide the required standard of medical care. In several studies, the CPGs were relevent to and played a pivotal role in the proof of negligence. Much depends on the quality of guidelines and the tools developed and the authoritativeness of a guideline. Recently, there are several opinions the court also should review the validity and reliability of expert testimony including medical evidence. and widespread use of guidelines in malpractice lawsuit could lead the physicians to greater compliance with guidelines in the long term. In conclusion, Health care reformers, physicians as well as guidelines developers should understand that guidelines have both medical and legal aspects as a double-edges sword. so clinicians, legal representatives and decision-makers should not defer unduly to guidelines.

  • PDF

LEONHARD EULER (1707-1783) AND THE COMPUTATIONAL ASPECTS OF SOME ZETA-FUNCTION SERIES

  • Srivastava, Hari Mohan
    • Journal of the Korean Mathematical Society
    • /
    • v.44 no.5
    • /
    • pp.1163-1184
    • /
    • 2007
  • In this presentation dedicated to the tricentennial birth anniversary of the great eighteenth-century Swiss mathematician, Leonhard Euler (1707-1783), we begin by remarking about the so-called Basler problem of evaluating the Zeta function ${\zeta}(s)$ [in the much later notation of Georg Friedrich Bernhard Riemann (1826-1866)] when s=2, which was then of vital importance to Euler and to many other contemporary mathematicians including especially the Bernoulli brothers [Jakob Bernoulli (1654-1705) and Johann Bernoulli (1667-1748)], and for which a fascinatingly large number of seemingly independent solutions have appeared in the mathematical literature ever since Euler first solved this problem in the year 1736. We then investigate various recent developments on the evaluations and representations of ${\zeta}(s)$ when $s{\in}{\mathbb{N}}{\backslash}\;[1],\;{\mathbb{N}}$ being the set of natural numbers. We emphasize upon several interesting classes of rapidly convergent series representations for ${\zeta}(2n+1)(n{\in}{\mathbb{N}})$ which have been developed in recent years. In two of many computationally useful special cases considered here, it is observed that ${\zeta}(3)$ can be represented by means of series which converge much more rapidly than that in Euler's celebrated formula as well as the series used recently by Roger $Ap\'{e}ry$ (1916-1994) in his proof of the irrationality of ${\zeta}(3)$. Symbolic and numerical computations using Mathematica (Version 4.0) for Linux show, among other things, that only 50 terms of one of these series are capable of producing an accuracy of seven decimal places.

A New Key Management Mechanism and Performance Improvement for Conditional Access System (제한수신시스템을 위한 키 관리 메카니즘과 성능향상 방안)

  • 조현숙;이상호
    • The KIPS Transactions:PartC
    • /
    • v.8C no.1
    • /
    • pp.75-87
    • /
    • 2001
  • The Conditional Access System is the complete system for ensuring that broadcasting services are only accessible to those who are entitled to receive them. Four major parts to this system are scrambling, descrambling, authentication and encryption. For the proper operation, which means hard-to- break and uninterrupted service, secure key management and efficient delivery mechanism are very important design factors to this system. Performance analysis is another important factor to this system that is used in massive subscriber environment. In this thesis, one of the secure and efficient key management mechanisms is proposed. For the secrecy of this mechanism, hierarchical stacking of keys and key generation matrix are proposed. For the proof of efficient delivery of those keys, simulation results and performance analysis. which is based on queuing analysis, are presented. Lastly, optimal key generation and delivery period, maximal and minimal key deliver time, and communication capacity for data collection are presented for various subscriber volume.

  • PDF

A Study of Training Program Development for Diffusion Expression Power - focused on the students are majoring design - (확산적 표현력 계발을 위한 훈련 프로그램 연구 -디자인 전공 학생을 대상으로-)

  • 강덕구
    • Archives of design research
    • /
    • v.16 no.2
    • /
    • pp.121-130
    • /
    • 2003
  • The diffusion expressive power means the flexibility of which creative power test spheres(fluency, originality) by Torrance is ability making the considerations, thoughts and concepts to the meaningful symbolic change. This study is willing to develop and improve program toward the diffusion expressive power and is to testify training effect of the students are majoring design with the object. The training programs composed of six levels which is based on the theory of Eskild Tjalve. And the parameters of each levels are element, function, number, arrangement, form geometric, size and have to practice 2 weeks at once by 12 weeks. For successful measuring the effective results of this study, 40 undergraduate junior students in the department of design are grouped to excercise with experimental pilot group and regulated group. The standard type of creative paper is used to evaluate the results of student's training. This study give proof that creative power of the experimental pilot and under training group is higher than the regulated and under comparison group at in the conclusion.

  • PDF

Enhancing Dependability of Systems by Exploiting Storage Class Memory (스토리지 클래스 메모리를 활용한 시스템의 신뢰성 향상)

  • Kim, Hyo-Jeen;Noh, Sam-H.
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.37 no.1
    • /
    • pp.19-26
    • /
    • 2010
  • In this paper, we adopt Storage Class Memory, which is next-generation non-volatile RAM technology, as part of main memory parallel to DRAM, and exploit the SCM+DRAM main memory system from the dependability perspective. Our system provides instant system on/off without bootstrapping, dynamic selection of process persistence or non-persistence, and fast recovery from power and/or software failure. The advantages of our system are that it does not cause the problems of checkpointing, i.e., heavy overhead and recovery delay. Furthermore, as the system enables full application transparency, our system is easily applicable to real-world environments. As proof of the concept, we implemented a system based on a commodity Linux kernel 2.6.21 operating system. We verify that the persistence enabled processes continue to execute instantly at system off-on without any state and/or data loss. Therefore, we conclude that our system can improve availability and reliability.

A Study on Visual Metaphors that appear in the Stage Design of Bob Crowley - Focused on the stage design of 'AIDA' - (밥 크로울리 무대디자인에 나타나는 시각적 은유에 관한 연구 - 뮤지컬 '아이다' 무대디자인을 중심으로 -)

  • Hwang, Su-Yeon;Yoon, Jae-Eun
    • Korean Institute of Interior Design Journal
    • /
    • v.22 no.1
    • /
    • pp.55-63
    • /
    • 2013
  • The main purpose of (the) performing arts is to efficiently communicate the themes and meanings which performances contain under limited time and place to the audience. Stage design should visually express play writer's scripts and director's interpretations of works, amid limitations. Although it is mostly designed metaphorically, in many cases, it is used only as a tool describing the background of performances but fails to effectively convey the true message of scenes to spectators. On the other hand, Bob Crowley has been recognized for his own design presentation skills to win 'Best Scenic Design of a Musical' of Tony Awards for six times and still exerts great influence on the musical and performing arts fields as a set designer. This study analyzes his reading of scripts and visual metaphor expressions, focusing on the musical, 'Aida' where the skills are mostly notable. To that end, we studied the concept of stage arts and theory of visual metaphoric expression to derive the features of his own technique in visual metaphor. Then, the features were applied to each scene of 'Aida' to see how they are displayed on stage. The result shows that Bob Crowley not only describes the background on stage, but also visualizes characters' personality and emotions in scenes. Such method of his expression is a proof to enhanced performance level by maximizing the atmosphere. Considering that a stage design should be based on the capacity of a designer to reinterpret the space with renewed viewpoints, visual metaphoric expression can serve as an effective tool to deliver clear messages to the audience under limited time and space, which is open to various methods of expressions.

An Adaptive Grid Resource Selection Method Using Statistical Analysis of Job History (작업 이력의 통계 분석을 통한 적응형 그리드 자원 선택 기법)

  • Hur, Cin-Young;Kim, Yoon-Hee
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.37 no.3
    • /
    • pp.127-137
    • /
    • 2010
  • As large-scale computational applications in various scientific domains have been utilized over many integrated sets of grid computing resources, the difficulty of their execution management and control has been increased. It is beneficial to refer job history generated from many application executions, in order to identify application‘s characteristics and to decide selection policies of grid resource meaningfully. In this paper, we apply a statistical technique, Plackett-Burman design with fold-over (PBDF), for analyzing grid environments and execution history of applications. PBDF design identifies main factors in grid environments and applications, ranks based on how much they affect to their execution time. The effective factors are used for selecting reference job profiles and then preferable resource based on the reference profiles is chosen. An application is performed on the selected resource and its execution result is added to job history. Factor's credit is adjusted according to the actual execution time. For a proof-of-concept, we analyzed job history from an aerospace research grid system to get characteristics of grid resource and applications. We built JARS algorithm and simulated the algorithm with the analyzed job history. The simulation result shows good reliability and considerable performance in grid environment with frequently crashed resources.