• 대한수학회보
• /
• 제54권6호
• /
• pp.2029-2041
• /
• 2017

The main aim of this article is to study symmetric (v, k, ${\lambda}$) designs admitting a flag-transitive and point-primitive automorphism group G whose socle is PSU(3, q). We indeed show that such designs must be complete.

• East Asian mathematical journal
• /
• 제35권3호
• /
• pp.357-363
• /
• 2019

Let the circle act on a compact almost complex manifold M with a non-empty discrete fixed point set. To each fixed point, there are associated non-zero integers called weights. A positive weight w is called primitive if it cannot be written as the sum of positive weights, other than w itself. In this paper, we show that if every weight is primitive, then the Todd genus Todd(M) of M is positive and there are $Todd(M){\cdot}2^n$ fixed points, where dim M = 2n. This generalizes the result for symplectic semi-free actions by Tolman and Weitsman [8], the result for semi-free actions on almost complex manifolds by the author [6], and the result for certain symplectic actions by Godinho [1].

• 한국멀티미디어학회논문지
• /
• 제14권10호
• /
• pp.1229-1237
• /
• 2011

직접 볼륨 렌더링은 반투명한 물체에 대한 고화질 영상 생성이 가능한 기법으로 광선 투사법이 대표적이다. 이것은 각 화소별로 오브젝트 공간상의 관심 영역을 샘플링하기 때문에 높은 해상도의 영상을 생성할 수 있지만, 각 샘플점마다 반복적으로 수행하는 텍스처 참조와 누적연산 때문에 렌더링 성능이 저하되는 문제가 있다. 최근에는 연산 능력이 매우 커진 GPU를 이용해 광선 투사법을 가속화하는 기법들이 많이 연구되고 있지만 이들 역시 전처리 단계 및 추가적인 메모리 사용이 불가피하다. 본 논문에서는 반투명 물체의 표현이 가능하고, 전처리 과정 및 추가적인 텍스처 메모리를 사용하지 않으면서 기존의 방법들보다 고속으로 볼륨 데이터를 가시화할 수 있는 포인트 프리미티브 기반의 새로운 볼륨 렌더링기법을 제안한다. 이 방법은 볼륨 데이터를 샘플링하여 포인트 프리미티브를 생성하고 이를 이미지 평면상에 투영하는 방식으로 수행속도가 매우 빠르다. 또한, 생성된 포인트 프리미티브를 실행시간에 추가 및 삭제할 수 있기 때문에 OTF를 변경해도 실시간 대응이 가능하다.

• 한국정보과학회논문지:시스템및이론
• /
• 제32권4호
• /
• pp.168-176
• /
• 2005

본 논문에서는 모델 기반으로 한 장의 사진으로부터 중점 정보를 포함한 선분을 이용하여 물체를 3차원 재구성하는 방법을 제안한다. 미리 정의된 다면체를 원시기하모델로 사용하며 한 장의 영상으로부터 복원을 시도하였다. 미리 정의된 다면체 모델을 원시기하모델로 사용하며 사용자가 원시기하모델(primitive)의 각 대응점(correspondence point)을 사진에 매핑 시키는 것으로서 3차원 재구성이 수행된다. 기존의 모델기반 3차원 재구성은 카메라 파라미터들을 복원하거나 반복(iteration)을 통한 오차최소화 기법을 사용하였다. 하지만 본 논문은 원시기하모델에 포함되어 있는 선분들과 그 선분들의 중점 정보로부터 선분을 3차원 복원하며 복원된 선분들로부터 원시기하모델을 재구성하는 방법을 제안한다. 이러한 방법은 선분을 복원하는 단계에서 요구되는 최소한의 카메라 파라미터(focal length) 만으로 원시기하모델을 재구성 할 수 있다.

• 대한한의학원전학회지
• /
• 제33권1호
• /
• pp.197-205
• /
• 2020

Objectives : We analyzed the descriptions of Doek(德)·Qi(氣)·Saeng(生)·Jeong(精)·Sin(神)·Hon(魂)·Baek(魄)·Sim(心)·Ui(意)·Ji(志)·Sa(思)·Ji(智)·Ryeo(慮)·Ji(智) which are the concepts mentioned in the beginning of the ≪Lingshu·Benshen≫. Methods : We reinterpreted this verse in ≪Lingshu·Benshen≫ from the viewpoint of evolution and development of mental function and considered it in relation to the knowledge of modern psychology and brain science. Results & Conclusions : The reproductive essence of the parents are combined, primitive essence (元精) is created and simultaneously primitive spirit is born. Primitive spirit first differentiates into Hon and Baek. Hon and Baek are instinctive mental functions. Up to this point, because the process is completed before birth, primitive spirit, Hon, and Baek are innate spirit. Ui, Ji, Sa, Ryeo and Ji are the rational thinking abilities as mental functions that develop actively after birth. This is called conscious spirit and acquired spirit. Analyzing the contents of , it can be said that the mental function is divided into four layers of primitive spirit-Baek-Hon-conscious spirit.

• 한국건설관리학회논문집
• /
• 제5권5호
• /
• pp.163-171
• /
• 2004

