• 제목/요약/키워드: Logic model

검색결과 1,404건 처리시간 0.03초

하도(河圖)와 러셀 역설 (Hado and Russell's Paradox)

  • 김병수
    • 동의생리병리학회지
    • /
    • 제21권3호
    • /
    • pp.583-590
    • /
    • 2007
  • The significance of Han medicine (韓醫學), the Korean traditional medicine, that has lasted throughout the past couple millenniums relies upon Han Philosophy distinguished by its uniqueness. In brief, the specificity of Han medicine is characterized by unity of spirit and body, part and whole. According to this theory, when curing a frozen shoulder, it is usually cured by acupuncturing the area around the part that aches, but also doing so on the area that is totally different from the aching part such as the opposite part of the body. In fact, this can be pursued only through aspects that enable one to realize the unity of part and whole, and a ground for this possibility bases upon the crux of Eastern Philosophy, I-ching(역), such as theory of Five Elements (음양오행) and Three Pillars(삼재). In Western set theory, the issues of Class(부류) and elements(요원), whole and part were independently discussed in the area of mereology, and the question of part and whole was encountered with aporia and paradox since Greek ancient philosophy. At the turn of this century, many philosophers endeavored to pursue academic inquiry to resolve this paradox, especially by Russell and Whitehead through ${\ll}$Principia Mathematica${\gg}$ at the beginning of this century. in the process, there came out a phrase 'Russell's Paradox'. Russell himself proposed a typological resolution as an answer to the inquiry. However, 'Russell's Paradox' still remains as an aporia even till present days. During medieval period, this inquiry was even considered as 'insolubia'. Throughout this paper, 1 attempt to provide an analytic aspect on 'Russell's Paradox' from an unique thinking method and perspective of Han medicine that embodies the concept of 'unity of part and whole'. To do so, 1 suggest a physiological model in the first place depicted by diagrams of Circle 원, Quadrangle 방, Triangle 각(CQT) that portray the logic of Hado or Hotu 하도 which is 'the pattern from the river Ho'. That is to suggest that CQT원방각 of Hado can De a logical foundation that explains the notions of spirit (정신,뇌), internal organs(장부), and meridian system which functions as a solution to the question of 'Russell's Paradox'. There are precedent academic works examining the issue from philosophical aspect such as Sangil Kim's ${\ulcorner}$Han medicine과 러셀역설 해의${\lrcorner}$ Han Medicine and Resolution of Russell's Paradox(2005), and this analysis will further attempt to critically examine such works from a perspective of Han medicine.

추상 시간 기계를 이용한 실시간 시스템의 도달성에 대한 검증 방법 (A Method to Verify the Reachability of Real-Time Systems using Abstract Timed Machines)

  • 박지연;이문근
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제28권3호
    • /
    • pp.224-238
    • /
    • 2001
  • 본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성되어 있으며 모드는 머신의 압축된 상태를 표현한다. 전이는 하나의 모드에서 다른 모드로의 전환을 나타내며 조건과 이벤트로 구성되어 있다. 포트는 ATM간의 상호작용을 위한 진입을 표현한다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 측면에서 볼 때 ATM은 계산 논리뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM의 모드는 계산모드, 추상화 모드, 주제모드로 구분된다. 계산 모드는 코드 상에서의 논리와 계산을 나타내며 추상화 모드는 모드와 전이의 블록을 하나의 ATM으로써 표현한다. 대개의 경우, 이것은 코드 상에서의 블록을 ATM내 하나의 모드로 나타낼 때 사용한다. 주제 모드는 예외나 주기적 동작 등과 같은 다수의 ATM의 주제를 표현한다. 실시간 시스템을 검증하기 위해 시스템의 소스 코드는 역명세 과정을 통하여 ATM으로 표현된다. 검증은 ATM에 대한 도달성 그래프를 생성하는 것에 의해 수행된다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 방법들과 예제를 통하여 비교한다.수 있다. 모피우스는 헤더나 광고와 같은 불필요한 정보들을 제거하는 별도의 단계를 거치지 않으므로 wrapper를 빠르게 생성한다. 궁극적으로 모피우스는 새로운 웹 상점을 사용자가 자유롭게 추가, 삭제할 수 있는 환경을 제공한다.X>와 반응시킬 경우에는 반응식 c에 의거 진행됨을 예측할 수 있었다.의거 진행됨을 예측할 수 있었다.이 거의 산화되지 않았고, $700^{\circ}C$에서도 ZnS와 ZnO 상이 공존한 것으로 보아 SnO$_2$코팅이 ZnS의 산화를 억제하는 것으로 나타났다.pplied not only to the strike system in the RSC circle, but also to the logistics system in the SLC circle. Thus, the RSLC model can maximize combat synergy effects by integrating the RSC and the SLC. With a similar logic, this paper develops "A Revised System of Systems with Logistics (RSSL)" which combines "A New system of Systems" and logistics. These tow models proposed here help explain several issues such as logistics environment in future warfare, MOE(Measure of Effectiveness( on logistics performance, and COA(Course of Actions)

  • PDF

신경망과 퍼지논리를 이용한 최대수요전력 제어시스템에 관한연구 (A Study on the Control System of Maximum Demand Power Using Neural Network and Fuzzy Logic)

  • 조성원
    • 한국지능시스템학회논문지
    • /
    • 제9권4호
    • /
    • pp.420-425
    • /
    • 1999
  • 최대수요전력 예측과 제어의 목적은 공장 또는 빌딩등의 전력수용가의 입장에서 수시로 변동하는 부하의추이를 파악 예측하여 에너지 합리화 경제성 증대 산업기기의 보호 수용가의 비용절감과 더불어 크게는 국가적인 전력시스템안정화를 가져가기 위함에 있다. 최대수요전력 예측/제어를 위한 기존의 방법들은 수용가 특성이나 계절별 요일별 차이를 고려하지 않고 고정된 알고리즘에 의해 예측값이 결정되므로 환경변화에 적극적인 대응능력이 부족한 단점이있다. 이와같은 문제점의 해결을 위해 본 논문에서는 현재 많은 연구가 되고 있는 SOFM 신경망을 이용한 예측 방법과 예측치의 보정방법으로 퍼지제어길르 추가한 형태의 최대수요전력예측 제어기를 제안한다, 예측방법의 경우 유동적이며 적은 구간을 통하여 순시부하처럼 변동이 많은 데이터에 대하여 예측시간을 단축함과 동시에 오차를 줄여나갈수 있다. 또한 2단계의 학습을 통하여 SOFMd의 출력값이 패턴이 아닌 예측치가 될 수 있도록 변형하였으며 패턴자체의 변화에 대응하여 패턴오차를 이용하여재학습을 하도록 하여 불안정한 전력에 대하여 보완한다. 그리고 예측후반부에 퍼지제어기를 연결하여 예측의 신뢰성을 높이는 안정된 예측구조를 가지고 있다. 실험결과 시계열 예측방법인 지수평활법보다 제안된 예측/제어 방법이 우수함을 확인하였다.

  • PDF

모순 문제 해결을 위한 의사결정트리 기반 나비 알고리즘의 개발과 적용 (Development and Application of the Butterfly Algorithm Based on Decision Making Tree for Contradiction Problem Solving)

  • 현정석;고예준;김융결;전승재;박찬정
    • 컴퓨터교육학회논문지
    • /
    • 제22권1호
    • /
    • pp.87-98
    • /
    • 2019
  • 모순에 대한 일반적인 생각은 모순을 해결 가능성이 전혀 없는 공집합이나 논리적으로 틀린 것이다. 두 가지 대안 중에서 어느 쪽도 바람직하지 못한 결과를 초래하는 딜레마는 그 안에 숨어 있는 모순을 해결해야 하므로 해결이 어렵다. 하지만 이런 특성으로 인해 역설적으로 모순 해결은 혁신적이고 창의적인 문제 해결로 간주 되어왔다. 문제의 해법을 모순 해결의 관점에서 분석하는 트리즈(TRIZ)는 그동안 컴퓨터보다는 인간의 관점에서 문제 해결 방법으로 사용되었다. 트리즈처럼 모순 해결 중심으로 문제를 분석하는 나비 모형은 문제 해결의 자동화 관점에서 기호 논리학을 이용하여 모순 문제의 유형을 분석하였다. 모순문제유형별 구체적 해결전략을 적용하기 위해 본 연구에서는 의사결정트리 기반의 나비 알고리즘을 설계하였다. 본 연구는 파이선 tkInter를 바탕으로 주어진 모순 문제의 구체적 해결전략을 찾아 사용자들에게 제시하는 시각화 도구를 개발하였다. 개발한 도구를 검증하기 위하여 중학교 3학년 학생들이 나비 알고리즘을 학습한 후, 나무지지대의 모순 문제를 분석하도록 하였다. 학생들이 새로운 해결책을 찾아 발명대회에 참가하여 대상을 받았다. 본 연구에서 개발한 의사결정트리 기반 나비 알고리즘은 문제 해결 초기에 문제의 해결공간을 체계적으로 줄여주어 시행착오 없이 모순 문제를 해결하는데 도움을 줄 수 있다.

다오염물질 상황에서의 최적가용기법 기준의 경제적 효율성에 관한 연구 (Economic Efficiency of the BAT Standards in a Multi-pollutant Environment)

  • 한택환;임동순
    • 환경영향평가
    • /
    • 제28권2호
    • /
    • pp.141-151
    • /
    • 2019
  • 우리나라는 2015년 환경오염시설의 통합관리에 관한 법률을 통과시켜서 BAT 기준서에 의한 통합환경관리가 실시중이다. 통합환경관리의 성격을 요약하면 다오염물질 배출원에 대한 관리의 통합화와 BAT 로 대변되는 기술적 기준에 의한 규제이다. 일반적으로 경제학에서는 기술기준에 의한 규제는 정태적 동태적 비효율성을 가져오는 것으로서 회피하여야 할 정책수단으로 알려져 있다. 통합환경관리제도는 BAT규제를 바탕으로 운용되는데 이에 대한 경제적 효율성 역시 심각한 의문의 대상이 될 수 있다. 본 논문은 BAT 기준의 효율성을 경제학적 관점에서 평가하고자 시도한다. 간단한 다오염물질 모형을 통하여 BAT 규제의 경제적 효율성을 분석하여 본 결과 단일오염물질상황에서도 정보의 불완전성으로 인하여 약하게 존재하던 환경세의 BAT 대비 비효율성이 다오염물질 상황하에서는 더욱 커짐을 보여주었다. 다오염물질관리체계로서 IPPC와 BAT가 한 묶음으로 추진되고 실행되어온 이유가 이러한 사실에 의하여 부분적으로 설명된다. EU에서 석탄 상대가격의 하락으로 대기오염물질의 배출 증대가 우려되는 상황에서 BAT 기준의 강화로 대처한 것이 가격구조와 실효적 환경세의 변동으로 인한 환경적 후생손실을 BAT 규제 등으로 대처한 사례 중의 하나로 볼 수 있다.

공급사슬 내 CSV와 파워속성이 정보역량에 미치는 영향 (Impact of CSV and Power Attributes in the Supply Chain on Information Competency)

  • 박광오
    • 경영과정보연구
    • /
    • 제38권2호
    • /
    • pp.83-103
    • /
    • 2019
  • 공급사슬관리(SCM)는 경쟁우위를 점하기 위하여 파트너기업과의 동반성장 방안의 모색과 더불어 지속적 협력관계를 유지하기 위한 노력이 필요하다. 여기에 정보역량이 공급사슬 내에서 많은 역할을 수행하고 있기 때문에 정보역량에 영향을 미칠 수 있는 정보공유와 파트너십 품질과의 관계를 살펴볼 필요성이 크다. 파트너기업 간 지속적 거래관계를 유지하기 위해서는 공급사슬 내 힘의 불균형에 따르는 파트너기업과의 장애요소들을 파악하고 효과적으로 관리하는 전략적 접근이 필요하다. 따라서 파트너기업의 본받을만한 CSV와 비구속적 파워의 속성을 통한 동반성장의 논리를 펼칠 수 있도록 하는 전략적 접근방식을 논할 필요성이 크다고 보여 진다. 최근 CSV는 기존의 CSR과 더불어 사회적 문제 해결이라는 사회적 경제적 창출 관점에서 중요한 이슈가 되고 있다. 자연히 향후 신 경영 패러다임으로써 공유가치창출이 다각도로 검토될 것이다. 본 연구는 SCM의 정보역량 고도화를 위하여 CSV와 비구속적 파워의 개념을 접목하여 사회적인 문제 해결에 따른 기업의 지속 성장 모델을 제안하고자 하였다. SCM 구축업체를 대상으로 한 설문지 142부를 PLS 구조방정식 모형으로 분석하여 다음과 같은 결과를 도출하였다. CSV와 비구속적 파워 모두 정보공유와 파트너십 품질에 유의한 영향을 미쳤으며, 정보공유와 파트너십 품질을 통한 정보역량 향상을 도모할 수 있다는 결과가 도출되었다. 이를 바탕으로 SCM 참여기업의 상생을 위한 변인으로 CSV와 비구속적 파워의 인식을 높여야 한다는 시사점을 제시하였다.

조선 전기 '격치' 개념의 의미화 (The Conceptual Formation of 'Gyeokchi' in the Early Joseon Period)

  • 이행훈
    • 한국철학논집
    • /
    • 제58호
    • /
    • pp.139-160
    • /
    • 2018
  • "대학" 8조목의 하나인 격물치지는 유학의 공부론이자 정치의 출발점이다. 유학의 목표는 수기안민, 내성외왕으로 집약된다. 조선 전기격치 개념은 이를 위한 학문과 위정의 시초로서의 의미가 강조된다. 이는 유학이 국가 운영의 핵심적인 가치 체계로 자리하게 되면서, 불교에 의지해 국가를 운영하던 시스템의 일대 변환과 사상적 패러다임의 전환을 예비하는 것이었다. 인륜 규범을 정하고 사회를 질서 짓는 근거로 유학이 부상하면서 유학의 경세론적 특성이 두드러진 것도 이 시기였다. 조선조 내내 "대학연의"는 제왕의 학문과 정치의 모범으로 경연에서 강론되었고, 그 출발점으로 '격치'가 논의되었다. 한편 '격치'와 관련한 다양한 해석과 논변은 경학사상사적으로 정주 성리학이 조선 성리학으로 심화되는 과정을 여실히 보여준다. '격물'과 '물격' 해석을 둘러싼 논변은 인식 주체와 대상의 문제를 넘어 리의 본질을 궁구하는 문제와 맞닿았고, 기호와 영남 유학을 가르는 분수령이 되었다. 다양한 해석과 논변에도 불구하고 앎과 실천을 통합하는 유학의 공부론은 인문학의 역할과 위상에 대한 우려의 목소리가 높은 시대에 하나의 실마리를 제공할 수 있을 것이다. 시장 논리에 내맡겨진 과학기술의 방향과 속도를 조절하는 데에 대학과 인문학의 역할은 오히려 강화되어야 하고, 학문의 궁극적인 목표를 재성찰함으로써 이러한 문제에 조금 더 다가갈 수 있기 때문이다.

한방진단설문지 임상자료에 근거한 기혈음양 허증병기 의사결정규칙 연구 (A Study on Decision Rules for Qi·Blood·Yin·Yang Deficiency Pathogenic Factor Based on Clinical Data of Diagnosis System of Oriental Medicine)

  • 전수형;이인선;지규용;김종원;강창완;이용태
    • 동의생리병리학회지
    • /
    • 제37권6호
    • /
    • pp.172-177
    • /
    • 2023
  • In order to deduce the pathogenic factor(PF) diagnosis logic of underlying in pattern identification of Korean medicine, 2,072 cases of DSOM(Diagnosis System of Oriental Medicine) data from May 2005 to April 2022 were collected and analyzed by means of decision tree model(DTM). The entire data were divided into training data and validation data at a ratio of 7:3. The CHAID algorithm was used for analysis of DTM, and then validity was tested by applying the validation data. The decision rules of items and pathways determined from the diagnosis data of Qi Deficiency, Blood Deficiency, Yin Deficiency and Yang Deficiency Pathogenic Factor of DSOM were as follows. Qi Deficiency PF had 7 decision rules and used 5 questions: Q124, Q116a, Q119, Q119a, Q55. The primary indicators(PI) were 'lack of energy' and 'weary of talking'. Blood deficiency PF had 7 decision rules and used 6 questions: Q113, Q84, Q85, Q114, Q129, Q130. The PI were 'numbness in the limbs', 'dizziness when standing up', and 'frequent cramps'. Yin deficiency PF had 3 decision rules and used 2 questions: Q144 and Q56. The PI were 'subjective heat sensation from the afternoon to night' and 'heat sensation in the limbs'. Yang deficiency PF had 3 decision rules and used 3 questions: Q55, Q10, and Q102. The PI were 'sweating even with small movements' and 'lack of energy'. Conclusively, these rules and symptom information to decide the Qi·Blood·Yin·Yang Deficiency PF would be helpful for Korean medicine diagnostics.

유아기 급성폐손상 병태생리 연구를 위한 어린 토끼 실험모델 (Young Rabbit Model for Pathophysiologic Study of Acute Lung Injury in Early Childhood)

  • 권영민;최석철;박종원;김양원;이양행;황윤호;조광현
    • Journal of Chest Surgery
    • /
    • 제36권8호
    • /
    • pp.545-558
    • /
    • 2003
  • 급성 폐 손상을 초래하는 성인호흡곤란증후군(ARDS)은 높은 치사율 때문에 많은 임상의들의 관심과 연구대상이 되어왔다. 그동안 선행 연구자들의 지속적인 노력에도 불구하고 유아 및 소아그룹의 ARDS에 관한 병태생리학적 규명은 여전히 미흡한 실정이다. 본 연구는 어린 토끼(생후 약 8주)를 실험적 내독소성 급성폐손상 모델로 사용하여 유소아 그룹의 급성폐손상 병태생리의 시간적 진행양상을 규명하기 위해 전향적으로 계획되었다. 대상 및 방법: 연구목적에 따라 실험용 토끼를 대조군(n=8)과 실험적 급성폐손상을 위한 내독소 투여군으로 나눈 후, 검체의 채취시간에 따라 내독소 투여군을 다시 3, 6, 12 및 24시간 군으로 아그룹화하였다(시간대별 각 군의 n=8). 토끼의 귀정맥을 통해 대장균 내독소(Escherichia coli serotype O55. B5)를 0.50 mg/kg 투여한 후, 각 군별로 혈액 및 기관지폐포 세척액을 채취하여 백혈구계의 동태, 면역학적 인자들, 단백질 농도를 측정하였고, 폐의 병리조직학적 소견도 함께 관찰하였다. 결과: 내독소 투여군들에서 3시간 및 6시간대에 혈액 내 호중구, 림프구, 단 구, 그리고 호산구 수 감소에 기인한 총 백혈구 수의 유의한 감소가 있는 반면, 12시간 및 24시간 때 호중구 수 증가에 기인한 총 백혈구수의 증가가 있었다(p <0.05). Tumor necrosis factor-${\alpha}$ (TNF-${\alpha}$) 및 interleukin-1 ${\beta}$ (IL-1 ${\beta}$ )의 혈중농도는 대부분의 시간대에 내독소 투여군들이 대조군보다 유의하게 높았다(p <0.05). Superoxide dismutase (SOD) 농도는 3시간 및 6시간 때에는 내독소 투여군들이 대조군보다 높았으나(p<0.05) 12시간 때에는 오히려 낮았다(p <0.05). 기관지폐포 세척액 내 총 백혈구 수와 단백질 농도는 내독소 투여군들이 전 시간대에 걸쳐 대조군보다 유의하게 높았다(p<0.05). 내독소 투여군들의 경우 기관지폐포 세척액의 출혈성 경향을 보였다. 내독소 투여군들은 페간질 및 실질조직 내 주로 림프구와 단구로 구성된 염증성 세포들의 심한 침윤, 폐포 내 약간의 호중구 격절, 그리고 간질의 비후와 같은 폐 손상 징후를 보였다. 이러한 현상은 내독소 투여 6시간대에 가장 심하였으나 시간경과에 따라 조금씩 호전되었다. 내독소 투여군들의 면역학적 표식자들(TNF-${\alpha}$, IL-1${\beta}$, SOD)과 기괸지폐포 세척액 변수들 간에 여러 시간대에 걸쳐 유의한 양 혹은 음의 상관관계를 보였다(p<0.05). 결론: 내독소는 어린 토끼에 있어 급격하고 치명적인 급성염증성 폐손상을 일으키며 그 병태생리학적 진행이 6시간대까지는 시간의존성으로 격심해지고 이후부터 완화되는 경향을 보였다. 이러한 내독소 기인성 급성폐손상의 발생과 진행에는 혈액학적, 면역학적, 생화학적 변수들이 복합적으로 관여하였으며, 어린 토끼는 혈액 내 투여된 내독소에 대해 매우 민감하고 신속한 반응을 보임으로써 향후 유아 및 소아그룹 연구를 위한 실험동물모델로서의 이용 가능성을 보여주었다.

로열티 프로그램이 고객 참여와 소비자-브랜드 관계에 기초한 관계형 시장 행동에 미치는 영향 : 프랜차이즈 회원제 휘트니스클럽을 대상으로 (The Marketing Effect of Loyalty Program on Relational Market Behavior : Focusing in Franchise Membership Fitness Club)

  • 윤경구;신건철
    • 한국유통학회지:유통연구
    • /
    • 제17권2호
    • /
    • pp.1-28
    • /
    • 2012
  • 본 연구는 Sheth and Parvatiyar(1995)가 제시한 관계형 시장 행동의 가정과 정의에 대한 Bagozzi(1995), Peterson(1995)의 논평에 기초해 관계 마케팅 방식으로서 로열티 프로그램이 고객 참여와 소비자-브랜드 관계에 기초한 관계형 시장 행동에 미치는 영향을 실증해 보았다. 다음과 같이 연구 결과와 시사점을 정리한다. 첫째, 로열티 프로그램의 관계적 성과를 검증한 결과, 로열티 프로그램이 고객의 참여, 소비자-브랜드 관계, 관계형 시장 행동에 미치는 긍정적 효과를 실증하였다. 선행 연구에서의 주장과 일치하는 이러한 결과는 소비자와 기업이 마케팅 관계에 참여하려는 의지와 능력은 더 높은 마케팅 생산성을 낳는다는 Sheth and Parvatiyar(1995)의 제안 명제를 확인시켜 주고 있다. 둘째, 소비자-브랜드 관계의 매개효과 그리고 소비자-브랜드 관계의 구성 변수와 관계형 시장 행동의 구성 변수간 영향을 미치는 개별적인 인과 관계에 대해 일관된 결과를 보이지 않고 있다는 주장(Palmatier, Dant, Grewal and Evans, 2006)에 따라 다중 회귀분석으로 추가 분석을 실시한 결과, 소비자-브랜드 관계의 질적 특성을 이루는 여섯 개 항목들이 개별적으로 관계형 시장 행동에 영향을 미치는 회귀 모델의 설명력이 더 높다는 Breivik and Thorbjornsen(2008)의 연구결과를 지지하는 결과를 얻었다. 셋째, 고객의 참여를 활성화시킬 때 소비자-브랜드 관계 및 관계형 시장 행동이라는 관계 성과가 나타난다는 시사점을 제시하였다. 이는 관계 마케팅 활동과 고객 참여를 증가시키려는 노력이 소비자와의 관계 유지와 성과에 중요하다는 선행 연구의 주장 (Bitner, 1995, Fournier, 1994 ; Sheth and Parvatiyar, 1995)에서 뒷받침된다.

  • PDF