• East Asian mathematical journal
• /
• 제19권2호
• /
• pp.251-259
• /
• 2003

The concepts of t-rational extensions and t-essential extensions of modules, where t a preradical for R-Mod, are introduced. The structures of such extensions are determined. Relations between maximal t-rational extensions and other concepts of modules are studied.

• 대한수학회보
• /
• 제43권3호
• /
• pp.645-652
• /
• 2006

The purpose of this paper is to describe some characterizations on rational and f-rational extensions of modules, to determine the forms of f-rational extensions of given f-torsion free module for a left exact radical t and investigate the maximal t-rational extensions of modules.

• 대한수학회보
• /
• 제59권2호
• /
• pp.453-468
• /
• 2022

In this article, we define a module M to be G^z-extending if and only if for each z-closed submodule X of M there exists a direct summand D of M such that X ∩ D is essential in both X and D. We investigate structural properties of G^z-extending modules and locate the implications between the other extending properties. We deal with decomposition theory as well as ring and module extensions for G^z-extending modules. We obtain that if a ring is right G^z-extending, then so is its essential overring. Also it is shown that the G^z-extending property is inherited by its rational hull. Furthermore it is provided some applications including matrix rings over a right G^z-extending ring.

• 한국감성과학회:학술대회논문집
• /
• 한국감성과학회 2002년도 춘계학술대회 논문집
• /
• pp.201-204
• /
• 2002

Kansei design knowledge acquisition stage is a crucial stage in kansei designing process and kansei engineering (KE) methodology. In kansei engineering methodology, it is essential to extract design knowledge or rules on relationships between customer's kansei and product design element. We attempt to construct a more powerful melted for extracting the design rules from kansei expremental data. We constucted a kansei experiment concerning color kansei evaluation, and analyzed the sane data by both conventional quantification theory type I and rough set theory. Finally, we compared the effectiveness of both methods for extracting rules and examined the extensions of rough set theory in kansei engineering.

• International Journal of Computer Science & Network Security
• /
• 제22권5호
• /
• pp.225-233
• /
• 2022

Due to the large number of documents that are important to people and many of their requests from time to time to perform an essential official procedure, this requires a practical arrangement and organization for them. When necessary, many people struggle with effectively arranging official documents that enable display, which takes a lot of time and effort. Also, no mobile apps specialize in professionally preserving essential electronic records and displaying them when needed. Dataset consisting of 10,841 rows and 13 columns was analyzed using Anaconda, Python, and Mito Data Science new tool obtained from Google Play. The research was conducted using the quantitative descriptive approach. The presented solution is a model specialized in saving essential documents, categorizing according to the user's desire, and displaying them when needed. It is possible to send in an image or a pdf file. Aside from identifying file kinds like PDFs and pictures, the model also looks for and verifies specific file extensions. The file extension and its properties are checked before sharing or saving it by applying the similarity algorithm (Levenshtein). Our method effectively and efficiently facilitated the search process, saving the user time and effort. In conclusion, such an application is not available, which facilitates the process of classifying documents effectively and displaying them quickly and easily for people for printing or sending to some official procedures, and it is considered one of the applications that greatly help in preserving time, effort, and money for people.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제15권2호
• /
• pp.617-636
• /
• 2021

This paper presents a privacy-preserving data aggregation scheme deals with the multidimensional data. It is essential that the multidimensional data is rarely mentioned in all researches on smart grid. We use the Paillier Cryptosystem and blinding factor technique to encrypt the multidimensional data as a whole and take advantage of the homomorphic property of the Paillier Cryptosystem to achieve data aggregation. Signature and efficient batch verification have also been applied into our scheme for data integrity and quick verification. And the efficient batch verification only requires 2 pairing operations. Our scheme also supports fault tolerance which means that even some smart meters don't work, our scheme can still work well. In addition, we give two extensions of our scheme. One is that our scheme can be used to compute a fixed user's time-of-use electricity bill. The other is that our scheme is able to effectively and quickly deal with the dynamic user situation. In security analysis, we prove the detailed unforgeability and security of batch verification, and briefly introduce other security features. Performance analysis shows that our scheme has lower computational complexity and communication overhead than existing schemes.

• Journal of Multimedia Information System
• /
• 제5권3호
• /
• pp.201-208
• /
• 2018

High Efficiency Video Coding range extensions (HEVC RExt) is a kind of extension model of HEVC. HEVC RExt was specially designed for dealing the high quality images. HEVC RExt is very essential for studio editing which handle the very high quality and various type of images. There are some problems to dealing these massive data in studio editing. One of the most important procedure is re-encoding and decoding procedure during the editing. Various codecs are widely used for studio data editing. But most of the codecs have common problems to dealing the massive data in studio editing. First, the re-encoding and decoding processes are frequently occurred during the studio data editing and it brings enormous time-consuming and video quality loss. This paper, we suggest new video coding structure for the efficient studio video editing. The coding structure which is called "ultra-low delay (ULD)". It has the very simple and low-delayed referencing structure. To simplify the referencing structure, we can minimize the number of the frames which need decoding and re-encoding process. It also prevents the quality degradation caused by the frequent re-encoding. Various fast coding algorithms are also proposed for efficient editing such as tool-level optimization, multi-serve based distributed coding and SIMD (Single instruction, multiple data) based parallel processing. It can reduce the enormous computational complexity during the editing procedure. The proposed method shows 9500 times faster coding speed with negligible loss of quality. The proposed method also shows better coding gain compare to "intra only" structure. We can confirm that the proposed method can solve the existing problems of the studio video editing efficiently.

