• 대한수학회지
• /
• 제61권1호
• /
• pp.109-132
• /
• 2024

The Clifford algebra of a direct sum of real quadratic spaces appears as the superalgebra tensor product of the Clifford algebras of the summands. The purpose of the current paper is to present a purely settheoretical version of the superalgebra tensor product which will be applicable equally to groups or to their non-associative analogues - quasigroups and loops. Our work is part of a project to make supersymmetry an effective tool for the study of combinatorial structures. Starting from group and quasigroup structures on four-element supersets, our superproduct unifies the construction of the eight-element quaternion and dihedral groups, further leading to a loop structure which hybridizes the two groups. All three of these loops share the same character table.

• 대한수학회지
• /
• 제45권4호
• /
• pp.1089-1100
• /
• 2008

For a pointed space X, the subgroups of self-homotopy equivalences $Aut_{\sharp}_N(X)$, $Aut_{\Omega}(X)$, $Aut_*(X)$ and $Aut_{\Sigma}(X)$ are considered, where $Aut_{\sharp}_N(X)$ is the group of all self-homotopy classes f of X such that $f_{\sharp}=id\;:\;{\pi_i}(X){\rightarrow}{\pi_i}(X)$ for all $i{\leq}N{\leq}{\infty}$, $Aut_{\Omega}(X)$ is the group of all the above f such that ${\Omega}f=id;\;Aut_*(X)$ is the group of all self-homotopy classes g of X such that $g_*=id\;:\;H_i(X){\rightarrow}H_i(X)$ for all $i{\leq}{\infty}$, $Aut_{\Sigma}(X)$ is the group of all the above g such that ${\Sigma}g=id$. We will prove that $Aut_{\Omega}(X_1{\times}\cdots{\times}X_n)$ has two factorizations similar to those of $Aut_{\sharp}_N(X_1{\times}\cdots{\times}\;X_n)$ in reference [10], and that $Aut_{\Sigma}(X_1{\vee}\cdots{\vee}X_n)$, $Aut_*(X_1{\vee}\cdots{\vee}X_n)$ also have factorizations being dual to the former two cases respectively.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권11호
• /
• pp.826-836
• /
• 2002

Id 언어와 같은 함수형 언어의 중천루프에 포함된 미세한 수준의 대규모 병렬성을 다중스레드 구조상에서 이용하려면 프로세서뿐만 아니라, 이름공간을 위한 상당히 말은 기억공간 등의 자원이 추가로 요구된다. 이러한 병렬성을 포함하는 중첩루프론 시스템 자원 제한 없이 무분별하게 펼쳐서 실행하려고 한다면, 실행도중 기억공간의 자원의 고갈로 인하여 프로그램의 실행이 중단될 수 있다. 또한, 루프의 펼침에 따른 부담으로 인하여 프로세서의 수에 비해서 루프를 지나치게 많이 펼치는 경우에, 병렬 수행의 효과가 상당히 떨어질 수 있다. 본 논문에서는 함수형 언어의 중첩루프를 다중스레드 구조상에서 효과적으로 펼쳐서 실행할 수 있는 알고리즘을 제안하고 분석한다. 제안된 알고리즘의 특성은 주어진 중첩루프를 펼칠 시점에 프로세서 수와 기억공간의 현재 사용 가능한 시스템 자원 양에 제한하여 안전하면서도 가능한 최적으로 펼친다는데 있다.

• 한국농촌건축학회논문집
• /
• 제20권1호
• /
• pp.37-44
• /
• 2018

The purpose of this study is to know how to make common space, find a type of it, and build a village landscape with it in countryside. There are five types of village including suburban according to typological locality in rural area. Each of them have remarkable common spaces that are combined with community identity and usage. They usually are located along with the street and lane of the village. Most of the villages I surveyed have common places for residents to rest, share, and meet together. Representatively, pavilion with symbolic tree we call Jeonja is very popular place to them, and village people also require public parking or pocket park in their modern life. I researched common places in ten communities in rural area so that I can suggest a way of community design through them. According to this research, there are three results. First, the common space of the village is placed to motivate emotional and attractive community design in the village. Second, the common space has an identity and landscape architectural relationship to build sustainable community. Third, countries' streets that I surveyed have four types, which are liner, tree, loop, and radiate patterns of lane. In line with those types, each one makes different and historical community landscape.

• 한국조경학회지
• /
• 제52권1호
• /
• pp.46-58
• /
• 2024

