• The Pure and Applied Mathematics
• /
• v.25 no.3
• /
• pp.203-218
• /
• 2018

An old result of Whitehead says that the set of derivations of a group with values in a crossed G-module has a natural monoid structure. In this paper we introduce derivation of crossed polymodule and actor crossed polymodules by using Lue's and Norrie's constructions. We prove that the set of derivations of a crossed polygroup has a semihypergroup structure with identity. Then, we consider the polygroup of invertible and reversible elements of it and we obtain actor crossed polymodule.

• Journal of Korean Society on Water Environment
• /
• v.25 no.5
• /
• pp.651-660
• /
• 2009

Detailed flow analysis in river is essential to increase the accuracy of water quality simulation since flow variation depends on many factors such as cross sections, channel slopes, and bed materials. In the QUAL2E stream water quality simulation model, the hydraulic coefficients are assigned to the reach that is collection of computational element using the hydraulic coefficient. This study developed a module that can incorporate the results of non-uniform flow analysis and assign such information to each individual element. Model application focused on the upstream of the Hoengseong reservoir including the reservoir where significant flow change is expected. Comparing with original QUAL2E model the developed module improved the result of water quality simulation without considering the relation of flow velocity and flow depth in terms of flow rates.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 2010.06a
• /
• pp.67-67
• /
• 2010

PV module has many power loss factor in the site. Among them, one thing is series resistance. Especially interconnection ribbon resistance is one of the power loss. In this paper, we study interconnection ribbon resistance of the PV module material. In the field, high temperature can pile ribbon resistance on the PV modules. We can do better choice in the optimum use of ribbon through checking relation of ribbon dimension and resistivity. From this point of view, different solder type and dimension was treated.

• Journal of Institute of Control, Robotics and Systems
• /
• v.17 no.10
• /
• pp.1014-1020
• /
• 2011

This presents a motion and force estimation system of human fingers by using an Electromyography (EMG) sensor module and a data glove system to be proposed in this paper. Both EMG sensor module and data glove system are developed in such a way to minimize the number of hardware filters in acquiring the signals as well as to reduce their sizes for the wearable. Since the onset of EMG precedes the onset of actual finger movement by dozens to hundreds milliseconds, we show that it is possible to predict the pattern of finger movement before actual movement by using the suggested system. Also, we are to suggest how to estimate the grasping force of hand based on the relationship between RMS taken EMG signal and the applied load. Finally we show the effectiveness of the suggested estimation system through several experiments.

• Journal of the Korean BIBLIA Society for library and Information Science
• /
• v.13 no.1
• /
• pp.133-156
• /
• 2002

This study is to identify needs for competitive intelligence education and curriculum modules for CI as an extension of Library & Information Sciences education in relation to new roles of information professionals in the 21st Century. For this purpose, a survey was conducted on local information professionals. CI curriculums with two critical modules are developed based on the survey. Module 1 deals with basic toolkits for information professionals, and Module 2 is about CI process and management. This curriculum will contribute to develop professional/personal core competencies of information professionals.

• International conference on construction engineering and project management
• /
• 2009.05a
• /
• pp.717-724
• /
• 2009

Most recent programs in and out of the country are related to urban renewal projects. Contemporary project management information systems have been developed was to manage single or multiple projects focusing on their construction phase, and those have limitations to apply to large-scale complicated mega projects. So, this study explain the core concept of decision support modules for iPMIS (Intelligent Program Management Information System) and its major functions to support project owner and participants by introducing ontology in the web environment. This study confined the scope of research to the planning phase of urban environment improvement projects. Ontological logic structure and relation about planning works is essential parts and three functions to implement decision support module are developed.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2018.05a
• /
• pp.377-380
• /
• 2018

