• Journal of Korean Society of Transportation
• /
• v.27 no.4
• /
• pp.91-100
• /
• 2009

The purpose of this study is to introduce the Levying Garage Option on Car Buyers which has become operative firstly in Korea, and to suggest the way to activate the system, hearing the view of Jeju residents with positive and negative function of parking. Levying Garage Option on Car Buyer is the system to apply a law for establishing garages to all of vehicles. Especially this is proposed to correct the disorder of Local street night parking, to improve the fine view of street, and to recover the original function of street to residents. To make this system successful there should be separate solutions at the densely built up area as a result of survey. This study conduct the Logistic Regression Analysis for and against the system. If the more residents approve the system, we should concern about the several solutions such as easing the distance between the garage and street, regulating, and special plan for an apartment house, etc. The suggestions are as follows. First, the policy needs to ease the distance between the garage and street gradually. Second, the Jeju government need to offer the residents the incentive such as reduce or exempt the tax and make them establish the private parking lot with supplying the low interest loan. Third, there should be connected with the project to break up the fences of their houses.

• 정보화사회
• /
• s.5
• /
• pp.22-35
• /
• 1988

데이터통신의 이용이 전 산업부문에 걸쳐 보편화되고 있는 추세이다. 데이터통신 서비스는 앞으로 기업뿐만 아니라 일반 공중에로 확산될 전망이다. 이와 같은 서비스 영역의 확산과 양적 팽창에 대비해서 데이터통신의 현재의 위상을 정립함은 물론 문제점을 정확히 도출하고 이를 개선할 방향을 제시하는 일이 필연적이다. 데이터통신 서비스 이용자 실태에 관한 설문조사를 통해 이같은 명제를 재조명해 본다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.881-883
• /
• 2003

하드웨어 검증과 모델 체킹 등의 분야에서, SAT(satisfiability problem)나 항진 명제 검사(tautology checking)는 매우 중요한 문제이다. 그러나 이들은 모두 NP-complete 문제이므로 그 복잡도가 매우 크다. 이를 해결하기 위해 여러 가지 연구가 이루어져 왔으며, 여러 효율적인 알고리즘이 존재한다. 이러한 알고리즘은 대부분 일반 표현식을 CNF(conjunctive normal form)로 바꾸어 입력 형식으로 사용한다. 이 논문에서는 일반 표현식을 입력으로 받아 DNF로 변환한 뒤 DNF의 특성을 이용하여 SAT를 검사하는 효율적인 방법을 제시한다.

• Journal of Educational Research in Mathematics
• /
• v.13 no.2
• /
• pp.159-178
• /
• 2003

This study analyzes on the reasoning in the process of justification and mathematical problem solving in our primary mathematics textbooks. In our analyses, we found that the inductive reasoning based on the paradima-tic example whose justification is founnded en a local deductive reasoning is the most important characteristics in our textbooks. We also found that some propositions on the properties of various quadrangles impose a deductive reasoning on primary students, which is very difficult to them. The inductive reasoning based on enumeration is used in a few cases, and analogies based on the similarity between the mathematical structures and the concrete materials are frequntly found. The exposition based en a paradigmatic example, which is the most important characteristics, have a problematic aspect that the level of reasoning is relatively low In Miyazaki's or Semadeni's respects. And some propositions on quadrangles is very difficult in Piagetian respects. As a result of our study, we propose that the level of reasoning in primary mathematics is leveled up by degrees, and the increasing levels are following: empirical justification on a paradigmatic example, construction of conjecture based on the example, examination on the various examples of the conjecture's validity, construction of schema on the generality, basic experiences for the relation of implication.

• Defense and Technology
• /
• no.4 s.290
• /
• pp.54-63
• /
• 2003

현재의 우리 방위산업은 많은 어려움을 겪고 있으며, 그 현상은 다양하게 표출되고 있다. 일거리 부족으로 2000년 방산업체 가동률은 48.5%로 1998년에 비해 4.3%나 감소하였으며, 일반업체의 평균 가동률인 76.2%에 크게 못 미치고 있다. 경영실적도 경상이익은 -785억원, 당기 순이익은 -964억원을 기록하는 등 적자를 면치 못하고 있으며, 이러한 경영난으로 법정관리중인 방산업체도 다수 발생하고 있는 실정이다. 본 논문에서는 우리 방위산업이 당면한 어려움을 인식하고, "방위산업의 뒷받침 없이는 국가안보와 이익을 보장할 수 없고, 아무리 뛰어난 군사목표와 전략도 무용지물"이라는 명제하에 튼튼한 방위산업을 육성하기 위하여 "방위산업 경영합리화 방안"을 제시하여 보았다.