수분매개자란 식물의 수분 과정을 이뤄내는 생물체를 말하며 대표적으로 벌목, 나비목, 파리목, 딱정벌레목 등이 있다. 그중 꿀벌은 수분 과정뿐만 아니라 토지이용 변화에 의해 훼손된 도시 녹지를 개선하여 도시 내 존재하는 조류 및 곤충에게 서식처와 먹이를 제공한다. 하지만 오늘날 기후변화로 인한 조기 개화율 상승, 도시화로 인한 녹지 파편화, 농약사용과 같은 문제로 인해 수분 가능한 식물의 수가 감소하고 있으며, 이는 곧 꿀벌의 개체수가 감소하는 문제로까지 이어지고 있다. 꿀벌 개체수의 감소는 곧 도시 내 생물다양성 감소, 식량 생산량 감소 같은 문제들로 직결되며, 오늘날 꿀벌 개체수가 감소하는 문제를 해결하기 위한 전략으로 도시 양봉이 제시되고 있다. 하지만 꿀벌의 먹이 활동 및 수분활동, 도시 양봉으로 구성된 사회생태시스템의 구조를 복합적으로 고려하지 못한 상태로 도시 양봉 전략이 제시되어 지속 가능하게 이루어지지 못한다는 문제점이 발생하고 있다. 따라서 본 연구에서는 수분 매개자인 꿀벌의 사회생태시스템을 시스템 사고를 활용하여 구조적으로 분석하고 도시 양봉의 활성화를 위한 녹지계획 전략을 제시하고자 한다. 본 연구의 결과로 첫째, 인과순환지도 작성을 위해 도시 내 꿀벌의 사회 및 생태시스템을 중심으로 선행연구를 고찰 및 수집하여 시스템 영역을 설정하고 주요 변수를 도출했다. 둘째, 개별인과순환 지도를 작성하여 꿀벌의 먹이활동과 수분활동에 대한 생태적 구조, 꿀벌의 생태 시스템이 도시에 미치는 영향 구조, 도시 양봉의 사회생태시스템 구조를 분석했다. 마지막으로 통합인과순환지도 작성을 통해 꿀벌의 사회생태시스템 구조를 전체적인 관점에서 분석하고 도시 양봉의 활성화를 위해 도시 내 유휴공간을 활용할 수 있는 시민참여 프로그램 도입, 지자체 투자, 유휴공간의 도시공원 및 녹지조성 등을 녹지 계획 전략으로 제시하고자하였다. 본 연구의 결과는 시스템 사고를 활용한 꿀벌의 생태적 구조와 도시 양봉 도입에 대한 사회적 구조를 전체적인 관점으로 파악하여 전략을 제시했다는 점에서 선행연구와 차별점이 존재하며, 지속 가능한 도시 양봉을 도입하기 위한 정책적 제언 및 시사점을 제시하였다.

• 대한기계학회논문집A
• /
• 제21권9호
• /
• pp.1462-1469
• /
• 1997

This study presents a genetic algorithm-based method for optimizing control parameters in fluid power systems. Genetic algorithms are general-purpose optimization methods based on natural evolution and genetics. A genetic algorithm seeks control parameters maximizing a measure that evaluates system performance. Five control gains of the PID-PD cascade controller fr an electrohydraulic speed control system with a variable displacement hydraulic motor are optimized using a genetic algorithm in the experiment. Optimized gains are confirmed by inspecting the fitness distribution which represents system performance in gain spaces. It is shown that optimization of the five gains by manual tuning should be a task of great difficulty and that a genetic algorithm is an efficient scheme giving economy of time and in labor in optimizing control parameters of fluid power systems.

• 전기학회논문지
• /
• 제59권4호
• /
• pp.793-796
• /
• 2010

The equalizer compensates a signal distorted by transmission lines and amplifying stages, so the signal can have uniform characteristics over all frequency range. The equalizer in ODD(Optical Disc Drive) improves the stability of the extracted clock from a received signal and the readability of an inserted disc by suppressing noise and ISI(Inter-Symbol Inference). The length of marks-spaces and track pitch on discs becomes shorter as the recording density of an optical media is higher, which causes noise and ISI. And, the sensitivity about the fluctuation of physical systems is higher as the optical devices become more complicate. This paper proposes a method to select the coefficient of built-in equalizer of ODD in order to maintain the quality of signals against noise and ISI caused by system fluctuation.

• 제어로봇시스템학회논문지
• /
• 제8권10호
• /
• pp.881-889
• /
• 2002

Mobility analysis for various mobile mechanisms including mechanisms with lack of geometric generality is performed. Joint screws are employed to find the sire of feasible joint motion space or each of independent loops of mobile mechanisms. Particularly, the concept of "representative screws" is introduced to represent the feasible motion spaces for subsets of joints belonging to either a loop or a sub-system consisting of several closed loops. Firstly. simplified joint model for each of low different typical wheels popularly employed in mobile robots is described. Then. mobility analysis fir various types of planar mobile robots and the Mars Rover mobile robot for navigation on the rocky road on Mars arc performed. It is confirmed that the obtained results in this study coincide with the previous ones which were obtained by suing imaginary Joints approach(1)pproach(1)

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년도 심포지엄 논문집 정보 및 제어부문
• /
• pp.312-314
• /
• 2006

Researches on biped robot walking have been mostly focusing on walking on even surfaces. Therefore, robot walking has been only realized on pre-specified spaces with pre-specified movements according to the previous researches. In this paper a walking system for a biped robot using fuzzy system and neural networks to overcome those constraints. The system enables biped walking to be possible in various environments and with more complicated obstacels. For the purpose, a walking robot should recognize its surrounding environment and determine its movement. In the proposed system, a robot dynamically generates its walking trajectories of each joint by using neural networks when facing new obstacle such as stairs, and it maintains its walking stability by using closed loop fuzzy control system which manipulates the waist joints.

• Korean Journal of Mathematics
• /
• 제18권2호
• /
• pp.175-183
• /
• 2010

The classical group completion theorem states that under a certain condition the homology of ${\Omega}BM$ is computed by inverting ${\pi}_0M$ in the homology of M. McDuff and Segal extended this theorem in terms of homology fibration. Recently, more general group completion theorem for simplicial spaces was developed. In this paper, we construct a symmetric monoidal 2-category ${\mathcal{A}}$. The 1-morphisms of ${\mathcal{A}}$ are generated by three atomic 2-dimensional CW-complexes and the set of 2-morphisms is given by the group of path components of the space of homotopy equivalences of 1-morphisms. The main part of the paper is to compute the homotopy type of the group completion of the classifying space of ${\mathcal{A}}$, which is shown to be homotopy equivalent to ${\mathbb{Z}}{\times}BAut^+_{\infty}$.