• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2001년도 ICCAS
• /
• pp.49.3-49
• /
• 2001

In 1994 Adelman´s pioneer work demonstrated that deoxyribonucleic acid (DNA) could be used as a medium for computation to solve mathematical problems. He described the use of DNA based computational approach to solve the Hamiltonian Path Problem (HPP). Since then a number of combinatorial problems have been analyzed by DNA computation approaches including, for example: Maximum Independent Set (MIS), Maximal Clique and Satisfaction (SAT) Problems. In the present paper we propose a method of solving another classic combinatorial optimization problem - the eraph Coloring Problem (GCP), using specifically designed circular DNA plasmids as a computation tool. The task of the analysis is to color the graph so that no two nodes ...

• 컴퓨터교육학회논문지
• /
• 제12권3호
• /
• pp.23-30
• /
• 2009

프로그래밍 학습 효과에 관한 기존 연구는 대개 창의력과 문제해결력의 향상도를 측정하는 것에 국한되어 있다. 본 연구는 이들 두 요소 외의 관련 요소들을 초등학생들의 특기적성 검사를 통하여 찾아보는 연구이다. 이를 위하여 초등 4학년을 대상으로 LOGO 프로그래밍 교육을 시행한 후 성취도 평가를 실시한 결과, 4개 영역으로 구성된 특기적성 검사 항목들 중 지적능력만이 하위 5개의 세부항목 모두 프로그래밍 능력과 높은 양의 상관관계가 있음이 밝혀졌으므로, 창의성 보다는 지적능력이 뛰어난 학생들이 프로그래밍 능력이 우수함을 알 수 있었고, 이는 본 연구의 실험 환경에 국한하여 프로그래밍 학습이 문제해결력과 창의성 발달에 긍정적 영향을 미친다는 기존 연구 결과의 반대 명제는 성립하지 않음을 나타낸 것이다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2005년도 추계학술대회 논문집
• /
• pp.1-5
• /
• 2005

High-speed trains with maximum speed of 300km/h, named KTX, have started revenue services since April 2004. Is becoming big problem where currently the KTX train because excessive braking noise at a station platform. The KTX braking noise follows in operating mode of KTX train and important railroad station where the quality appears different, the quality against hereupon from the commerce vehicle from the research which it sees it executes and comparison to analyze.

• 한국전자파학회논문지
• /
• 제11권7호
• /
• pp.1247-1257
• /
• 2000

옵셋 안테나 (offset-fed dish antenna)를 분석한다. DBS 수신안테나로서 널리 사용되는 옵셋 안테나는 비대칭, 개방형 구조 때문에 해석이 어렵다. 본 논문에서는 푸리에 변환 방법과 Physical Optics를 이용하여 옵셋 반사판과 피드 혼 개구면으로부터의 방사 전계에 대한 정확한 성공적으로 유도하였다. 또한 반사판의 지경, 촛점거리, 단면 등 모든 다양한 구조적 환경에서 해석할 수 있도록 여러 구조 인자를 가진 해를 도출하였다. 이를 이용하여 한 개의 반사판에 어려 개의 혼을 배치시킨 다중 빔 안테나를 분석하고, 특히 동경 116$^{\circ}$의 무궁화위성 (중계기출력 59dBW)과 동경 139$^{\circ}$로 계획되어 있는 Orion 위성 (중계기출력 54dBW)로부터 동시에 수신할 수 있는 안테나를 고찰한다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제14권11호
• /
• pp.4502-4521
• /
• 2020

