http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : Gyo-Sik (검색결과 233 건)
- 무료
- 기관 내 무료
- 유료
-
-
-
홍교영,신성식 한국항행학회 2003 韓國航行學會論文誌 Vol.7 No.2
최근에는 비행 데이터를 이용하여 사고발생시, 원인 분석에 이용하는 것뿐만 아니라 여러 종류의 다양한 비행 데이터를 기록할 수 있는 QAR을 이용하여 운항 상황이나 항공기 시스템 상태를 다양하고 폭넓게 예견하여 사전 사고 방지 및 운항 성능 개선에 활용하고 있다. 이에, 본 논문에서는 실제 운항 후 QAR 에 기록된 비행 데이터를 이용하여 운항 상황에서 발생된 순시적으로 변화하는 양항비를 추정하였다. 실제 B747-400의 비행 데이터가 기록된 QAR 데이터를 일반적인 항공기 운동방정식에 적용하여 양항비 추정 식을 유도하고 시뮬레이션을 통하여 결과를 검증하였다. 이를 통하여 양항비의 변화를 파알할 수 있으며, 과학적이고 경제적인 조종방법등 체계적인 운항 성능 향상에 유용할 것으로 판단되었다. During flight the analysis of aircraft data recorded has played an important role in determining the causes of accidents. However, using the QAR, recently some airlines have begun to analyze flight data from uneventful airline have begun to analyze flight data from uneventful airling flights to identify potential problems and correct them before they lead to accident. This paper, after the flight using the recorded data in QAR, proposes an estimated method which determines CL/CD values. The generalized aircraft dynamic equations were expressed as an estimated equation, which verified the effectiveness with simulation. The results of the present method showed that the understand of variation values of CL/CD is of great use for performance enhancement.
-
-
-
A Boolean Equivalence Testing Algorithm based on a Derivational Method
Gyo-Sik Moon 한국정보과학회 1997 Journal of Electrical Engineering and Information Vol.2 No.5
The main purpose of the Boolean equivalence problem is to verify that two Boolean expressions have the same functionality. Simulation has been extensively used as the standard method for the equivalence problem. Obviously, the number of tests required to perform a satisfactory coverage grows exponentially with the number of input variables. However, formal methods as opposed to simulation are getting more attention from the community. We propose a new algorithm called the Cover-Merge Algorithm based on a derivational method using the concept of cover and merge for the equivalence problem and investigate its theoretical aspects. Because of the difficulty of the problem, we emphasize simplification techniques in order to reduce the search space or problem size. Heuristics based on types of merges are developed to speed up the derivation process by allowing simplifications. In comparison with widely used technique called Binary Decision Diagram or BDD, the algorithm proposed outperforms BDD in nearly all cases of input including standard benchmark problems.
-
Computational Thinking의 초등교육 활용 방향
문교식(Gyo Sik Moon) 한국콘텐츠학회 2013 한국콘텐츠학회논문지 Vol.13 No.6
다양한 전문영역에서 계산사고의 개념이 확산되고 있는 추세이다. 이에 따라 이제 컴퓨터 교육 분야에서도 정규교육에서 계산사고를 교육해야 할 필요성이 대두되고 있다. 본 논문에서는 Computational Thinking이라는 용어의 번역에 대한 논의와 계산사고의 특성과 필요성 및 중요성을 알아보고, 계산사고의 학습 유형으로 컴퓨팅 도구를 사용하는 학습과 사용하지 않는 학습에 대해 살펴본다. 초등교육에서의 계산 사고 활용 방향을 탐구할 목적으로 계산사고의 학습목표를 논의하고, 계산사고의 학습내용을 제시한다. 초등교육에서 계산사고의 활용에 대한 방향을 모색하기 위하여 초등교사 33명을 대상으로 계산사고의 활용에 대한 의견을 조사하였다. 조사 결과에서 거의 모든 응답자들이 정규교육에서 계산사고 교육의 필요성에 동의하였고 다른 흥미 있는 결과도 논문에 제시하였다. The notion of computational thinking is currently gaining much attention from a variety of disciplines. Accordingly, computer education community needs to address this issue for formal education. In the paper, the translation issue on the terminology - ‘computational thinking’ - is discussed. As a brief introduction to computational thinking the characteristics and necessities as well as its importance are presented. The types of learning computational thinking are presented, which are learning with computing tools on one hand and without them on the other hand. Furthermore, learning objectives of computational thinking as well as the contents are also investigated for the application of computational thinking in elementary education. A survey was conducted for thirty three elementary school teachers on behalf of investigating directions of teaching computational thinking in elementary education. It shows that almost all respondents agree to teaching computational thinking in formal education and it also shows other interesting results as stated in the paper.
-
-
문교식(Gyo Sik Moon) 한국정보과학회 2001 정보과학회논문지 : 소프트웨어 및 응용 Vol.28 No.9
항진을 반증하는 문제는 항진을 검증하는 문제와 같은 난이도를 갖기 때문에 반증(또는 부당성 검증)을 위한 다항식 시간 알고리즘은 가능하지 않다. 이제까지의 그러한 알고리즘들은 분할 및 정복이나 그래프 표현에 기반 한 것이 대부분이다. 대부분의 알고리즘들은 어떤 제약조건 하에서 다양한 입력에 대한 만족할 만한 결과를 보여 주었다. 그러나, 규모가 큰 입력에 대하여 이들 알고리즘들은 어려움을 경험하고 있다. 이 논문에서는 DNF(선언표준형)로 표현된 입력식을 만족하지 못하는 최소항을 구성함으로써 반례를 산출하는 병합 규칙 기반의 새로운 반증 알고리즘을 제안한다. 또한, 제안된 알고리즘의 일관성과 건전성을 증명한다. 제안된 알고리즘은 반증 과정의 각 단계에서 이루어진 할당을 통하여 반증된 항의수를 최대화하도록 greedy 방법을 기반으로 하고 있다. 실험 결과는 큰 입력의 무작위 비항진 문제 사례들을 반증하는 실용적 성능을 보여 주며 O ( nm² ) 시간을 소비한다. 여기서 n은 변수의 개수이고 m은 항의 개수이다. Since the problem of disproving a tautology is as hard as the problem of proving it, no polynomial time algorithm for falsification(or testing invalidity) is feasible. Previous algorithms are mostly based on either divide-and-conquer or graph representation. Most of them demonstrated satisfactory results on a variety of input under certain constraints. However, they have experienced difficulties dealing with big input. We propose a new falsification algorithm using a Merge Rule to produce a counterexample by constructing a minterm which is not satisfied by an input expression in DNF(Disjunctive Normal Form). We also show that the algorithm is consistent and sound. The algorithm is based on a greedy method which would seek to maximize the number of terms falsified by the assignment made at each step of the falsification process. Empirical results show practical performances on big input to falsify randomized nontautological problem instances, consuming O ( nm² ) time, where n is the number of variables and m is the number of terms.
-
A Boolean Equivalence Testing Algorithm based on a Derivational Method
Moon, Gyo-Sik The Korean Institute of Electrical Engineers 1997 Journal of Electrical Engineering and Information Vol.2 No.5
The main purpose of the Boolean equivalence problem is to verify that two Boolean expressions have the same functionality. Simulation has been extensively used as the standard method for the equivalence problem. Obviously, the number of tests required to perform a satisfactory coverage grows exponentially with the number of input variables. However, formal methods as opposed to simulation are getting more attention from the community. We propose a new algorithm called the Cover-Merge Algorithm based on a derivational method using the concept of cover and merge for the equivalence problem and investigate its theoretical aspects. Because of the difficulty of the problem, we emphasize simplification techniques in order to reduce the search space or problem size. Heuristics based on types of merges are developed to speed up the derivation process by allowing simplifications. In comparison with widely used technique called Binary Decision Diagram or BDD, the algorithm proposed outperforms BDD in nearly all cases of input including standard benchmark problems.
KISS연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
