• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2003년도 ISIS 2003
• /
• pp.353-357
• /
• 2003

Although it is more and more well accepted that modeling is a help for experimental biology, little is known about how to integrate physiological processes in general. The fact that no general theory exist in biology has big consequences, the most important being the difficulty to integrate biological phenomena. 1 will present a solution for the three dependent following issues: i) in an appropriate theoretical framework, integration consists in coupling models that each describe physiological mechanisms (formalization is a necessary condition to integration); ii) a biological theory with its own concepts leads to unifying principles in biology that are different from and complementary to physical principles; iii) such a formalized theory consists in a representation in terms of functional interactions and a specific formalism(S-Propagator). Hence a biological theory is of a topological and geometrical nature, in contrast to physical theories that are of a geometrical nature. An application to the interpretation of intelligence is proposed, based on the "intelligence"of movement.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2020년도 제62차 하계학술대회논문집 28권2호
• /
• pp.119-122
• /
• 2020

소스 코드가 없는 악성코드를 분석하거나 소프트웨어 취약점 분석을 위해 바이너리 분석이 요구된다. 바이너리 분석을 위한 도구 중 어셈블러는 사용자의 입력 없이 컴파일러 내부에서 수행되기 때문에 사용자 관점의 연구는 많지 않다. 그러나 바이너리 분석 과정 중 역어셈블과 중간언어(Intermediate Representation)의 정확성을 검증하기 위해 사용자가 어셈블리어를 입력하여 결과를 확인할 수 있는 어셈블러가 요구된다. 본 논문에서는 어셈블리어를 바이너리 코드로 변환하는 어셈블러 도구를 함수형 언어인 F#으로 구현하여 어셈블리 과정을 효율적으로 설계한 어셈블러 도구를 제안한다. F#의 강력한 패턴 매칭 기능을 사용하여 수백개의 명령어를 일괄적이고 직관적으로 처리하는 과정을 설계하고 구현하였다.

• 한국자동차공학회논문집
• /
• 제20권4호
• /
• pp.109-118
• /
• 2012

Large number of part design for aircraft and automobile is preceded by functional or sectional design groups for efficiency. However, interferences and gaps can be found when the parts and sub-assemblies by those design groups are to be assembled. These interferences and gaps cause design changes and additional repair processes. While interference problem has been resolved by digital mockup and concurrent engineering methodology, gap problem has been covered by temporary treatment of filling gap with sealant. This kind of fast fix causes fatal problem of leakage when the gap is too big for filling or the treatment gets old. With this research, we have developed a program to find the gap automatically among parts of assembly so that users can find them to correct their design before manufacturing stage. By using decomposition model representation method, the developed program can search the gap among complex car body parts to be visualized with volumetric information. It can also define the boundary between the gap and exterior empty space automatically. Though we have proved the efficiency of the developed program by applying to automobile assembly, application of the program is not limited to car body only, but also can be extended to aircraft and ship design of large number of parts.

• 한국실내디자인학회논문집
• /
• 제14권5호
• /
• pp.106-113
• /
• 2005

New images percolate through human consciousness by the media such as movies, TV programs, and brilliant advertisements. These images reproduce new ' things ' throughout the ' semantic processes ' by those who experience and recognize them. Alvin Toffler describes it as the ' information bomb ' and ' image fragments ' in his talk about the new paradigm of information-oriented era. The increasing number of images and their accelerating rate of appearance imply that images become more momentary, and are evidence that they are transforming entire human life and consciousness. Such awareness means a lot to a designer. Especially, the subject that how modern space-dominating images are related to the structure and materials constituting the space and communicate with human mind will be an important factor in establishing the human-space relationship in the future. Furthermore, the present age overspread with various medium is not the only one privileged of the images that exist within space. They are the results of continuous expansion of existing images, and also process of evolution of space powered by the fusion of images and digital media. Imagified space is a boundary layer of Cyberspace, and the space itself becomes an interface by human recognition and participation. Now, the functional classification of spaces such as ' office, ' ' cafe, ' and ' school ' is meaningless. Whatever it may be, the function of a space is defined by the information it interfaces, and therefore it becomes an interface to information through a large number of images. Based on this idea, we will observe the imagificaiton of space in the form of discussion, and from that, try to understand the phenomenon through the real world examples.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 2001년도 학술대회 논문집
• /
• pp.237-257
• /
• 2001

