• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.442-444
• /
• 2000

이 논문에서는 산업계의 표준으로 널리 사용되고 있는 객체 지향 시스템의 명세 언어인 UML의 sequence diagram을 이용하여 객체 지향 시스템을 검증하는 방법과 이 방법을 테스팅 오라클을 생성하는데 사용할 수 있는 프레임웍을 제시하였다. 우리는 sequence diagram을 테스팅 결과의 검증에 사용하기 위하여 정형적으로 재정의 하였다. 그리고 시제 논리의 강력한 검증 능력을 사용하기 위해서 Half-Order Dynamic Temporal Logic(HDTL)이라 불리는 새로운 시제 논리를 정의하였고 sequence diagram을 HDTL 논리식으로 변화시키는 의미 함수(semantic function)를 정의하였다. HDTL에서 오토마톤을 생성하기 위해서 Tableau 방법을 변형하여 적용시켰다. 이 결과 생성된 오토마톤은 이상 상태(anomaly), 즉 sequence diagram에 표현되지 않은 사건(evevt)의 발생을 검색하는 오라클로 사용할 수 있다. 테스팅의 결과를 수작업으로 검증하는 것은 매우 어렵고 오류가 발생하기 쉬운 작업이므로 제안한 방법은 유용하게 사용될 수 있다.

• Korean Journal of Cognitive Science
• /
• v.13 no.1
• /
• pp.13-21
• /
• 2002

Fuzzy logic ignores some information in the reasoning process. Neural network is powerful tools for the pattern processing, but, not appropriate for the logical reasoning. To model human knowledge, besides pattern processing capability, the logical reasoning capability is equally important. Another new neural network called neural logic network is able to do the logical reasoning. Because the fuzzy inference is a fuzzy logical reasoning, we construct fuzzy inference network based on the neural logic network, extending the existing rule-inference network. And the traditional propagation rule is modified. Experiments are performed to compare search costs by sequential searching and searching by priority. The experimental results show that the searching by priority is more efficient than the sequential searching as the size of the fuzzy inference network becomes larder and an the number of searching increases.

• The KIPS Transactions:PartA
• /
• v.14A no.4
• /
• pp.203-208
• /
• 2007

This paper proposes a $64{\times}64$ Modified Booth multiplier using CMOS multi-valued logic circuits. The multiplier based on the radix-4 algorithm is designed with current mode CMOS quaternary logic circuits. Designed multiplier is reduced the transistor count by 64.4% compared with the voltage mode binary multiplier. The multiplier is designed with Samsung $0.35{\mu}m$ standard CMOS process at a 3.3V supply voltage and unit current $5{\mu}m$. The validity and effectiveness are verified through the HSPICE simulation. The voltage mode binary multiplier is achieved the occupied area of $7.5{\times}9.4mm^2$, the maximum propagation delay time of 9.8ns and the average power consumption of 45.2mW. This multiplier is achieved the maximum propagation delay time of 11.9ns and the average power consumption of 49.7mW. The designed multiplier is reduced the occupied area by 42.5% compared with the voltage mode binary multiplier.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2017.06a
• /
• pp.197-200
• /
• 2017