This research investigates a Modeling Spell Checker that, similarly to Word Spell Checker for word processing software, would conform as-built 3D models to standard construction rules. The work is focused on the study of pipe-spools. Specifically pipe diameters and coplanarity are checked and corrected by the Modeling Spell Checker, and elbows are deduced and modeled to complete models. Experiments have been conducted by scanning scenes of increasing levels of complexity regarding the number of pipes, the types of elbows and the number of planes constituting pipe-spools. For building models of pipes from sensed data, a modeling method, developed at the University of Texas at Austin, that is based on the acquisition of sparse point clouds and the human ability to recognize geometric shapes has been used Results show that primitive-based models obtained after scanning construction sites can be corrected and even improved automatically, and, since such models are expected to be used as feedback control models for equipment operators, the higher modeling accuracy achieved with the Modeling Spell Checker could potentially increase the level of safety in construction. Result also show that some improvements are still needed especially regarding the co-planarity of pipes. In addition, results show that the modeling accuracy significantly depends on the primitive modeling method, and improvement of that method would positively impact the modeling spell checker.

• 한국정보처리학회논문지
• /
• 제5권7호
• /
• pp.1883-1895
• /
• 1998

Java 프로그램밍 언어는 general-purpose concurrent object-oriented 언어로 알려져 있다. Java 언어는 개념과 구문 모두가 매우 간결하고 통일되어 있으며 인터넷 환경에서 최대한 활용되도록 하기 위하여 가상기계 개념을 도입하여 목적코드를 생성한다. 프로그래밍 언어에서 가장 중요한 부분이 data type 부분이다. Java 언어는 primitive type과 reference type을 지원한다. Primitive type과 reference type을 지원한다. Primitive type에는 boolean type integral type이 있다. Integral type에는 character, byte, short integer, integer, long integer, single-precision 과 double-precision floating point number가 있다. Reference type에는 class type, interface type, array type이 있다. 그러나 Java 언어는 general-purpose 프로그래밍 언어가 일반적으로 지원하는 structure type을 지원하지 않는다. 대신에 class type이 structure type을 포함하여 지원하는 구조로 되어 있다. 그러나 class type과 structure type은 서로 상이한 data type으로 판단된다. 따라서 Java 언어가 general-purpose의 성격을 가지기 위해서는 structure type을 명시적으로 지원하는 것이 바람직하다고 생각된다. 이 논문은 structure type을 Java 언어에 포함시킬 것을 제안한다.

• 대한수학회지
• /
• 제52권4호
• /
• pp.797-819
• /
• 2015

A trapdoor discrete logarithm group is a cryptographic primitive with many applications, and an algorithm that allows discrete logarithm problems to be solved faster using a pre-computed table increases the practicality of using this primitive. Currently, the distinguished point method and one extension to this algorithm are the only pre-computation aided discrete logarithm problem solving algorithms appearing in the related literature. This work investigates the possibility of adopting other pre-computation matrix structures that were originally designed for used with cryptanalytic time memory tradeoff algorithms to work as pre-computation aided discrete logarithm problem solving algorithms. We find that the classical Hellman matrix structure leads to an algorithm that has performance advantages over the two existing algorithms.

• 한국IT서비스학회지
• /
• 제18권3호
• /
• pp.117-128
• /
• 2019

The remarkable achievements of the artificial intelligence in recent years are also raising awareness about its potential risks. Several governments and public organizations have been proposing the artificial intelligence ethics for sustainable development of artificial intelligence by minimizing potential risks. However, most existing proposals are focused on the developer-centered ethics, which is not sufficient for the comprehensive ethics required for ongoing intelligent information society. In addition, they have chosen a number of principles as the starting point of artificial intelligence ethics, so it is not easy to derive the guideline flexibly for a specific member reflecting its own situation. In this paper, we classify primitive members who need artificial intelligence ethics in intelligent information society into three : Developer, Supplier and User. We suggest a new artificial intelligence ethics, Seoul PACT, with minimal principles through publicness (P), accountability (A), controllability (C), and transparency (T). In addition, we provide 38 canonical guidelines based on these four principles, which are applicable to each primitive members. It is possible for a specific member to duplicate the roles of primitive members, so that the flexible derivation of the artificial intelligence ethics guidelines can be made according to the characteristics of the member reflecting its own situation. As an application example, in preparation for applying artificial intelligence to e-government service, we derive a full set of artificial intelligence ethics guideline from Seoul PACT, which can be adopted by the special member named Korean Government.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2005년도 추계 종합학술대회 논문집
• /
• pp.470-474
• /
• 2005

본 논문은 음함수 프리미티브의 모핑을 이용한 3D 캐릭터의 변형을 효과적으로 표현할 수 있는 방법을 제안하고자 한다. 기존의 3D 변형 방법과 달리 음함수 프리미티브의 파라미터 값만을 조정함으로써 캐릭터의 변형 과정을 간단하고 자연스럽게 표현할 수 있도록 한다. 각 캐릭터의 대응점은 캐릭터를 구성하는 프리미티브의 위치를 이용해 자동적으로 생성될 수 있도록 하고, 중간 프레임의 캐릭터에 대한 프리미티브의 중심점 좌표는 보간을 통하여 생성하도록 하였다. 제안된 캐릭터 변형 방법은 동식물의 성장과정 시뮬레이션에 효과적으로 활용될 수 있다.