At EUROCRYPT 2015, Todo proposed a new technique named division property, and it is a powerful technique to find integral distinguishers. The original division property is also named word-based division property. Later, Todo and Morii once again proposed a new technique named the bit-based division property at FSE 2016 and find more rounds integral distinguisher for SIMON-32. There are two basic approaches currently being adopted in researches under the bit-based division property. One is conventional bit-based division property (CBDP), the other is bit-based division property using three-subset (BDPT). Particularly, BDPT is more powerful than CBDP. In this paper, we use Boolean Satisfiability Problem (SAT)-aided cryptanalysis to search integral distinguishers. We conduct experiments on SIMON-32/-48/-64/-96, SIMON (102)-32/-48/-64, SIMECK-32/-48/-64, LBlock, GIFT and Khudra to prove the efficiency of our method. For SIMON (102)-32/-48/-64, we can determine some bits are odd, while these bits can only be determined as constant in the previous result. For GIFT, more balanced (zero-sum) bits can be found. For LBlock, we can find some other new integral distinguishers. For Khudra, we obtain two 9-round integral distinguishers. For other ciphers, we can find the same integral distinguishers as before.

• 한국작물학회지
• /
• 제52권1호
• /
• pp.81-88
• /
• 2007

본 연구는 농진청 종자은행에 보존된 한국, 중국 및 일본 재래종 콩과 한국 야생콩의 SSR profile 작성과 그들의 유전적 구조 해석을 위해 9개의 SSR 마커에 의해 분석되었다. 1. DNA profiling은 유전자좌별로 2,855(Satt458)점$\sim$4,368(Satt197)점이 분석되어 35,655건이 데이터베이스화되었다. 2. 총 대립인자수는 267개였고 유전자좌당 평균 29.6개의 높은 다형성을 나타냈다. 유전자좌별 대립인자 수는 21개(Satt532 및 Satt141)부터 58개(Sat_074)까지 나타났다. 자원내력별 대립인자수는 한국 야생콩에서 196개로 가장 많은 것으로 나타난 반면, 일본 재래종 콩에서는 가장 적은 115개로 나타났다. 3. 집단에 따른 유전자좌별 대립인자의 범위로 한국 재래종 콩이 가장 많은 5개의 유전자좌(Sat_074, Satt141, Satt286, Satt545, Satt458)에서 다음으로는 한국 야생콩이 4개의 유전자좌(Satt187, Satt532, Satt245, Satt197)에서 가장 넓은 것으로 나타났다. 그러나 대립 인자수면에서는 한국 재래종 콩이 5개의 유전자좌(Sat_074, Satt141, Satt197, Satt545, Satt458)에서 가장 많은 대립인자수를 나타냈고, 한국 야생콩은 나머지 4개의 유전자좌(Satt187, Satt532, Satt245, Satt286)에서 가장 많은 대립인자수를 나타냈다. 4. 대립인자 분포에 있어 전체적으로 한국 야생콩 집단은 재래종 집단들에 비해 고른 분포를 나타냈고 대립인자의 크기가 큰쪽(high ladder)에서보다 작은쪽(low ladder)에서 높은 분포를 나타냈다. 5. 재래종 집단들 간에 대립인자 분포를 살펴보면, 한국 집단은 Satt286(202 bp, 232 bp)에서, 중국집단은 Satt197(171 bp)와 Satt458(173 bp)에서 그리고 일본집단은 Sat_074(244 bp)와 Satt458(170 bp)에서 매우 높은 것으로 나타났다.

• 한국항공우주학회지
• /
• 제49권12호
• /
• pp.1027-1035
• /
• 2021

본 논문에서는 한반도 주변의 미세먼지 관측 임무를 위한 3U 큐브위성인 MIMAN 설계안을 제시하였다. MIMAN의 주요 임무 목표는 높은 공간 해상도로 한반도 주변의 미세먼지를 관측하는 것이다. 이를 통해 천리안위성 2B호 데이터에서 구름을 제거할 수 있는 보조 자료를 제공하는 것이 최종 목표이다. 본 연구에서는 임무를 정의하고 임무 요구조건 및 제한 조건을 도출하였다. 운용 개념을 정의하였으며, 안정적인 운용을 위해 통신 안정성을 고려하였다. 위성에 문제가 생겼을 경우, 이를 지상에서 해결할 수 있도록 모든 운용 모드에서 UHF 통신이 가능하도록 설계하였다. 임무와 운용 개념 설계 결과를 바탕으로 시스템 설계안을 도출하였다. 시스템 요구조건을 만족시킬 수 있는 시스템 설계안 및 인터페이스를 제시하였다. 시스템 인터페이스의 경우 각 하드웨어의 데이터 특성을 고려하여 설계하였다. 시스템 버짓 분석을 수행하였으며, 이를 통해 시스템 안정성을 확인하였다.

