• Journal of the Korean Mathematical Society
• /
• v.53 no.2
• /
• pp.403-414
• /
• 2016

Let R be a ring, and let M be a left R-module. If M is Rad-supplementing, then every direct summand of M is Rad-supplementing, but not each factor module of M. Any finite direct sum of Rad-supplementing modules is Rad-supplementing. Every module with composition series is (Rad-)supplementing. M has a Rad-supplement in its injective envelope if and only if M has a Rad-supplement in every essential extension. R is left perfect if and only if R is semilocal, reduced and the free left R-module $(_RR)^{({\mathbb{N})}$ is Rad-supplementing if and only if R is reduced and the free left R-module $(_RR)^{({\mathbb{N})}$ is ample Rad-supplementing. M is ample Rad-supplementing if and only if every submodule of M is Rad-supplementing. Every left R-module is (ample) Rad-supplementing if and only if R/P(R) is left perfect, where P(R) is the sum of all left ideals I of R such that Rad I = I.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.1
• /
• pp.147-161
• /
• 2021

In this paper, we introduced and studied sa-supplement submodules. A submodule U of a module V is called an sa-supplement submodule in V if there exists a submodule T of V such that V = T + U and U ∩ T is semiartinian. The class of sa-supplement sequences ������ is a proper class which is generated by socle-free modules injectively. We studied modules that have an sa-supplement in every extension, modules whose all submodules are sa-supplement and modules whose all sa-supplement submodules are direct summand. We provided new characterizations of right semiartinian rings and right SSI rings.

• Journal of KIISE
• /
• v.44 no.4
• /
• pp.399-410
• /
• 2017

We present a system that automatically annotates unverified Web sentences with information from credible sources. The system turns to neural theorem proving for an annotating task for cancer related Wikipedia data (1,486 propositions) with Korean National Cancer Center data (19,304 propositions). By switching the recursive module in a neural theorem prover to a word embedding module, we overcome the fundamental problem of tremendous learning time. Within the identical environment, the original neural theorem prover was estimated to spend 233.9 days of learning time. In contrast, the revised neural theorem prover took only 102.1 minutes of learning time. We demonstrated that a neural theorem prover, which encodes a proposition in a tensor, includes a classic theorem prover for exact match and enables end-to-end differentiable logic for analogous words.

• Journal of Convergence for Information Technology
• /
• v.7 no.6
• /
• pp.181-186
• /
• 2017

In recent years, robots have been actively used for children's creativity learning and play, but most robots have a stereotyped form and have a high dependency on the program, making it difficult to learn creativity and play. In order to compensate for these drawbacks, We have created a robot that can easily and reliably combine each other. The robot can memorize the desired operation and execute the memorized operation by using one button. Also, in case multiple modules are combined, pressing the button once on any module makes it possible to easily adjust the operation of all the combined modules. In order to verify the actual operation, two, three, and five modules are combined to demonstrate the usefulness of the proposed structure and algorithm by implementing a gobbling motion and a walking robot. It is required to study intelligent modular robots that can control over the Internet by supplementing the wireless connection method.

• The Korean Journal of Archival Studies
• /
• no.78
• /
• pp.153-195
• /
• 2023

RDBMS is a widely used database system worldwide, and the term dataset refers to the vast amount of data produced in administrative information systems using RDBMS. Unlike business systems that mainly produce administrative documents, administrative information systems generate records centered around the unique tasks of organizations. These records differ from traditional approval documents and metadata, making it challenging to seamlessly transfer them to standard record management systems. With the 2022 revision of the 'Public Records Act Enforcement Decree,' dataset was included in the types of records for which only management authority is transferred. The core aspect of this revision is the need to manage the lifecycle of records within administrative information systems. However, there has been little exploration into how to manage dataset within administrative information systems. As a result, this research aims to design a database for a record management module that needs to be integrated into administrative information systems to manage the lifecycle of records. By modifying and supplementing ISO 16175-1:2020, we are designing an "human resource management system" and identifying and evaluating personnel management dataset. Through this, we aim to provide a concrete example of record management within administrative information systems. It's worth noting that the prototype system designed in this research has limitations in terms of data volume compared to systems currently in use within organizations, and it has not yet been validated by record researchers and IT developers in the field. However, this endeavor has allowed us to understand the nature of dataset and how they should be managed within administrative information systems. It has also affirmed the need for a record management module's database within administrative information systems. In the future, once a complete record management module is developed and standards are established by the National Archives, it is expected to become a necessary module for organizations to manage dataset effectively.

• Korean Journal of Social Welfare
• /
• v.44
• /
• pp.262-287
• /
• 2001

The purpose of this study is to monitor the implementation of UN Convention on the Rights of the Children (CRC) and to find out new directions for the promotion on the children's rights in Korea. Based on the module of International Save the Children Alliance (1993) about the children's rights and the Indicators of Korean Children's Wellbeing (Korean Council for Children's Rights, 1999), the revised Korean child welfare law (2000) as a related domestic law has compared with the 54 articles of CRC (1989). The results of this study are analyzed as follows: The Korean child welfare law has only 2 articles on the civil and political rights of the children in special need and neglects the economic, social and cultural rights of the general children at home. In consequence the Korean law has few survival rights of the general children for securing their adequate living standards and supplementing their parents' role. And it limits only to the development rights of the children in special need, therefore, it neglects the genera: children's rights to information, play and leisure, cultural activities. Above all, it has only 2 articles on the participation rights of the children in special circumstances. On the other hand, based on the indicators of Korean Children's Wellbeing, the collected data say that the budget for the child welfare is only 1.12% of the total budget of the ministry of the health and welfare and its 96.28% is for the children in substitutional care. Based on the results, implications for practice and future research are discussed, and new directions for the promotion of the children's rights are also suggested.