• 제목/요약/키워드: 차수제약

검색결과 27건 처리시간 0.03초

Automatic Creation of SHACL Schemas for Validation of RDF Knowledge Graph Structures Based on RML Mappings

  • Choi, Ji-Woong
    • 한국컴퓨터정보학회논문지
    • /
    • 제27권9호
    • /
    • pp.77-89
    • /
    • 2022
  • 본 논문에서는 RML 매핑 방식으로 구축한 RDF 지식 그래프의 구조를 묘사하고 검증할 용도의 SHACL 스키마를 자동으로 생성하는 시스템을 제안한다. 제안하는 시스템은 기존 연구와는 달리 RML 매핑 규칙 뿐만 아니라 RML 매핑의 입력인 CSV, JSON, XML, 데이터베이스와 같은 다양한 포맷의 데이터에서 추출한 메타데이터도 함께 사용하여 스키마를 생성한다. 따라서 기존 연구 기반의 스키마에서는 부재했던 데이터 타입, 문자열 길이, 값의 범위, 차수 관련 제약 조건이 스키마에 포함된다. 그리고 기존 연구에서 간과한 소위 반복된 속성 문제를 제안하는 시스템은 해결한다. 297개의 케이스로 구성된 적합성 테스트를 통해 제안된 시스템이 그래프에 대한 올바른 제약 조건을 생성함을 보여준다. 제안된 시스템은 오류가 발생하기 쉬운 기존 수동 검증 프로세스를 자동화하는 데 기여할 수 있다.

안테나와 다중 산란체의 해석을 위한 전원중첩인가법의 응용 (Application of the source superimposing method for multi scatterers analysis)

  • 정광욱;김채영
    • 한국통신학회논문지
    • /
    • 제23권5호
    • /
    • pp.1342-1348
    • /
    • 1998
  • 모멘트법으로 해를 구하는데 있어서 행렬차수에 의한 컴퓨터 기억용량과 계산소요시간은 주된 제약요건이 되어왔다. 컴퓨터 기억용량 감소와 계산소요시간 단축을 위하여 등가원리와 유기정리에 근거르 둔 전원중첩인가법을 이용한 수식전개기법을 정립하였다. 수치 해석 결과의 정확성을 검증해 보이고 또한 본 방법을 적용한 응용 수치해석의 예를 보인다.

  • PDF