• KDI Journal of Economic Policy
• /
• 제32권2호
• /
• pp.55-92
• /
• 2010

본 연구에서는 대졸자 직업이동 경로조사(GOMS) 자료를 이용하여 출신대학 소재지가 노동시장 성과에 미치는 영향을 분석하였다. 다른 조건이 유사할 때 비서울지역 대학교 졸업자는 서울 소재 대학교 졸업자에 비해 약 16% 정도 낮은 임금을 받는 것으로 추정되었다. 또한 비서울지역 대졸자는 소규모 업체나 전공과 맞지 않는 직장에 다닐 확률이 상대적으로 높은 것으로 나타났다. 그러나 서울 소재 대학 졸업자와 비서울지역 대학 졸업자 간 임금격차의 3분의 2 가량이 입학 당시의 학과 평균 수능점수의 차이로 설명될 수 있는 것으로 나타났다. 또한 사업체 규모나 직무와 전공의 일치도의 차이 역시 수능점수 격차에 의해 상당 부분 설명될 수 있다는 것이 밝혀졌다. 이처럼 노동시장 성과 차이에 대한 상당한 설명력을 갖고 있는 수능점수는 출생지, 14세 성장지, 고교 소재지가 어느 지역인가에 따라 뚜렷한 격차를 나타냈다. 따라서 지역간 학력격차 중 교육환경의 지역 간 차이에서 비롯되는 부분이 있다면 이를 보완할 필요가 있을 것이다.

• 한국학교수학회논문집
• /
• 제1권1호
• /
• pp.59-67
• /
• 1998

Probability and statistics is an important section in mathematics which is deeply related to everyday living, natural science and social science. In spite of its importance, many students will throw away it because it becomes very harder as its step(stage) deepens and probability and statistics' relative importance is very small in Korea-SAT(the test of college entrance in Korea). Therefore, by analyzing the involvement carefully between the curriculum in the elementary, middle, high school and the text book, by studying the problem and improvement direction, it is necessary to investigate an effective teaching method. This study intends to give the students the confidence, interests, and accomplishment motive about probability and statistics field and to make a rational and creative decision-making through mathematical speculation by proposing an effective teaching method through analyzing an existing facts in school's probability and statistics field. The contents of this study are composed of four chapters. Chapter three looks into the mathematical curriculum in the elementary, middle, high school and its teaching meaning, the outline of contents, some tips on teaching and problems and presents an effective and concrete teaching method on the basis of the theoretical background in the chapter two. Chapter four is a conclusive part and gives the general improvement and intentional direction in educating the probability and statistics.

• Safety and Health at Work
• /
• 제8권2호
• /
• pp.212-219
• /
• 2017

Background: Low back pain (LBP) is a major problem for office workers. Individuals adopting poor postures during prolonged sitting have a considerably increased risk of experiencing LBP. This study aimed to investigate seat pressure distribution characteristics, i.e., average pressure, peak pressure ratio, frequency of postural shift, and body perceived discomfort (BPD), during 1 hour of sitting among office workers with and without chronic LBP. Methods: Forty-six participants (chronic LBP = 23, control = 23) typed a standardized text passage at a computer work station for an hour. A seat pressure mat device was used to collect the seat pressure distribution data. Body discomfort was assessed using the Body Perceived Discomfort scale. Results: Office workers with chronic LBP sat significantly more asymmetrically than their healthy counterparts. During 1-hour sitting, all workers appeared to assume slumped sitting postures after 20 minutes of sitting. Healthy workers had significantly more frequent postural shifts than chronic LBP workers during prolonged sitting. Conclusion: Different sitting characteristics between healthy and chronic LBP participants during 1 hour of sitting were found, including symmetry of sitting posture and frequency of postural shift. Further research should examine the roles of these sitting characteristics on the development of LBP.