• Korean Journal of Logic
• /
• v.12 no.2
• /
• pp.89-114
• /
• 2009

We have many causal beliefs, and they play an important role in our decision making. Unlike evidential decision theory, causal decision theory claims that an account of rational choice must use causal beliefs to identify the considerations that make a choice rational. I claim that evidential decision theory is refuted by the original Newcomb's problem but not by the medical Newcomb problem. The latter is taken to be the best example to point out the weakness of evidential decision theory. However, by the explicit statement about causal relations, I argue that the medical Newcomb problem loses its strength in refuting evidential decision theory. With this argument, this paper clarifies the difference between evidential decision theory and causal decision theory.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.8 no.11
• /
• pp.3674-3710
• /
• 2014

In this tutorial, we integrate the concept of cognitive radio technology into game theory and supermarket game theory to address the problem of resource allocation in multiuser multicarrier cognitive radio networks. In addition, multiuser multicarrier transmission technique is chosen as a candidate to study the resource allocation problem via game and supermarket game theory. This tutorial also includes various definitions, scenarios and examples related to (i) game theory (including both non-cooperative and cooperative games), (ii) supermarket game theory (including pricing, auction theory and oligopoly markets), and (iii) resource allocation in multicarrier techniques. Thus, interested readers can better understand the main tools that allow them to model the resource allocation problem in multicarrier networks via game and supermarket game theory. In this tutorial article, we first review the most fundamental concepts and architectures of CRNs and subsequently introduce the concepts of game theory, supermarket game theory and common solution to game models such as the Nash equilibrium and the Nash bargaining solution. Finally, a list of related studies is highlighted and compared in this tutorial.

• The Journal of Korean Medical History
• /
• v.15 no.1
• /
• pp.147-182
• /
• 2002

By studing the congestion theory of Choo Dan-kyei mentioned in "DongEuiBoGam", I have reached following conclusions. 1. Dan-kyei's congestion theory influenced greatly on "DongEuiBoGam". The congestion theory of "DongEuiBoGam" is built up with several theories centering round on Dan-kyei's theory and Huh-Jun's own opinion in addition. 2. Dan-kyei's congestion theory has given theoretical foundation to the classification and diagnosis of congestion reported in "DongEuiBoGam"-Congestion Chapter. 3. Dan-kyei's congestion theory offers many examples of symptoms reported in "DongEuiBoGam"-Congestion Chapter. It's shown well through outer symptoms, several congestion disease, congestion mass, and "congestion never sudden death", etc. 4. Dan-kyei's congestion theory has influenced greatly on treatment of congestion reported in "DongEuiBoGam"-Congestion Chapter, and it's well shown through spewing method, grand method in congestion treatment and common medicine of congestion, etc. 5. Dan-kyei's congestion theory offers variety of treating methods to symptoms caused by congestion reported in "DongEuiBoGam". It's shown variously through upper stomachache, stomachache, back pain, side pain, "San", joint pain, Summer disease, internal injury, cough and morning sickness, etc.. 6. Dan-kyei's congestion theory has factors that could be operated to common diseases of mordern people. They can be classified as food congestion, alcohol congestion, obstruction congestion and Qi congestion, and they are clinically very efficient.

• Journal of the korean Society of Automotive Engineers
• /
• v.15 no.1
• /
• pp.28-36
• /
• 1993

Present-day there are two of theories which have considerable scientific support to explain the knock phenomenon in S.I. engine, the detonation theory and the autoignition theory. But they still have some problems to explain effects of knock parameters, i.e.. compression ratio, spark timing, mixture quality, engine speed, ect, on knocking process in S.I. engine. Accordingly, it is essential to find out whish is more adequate theory of two and to develop the method of analyzing knock phenomenon, that is the aim of this paper. The Authors develop the method of predicting transient temperature and pressure at the end-gas zone during the combustion period and analyze knocking process by this method based on the knock theories. The caluculated values based on the autoignition theory show reasonablly correct relations between knock parameters and knock process but there is no evidence of knock occurred by detonation theory through the calculation according to the all parameters. The authors find out that the autoignition theory is more adequate than detonation theory to analyze knocking process in S.I. engine.

• Structural Engineering and Mechanics
• /
• v.82 no.6
• /
• pp.725-734
• /
• 2022