This paper investigates the idiosyncratic understanding of universal quantifiers such as every, each or all by young children at the ages of 4 to 7, and argues that the phenomenon is explicable in terms of the maturation of both the cognitive system and the linguistic system. Evidence for this dual explanation comes from the fact that the visual input, a picture, plays a key role in determining the children’s conceptual representation, suggesting the need for the central integration of visual and linguistic elements; and from the fact that a quantifier in the linguistic input has an intrinsic property, i.e. a <+focus> feature. I have tried to explain the nature of the cognitive factors in terms of the function of the central system, suggesting a modified form of Smith & Tsimpli’s (1995) version of Fodor’s (1983) modularity hypothesis. Conceptual representations of two kinds are in competition with each other and they are integrated into a neutral LOT (Language of Thought) representation at some point . In the process of this integration, the representations from the visual input predominate over those from the auditory input, though the quantize. (treated as new information provided by the latter) is salient in the final representations. When visual conceptual representations predominate over purely linguistic ones, quantifier spreading errors occur. By contrast, when the relevant grammatical knowledge has developed sufficiently to counteract the conceptual representations, this peculiar behaviour by children should disappear. It is argued that children have to learn two kinds of grammatical fact with regard to universal quantification: (i) they have to learn the status of the quantifier as a functional head of DP so that it has to be positioned inside DP; and (ii) they have to learn the Left-Branch Condition which specifies that movement of an element in the left-branch position is possible only by pied-piping the entire phrase.

• 한국철도학회논문집
• /
• 제18권1호
• /
• pp.25-32
• /
• 2015

일반도로와 노면전차가 교차하는 신호교차로에서 준비되어야 하는 교통신호제어 운영조건을 검토하고 이를 토대로 노면전차 교통신호와 일반차량 교통신호의 효율적 통합 운영을 지원하기 위해 현재의 교통신호제어기가 추가 확보하여야 하는 기능적 및 기술적 요구사항을 진단한다. 본 연구의 검토 내용은 도로 현장에서 발생 가능한 일반차량과 노면전차의 다양한 교차상황, 노면전차 전용신호등의 등기단자 최소 구성, 교통신호현시 순서 운영상황 조합 및 이를 기반으로 한 현시표출방안을 포함한다. 분석결과 우회전 중첩현시 표출을 위한 중첩현시 등기장치 및 노면전차와 일반차량 복합 현시운영을 위한 사중고리현시표출체계 기능을 포함하는 교통신호제어기 도입이 필요함을 제안한다.

• 한국실내디자인학회논문집
• /
• 제19권1호
• /
• pp.112-120
• /
• 2010

Generally, Interior design understood as shapes, lines, spaces, tones, quality, and principal. And people research these with a study of formative approach. The six elements of above categories are basis of expansion for the various designs. In this study, the represented design language is extracted by the basic 6 stages and re-divided into classes. This study presented by the Kobayashi-scale image of the current trends in the assignment to examine the cultural, functional, sensory vocabulary, three elements were classified by the assignment about 2008~2009 international fair by trend and design direction for the image. If we look into the categorized format of the design, it reflects mixed culture with emotional approach and shows direction of design constantly. Especially, compared to the year 2008, the design of year 2009 has tendency as an emotional translator regarding the verbal expression. In other words, it becomes more concrete to express the design of emotions for human beings. In addition, design shows detail of its flow with outcomes of past leading trend which was re-created shape. On the other hand, undeveloped cultures such as folk, historical, and unique cultures attract design leaders as it is. This research would make good relationship between designers and customers regarding the newly started international trend of design. Hereby I research with the method to reclassify the image of vocabulary from the image scale extract. It remains as a task to resolve ambiguous, complex and neutral expression for better understanding and definite analysis method to the public.

• 한국측량학회지
• /
• 제36권6호
• /
• pp.499-505
• /
• 2018

