• Title/Summary/Keyword: 증명 구성 요소

Search Result 110, Processing Time 0.03 seconds

Design and Implementation of Game Robot based-on Network (네트워크 기반 게임 로봇의 설계 및 구현)

  • Choi, Chan-Yung;Im, Kyoung-Mi;Cho, Seok-Bong;Lim, Jae-Hyun
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.11 no.7
    • /
    • pp.2616-2622
    • /
    • 2010
  • This paper implements the algorithm for Janggi game robot based on network for the disabled people. The movement of target on janggi for them is designed using wireless robot and voice recognition. To remove obstacles, we implement the algorithm for moving object based on $A^{\ast}$ algorithm. We test the janggi game and certify effectiveness of moving object through the implementation of algorithm for them.

A Study on the Human Vulnerability Classification System for People-Centric Security (인간중심보안을 위한 인적취약점 분류체계에 관한 연구)

  • Jungjun Park;Seongjin Ahn
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.33 no.3
    • /
    • pp.561-575
    • /
    • 2023
  • The information security industry has seen a wide variety of growth over the past few decades. In particular, various solutions have been proposed in terms of technology, management, and institutional aspects. Nevertheless, it should be notedthat security accidents continue to occur every year. This proves that there are limitations to various business changes in the digital era as existing security is being promoted with technology-oriented and prevention-oriented policies. Thus, people-centric security (PCS) has recently become a hot topic in order to escape the limitations of traditional securityapproaches. Through the concept of information security violations, PCS strategic principles, and expert interviews, this studyaims to present a fundamental security incident response plan by classifying human-caused vulnerabilities into 5 categories and classifying them into 21 detailed components.

Performance Analysis of Object Detection Method for Railway Track Equipment Based on YOLO (YOLO 기반 선로 고정장치 객체 탐지 기법의 성능 분석)

  • Junhwi Park;Changjoon Park;Namjung Kim;Jeonghwan Gwak
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2023.07a
    • /
    • pp.69-71
    • /
    • 2023
  • 본 논문은 YOLO 기반 모델의 철도 시스템 내 선로 고정장치 탐지 성능을 비교하고 분석한다. 여기서 철도 시스템은 열차가 주행하기 위한 선로, 침목, 패스너 등의 구성요소를 포함한다. 침목은 지반과 직접적으로 연결되며, 선로를 지반 위에 안정적으로 지지하고 궤간을 정확하게 유지하는 역할을 한다. 또한, 패스너는 선로를 침목에 단단히 고정시키는 역할을 한다. 이러한 선로 고정장치의 부재는 인명 사고로 이어질 수 있어 지속적인 관리와 유지 보수가 필수적이다. 본 논문에서는 철도 시스템의 선로 고정장치 탐지를 위해 YOLO V5 및 V8 딥러닝 모델의 적용 가능성을 실험적으로 접근하며, 두 모델의 탐지 성능을 비교한다. 실험 결과, YOLO V8 및 V5 모델은 모두 뛰어난 성능을 보이는데, 특히 YOLO V8 모델이 더욱 우수한 성능을 보인다. 이로써 YOLO 알고리즘은 선로 고정장치 탐지에 적합하다는 것을 증명한다. 그러나 일부 False Positive Sample이 관측되었음을 확인하고, 이로부터 모델 성능의 개선이 필요하다는 결론을 도출하였다.

  • PDF

Estimation of Line Utilization Rate and Track Maintenance Time of Conventional Railway (일반철도의 선로이용율과 선로 유지보수시간 추정)

  • Ki, Hyungseo;Park, Dongjoo;Kim, Dongsoo;Kim, Haengbae
    • Journal of the Korean Society for Railway
    • /
    • v.15 no.6
    • /
    • pp.638-644
    • /
    • 2012
  • In this study, we numerically estimated available and unavailable time of conventional railway by examining 60% which is known as average range of track utilization efficiency. We also estimated track repair time for maintenance which is the main factor of making track utilization change and analyzed appropriate estimated time. The railway's safety should be guaranteed by appropriate railway operating plan and by adequate rail facilities maintenance. At the same time, daily railway train 'Dia's recovery power should be reflected to the management plan. Considering these factors, we examined mechanical equipment and the national rail network in order to rationally estimate track repair time of the maintenance and to secure spare time in case of train delays. It was found that track utilization efficiency was more or less 60%.

