• 한국농공학회지
• /
• 제38권3호
• /
• pp.70-81
• /
• 1996

Solutions of geotechnical engineering problems require predictions of deformation and stresses during various stages of loading. Powerful numerical methods are available to make such predictions even for complicated problems. To get accurate results, realistic stress-strain relationships of soils are dependent on a number of factors such as soil type, density, stress level and stress path. Attempts are continuously being made to develope analytical models for soils incorporating all such factors. Isotropic compression-expansion test and a series of drained conventional triaxial tests with several stress path for Baekma river sand were performed to investigate stress-strain and volume change characteristics of Lade's single work hardening model dependant on the stress path. In order to predicted of stress-strain and volumetric strain behavior were determined the values of parameters for the mode by the computer program based on the regression analysis. Predicted stress-strain behavior of triaxial compression tests and optional stress path tests for increasing confining pressure with parameters obtained conventional triaxial compression tests agreed with several test results but the prediction results for decreasing confining pressure reduced triaxial compression tests make a little difference with test results.

• 정보처리학회논문지D
• /
• 제14D권2호
• /
• pp.191-202
• /
• 2007

일반적으로 테스트 데이터 생성 방법들은 테스트 데이터를 자동으로 생성하기 위해서 완전한 프로그램 경로를 기술한 것을 요구한다. 이 논문에서는 프로그램 경로를 완전하게 명시하지 않아도 테스트 데이터를 자동으로 생성하는 새로운 방법을 제안한다. 이를 위해 이 논문에서는 테스트 대상 프로그램을 1차 관계 논리 언어인 Alloy로 변환하고 Alloy 분석기를 통하여 테스트 데이터를 생성하는 방법을 제안한다. 제안된 방법은 사용자로 하여금 프로그램 경로를 선택하도록 하는 부담을 덜어줄 뿐만 아니라 다양한 테스트 적합성 기준에 따라 테스트 데이터를 생성하는 일을 용이하게 한다. 간단하지만 설명에 도움이 될 수 있는 예들을 통하여 제안한 방법에 대해 설명한다.

• 대한전자공학회논문지
• /
• 제14권6호
• /
• pp.10-15
• /
• 1977

This paper proposes a simple and systematic method for the generation of the fault detection test sets for the combinational logic networks. Based on tile path sensitizing concept, the test patterns for the primary input gates of the network are defined, and then it is shown that, arranging these predefined test patterns according to the path sensitizing characteristics of the given network sturctures, the minimal complete test sets for the fan-out free combinational networks can be found easily. It is also shown that, taking into account the fan-out paths sensitizing compatibility, the proposed method can be extended to the irredundant reconvergent fan-out networks.

• ETRI Journal
• /
• 제23권3호
• /
• pp.138-149
• /
• 2001

Due to the rapidly growing complexity of VLSI circuits, test methodologies based on delay testing become popular. However, most approaches cannot handle custom logic blocks which are described by logic functions rather than by circuit primitive elements. To overcome this problem, a new path delay test generation algorithm is developed for custom designs. The results using benchmark circuits and real designs prove the efficiency of the new algorithm. The new test generation algorithm can be applied to designs employing intellectual property (IP) circuits whose implementation details are either unknown or unavailable.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2001년도 봄 학술발표회 논문집
• /
• pp.161-166
• /
• 2001

Overconsolidated clays have a different stress history according to the deposit environment. The stress history is classified into (i) rotation angle of stress path, (ii) overconsolidation ratio, and (iii) magnitude of length of recent stress path. Stress-strain behaviour of overconsolidated clays strongly depends on these stress history. In this study a series of drained stress path tests were carried out. Test results indicated that stress-strain behaviour of overconsolidated clay(focused on strain rate) depends on OCR and length of recent stress path, especially rotation angle.

• 대한기계학회논문집
• /
• 제18권10호
• /
• pp.2606-2615
• /
• 1994

Sorting time is one of the most important issues for auto IC test handling systems. In actual system, because of too much path, reducing the computing time for finding a sorting path is the key way to enhancing the system performance. The exhaustive path search technique can not be used for real systems. This paper proposes heuristic sorting algorithm to find the minimal sorting time. The suggested algorithm is basically based on the best-first search technique and multi-level search technique. The results are close to the optimal solutions and computing time is greately reduced also. Therefore the proposed algorthm can be effectively used for real-time sorting process in auto IC test handling systems.

• 전기전자학회논문지
• /
• 제27권1호
• /
• pp.1-11
• /
• 2023