지금까지 만들어지고 있는 실내공간데이터는 공간적 활용을 위한 데이터라고 하기 보다는 삼각분할로 표현된 3DS나 COLLADA 형식의 가시화 데이터이다. 의미 있는 공간분석이나 실내응용서비스를 개발하기 위하여서는 단순히 삼각분할로 만들어진 가시화데이터가 아니라 의미적 공간정보가 필요하다. OGC (Open Geospatial Consortium) 표준인 IndoorGML(Indoor Geographic Markup Language)은 가시화가 아니라 실내공간 분석을 비롯한 다양한 응용을 위하여 만들어진 공간데이터 형식이다. 따라서 삼각분할로 표현된 3DS나 COLLADA형식의 실내 공간데이터를 OGC IndoorGML 형식으로 변환하는 것은 중요한 작업이 된다. 본 논문에서는 이 문제를 해결하기 위하여, 삼각분할 형식으로 표현된 원시 실내 공간데이터를 기하, 위상, 그리고 의미적으로 유용한 IndoorGML로 변환하는 방법을 제시한다. 또한 이 변환 방법의 타당성을 위하여 개발된 도구도 함께 소개한다. 실제 데이터를 통한 실험을 통하여 이 방법과 개발된 도구를 검증하였다.

• 정보처리학회논문지A
• /
• 제9A권3호
• /
• pp.363-370
• /
• 2002

OPKFDD(Ordered Pseudo-Kronecker Functional Decision Diagram)는 각 노드에서 다양한 확장방법(decomposition)을 취할 수 있는 Ordered-DD(Decision Diagram)의 한 종류로서 각 노드마다 Shannon, positive Davio, 그리고 negative Davio 확장중의 하나를 사용하도록 하며 다른 종류의 DD와 비교해서 작은 수의 노드로 함수를 표현할 수 있다. 그러나 각 노드마다 각기 다른 확장 방법을 선택할 수 있는 특징 때문에 입력 노드에 대한 확장 방법의 결정에 의해서 OPKFDD의 크기가 좌우되며 최소의 노드 수를 갖는 OPKFDD의 구성은 매우 어려운 문제로 알려져 있다. 본 논문에서는 DD 크기의 기준을 노드 수로 하여 기존의 OBDD(Ordered Binary Decision Diagram) 자료구조에서 각 노드의 확장방법을 결정하는 직관적(heuristic)인 방법을 제시하고, 주어진 입력변수 순서에 대해서 각 노드의 확장 방법을 결정하는 알고리즘을 제안하고 실험 결과를 제시한다.

• 한국컴퓨터정보학회논문지
• /
• 제10권4호
• /
• pp.385-396
• /
• 2005

이 논문에서는 온라인 서명 검증에 대한 새로운 접근 방법으로, 서명을 필기의 기본 구성 요소들로 표현하는 구조적인 접근 방법을 제시한다. 속력의 국부 극소점을 분할점으로 하여 얻어지는 부분을 원시 패턴으로 정의하였고, 서브패턴으로서 방향 변화에 의해 얻어지는 단순 회전형 성분, 첨형 성분, 종형 성분의 세 가지 종류를 정의하여 서명을 구조적으로 표현하였다. 그리고 서브패턴을 기본 단위로 한 동적 계획정합 알고리듬을 제시하였다. 또한, 학습 샘플로부터 국부적인 부분에 대한 변화도와 복잡도를 추출하여 참조 패턴의 학습과 진위 판단 임계치를 설정하였다. 실험을 통하여, 함수적 접근과 매개변수적 접근 그리고 제안된 구조적 접근 방법을 동일 조건에서 검증률, 처리시간, 메모리의 측면에서 비교하였다. 제안된 방법에서는, 서명의 국부적인 가중치를 적용하고 복잡도를 판단임계치의 설정에 사용함으로써 평균 오류율이 14.2%에서 4.05%로 검증률이 크게 향상되었다. 또한, 시간과 메모리의 측면에서 함수적 접근 방법에 비해 효과적이면서도 함수적 접근 방법의 최고 성능에 근접한 검증률을 얻을 수 있었다.