-
公开(公告)号：KR100868637B1
公开(公告)日：2008-11-12
申请号：KR1020070018348
申请日：2007-02-23
Applicant: 재단법인서울대학교산학협력재단
Abstract: 본 발명은 컴퓨터 비젼 시스템을 이용하여 시간에 따른 물체의 위치 데이터를 수집하는 것에 관한 것으로, 마커를 관찰 대상 물체에 부착하고 이미지 획득 모듈로 상기 관찰 대상 물체의 이미지를 획득하여 물체의 위치 데이터를 수집하는 영상 처리 방법에 있어서, 마커가 이미지상에 나타나는 영역을 알기 위해 필요한 행렬 H
1 , H
2 를 구하는 제 1 행렬 연산 과정; 상기 행렬 H
1 , H
2 와 마커의 높이를 이용해서 마커가 이미지상에 나타나는 영역을 구하는 마커 존재 영역 연산 과정; 실제 공간의 위치 좌표를 계산하기 위해 필요한 행렬 H를 구하는 제 2 행렬 연산 과정; 상기 이미지 획득 모듈을 통해 획득한 이미지를 상기 마커가 이미지상에 나타나는 영역 내에서 복수의 마커 패턴 템플릿을 이용하여 템플릿 매칭을 수행하는 패턴 매칭 수행 과정; 및 상기 이미지상에서 찾은 패턴의 중심좌표와 상기 행렬 H를 이용하여 마커의 실제 공간좌표를 구하는 실제 공간좌표 연산 과정을 포함하는 것을 특징으로 한다.
위치 데이터 수집, 컴퓨터 비젼, 패턴 매칭, 사영변환-
公开(公告)号：KR100513361B1
公开(公告)日：2005-09-07
申请号：KR1020030035395
申请日：2003-06-02
Applicant: 재단법인서울대학교산학협력재단
IPC: G06F7/00
Abstract: 본 발명은 도출 반박법(resolution refutation)을 이용한 정리증명 문제의 해법을 제공하는 DNA 컴퓨팅 방법에 관한 것이다. 또한, 본 발명은 DNA 컴퓨팅 방법에 사용되는 논리절을 DNA로 표현하는 방법을 제공한다. 보다 상세하게 설명하면, 본 발명의 논리절 표현 방법은 정규식 내에 포함된 논리절의 긍정적 논리구를 소정의 DNA 염기서열로 생성하고, 부정적 논리구는 긍정적 논리구에 대한 상보적인 DNA 염기서열로 나타낸다. 하나의 논리절은 하나 이상의 단일 가닥 DNA의 결합으로 표현된다. 본 발명에 의하면 논리절을 구성하는 DNA 가닥은 직쇄형 구조, 헤어핀(hairpin) 구조, 또는 가지형 구조일 수 있다. 종래의 컴퓨팅 방법이 논리곱 정규식에서 하나의 논리구를 가진 논리절과 부정적 논리구를 가진 다른 논리절로부터 하나의 도출절(resolvent)을 생성하는 과정을 반복하여 도출 반박법의 최종 결과인 빈 논리절(empty clause)의 생성을 확인해야 하는 반면, 본 발명의 DNA 컴퓨팅 방법은 소정의 염기서열과 그의 상보적인 서열을 하이브리드 형성하고 PCR 증폭을 통해 완전한 DNA 이중 가닥의 생성 여부를 확인하는 것만으로 빈 논리절(empty clause)의 생성 여부를 확인할 수 있다. 이와 같은 본 발명의 DNA 컴퓨팅 방법은 병렬의 논리절 처리 기법을 이용하여 정리증명 문제를 효과적으로 해결하는 방법을 제공한다.
-
公开(公告)号：KR1020080078352A
公开(公告)日：2008-08-27
申请号：KR1020070018348
申请日：2007-02-23
Applicant: 재단법인서울대학교산학협력재단
CPC classification number: G06T7/70 , G06K9/6202 , G06K19/06009 , G06T2207/30204
Abstract: An image processing system and method for collecting position data by using a marker are provided to attach a marker to a target object and obtain an image of the target object to separate the motion of the target object easily even though multiple objects are simultaneously moved. Matrixes required to detect a region in which a marker appears on an image are obtained(S100). The region in which the marker appears on the image is obtained by using the matrixes and the height of the marker(S110). A matrix required to calculate position coordinates of the actual space is obtained(S120). When there is an image obtained from an object to which the marker is attached through an image acquisition module, template matching is performed using a plurality of marker pattern templates in the region(S140). Actual space coordinates are obtained by using the center coordinates of a pattern found on the image and the matrix required to calculate the position coordinates(S150).
Abstract translation: 提供了一种用于通过使用标记来收集位置数据的图像处理系统和方法，用于将标记附着到目标对象，并且即使多个对象同时移动，也可以容易地获得目标对象的图像以容易地分离目标对象的运动。 获得检测图像上出现标记的区域所需的矩阵（S100）。 通过使用矩阵和标记的高度来获得标记出现在图像上的区域（S110）。 获得计算实际空间的位置坐标所需的矩阵（S120）。 当从通过图像获取模块附加标记的对象获得图像时，使用区域中的多个标记图案模板执行模板匹配（S140）。 通过使用图像上发现的图案的中心坐标和计算位置坐标所需的矩阵来获得实际的空间坐标（S150）。
-
公开(公告)号：KR1020040005584A
公开(公告)日：2004-01-16
申请号：KR1020030035395
申请日：2003-06-02
Applicant: 재단법인서울대학교산학협력재단
IPC: G06F7/00
Abstract: PURPOSE: A DNA computing method for supplying a solution of theorem proving is provided to experimentally implement a theorem proving solution in parallel using the resolution refutation. CONSTITUTION: A predetermined DNA sequence is allocated in one positive literal. A negative literal is expressed as a complementary sequence of the DNA sequence. One clause is expressed as a molecule combined by at least one DNA sequence. DNAs which each clause are mixed(1). A hybrid is formed with respect to a mixture of DNAs which express each clause(2). A nick of the hybrid-formed DNA is combined using a ligase(3). A PCR is executed based on the DNA(4). A size of the PCR product is checked(5).
Abstract translation: 目的：提供一种用于提供定理解决方案的DNA计算方法，以使用分辨率反驳来实验地并行地实现定理证明解。 构成：预定的DNA序列分配在一个正的字面上。 负文字表示为DNA序列的互补序列。 一个子句表达为由至少一个DNA序列组合的分子。 每个条款混合的DNA（1）。 对于表达每个条款（2）的DNA的混合物形成杂交体。 使用连接酶（3）将杂交形成的DNA的缺口合并。 基于DNA（4）进行PCR。 检查PCR产物的大小（5）。
-
-
-
Search Results
4
records
(took 0.027 seconds)