• 한국구조물진단유지관리공학회 논문집
• /
• 제20권1호
• /
• pp.48-55
• /
• 2016

구조물의 수명관리는 일반적으로 불확실성의 효율적 고려를 위해 신뢰성 이론을 적용한다. 전체 구조시스템의 신뢰성 평가는 구조요소의 신뢰성 평가와 구조시스템의 모델링을 통해 이루어진다. 구조시스템은 신뢰도에 대한 구조요소의 역할과 기여도를 고려하여 모델링 된다. 따라서, 구조시스템의 신뢰도는 구조요소의 모델링과 구조요소의 상관관계에 따라 서로 다른 결과를 제시하게 된다. 최초 구조시스템의 신뢰도 평가와 열화요소를 반영한 구조시스템의 수명 평가를 바탕으로 생애주기 비용 최소화와 관련된 목적함수를 가지는 최적화 과정을 통해 수명관리가 이루어진다. 본 논문에서는 구조시스템을 구성하는 구조요소의 상관관계와 더불어 기존의 연구에서 고려된 바 없는 유지보수 간의 상관관계에 따른 수명평가 영향분석을 수행하며, 이를 통해 향후 좀 더 효율적인 수명관리 기법 개발에 활용하고자 한다. 또한, 예방유지보수와 필수유지보수를 모두 고려하며, 유지보수간 독립 상태와 완전상관 상태에 따른 수명 예측 및 최적화 유지보수 계획 수립을 비교 제시한다.

• 한국화재소방학회논문지
• /
• 제33권2호
• /
• pp.124-131
• /
• 2019

도로터널에서 화재가 발생하면 밀폐된 구조적 특성상 대형재난으로 발전할 가능성이 높기 때문에 각종 방재시설이 잘 설치되어 화재예방과 대응에 제 기능을 발휘해야 한다. 연속터널의 연장 및 방음터널을 고려하지 않아 필수 방재시설의 설치가 누락되어 법령의 개정이 필요한 것으로 판단된다. 이에 따라 본 논문에서 도로터널의 방재시설과 관련한 국내 법령들의 변천사항을 검토하고, 각 법령 간 비교분석을 통해 소방관계법령에서 개정이 필요한 부분을 연구한 결과는 다음과 같다. 첫째, 연속터널은 개별터널의 연장의 합을 고려하도록 하고 방음터널이 터널의 범주에 포함되도록 하여 필수 방재시설이 설치가 되지 않는 일이 없도록 해야 한다. 둘째, 터널 내 방재시설 설치의 법적 당위성 확보가 필요하므로 터널에 설치가 제외된 시설인 미분무소화설비, 비상방송설비, 유도등이 법령에 명시될 필요가 있다. 셋째, 현장대응의 입장에서 터널 내에 공기호흡기를 비치하도록 명시하여 소방대원들의 진압활동 및 인명구조에 크게 기여할 수 있도록 한다.

• 한국산학기술학회논문지
• /
• 제19권10호
• /
• pp.640-647
• /
• 2018

우리나라는 지정학적 요인으로 인해 항만수요가 증가하고, 자연재난의 강도 또한 나날이 증대되고 있기 때문에 사용중인 항만의 확장 및 증설 계획에 맞추어 이미 사용한 소파블록을 재활용할 필요성이 날로 증가하고 있다. 하지만 소파블록의 재활용을 위한 평가시스템 및 규준이 현재 마련되어 있지 않아 기술자의 경험에 의존하여 재활용 및 폐기여부를 판단하고 있기 때문에 자원의 재활용이라는 경제적인 측면에서 이는 매우 비합리적이다. 이에 본 연구에서는 소파블록의 안전성을 평가하기 위해 지상에 놓인 소파블록은 육안으로, 수중에 놓인 소파블록은 잠수에 의한 외관조사를 수행하였고, 소파블록 20개에 대하여 반발경도를 측정하고, 3개소의 콘크리트 코어를 채취한 후, 이를 기초로 소파블록의 재료적 평가를 수행하였다. 또한 사용된 소파블록은 시공단계에 따라 이동과 거치하는 과정에서 부분적으로 혹은 완전히 파손되어 본래의 기능이 상실되는 경우가 종종 발생한다. 따라서 사용된 소파블록의 안정적인 재사용 여부를 검토하기 위해 범용 유한요소 프로그램인 ADINA를 이용하여 소파블록을 3차원 유한요소로 모형화하고, 소파블록의 이동, 거치 및 시공단계에 따른 충돌해석을 수행하였다. 마지막으로 재료적 평가결과를 이용하여 수행된 시공과정이 고려된 충돌해석결과로부터 소파블록의 재활용여부를 검토할 수 있는 합리적인 평가과정과 시공방법을 각각 제안하였다. 따라서 본 논문에서 사용된 평가방법으로 소파블록을 평가하여 재활용하면 경제비용적 관점에서 소파블록의 재사용을 극대화할 수 있을 것으로 기대한다.