• 제목/요약/키워드: 이행성규칙

검색결과 30건 처리시간 0.019초

비공유 병렬구조를 이용한 선형적 재귀규칙의 병렬평가 (Parallel Evaluation of Linearly Recursive Rules using a Shared-Nothing Paralled Architecture)

  • 조우현;김항준
    • 한국정보처리학회논문지
    • /
    • 제4권12호
    • /
    • pp.3069-3077
    • /
    • 1997
  • 이 논문에서는 비공유 병렬구조에서 이행적 종속성을 갖는 선형적 재귀규칙의 병렬평가에 대한 패러다임을 제안한다. 병렬평가를 위해 우리는 모든 노드가 메시지 교환을 위해 연결망만을 공유하는 비공유 병렬구조를 고려한다. 여기서 정규화된 규칙의 평가는 그 규칙의 중명-이론적 의미의 계산이다. 이행적 종속성올 갖는 정규 화된 선형적 재귀규칙을 정의하고, 그 규칙이 등가의 표현식으로 변환될 수 있음을 보이고, 등가의 표현식을 근거로 결합, 분할, 이행성폐포 연산을 이용하여 정규화된 규칙에 대한 병렬평가를 위한 패러다임을 제안하고 시간 복잡도를 분석하였다.

  • PDF

무장 할당문제에서 휴리스틱 방법 효율성 비교: 이행성 규칙이 성립하는 무장성능차이를 중심으로 (Performance Comparison of Heuristics for Weapon-Target Assignment Problem with Transitivity Rules in Weapon's Kill Probability)

  • 임동순;최봉완
    • 한국국방경영분석학회지
    • /
    • 제36권3호
    • /
    • pp.29-42
    • /
    • 2010
  • 운용과학의 군사 응용 분야 중 하나인 무장-표적 할당문제는 NP-complete 문제로 알려져 있어 주어진 시간내에 최적해를 구할 수 없으므로 휴리스틱 방법에 의해 빠른 시간 내에 우수한 해를 구하는 것이 더 의미가 있다. 본 연구에서는 보다 효율적으로 해를 도출할 수 있는 방법을 개발하기 위해 전형적인 문제를 재구성하여 단순화 시켰다. 이러한 문제 하에서 두가지 유전자 알고리즘인 표적번호 표현 방법과 순열 표현방법을 비교하였고, 구성적 휴리스틱, 향상적 휴리스틱들을 개발하여 비교하였다. 무장의 파괴확률 간에 이행성 규칙이 존재하는 경우를 대상으로 실험을 수행한 결과 구성적 휴리스틱의 해를 초기해로 하여 교환에 기초한 향상적 계산 시간이나 해의 질 측면에서 가장 우수한 해를 생성하였다. 그러나, 구성적 휴리스틱의 효율성은 무장 성능 간 이행성 규칙에 민감한 결과를 나타내었다.

한국의 인천전략 이행수준과 개선방안 연구 (A Study on the Implementation Level and Improvement of Incheon Strategy of Korea)

  • 나운환
    • 재활복지
    • /
    • 제21권2호
    • /
    • pp.1-27
    • /
    • 2017
  • 이 연구는 한국의 인천전략 이행 정도를 평가하고 효율적인 이행방안을 마련하기 위한 연구로 연구의 방법은 문헌연구와 모니터링 방법을 활용하였으며 연구결과를 요약하면 첫째, 이행과 미이행으로 구분되는 핵심지표 9개와 보충지표 7개에서 한국은 핵심지표 3개(활동보조서비스 프로그램, 차별금지법 입법, 장애 포괄적 관점의 국제개발)가 이행되었으며 1개 지표가 일부 이행(장애인권리협약 부분 비준), 5개 지표가 미이행(국가재난관리 기본계획의 장애 포괄적 대책, 재난관련 인력 장애교육, ICF기준 장애 출현율, 인천전략 이행 측정 데이터 구축, 장애여성 별도 데이터)이며, 보충지표의 경우 5개 지표가 이행(장애인 투표접근성입법, 접근성 검사 전문가 참여, BF유무, 웹 콘텐츠 접근성 규칙, 재난피해 심리사회적 서비스 인력), 2개 지표가 미이행(재난대비 장애인보조기구 및 기술 보유, 선택 의정서 비준)인 것으로 분석 되었다. 둘째, 10개의 목표 영역이 모두 이행이 부족하지만 목표 7의 장애포괄적인 재난 위험 감소 및 관리의 보장이 가장 심각한 수준으로 이행 정도가 부족하며, 목표 9의 장애인권리협약 비준 및 국내법의 조화 촉진이 다음 순이며, 목표 8의 장애 데이터의 신뢰성 및 비교 가능성 개선, 목표 6의 성 평등과 여성의 역량강화 보장 순으로 이행정도가 문제인 것으로 분석되었다. 이를 토대로 제3차 아 태지역 장애인 10년의 행동전략인 인천전략이 한국에서 성공적인 이행을 위한 방안을 제안하면 첫째, 인천전략 이행을 위한 정책이슈화와 이행방안 마련이 필요하며, 둘째, 인천전략 이행과 모니터링을 위한 전담 추진체계 구축과, 셋째, 목표와 세부목표, 핵심지표와 보충지표에 대한 한국적 기준 제시가 필요하다. 넷째, 목표이행의 우선순위 마련과 선제적 대응이 필요하며, 마지막으로 인천전략에 대한 교육과 홍보가 필요하다.

시멘틱웹 구축을 위한 스키마 관리 기법 연구 (Schema management skills for semantic web construction)

  • 김병곤;오성균
    • 한국컴퓨터정보학회논문지
    • /
    • 제12권1호
    • /
    • pp.9-15
    • /
    • 2007
  • 전 세계적으로 인터넷의 사용이 일반화되면서 인터넷상의 정보의 양이 기하급수적으로 증가하였고, 이에 따라 이러한 정보들을 수집하고 통합하여 특정집단 또는 일반인들의 의사결정을 지원하기 위한 시멘틱웹에 대한 중요성이 갈수록 증대되고 있다. 시멘틱웹을 구성하는 기본 구조는 온톨로지이며, XML, RDF/RDF스키마, OWL 같은 언어들은 온톨로지의 스키마를 구성하는 기본 수단이다. 온톨로지의 스키마를 구성하고 관리할 때 중요한 고려사항 중 하나는 스키마는 시간이 지남에 따라 변화한다는 것이다. 그러므로 스키마상의 도메인의 변화 데이터 개념의 변화 혹은 자원간의 관계의 변화 등을 감지하고 이를 반영할 수 있는 형태로 구현되어야 한다. 본 연구에서는 시멘틱웹의 스키마관리를 위한 버전 관리 기법을 제안한다. 이를 위하여 버전의 변화 형태를 카테고리 별로 분류하고 이를 바탕으로 버전 그래프를 생성하였다. 생성된 그래프를 바탕으로 이행성규칙 등을 정의하여 적용하였으며, 좀 더 세세한 적용이 가능하도록 표식을 사용하여 적용 가능한 버전 스키마의 범위를 확장하도록 하였다.

  • PDF

비공유 병렬구조를 이용한 정규화된 재귀규칙에 대한 증명-이론적 의미의 효율적 계산 (An Efficient Evaluation of Proof-theoretic meaning for Normalized Recursive Rules using Shared-nothing Parallel Architecture)

  • 조우현;이종희
    • 한국정보처리학회논문지
    • /
    • 제6권11호
    • /
    • pp.2981-2988
    • /
    • 1999
  • 연역데이터베이스는 외연적 데이터베이스인 사실들의 집합과 내포적 데이터베이스인 규칙들의 집합으로 구성된다. 이 규칙들을 계산하기 어렵기 때문에 규칙을 병렬로 계산하기 위한 많은 알고리즘들을 연구해 왔으나 만족스런 결과를 얻지 못하 였다 이 논문에서는 이행적 종속성을 가지는 선형적 재귀 규칙의 증명-이론적 의미를 비공유 병렬구조를 이용하여 효율적 으로 계산하는 새로운 방법을 제안한다 먼저 선형적 재귀규칙을 위한 둥가의 표현식이 존재함을 증명하고, 이 표현식을 근 거하여 선형적 재귀규칙을 계산하기 위한 알고리즘을 고안하며, 마지막으로 제안된 알고리즘의 성능을 분석한다

  • PDF

월성 1호기 주기적안전성평가 - 기체 및 액체 방사성폐기물에 의한 환경영향 (Periodic Safety Review of Wolsong Unit 1 - Environmental Impact as gaseous and liquid effluents)

  • 김성민;이은미;김미자;이갑복;정양근;엄희문
    • 한국방사성폐기물학회:학술대회논문집
    • /
    • 한국방사성폐기물학회 2003년도 가을 학술논문집
    • /
    • pp.455-462
    • /
    • 2003
  • 원자력법에 의해 국내 모든 가동원전은 10년마다 주기적안전성평가를 이행하고 있다. 원자력법 시행규칙 제19조의 2에 제시된 환경영향 분야의 평가는 원자로시설의 환경영향 감시계획이 적절히 수립되어 이행되고 있는지를 확인하는 것이다. 평가결과 월성 1호기 가동에 따른 환경영향은 전반적으로 기술기준을 만족하였으며, 평가기준일까지 월성 1호기 운영으로 인해 주변 주민이 받는 방사선량은 제한치 이내에서 안전하게 관리되는 것으로 확인하였다.

  • PDF

단일기계에서 총납기지연 최소화를 위한 작업쌍 비교 규칙의 이행성 증명 (A Proof of Transitivity of Job-Pair Comparison Rule to Minimize Total Tardiness in a Single Machine)

  • 전태준;박성호
    • 경영과학
    • /
    • 제18권1호
    • /
    • pp.147-153
    • /
    • 2001
  • In this paper, we Propose the Job-Pair Comparison (JPC) rule to minimize total tardiness in a single machine. For this purpose we derive conditional expression to choose the desirable job sequence. We also prove the transitivity of JPC rule, to prevent cycle and to decrease the complexity of comparison.

  • PDF

COPD 환자 운동 예측을 위한 불균형 데이터 처리 기법의 효율성에 관한 연구 (A Study on the Efficiency of Imbalanced Data Processing Techniques for Exercise Prediction in COPD Patients)

  • 진현석;조세현;최자윤;김경백
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2024년도 춘계학술발표대회
    • /
    • pp.652-655
    • /
    • 2024
  • COPD(Chronic Obstructive Pulmonary Disease)는 장기간에 걸쳐 기도가 좁아지는 폐질환으로, 규칙적 운동은 호흡을 용이하게 하고 증상을 개선할 수 있는 주요 자가관리 중재법 중 하나이다. 건강정보 데이터와 인공지능을 사용하여 규직적 운동 이행군과 불이행군을 선별하여 자가관리 취약 집단을 파악하는 것은 질병관리 측면에서 비용효과적인 전략이다. 하지만 많은 양의 데이터를 확보하기 어렵고, 규칙적 운동군과 그렇지 않은 환자의 비율이 상이하기 때문에 인공지능 모델의 전체적인 선별 능력을 향상시키기 어렵다는 한계가 있다. 이러한 한계를 극복하기 위해 본 연구에서는 국민건강영양조사 데이터를 사용하여 머신러닝 모델인 XGBoost와 딥러닝 모델인 MLP에 오버샘플링, 언더샘플링, 가중치 부여 등 불균형 데이터 처리 기법을 적용 후 성능을 비교하여 가장 효과적인 불균형 데이터 처리 기법을 제시한다.

발파 관련 산업안전보건규칙 개선을 위한 연구 (Study on Improvement of Safety Standards for Blasting Operation)

  • 정호영;진연호;김식;배용철;조상호;강성윤;김광염
    • 화약ㆍ발파
    • /
    • 제42권2호
    • /
    • pp.1-11
    • /
    • 2024
  • 본 연구는 발파 및 터널작업의 산재예방에 관한 안전기준을 규정하고 있는 안전보건규칙의 실효적 작동을 위한 개선사항을 제안하기 위한 연구이다. 발파 및 터널작업의 산재예방에 관한 안전기준이 규정되어 있으나, 오랫동안 개정이 이루어지지 않아 현실을 반영하지 못하는 규정이 일부 있으며, 필요한 안전기준이 미비하여 사업장에서 해당 규정을 이행하는데 어려움이 있는 것으로 파악되고 있다. 이에 그동안 기술·환경의 변화로 현실에 맞지 않는 불합리한 규정을 개선하고, 작동성이 낮은 규정들을 국내 작업현장 여건에 맞도록 수정·보완하기 위한 것이다. 이를 위하여 국내외에서 제정되어있는 법령, 정책, 제도의 통합적인 비교·검토를 수행하였으며, 이를 통해 국내 안전보건규칙에 개선이 필요한 부분을 도출하고자 하였다.

대장암 관련 건강검진 정보 (Information related to Colorectal cancer screening health checkup)

  • 박부연
    • 한국전자통신학회논문지
    • /
    • 제7권3호
    • /
    • pp.687-692
    • /
    • 2012
  • 우리나라 40세 이상 성인들에서 대장암의 건강검진 관계성을 파악하여 이들의 대장암 검진 이행에 영향을 미치는 변수를 확인하고자 수행되었다. 조사도구는 국민건강영양조사 제4기 2차년도 자료를 이용하였다. 주요 변수는 국민건강수준, 건강관련의식 및 행태, 식품 및 영양섭취실태에 대해 12,528명을 대상으로 실시하였다. 대장암검진 대상자인 40세 이상 성인 남, 여 4,703명을 연구대상으로 하였다. 연구결과는 대장암 검진 이행여부와 관련성이 있는 변수로는 성별, 연령, 거주 지역, 건강기능 식품 복용여부, 건강검진 수검여부, 암 과거력 등 이었다. 배우자 유무, 교육수준별, 가구 월 총소득, 민간보험, 규칙적 운동여부에서는 관련성이 없었다. 대장암검진 수검을 높이기 위해서는 무료 암검진 확대실시와 암검진의 간편한 검사법에 대한 체계적이고 효과적인 교육과 홍보가 수행되어야 할 것이다.