퍼지 논리를 기반으로 한 적응형 스트리밍 기법인 FDASH 적응 알고리즘은 빠르게 변하는 네트워크 상황에서 우수한 콘텐츠의 화질을 보장하면서 끊김 없는 서비스를 제공하는 특성을 보이지만 비디오의 화질이 자주 변하기 때문에 최고의 사용자 체감 품질 (QoE: Quality of Experience)을 제공하지 못 할 수도 있다. 본 논문에서는 제한된 버퍼 크기를 가지고 동일한 콘텐츠의 화질을 보장하면서도 비디오 화질의 변화 횟수를 줄여서 최적의 QoE를 제공할 수 있도록 하는 변환된 퍼지 논리 기반의 DASH 적응 알고리즘을 제안하고자 한다. 제안된 방식은 우선 퍼지 논리 제어부(FLC : Fuzzy Logic Controller)의 수정을 통하여 다음 세그먼트의 비트율에 대해 최적의 판단을 하도록 하였고, 세그먼트 비트율 필터링 모듈 (SBFM: Segment Bitrate Filtering Module)을 추가하여 비디오 화질의 변화 횟수가 최소화 될 수 있도록 하였으며, 스트리밍 서비스 시작 시 SBFM에 의해 일정시간 저화질의 비디오를 시청해야 하는 상황을 막기 위한 Start Mechanism을 추가하였고, 마지막으로 버퍼의 오버플로우를 방지하기 위해 Sleeping Mechanism을 추가하였다. NS-3를 이용한 네트워크 모의실험 결과를 통해 제안된 방식이 FDASH 방식에 비하여 제한된 버퍼크기 상황 하에서도 오버플로우가 발생하지 않으며 점대점(Point to Point) 상황에서는 거의 동일 화질 성능을 보이면서도 비디오 화질 변화 횟수를 50% 이상 줄일 수 있음과 일반 Wifi환경에서는 오히려 17.8%정도 더 뛰어난 비디오 화질 성능을 보이면서 비디오 화질변화 횟수 측면에서는 53.1%정도 줄일 수 있음을 보여준다.

• Journal of The Korean Association For Science Education
• /
• v.9 no.1
• /
• pp.101-111
• /
• 1989

본 연구의 목적은 광합성과 관련하여 한국 국민학교 5학년과 중학교 2학년 학생들이 갖고 있는 오개념을 조사하고, 학생들의 개념이해 정도, 논리적 사고능력, 그리고 학생배경변수들 사이의 상호관계를 조사하는 것이다. 세가지의 도구들이 이 연구를 위해 개발되었다. 광합성 개념검사 (Photosynthesis Concepts Test)는 광합성과 관련된 개념들의 이해를 평가하기 위해, 삐아제의 논리적 사고력 검사(Piagetian Cogical Reasoning Test)는 PCT에 포함된 3종류의 논리적 사고들, 변인 통제, 조합적 사고력, 상관관계 사고능력을 평가하기 위해, 그리고 실문서는 학생들의 배경변수들에 대한 정보를 얻기 위해 개발되었다. 이 도구들은 20명 의 국민학교 5학년, 239명의 중학교 2학년 학생들에게 시행되었다. 이 연구의 결과는 두집단의 학생들이 "먹이를 만든다"는 의미, 먹이의 정의, 식물에 의한 빛의 사용, 식물 뿌리와 잎의 기능들, 광합성 산물, 그리고 광합성을 위한 조건들과 관련하여 오개념을 갖고 있음을 보여 주었다. 국민학교 5학년과 중학교 2학년 사이의 개념 이해의 향상은 식물에 의한 빛 이용의 본질, 한 체계내에서 생물들간의 물질 교환, 포도당, 지방, 단백질 등에 대한 지식에서 보여졌고, 그래프를 해석하는 능력에서 또한 중학교 2학년 학생들이 앞섰다. 향상을 보인 항목들은 교과서에서 보다 많은 강조점을 두거나 상위의 논리적 사고능력을 요구하는 것들이었다. 희귀분석 결과, 전년도 과학성적과 논리적 사고력이 PCT 성취도에 가장 예견력이 높은 두 변수이며 5학년의 경우 성취도의 약 22%의 변량을, 중2의 경우 성취도의 약 40%의 변량을 설명하였다. 후속연구로서 내용의 추상성, 적절성, 그리고 요구되는 논리적 능력면에서 교수조건의 변형을 통한 오개념의 변화와 감소에 대한 실험적 연구가 제시되었다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.11 no.8
• /
• pp.736-741
• /
• 2001

The restoration optimum image from transformation image demands compound change of image change, calender reform, and multiple solution calculation. This study presents that system actively deal with outside interference, vibration, movement, mechanical feature on the operating or before the operating and avoids complicated mathematical numerical expression and revise based on expert knowledge based which applies Fuzzy Logic which is one of Artificial Intelligent technique.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.545-547
• /
• 1999