메타 규칙과 번역의 혼용을 통한 규칙엔진 기반 OWL 추론 엔진의 성능 향상 방법 (Efficient Rule-based OWL Reasoning by Combing Meta Rules and Translation)

  • 장민수;손주찬;조영조
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (D)
    • /
    • pp.214-219
    • /
    • 2007
  • 생성 규칙(Production Rule)과 이를 기반으로 하는 규칙 엔진(Rule Engine)을 기반으로 한 OWL 추론 엔진은 메타 규칙((Meta Rule)에 의존해 왔다. 메타 규칙은 OWL의 의미론 (Semantics)을 표현하기 용이하여 보다 손쉽게 OWL 추론 엔진을 구현할 수 있다는 장점을 제공하였으나 OWL 추론 성능에 있어 추론 속도와 대용량 온톨로지 처리 측면에서 모두 만족할 만한 성과를 얻지 못하였다. 본 논문은 DLP(Description Logic Programming)의 번역 접근법을 기반으로 한 번역 규칙(Translation Rules)을 메타 규칙과 혼용하는 OWL 추론 기법을 소개한다. LUBM 벤치마크를 통해 이 기법이 메타 규칙만을 이용했을 때 보다 100% 이상 추론 성능을 향상시켰을 뿐 아니라 메모리 사용량도 대폭 축소시켰음을 확인할 수 있었다. 또한, 번역을 통해 제한없는 차수 제약(Cardinality Restriction) 관련 추론을 지원하는 등 보다 넓은 범위의 OWL 추론을 지원할 수 있다.

  • PDF

이동 기반의 RMC을 이용한 자유형태 곡면 매칭방법 (The Matching of Free-Form surface using Motion-based RMC)

  • 박철호
    • 한국정보처리학회논문지
    • /
    • 제7권11호
    • /
    • pp.3544-3555
    • /
    • 2000
  • 매칭방법은 기하 및 입체 모델링에서 재단 곡면과 이들에 대한 부울 연산에 사용되는 기초적인 연산이다. 그러나 매칭연산은 부드러움을 정확하게 표현하는데 고 차수의 미분계수 제약조건으로 인하여 많은 계산량이 필요할 뿐만 아니라 곡면상의 여러 점을 동시에 선택하여 이동하였을 때, 곡면표현에 사용되는 복잡한 함수식으로 인하여 일반해를 구하기 어려운 단점을 가진다. 본 논문은 분수식에 의하여 RMC(Rotation-Minimizing Curve)을 정의하고 이를 이용하여 자유 형태 곡면간에 변형 매칭 방법을 제안한다. RMC는 매칭곡선과 곡면의 접선벡터, 회전벡터, 곡률의 변화율과 같은 기하학적 기법을 기반으로 한다. 제안한 방법은 입력으로 주어지는 곡면의 기하학적 복잡도와는 무관하게 매칭을 수행할 수 있으며 수행 성능은 계산된 매칭 곡선의 복잡도에 의해서만 좌우된다. 또한 곡선 표현에 사용된 값들을 정의된 매칭 곡선식에 그대로 적용할 수 있었으므로 최적화 응용 문제에 효율적으로 적용할 수 있다.

  • PDF

최대 빈발 2-시퀀스를 이용한 최적 이동 패턴 추출 (Extraction of Optimal Moving Pattern using Maximum Frequent 2-Sequence)

  • 이연식;고현;김광종
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (D)
    • /
    • pp.367-372
    • /
    • 2008
  • 최근 사용자들의 특성에 맞게 개인화되고 세분화된 위치 기반 서비스를 개발하기 위한 목적으로 이동 객체의 다양한 패턴들 중 의미있는 지식인 유용한 이동 패턴을 탐사하는 문제가 주요 이슈로 부각되고 있다. 이에 본 논문에서는 방대한 이동 객체의 이력 데이터 집합으로부터 특정 지점들 간의 최적 이동 경로나 정해진 시간내의 스케줄링 경로 탐색과 같이 복합적인 시간 및 공간 제약을 갖는 최적 이동 패턴을 탐사하는 문제에 대해 정의하고, 다양한 이동 패턴들 중 가장 빈발하게 발생하는 패턴이 최적의 비용을 소요할 것이라는 가정을 기반으로 최대 빈발 2-시퀀스를 추출하는 방법을 제안한다. 후보 시퀀스 집합으로부터 지지도 계산을 통해 추출되는 빈발 2-시퀀스들의 순차적인 조합은 패턴 탐사를 수행하는 각 패스 진행 시 후보 시퀀스 항목의 차수가 점차 감소하여 최적 이동 패턴 탐사 방법에 효과적으로 적용된다.

  • PDF

하중 혼합감도함수를 이용한 RTP 시스템의 $H^{\infty}$ 제어기 설계 ($H^{\infty}$ Controller Design for RTP System using Weighted Mixed Sensitivity Minimization)

  • 이상경;김종해;오도창;박홍배
    • 전자공학회논문지S
    • /
    • 제35S권6호
    • /
    • pp.55-65
    • /
    • 1998
  • 산업현장에서는 반도체 공정의 산화막(oxidation)과 소둔(annealing) 공정에서 생산성을 향상시키기 위해 기존의 확산로(furnace)보다 RTP(rapid thermal processing) 시스템을 많이 사용하고 있다. 이러한 RTP 시스템의 주요 제어대상은 정확한 웨이퍼(wafer)의 온도조절과 웨이퍼 내의 균일성이다. 본 논문에서는 RTP 시스템의 온도변화와 같은 외란에 대한 견실안정성 문제를 해결하기 위해 하중 혼합감도함수를 이용하여 $H^{\infty}$ 제어기를 설계하고, 온도추적 및 웨이퍼 내의 균일성 등의 견실성능 개선은 루프쉐이핑 방법을 이용한다. 온도에 따른 선형화된 모델은 차수문제로 인하여 실 시스템 구현시 제약조건이 있으므로 한켈(Hankel), 자승근 균형(square-root balanced) 및 슈어 균형(Schur balanced) 방법을 사용하여 모델 차수축소를 하여 제어기를 설계한다. 원래의 모델과 축소된 모델에 대해 성능을 비교하고 시뮬레이션을 통하여 설계한 제어기의 견실안정성과 성능을 확인한다.

  • PDF

무선 센서네트워크에서 노드의 에너지와 연결성을 고려한 클러스터 기반의 백본 생성 알고리즘 (On Generating Backbone Based on Energy and Connectivity for WSNs)

  • 신인영;김문성;추현승
    • 인터넷정보학회논문지
    • /
    • 제10권5호
    • /
    • pp.41-47
    • /
    • 2009
  • 무선 센서 네트워크(Wireless Sensor Networks)는 기존의 애드혹 네트워크(Ad-hoc Networks)보다 제한된 노드 자원, 배터리 의존성과 같은 제약사항을 가진다. 이러한 이유로 기존의 방법들과는 다른 형태의 에너지 효율적인 라우팅 연구가 진행되었지만 여전히 많은 문제점을 가지고 있다. 그러므로 본 논문에서는 노드의 에너지와 차수를 고려한 클러스터 기반의 백본 생성 알고리즘을 제안한다. 클러스터링과 같은 계층구조 방식은 본질적으로 데이터 집중 및 융합에 유리한 장점이 있으며, 클러스터 헤드의 관리에 의해서 일반 노드들을 조정하여 전력 소모도 낮출 수 있다. 또한 백본을 구성하는 백본노드만 라우팅 정보를 유지하여 제어트래픽과 같은 통신오버헤드를 크게 줄일 수 있으며, 깨어있는 노드의 수를 최소화할 수 있다. 그러나 백본노드들은 비백본 노드의 트래픽을 모두 처리해야 하므로 에너지 소모가 크다. 따라서 에너지레벨 또는 차수가 높은 노드를 클러스터헤드로 선정해서 강건한 백본을 형성하고, 헤드 주변 노드 간 패킷전달의 역할을 분산함으로써 전체 네트워크 라이프타임(Network Lifetime)을 증가시킬 수 있는 방안을 제안한다. 시뮬레이션 결과에서 제안 알고리즘은 기존 연구에 비해 클러스터헤드의 잔여에너지측면에서 약 10.36%, 차수측면에서 약 24.05%의 성능 향상을 보이며, 네트워크 라이프타임도 향상되었다.

  • PDF

휴리스틱 회귀모델을 이용한 특정항만 조건하에서의 선형별 적정 항차배분에 관한 연구 - 포항제철(주) 전용항만 사례를 중심으로- (A Heuristic Model for Appropriation of Voyage Allocation under Specific Port Condition Using Regression Analyses - With a Case Analysis on POSCO-owned Port -)

  • 김원재
    • 한국항만경제학회지
    • /
    • 제29권3호
    • /
    • pp.159-174
    • /
    • 2013
  • 본 논문은 포항제철이 제품생산에 필요한 석탄 및 철광석 등 원료를 해외로부터 수입하기 위한 전용부두를 조성하여 사용하는 과정에서 발생되는 총물류비용, 즉 해상수송비용, 항만 선석 대기비용, 그리고 원료를 야드에 적재보관 하는 데 따른 재고비용 등의 발생이 서로 상충됨에 따라 각 비용발생 행태를 함수식으로 추정하여 그 비용의 합이 최소화 될 수 있는 적정 선형별 연간 배정 항차수 의사결정을 휴리스틱적 접근법으로 시도한 내용을 보여준다. 예를 들면, 해상 수송비용은 단위당 운송비를 낮추기 위해 선형을 대형화시키려는 유인이 있게 된다. 하지만 이러한 결정은 항만내 선석 제약으로 인해 대기비용이 지수적으로 급격히 증가하게 되어 이에 대한 절충점을 찾아야 만 총 물류비용을 최소화 시킬 수 있게 된다. 선형별 연간 배정 항차수를 독립변수로 하고 발생 비용들을 종속변수로 하여 휴리스틱적 회귀분석을 시도한 결과 15만톤급 선형, 10만톤급 선형, 5만톤급 선형의 연간 항차배정 비율이 $1.78(X_1)$ : $4.25(X_2)$ : $1(X_3)$ 로 될 때 총물류비용 최소화 목표를 달성할 수 있는 것으로 분석되었다. 이를 백분비로 보면, 대형선 비중을 약 25%, 중형선 비중을 약 61%, 그리고 소형선 비중을 약 14% 정도로 연간항차배정을 하는 것이 적정한 것으로 판단된다. 그밖에 만약 물동량의 증가로 항만확장이 불가피한 경우 추가항만 건설투자비와 그로 인한 해상수송비 절감 및 선석 대기비용 절감 등을 현재가치화 한 값과 비교하여 전자가 큰 경우는 투자안을 기각하고 후자가 큰 경우는 투자안을 수용하는 항만투자 의사결정이 필요함을 보여주었다.

시각장애 사용자를 위한 전자상거래 인터페이스 분석 및 설계 (Analysis & Design Electronic Commerce System Interface for The Blind)

  • 박성제;강영무
    • 한국정보시스템학회:학술대회논문집
    • /
    • 한국정보시스템학회 2001년도 추계학술대회 발표논문집:차세대 전상거래 시대의 비즈니스전략
    • /
    • pp.413-426
    • /
    • 2001
  • 본 연구는 첫째, 정보통신기술의 발달이 시각장애인 복지 증진에 미칠 수 있는 가능성에 대한 이론적인 부분을 고찰하였다. 둘째, 우리나라 시각장애인 정보화의 문제점과 해결책을 도출하였고 셋째, 시각장애 사용자를 위한 전자상거래 인터페이스 디자인의 분석 및 설계를 통해 전자상거래에서 시각장애 사용자들이 큰 제약없이 사용할 수 있는 방안을 제시하고자 한다. 현재 시각장애인들의 웹 사용을 보면 시각장애 전용 S/W의 보조 하에 사용을 하고 있다. 그러한 보조 도구의 실정에 맞도록 텍스트 버전 및 Non-Frame버전, Alt-Text 옵션, 캡션 등을 넣어 접근성을 확보하고 인터넷을 큰 제약을 받지않고 이용할 수 있도록 웹 페이지의 설계가 필요한 실정이다. 이를 위하여 먼저 시각장애에 대한 개념과 원인 및 종류 그리고 특성을 통해 시각장애인에 대한 이론적 배경을 파악하였다. 그리고 시각장애인의 정보화 환경과 이용 현황과 시각장애인의 정보 접근을 제도적, 기기 및 소프트웨어 개발 측면에서 분석을 하였고, 장애인을 위한 정보통신기술 중 대표적인 사례를 검토해 보았다. 다음으로 국내외의 대표적인 전자상거래 사이트에서의 인터페이스를 화면구성(Layout), 텍스트(Text), 그래픽(Graphic), 멀티미디어(MultiMedia) 측면에서 분석을 하였다. 분석한 내용을 바탕으로 시각장애 사용자의 입력(User Input) 부분을 고려한 인터페이스 방향을 제시하고 프로토타입을 개발하여 시험 대상 사이트와의 만족도를 시각장애 사용자를 통해 비교 ·분석하였다. 결론부분에서는 정보불평등을 해소하고, 정보통신기술이 장애인의 복지향상에 기여하도록 하기 위해 전자상거래 싸이트에서의 시각 장애인들을 위한 방향을 제시하고자 한다.박의 표현, 등록 및 색인방법 (c) 공급 선박의 분류와 표현 방법 (d) 에이전트의 정보 수집을 위한 메시지 표현 방법 (e) 수집된 선박정보의 데이터베이스 저장 표현방법 (f) 요구 선박을 찾아주는 정보제공 서비스가 요구된다.동을 보여 조사대상 5호분, 6호분, 7호분, 중 가장 심한 거동을 보이고 있다. 이는 고분 벽돌의 깨짐이 6호분이 가장 심하다는 사실과 무관하지 않은 것으로 판단된다. 봉분내부의 토양층구조에 대한 지오레이다 영상단면을 분석한 결과 무령왕릉 연도상부의 누수지방지층이 심하게 균열되어 있음을 발견하였다. 이 곳은 고분내부로 직접누수가 발생하는 곳이다. 직접누수와 지하수 형태로 유입된 침투수는 고분군 주위의 지반의 함수비를 증가시켜 지반의 지지력을 약화시키고 또한 고분내로 서서히 유입되어 고분내부의 습도를 100%로 유지시키는 주된 원인이다. 이러한 높은 습도는 고분내의 남조류의 번식을 가져왔으며 남조류의 번식은 현재 6호분이 가장 심각하고 7호분이 우려되는 수준이며 5호분은 문제가 없는 것으로 판단된다. 이와 같이 고분군의 발굴후 인위적인 환경변화와 지속적인 강우침투 및 배수 불량의 영향은 고분군의 안정성에 상당한 위험을 초래하였으며, 현 상태는 각 고분에 대한 보강이 불가피한 것으로 판단된다. 고분 벽돌의 깨짐, 고분 벽체의 거동, 조류의 서식등을 포함하여 송산리 고분군에서 발생되고 있는 보존상의 제반 문제점들을 일차적으로 누수 및 침투수에 의한 결과이다. 그러므로 무엇보다도 고분군 내부 및 고분 주변으로의 강우 및 지하수 침투를 막는 차수 대책이 시급한 것으로 판단된다. 또한 이미 발생한 변위가 더 이상 진행되지 않도록 하중을 경감하고 토압의 균형을 이루는 보강대책이 시급한 실정이다. 고분군

  • PDF

시 최적화 제어기구의 설계방법에 관한 비교연구

  • 이양범
    • 전기의세계
    • /
    • 제29권3호
    • /
    • pp.170-176
    • /
    • 1980
  • 이 논문은 제어신호가 이상적인 포화특성을 갖은 제작조건하의 시불변, 선형 제어계의 시최적화 제어기구의 설계이론을 비교 연구하는데 목적을 두었다. 어떤 초기상태에 있는 계를 특정된 최종상태로, 최단시간내에 이행시켜 가는데 요구되는 제어기구의 설계문제는 여러해 동안 흥미있는 연구과제로 학계에 등장되었고 이러한 문제를 처리하는데에는 여러가지의 설계방법이 제안되어 왔다. 이 논문에서는 이러한 최적화 제어기구의 설계 이론중, 상태천이법에 의한 방법, 최대원리의 적용에 의한 방법 및 동적 프로그래밍기법에 의한 방법들을 서로 비교하여 2차계의 시최적화 설계사례에 이들을 적용시킴으로써 그 설계법상의 문제점을 비교 검토하여 보려는데 목적을 두었다. 설계사례 2차계는 시불변, 선형인 것으로 가정하였으며, 초기상태벡터 및 최종상태벡터는 모두 특정된 값으로 지정되고 제어신호는 이상적인 포화특성으로 제약받으며 스윗칭 시간이 유한크기가 아닌 정규형인 경우에 한정시켜 다루었다. 어느 설계이론을 적용시키나 시최적화를 위한 제어측은 단속제어방식으로 결과되었으나, 시최적화 문제의 특수성때문에 최대원리 및 동적 프로그래밍기법의 적용사례에서는 자연경계조건 및 Transversality 조건 등이 스윗칭시간 또는 최종시간을 직접 결정하여 주는 관건은 되지 못하였으며 계통의 상태방정식 또는 보조상태방정식을 구속제약된 양단상태량을 만족하도록 최적에어측을 적용하여 풀므로써 스윗칭시간과 최종시간이 얻어진다. 따라서 어느 한가지 방법의 적용만으로는 수학적인 처리상의 애로는 피할길이 없었으며 Hamiltonian함수의 변화성질을 보조적으로 활용하여 가면 이러한 번거로움이 덜하여 지긴하나, 다루는 계통의 차수가 높을 수록 이러한 수치해를 얻기위한 번거로움은 여간한 험로가 아닌 것으로 생각된다. 결론적으로 이러한 시최적화문제의 설계에는 몇가지의 혼용적용이 바람직하다고 결론된다. 이의 개발에 박차를 가하지 않을 수 없는 것이다.고, 우선 여기서는 당면문제로서 대처하지 않으면 안될 자동주파수제어문제및 계통의 경제운용문제만에 한정하여, 이것을 우리나라의 현상과 관련시켜 개설하고, 이들의 자동화에 관한 기본적인 문제를 간단히 적어 보겠다. 가능하다. 제작완료된 ASIC은 기능시험을 완료했으며 실제 line-of-sight(LOS) 시스템 구현에 적용중이다. 시대를 살아 갈 회원들이다. '컨텐츠의 시대'가 개막되는 것이며, 신세기통신과 SK텔레콤은 선의의 경쟁 과 협력을 통해 이동인터넷 서비스의 컨텐츠를 개발해 나가게 될 것이다. 3배가 높았다. 효소 활성에 필수적인 물의 양에 따른 DIAION WA30의 라세미화 효율에 관하여 실험한 결과, 물의 양이 증가할수록 그 효율은 감소하였다. DIAION WA30을 라세미화 촉매로 사용하여 아이소옥탄 내에서 라세믹 나프록센 2,2,2-트리플로로에틸 씨오에스터의 효소적 DKR 반응을 수행해 보았다. 그 결과 DIAION WA30을 사용하지 않은 경우에 비해 반응 전환율과 생성물의 광학 순도는 급격히 향상되었다. 전통적 광학분할 반응의 최대 50%라는 전환율의 제한이 본 연구에서 찾은 DIAION WA30을 첨가함으로써 성공적으로 극복되었다. 또한 고체 염기촉매인 DIAION WA30의 사용은 라세미화 촉매의 회수 및 재사용이 가능하게 해준다.해준다.다. TN5 세포주를 0.2 L 규모 (1 L spinner flask)oJl에서 세포간의 응집현상 없이 부유배양에 적응,배양시킨 후 세포성장 시기에 따른 발현을 조사한 결과 1 MOI의 감염조건 하에서는 $0.6\times10^6$cell/mL의 early exponential시기의 세포밀도에서 72시간 배양하였을 대 최대 발현양을 나타내었다. 나타내었다. $\beta$4 integrin의

  • PDF