An Aging Measurement Scheme for Flash Memory Using LDPC Decoding Information

  • Kang, Taegeun;Yi, Hyunbean
    • Journal of the Korea Society of Computer and Information
    • /
    • v.25 no.1
    • /
    • pp.29-36
    • /
    • 2020
  • Wear-leveling techniques and Error Correction Codes (ECCs) are essential for the improvement of the reliability and durability of flash memories. Low-Density Parity-Check (LDPC) codes have higher error correction capabilities than conventional ECCs and have been applied to various flash memory-based storage devices. Conventional wear-leveling schemes using only the number of Program/Erase (P/E) cycles are not enough to reflect the actual aging differences of flash memory components. This paper introduces an actual aging measurement scheme for flash memory wear-leveling using LDPC decoding information. Our analysis, using error-rates obtained from an flash memory module, shows that LDPC decoding information can represent the aging degree of each block. We also show the effectiveness of the wear-leveling based on the proposed scheme through wear-leveling simulation experiments.

A Dynamic Inferential Framework for Learning Geometry Problem Solving (기하 문제 학습을 위한 동적 추론 체계)

  • Kook, Hyung-Joon
    • Journal of KIISE:Software and Applications
    • /
    • v.27 no.4
    • /
    • pp.412-421
    • /
    • 2000
  • In spite that the main contents of mathematical and scientific learning are understanding principles and their applications, most of existing educational softwares are based on rote learning, thus resulting in limited educational effects. In the artificial intelligence research, some progress has been made in developing automatic tutors based on proving and simulation, by adapting the techniques of knowledge representation, search and inference to the design of tutors. However, these tutors still fall short of being practical and the turor, even a prototype model, for learning problem solving is yet to come out. The geometry problem-solving tutor proposed by this research involves dynamic inference performed in parallel with learning. As an ontology for composing the problem space within a real-time setting, we have employed the notions of propositions, hypotheses and operators. Then we investigated the mechanism of interactive learning of problem solving in which the main target of inference involves the generation and the test of these components. Major accomplishment from this research is a practical model of a problem tutor embedded with a series of inference techniques for algebraic manipulation, which is indispensable in geometry problem solving but overlooked by previous research. The proposed model is expected to be applicable to the design of problem tutors in other scientific areas such as physics and electric circuitry.

  • PDF

Improved Biaxial Flexure Test (BFT) for Concrete with the Optimum Specimen Geometry (최적 시험체 형상을 고려한 개선된 콘크리트 등방휨인장강도 시험법)

  • Zi, Gooang-Seup;Kim, Ji-Hwan;Oh, Hong-Seob
    • Journal of the Korea Concrete Institute
    • /
    • v.21 no.4
    • /
    • pp.523-530
    • /
    • 2009
  • For designing concrete structures, engineers are provided data from unidirectional flexure test in most cases. But real structural components such as pavements and deck panel are subjected to multiaxial stress throughout their body. Therefore, biaxial flexure test for concrete may be considered as a gage of the performance of concrete in service. In this paper, we propose the optimum biaixial flexture test (BFT) to measure the biaxial flexural strength of concrete. This method are an improved version of the ring-on-ring test which have been used extensively in the fields of ceramics and biomaterials. The optimum geometry of the test specimen was determined by using a three-dimensional finite element analysis. A series of test data obtained from the proposed test method is provided to show that the proposed optimum biaxial flexure test method can be used to identify the biaxial tensile strength of concrete.