인간의 추론 능력이란 문제에 주어진 조건을 보고 문제 해결에 필요한 것이 무엇인지를 논리적으로 생각해 보는 것으로 문제 상황 속에서 일정한 규칙이나 성질을 발견하고 이를 수학적인 방법으로 법칙을 찾아내거나 해결하는 능력을 말한다. 이러한 인간인지 능력과 유사한 인공지능 시스템을 개발하는데 있어서 핵심적 도전은 비구조적 데이터(unstructured data)로부터 그 개체들(object)과 그들간의 관계(relation)에 대해 추론하는 능력을 부여하는 것이라고 할 수 있다. 지금까지 딥러닝(deep learning) 방법은 구조화 되지 않은 데이터로부터 문제를 해결하는 엄청난 진보를 가져왔지만, 명시적으로 개체간의 관계를 고려하지 않고 이를 수행해왔다. 최근 발표된 구조화되지 않은 데이터로부터 복잡한 관계 추론을 수행하는 심층신경망(deep neural networks)은 관계추론(relational reasoning)의 시도를 이해하는데 기대할 만한 접근법을 보여주고 있다. 그 첫 번째는 관계추론을 위한 간단한 신경망 모듈(A simple neural network module for relational reasoning) 인 RN(Relation Networks)이고, 두 번째는 시각적 관찰을 기반으로 실제대상의 미래 상태를 예측하는 범용 목적의 VIN(Visual Interaction Networks)이다. 관계 추론을 수행하는 이들 심층신경망(deep neural networks)은 세상을 객체(objects)와 그들의 관계(their relations)라는 체계로 분해하고, 신경망(neural networks)이 피상적으로는 매우 달라 보이지만 근본적으로는 공통관계를 갖는 장면들에 대하여 객체와 관계라는 새로운 결합(combinations)을 일반화할 수 있는 강력한 추론 능력(powerful ability to reason)을 보유할 수 있다는 것을 보여주고 있다. 본 논문에서는 관계 추론을 수행하는 심층신경망(deep neural networks) 중에서 Sort-of-CLEVR 데이터 셋(dataset)을 사용하여 RN(Relation Networks)의 성능을 재현 및 관찰해 보았으며, 더 나아가 파라미터(parameters) 튜닝을 통하여 RN(Relation Networks) 모델의 성능 개선방법을 제시하여 보았다.

• Communications of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.21-38
• /
• 2023

Let R be a commutative ring with identity. Let R be an integral domain and M a torsion-free R-module. We investigate the relation between the notion of e-exactness, recently introduced by Akray and Zebari [1], and generalized the concept of homology, and establish a relation between e-exact sequences and homology of modules. We modify some applications of e-exact sequences in homology and reprove some results of homology with e-exact sequences such as horseshoe lemma, long exact sequences, connecting homomorphisms and etc. Next, we generalize two special drived functor T or and Ext, and study some properties of them.

• International conference on construction engineering and project management
• /
• 2013.01a
• /
• pp.648-651
• /
• 2013

The information generated in large-scale and complex construction projects are transferred continuously and transformed into project products on the long span life cycle. Therefore, information flow management is related with the success of project directly. However, certain characteristics of large-scale and complex construction projects make the solving the problem more difficultly. Although several information retrieval systems support the information management system, it is not suitable to grasp information flows. Hence, we developed an information retrieval system specialized with the information flow based on a preceding research. The system consists of a relation-based database and the process information transferring relation inference application module. The system enables project managers to manage the entire project process more efficiently and each project member to work their own task being served the information flow retrieval results.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.83-92
• /
• 2024

Let R be a commutative ring with nonzero identity and M be an R-module. In this paper, we first introduce the concept of S-idempotent element of R. Then we give a relation between S-idempotents of R and clopen sets of S-Zariski topology. After that we define S-pure ideal which is a generalization of the notion of pure ideal. In fact, every pure ideal is S-pure but the converse may not be true. Afterwards, we show that there is a relation between S-pure ideals of R and closed sets of S-Zariski topology that are stable under generalization.