자율주행 자동차 또는 자율주행 로봇의 개발을 위해서는 경로 주행 시험이 필요하다. 이러한 시험은 실제 환경뿐만 아니라 시뮬레이션 환경에서도 수행되고 있다. 특히 강화학습과 딥러닝을 이용한 개발을 위해서 다양한 환경의 데이터가 필요한 경우에 시뮬레이터를 통한 개발도 이루어지고 있다. 이를 위해서는 수작업으로 설계된 경로뿐만 아니라 무작위로 자동으로 설계된 다양한 경로의 활용이 필요하다. 이러한 시험장 설계는 실제 건설, 제작에도 활용할 수 있다. 본 논문에서는 원호와 선분의 조합으로 이루어진 주행 시험 경로를 무작위로 생성하는 방법을 소개한다. 이는 원호와 선분의 거리를 구하여 충돌 여부를 판별하는 방법과 경로를 계속해서 이어 나가는 것이 불가능할 경우 경로 일부를 삭제하고 적절한 경로를 다시 만들어 나가는 알고리듬으로 이루어진다.

• 인터넷정보학회논문지
• /
• 제9권2호
• /
• pp.89-105
• /
• 2008

지금까지 테스트 데이터를 자동으로 생성하기 위한 대부분의 연구는 프로그램에 포인터가 존재하지 않는 경우만을 대상으로 하였다. 최근에 포인터가 있는 경우에도 테스트 데이터를 자동으로 생성할 수 있는 방법들이 제안되었지만 테스트할 프로그램 경로를 완전하게 명시해야 하는 경로 기반 방법이거나 프로그램을 실제 실행해야 하는 방법들이다. 이 논문에서는 프로그램 경로를 완전하게 명시하지 않아도 포인터가 있는 프로그램에 대하여 테스트 데이터를 생성할 수 있는 새로운 방법을 제안한다. 제안된 방법은 테스트 데이터 생성 문제를SAT(SATisfiability) 문제로 변환하고 SAT 해결도구를 이용하여 자동으로 테스트 데이터를 생성하는 정적 방법이다. 이를 위해 프로그램을 1차 관계 논리 언어인 Alloy로 변환하고 Alloy 분석기를 통하여 테스트 데이터를 생성한다.

• 대한교통학회지
• /
• 제22권4호
• /
• pp.85-96
• /
• 2004

합리적 통행경로는 "경로를 노드 또는 링크의 순서로 표현할 때, 경로를 구성하는 노드의 반복은 존재해도 링크의 반복은 존재하지 않는다"는 원리에 근거한다. 최적경로 탐색과정에서 합리적 통행현상을 포함하는 방법은 링크로 구성된 표지(Link-Based Label)를 적용하는 방안이 적용하기 용이하다. 링크표지를 활용하는 경우 링크의 중복 표현을 허용되지 않는 상황에서 노드의 중복표현이 가능하여 합리적인 통행을 원칙적으로 보장될 뿐만 아니라 목적지에서 출발지로 경로를 역 추적(Backward Trace)하는 과정에서 전 링크(Pvevious Link)의 단일정보만 이용하므로 Bellman의 최적원리(Optimality Condition)에 의한 최적해(Optimal Solution)가 보장된다. 본 연구는 다수의 경로를 선정함에 있어 합리적 통행행태를 고려하기 위한 링크표지고정방식(Link-Based Label Setting)을 제안한다. 기존에 표지고정(Label Setting)을 기반으로 제안되었던 노드기반 다수경로알고리즘을 기반으로 링크표지로 전환하는 방안을 개발한다. 또한 알고리즘의 대규모 교통망에 적용한 수행결과를 통해 대안경로정보제공을 위한 현실적용의 문제점을 도출하고, 도로의 연속주행을 보장하려는 운전자의 경로선택행태를 반영하는 방안에 대해 검토한다.

• 한국지반신소재학회논문집
• /
• 제11권2호
• /
• pp.1-9
• /
• 2012

본 연구는 이 구성모델의 실용화를 위한 검토로 응력경로에 따라 어떤 특성이 있는가를 밝히기 위하여 백마강 모래를 이용하여 등방압축팽창시험과 응력경로를 달리한 일련의 배수삼축시험(CTC, Conventional triaxial compression test), TC(Triaxial compression test), RTC(Reduced triaxial compression test), OSP(Optional stress path))을 각각 수행하여 각각의 토질매개변수를 결정한다. 그리고 각각의 응력경로에 대한 시험으로부터 결정된 토질매개변수 11개를 이용하여 토질매개변수를 결정시 이용된 시험 결과를 역해석한다. 그리고 항복함수에 관련된 토질매개변수 h와 ${\alpha}$를 파괴기준에 관련된 토질매개변수 ${\eta}_1$의 상관식과 상수로 결정한 9개의 토질매개변수를 이용하여 응력경로가 다른 경우의 응력-변형률 거동에 대한 예측의 정도를 밝히기 위하여 CTC시험, TC시험, RTC시험, OSP시험 및 Fine Silica Sand시험의 결과를 각각 해석하여 단일항복면 구성모델의 실용성을 검토한다.