• Journal of Korea Multimedia Society
• /
• v.7 no.4
• /
• pp.559-566
• /
• 2004

In general, the certainty factors of the fuzzy production rules and the certainty factors of fuzzy propositions appearing in the rules are represented by real values between zero and one. If it can allow the certainty factors of the fuzzy production rules and the certainty factors of fuzzy propositions to be represented by interval -valued fuzzy sets, then it can allow the reasoning of rule-based systems to perform fuzzy reasoning in more flexible manner. This paper presents fuzzy Petri nets and proposes an interval-valued fuzzy backward reasoning algorithm for rule-based systems based on fuzzy Petri nets Fuzzy Petri nets model the fuzzy production rules in the knowledge base of a rule-based system, where the certainty factors of the fuzzy propositions appearing in the fuzzy production rules and the certainty factors of the rules are represented by interval-valued fuzzy sets. The algorithm we proposed generates the backward reasoning path from the goal node to the initial nodes and then evaluates the certainty factor of the goal node. The proposed interval-valued fuzzy backward reasoning algorithm can allow the rule-based systems to perform fuzzy backward reasoning in a more flexible and human-like manner.

• Journal of KIISE:Software and Applications
• /
• v.31 no.5
• /
• pp.625-631
• /
• 2004

In general, the certainty factors of the fuzzy production rules and the certainty factors of fuzzy Propositions appearing in the rules are represented by real values between zero and one. If it can allow the certainty factors of the fuzzy production rules and the certainty factors of fuzzy propositions to be represented by interval-valued fuzzy sets, then it can allow the reasoning of rule-based systems to perform fuzzy reasoning in more flexible manner(15). This paper presents a fuzzy Petri nets and proposes an interval-valued fuzzy reasoning algorithm for rule-based systems based on fuzzy Petri nets. Fuzzy Petri nets model the fuzzy production rules in the knowledge base of a rule-based system, where the certainty factors of the fuzzy Propositions appearing in the furry production rules and the certainty factors of the rules are represented by interval-valued fuzzy sets. The proposed interval-valued fuzzy set reasoning algorithm can allow the rule-based systems to perform fuzzy reasoning in a more flexible manner.

• Journal of Educational Research in Mathematics
• /
• v.14 no.4
• /
• pp.435-447
• /
• 2004

There are divergent opinions about condition of triangle-determining. The purpose of this study was to compare those opinions and to identify cause of this phenomena. As a result of our study, we got to find out significant characteristics of proposition related to condition of triangle-determining. These aspects shows what cause of that phenomena is. First, that proposition is used as a theortical tool, not as a practical one. Second, that proposition presupposes that a triangle exists. Third, that proposition is connected with minimality and generality. However, our analysis is for teacher, not for student. Thus, we suggest a guiding principle as well as a guiding method in relation to teaching of that proposition.

• Korean Journal of Logic
• /
• v.17 no.1
• /
• pp.1-32
• /
• 2014

Both 5.52 and 5.521 of the Tractatus Logico-Philosophicus raise several questions. In this paper I will explicate Wittgenstein's concept of generality by answering such questions. These questions and problems are closely intertwined. I will try to show what follows. It is ${\xi}$-conditions that are most decisive on the concept of generality of the Tractatus. Except Ramsey, commentators such as Anscombe, Glock, Kenny etc. failed in accurately grasping the Wittgenstein's thoughts concerning ${\xi}$-condition and their claims are not fair at all. Futhermore, from a view point of history of logic, 5.52 has very important significances. That is to say, it anticipates for the first time a possibility of infinitary logic and the concept of universe of discourse in model theory.

• Journal of Educational Research in Mathematics
• /
• v.24 no.3
• /
• pp.359-374
• /
• 2014

Students' difficulties and errors in relation to mathematical proofs are worth while to say one of the dilemmas in mathematics education. The potential elements of their difficulty are scattered over the process of proving in geometry as well as algebra. This study aims to investigate whether middle school students understand the context of algebraic proof including literal expressions. We applied 24 third-grade middle school students a test item which shows a proof including a literal expression and missing the conclusion. Over the half of them responded wrong answers based on only the literal expression without considering its context. Three of them were interviewed individually to show their thinking. As a result, we could find some characteristics of their thinking including the perspective on proof as checking the validity of algebraic expression and the gap between proving and understanding of proof etc. From these, we also discussed about several didactical implications.