The Impact of Entrepreneurship of Franchisees on Their Business Performance : Mediation Effects of Market Orientation and Relationship Commitment (프랜차이즈 가맹점의 창업정신이 경영성과에 미치는 영향 : 본사의 시장지향성과 가맹점 관계몰입의 매개효과)

  • Yoon, Sung-Wook;Park, Sung-Il
    • Journal of Distribution Research
    • /
    • v.13 no.3
    • /
    • pp.101-125
    • /
    • 2008
  • This research suggests an ideal role between franchisee and franchisee for survival and development of the Korean franchise business by identifying causal relationships between entrepreneurship of franchisees and their business performance. Besides, when considering multi-dimensional features of a franchise system, this study aims to show that the market orientation of the franchisee and the relationship commitment between franchisee and franchisee will play an important mediating role to achieve a better business performance. Thus specific causal relationships among sub-dimensional constructs of entrepreneurship and market orientations were investigated. They are innovativeness, risk-taking propensity, pro-activeness, information creation, intelligence generation, intelligence dissemination, response design, response implementation. The results demonstrate that pro-activeness of franchisee plays a crucial role for franchisee's business performance. It was noted that franchisor's market orientation and innovativeness is also important for high market orientation of franchisor. The higher the market orientation of franchisor was, the higher relationship commitment of franchisee was formed. By identifying the mediation effect of relationship commitment and market orientation of franchisor, this paper showed that relationship commitment positively affect the improvement of franchisee's business performance. Above all, it should be noted that this research empirically identified the relationship between franchisee's entrepreneurship and business performance that most of the previous researchers have ignored. Furthermore, the analysis was conducted at sub-dimensional construct level. It is expected that empirical results from this study will be able to provide a meaningful framework and theoretical basis for future research on franchise, entrepreneurship and market orientation.

  • PDF

A Study on Collaborative Information Behavior for High School Students' Academic Performance: Focused on the Metropolitan Area (중고등학생의 학업 수행을 위한 협업정보행동 연구 - 수도권을 중심으로 -)

  • Kang, Ji-Hei
    • Journal of Korean Library and Information Science Society
    • /
    • v.50 no.4
    • /
    • pp.405-428
    • /
    • 2019
  • This study discerned interactions that secondary students experience during their studies and information behaviors that explains their interactions. In addition, when young people collaborate with their friends, this study identified their actions, such as collecting, using, sharing, and generating information, and the social and cultural factors that influence the behavior. The research questions consisted of 'Radical Change Theory' focusing on the information behavior of the digital age youth and the type of radical change in the digital age. As a result of the research, the status of collaborative information behavior of middle and high school students was reflected in our educational reality. Students, however, approached and utilized various information sources, diversified their opinion sharing tools, and discovered channels that were different from adults and used them in information activities. Though not as anticipated, they suggested that the experience of collaboration helped the individual's growth.

A Comparison Study of Curricular of Teacher Education for Elementary Teachers in South Korea and the United States: Focusing on Opportunities to Learn Teaching Mathematics (한미 초등 교사를 위한 교육과정 비교: 수학 교수의 학습 기회를 중심으로)

  • Kim, Yeon
    • Journal of Educational Research in Mathematics
    • /
    • v.24 no.4
    • /
    • pp.555-572
    • /
    • 2014
  • Teacher preparation programs are responsible for preparing teachers to be able to perform their work with professional knowledge and skills. What opportunities to learn such knowledge and skills the programs intentionally develop for prospective teachers can be discerned by looking at the curriculum of teacher education. The purpose of this study is to find implications for the curriculum in elementary teacher education in South Korea, especially as that pertains to opportunities to learn teaching mathematics. This paper compares the curricula of 21 teacher preparation programs for elementary teachers in South Korea and in the United States. It finds that the programs in both countries emphasize teacher preparation to teach subject matter and to help elementary students improve their academic knowledge. The overall structures of the curriculums outlined in the programs of both countries are relatively comparable. In terms of the opportunities to learn teaching mathematics, however, they are quite different in what authentic contents they offer. This paper discusses the need for more emphasis on mathematical knowledge for teaching.

  • PDF