소프트웨어 애플리케이션에서 재사용성이 높고 기술적 자산으로서의 가치는 일반적으로 Business Logic 또는 Control 논리를 적용하고 있는 부분에 있다. User Interface나 DB 등 다른 구성 부분은 개발 환경의 변화에 따라 기존 산출물을 변형 적용하고 Control 및 논리 부분은 객체 컴포넌트화 하여 설계, 구현의 산출물을 재사용 저장소에 넣어, 유사 시스템이나 조직내 다른 응용 영역에서 재사용 할 수 있도록 저장소에 넣어, 유사 시스템이나 조직내 다른 응용 영역에서 재사용할 수 있도록 한다. 이러한 컴포넌트 자산들을 구축하는 과정을 정형화하는 프로세스를 정의하고 수운용 시스템 개발에 시범 적용한 사례를 살펴봄으로써 컴포넌트 중심의 재사용 모델을 제시하고 성공적인 재사용 체제의 구축 배경을 설정한다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.5
• /
• pp.17-37
• /
• 2003

This paper presents the ASVO (Automation-considered SVO) Logic that can be used for verifying authentication and key distribution protocols. The ASVO logic was designed for automatic verification, in a way to modify the SVO logic, one of the most famous authentication logics. The ASVO logic is syntactically and semantically sound, and requires relatively simple verification steps. Also we implemented the Isabelle/ASVO system which supports semi-automated verification, by using the Isabelle/Isar system.

• Proceedings of the KIEE Conference
• /
• 1999.07g
• /
• pp.3021-3023
• /
• 1999

엄격한 시간 제약성에 의해 특성화되는 실시간 시스템의 성능을 평가하기 위해서 퍼지-랜덤 변수가 포함된 이산 사건 모델을 제시한다. 실시간 시스템의 정확성은 출력의 논리적 결과 뿐 아니라 반응시간에도 의존하므로, 본 논문에서는 실시간 시스템의 성능을 유연하게 평가하기 위해서 퍼지-랜덤 변수에 의해 적절하게 변형된 상태 오토마타를 제시하고 그 오토마타를 적용한 수치 예제를 제시한다.

• Journal of Christian Education in Korea
• /
• v.63
• /
• pp.121-150
• /
• 2020

The important developmental tasks of young adults are based on encounter and identity. These problems of encounter and identity are also connected to the instinct of longing for the "face" of primary caregivers, who acknowledge and affirm themselves as their cherished children. James Loder emphasizes that human "face pursuit instinct" later reaches "formal-operational stage" and leads to religious yearning for God as "the Eternal Face." This pursuit of "face" and "the Eternal Face" is an existential and ontological move to find out "Who am I?" through meaningful encounters. Religious psychologist Carl Jung also points out that scientific thinking has contributed to the liberation of humans from superstitious beliefs. But this has also led to the loss of the precious value of human spirit and the sense of unity with nature. Jung emphasizes that "symbolic play" should help learners and counseler face-to-face with their unconscious mind. By doing so, learners can overcome the wounds and scars of unconsciousness and mature toward the true self. James Loder is a scholar who critically introduced Jung's "unconscientious confrontation" therapy to his educational theory. Beyond Jung's unconsciousness and "symbolic play," Loder proposed transformational education for the learners to participate in meaningful changes through interaction between human spirit and the Holy Spirit. With many young adults wandering around in their existential voids, it is clear that functional and socializational education cannot overcome their problems and developmental crisis. This developmental crisis requires a foundation of identity and intimacy in the encounter with God, the "Eternal Face." Therefore, this study suggests that when Jung's "unconscious confrontation" and Loder's "transformation logic" are employed, transformational Christian education for the healthy self-identity and intimacy of young adults can be accomplished. This inquiry presents not only theoretical reflection, but also the reactions of young adults and actual feedback obtained through implementing transformational Christian education for young adults. Through all of these endeavors, this inquiry was completed by proving that "Transformational Christian Education for Young Adults" is an educational theory that can yield actual results and abound fruits. (This enquiry was undertaken by the support of the research fund of PUTS 2020.)