This work presents a simple exponential shear deformation theory for the flexural and free vibration responses of thick bridge deck. Contrary to the existing higher order shear deformation theories (HSDT) and the first shear deformation theory (FSDT), the proposed model uses a new displacement field which incorporates undetermined integral terms and involves only two variables. Governing equations and boundary conditions of the theory are derived by the principle of virtual work. The simply supported thick isotropic square and rectangular plates are considered for the detailed numerical studies. Results of displacements, stresses and frequencies are compared with those of other refined theories and exact theory to show the efficiency of the proposed theory. Good agreement is achieved of the present results with those of higher order shear deformation theory (HSDT) and elasticity theory. Moreover, results demonstrate that the developed two variable refined plate theory is simple for solving the flexural and free vibration responses of thick bridge deck and can achieve the same accuracy of the existing HSDTs which have more number of variables.

• Journal for History of Mathematics
• /
• v.19 no.4
• /
• pp.107-116
• /
• 2006

This article reviews the exciting developments in Morse theory by S.Smale, Freedmann and others, including a proof of the generalized Poincare' Conjecture in the handle body theory. We study its relations with handle body theory _and geodesic theory.

• Journal for History of Mathematics
• /
• v.23 no.2
• /
• pp.89-99
• /
• 2010

Today linear algebra is one of compulsory courses for university mathematics by virtue of its theoretical fundamentals and fruitful applications. Vector theory and matrix theory constitute of main topics in linear algebra. In the present paper we consider the question which of the two topics is prior in teaching of linear algebra. We suggest that vector theory should be prior to matrix theory contrary to the historical order of them.

• Smart Structures and Systems
• /
• v.5 no.5
• /
• pp.531-546
• /
• 2009

In the present analysis, the spline finite strip with higher-order shear deformation is formulated for the static analysis of piezoelectric composite plates. The proposed method incorporates Reddy's third-order shear deformation theory, Touratier's "Sine" model, Afaq's exponential model, Cho's higher-order zigzag laminate theory, as well as the classic plate theory and the first-order plate theory. Thus, the analysis can be conducted based on any of the above-mentioned theories. The selection of a specific method is done by simply changing a few terms in a 2 by 2 square matrix and the results, obtained according to different plate theories, can be compared to each other. Numerical examples are presented for piezoelectric composite plates subjected to mechanical loading. The results based on different shear deformation theories are compared with the three-dimensional solutions. The behaviours of piezoelectric composite plates with different length-to-thickness ratios, fibre orientations, and boundary conditions are also investigated in these examples.

• Journal of the Korean Society for Library and Information Science
• /
• v.29
• /
• pp.173-204
• /
• 1995

The purpose of this study is to promote understanding of the book selection theory by researching dialectically of its development process centering on the BSTv(value theory) and BSTd(demand theory). The results of this study are summarized as follows 1. In the period of enlightenment and education, the book selection theory of public libraries was the thesis state of BSTv(d). 2. Antithesis state of BSTv(d), that is, BSTd was raised to real central theory of book selection in the early 20th century. 3. In the 1930-40's, BSTv and BSTd were transformed into balance state or coexistence relations(BSTb $[v(d){\cdot}d(v)$]. 4. After World War II, BSTn(library needs theory) and BSTo(library objective theory) were evoked, and opposed to the existing selection theories. Now, they are developing into BSTbl$[n(d)\cdot\;o(v)\;or\;n(d){\cdot}v(o)]$.

• The Journal of Information Systems
• /
• v.29 no.1
• /
• pp.181-199
• /
• 2020

Purpose The purpose of this study is to analyze the current state of grounded theory methodology in Korea information systems studies and to suggest its application strategies. Design/methodology/approach After reviewing previous studies, this study reviewed 16 papers which adopted grounded theory methodology and analyzed these papers by two ways, research contents and methods adopted from grounded theory methodology: Main characteristics in grounded theory methodology are selected as main criteria in analysis such as data collection method, constant comparison, software use, coding ways, suggested model, proposition suggestion etc., while subject, theory/practice orientation, and role of prior knowledge are included in research contents. Findings Based on the review and analysis, this paper suggested four guidelines for adopting grounded theory methodology to information systems research in Korea: First, division of research methodology into stages. Second, explicit documentation of research process. Third, pursuit of diversity in research topics. Fourth, strengthening scale up and theoretical integration.