• Language and Information
• /
• v.14 no.2
• /
• pp.103-129
• /
• 2010

In this paper, I show that anaphora across speakers shows both dynamic and static sides. To capture them all formally, I will adopt semantics based on the assumption that variables range over individual concepts that connect epistemic alternatives. As information increases, a variable can take a different range of possible individual concepts. This is captured by the notion of virtual individual (= vi), a set of individual concepts which are indistinguishable in an information state. The use of a pronoun involves two information states, one for the antecedent, which is always part of the common ground, and the other for the pronoun. Information increase changes vis for variables in the common ground. A pronoun can be used felicitously if there is a unique virtual individual in the information state for the antecedent which does not split in two or more distinctive virtual individuals in the information state for the pronoun. The felicity condition for cross-speaker anaphora can be satisfied in declaratives involving modality, interrogatives and imperatives in a rather less demanding way, because in these cases the utterance does not necessarily require non-trivial personal information for proper use of a pronoun.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.25 no.6
• /
• pp.1541-1547
• /
• 2015

In the recent IT industry, security has established itself as the factor to be considered the most in the software development. It goes without saying that security is the critical factor for the development of information security products. In the evaluation of the information security products, the security is assured by the security architecture requirement (ADV_ARC). However, the Absence of the systematic software security architecture process makes it difficult to guarantee the security quality consistently even though they are evaluated based on common criteria. In this paper, we propose a way to ensure a consistent security quality applying the software security framework in BSIMM.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.60 no.5
• /
• pp.913-920
• /
• 2011

Distribution systems for operating the various systems should be operated organically. Distribution systems for organic operations extend the functionality of the system and system integration for the extension is doing. However, in systems integration for each unique non-standard definition of linkage and exchange systems are used. Non-standard definition of a unique linkage and exchange systems in the maintenance and expansion will result in many negative results. To solve these problems, the system and the exchange of information about the links between systems should define standards. IEC (International Electrotechnical Commission) power to solve these problems in the field of the Common Information Model (Common Information Model, CIM) standard (IEC61970, IEC61968) is defined as the transmission and distribution system integration and standardization for the exchange of information. In this paper, standardized system for building CIM-based distribution automation system should describe the process of building. In addition, the process of establishing a common information model needed (CIM) defined and associated services for a defined set of models is proposed in the standardization process.

• KEPCO Journal on Electric Power and Energy
• /
• v.8 no.2
• /
• pp.127-135
• /
• 2022

With the advent of high technologies such as the 4th Industrial Revolution and artificial intelligence and big data, efforts are being made to solve urban problems and improve the quality of life by applying new technologies in the smart city field. In addition, as carbon neutrality has emerged as an important issue due to global warming, smart city energy platform technologies such as urban energy management, efficiency improvement, and carbon reduction are in the spotlight. In order to effectively manage urban energy, energy resource information such as electricity, water, gas, hot water, heating, etc. must be collected from the management system of various energy utilities and managed on the central platform. The centrally integrated data is delivered to external city management systems that require city energy information through an energy platform. This study developed a CIM profile for smart city energy monitoring required to provide energy data to external systems. Electric data model were designed using the CIM class of IEC 61970, and water, gas, and heat data model were designed in compliance with the UML-based design ideas of IEC 61970.

• The Journal of Internal Korean Medicine
• /
• v.38 no.3
• /
• pp.336-352
• /
• 2017

Objective: This study investigated the perception, utilization, and satisfaction (in the general population), of the common cold treatment at the Korean Medical Clinic, to provide basic information for the development of Korean medicine clinical practice guidelines for the common cold. Method: A questionnaire was developed that consisted of questions about the general perception, utilization status, degree of satisfaction, willingness to use, and the improvement of the common cold treatment at the Korean Medical Clinic. An online survey was conducted using this questionnaire. Results: Three-hundred subjects responded to the survey. The results of the analysis were as follows. 1. 73.7% of the subjects recognized the common cold treatment at the Korean Medical Clinic. 2. 72% of the subjects had a positive perception of Korean medicine for common cold treatment. The major reason for the positive perception was the expectation about improving immunity and preventing recurrence. 3. Only 20% of the subjects had visited the Korean Medical Clinic for common cold treatment. The expensive cost was the major reason for not visiting the Korean Medical Clinic for common cold treatment. 4. The ratio of subjects who were willing to visit the Korean Medical Clinic for common cold treatment was 70%. 5. The expansion of health insurance coverage (67.7%), the activation of public relations (54.7%), and the development of a new herb medicine preparation that was easy to take (43.3%) were found to be necessary for improving the Korean medical service for common cold treatment. Conclusion: In spite of high recognition and positive perception, actual utilization of common cold treatment at the Korean Medical Clinic was relatively low. Multifaceted efforts are necessary to enhance the competitiveness of Korean medical service for treatment of the common cold.

• Journal of Korean Library and Information Science Society
• /
• v.38 no.1
• /
• pp.67-87
• /
• 2007

This study aims to suggest the ways to apply Information Commons to local university libraries, which face various changes in users and information environment, for using the libraries' space more effectively and for providing users with more satisfying services. Information Commons, which is a concept having been gradually spreading mainly in the U.S. from the early 1990's, is a service place where users can work out anything related to their studies or various lecture-related jobs because they are provided with various information and electronic resources in that one spot. Researches show that physical and human resources should be prepared before executing Information Commons to minimize the problems and to maximize the effectiveness from applying it. Physical resources are such as PC rooms, multimedia rooms, education rooms, one person or group study rooms, and cafe or lounge. Human resources are the librarians who can do reference services including giving the lectures on using library information resources and who can solve the operating problems related to IT.

• Journal of Intelligence and Information Systems
• /
• v.21 no.3
• /
• pp.37-52
• /
• 2015

The recent global trends display expansion and growing solidity in both cooperative collaboration between industry, education, and research and R&D network systems. A greater support for the network and cooperative research sector would open greater possibilities for the evolution of new scholar and industrial fields and the development of new theories evoked from synergized educational research. Similarly, the national need for a strategy that can most efficiently and effectively support R&D network that are established through the government's R&D project research is on the rise. Despite the growing urgency, due to the habitual dependency on simple individual personal information data regarding R&D industry participants and generalized statistical data references, the policies concerning network system are disappointing and inadequate. Accordingly, analyses of the relationships involved for each subject who is participating in the R&D industry was conducted and on the foundation of an educational-industrial-research network system, possible changes within and of the network that may arise were predicted. To predict the R&D network transitions, Common Neighbor and Jaccard's Coefficient models were designated as the basic foundational models, upon which a new prediction model was proposed to address the limitations of the two aforementioned former models and to increase the accuracy of Link Prediction, with which a comparative analysis was made between the two models. Through the effective predictions regarding R&D network changes and transitions, such study result serves as a stepping-stone for an establishment of a prospective strategy that supports a desirable educational-industrial-research network and proposes a measure to promote the national policy to one that can effectively and efficiently sponsor integrated R&D industries. Though both weighted applications of Common Neighbor and Jaccard's Coefficient models provided positive outcomes, improved accuracy was comparatively more prevalent in the weighted Common Neighbor. An un-weighted Common Neighbor model predicted 650 out of 4,136 whereas a weighted Common Neighbor model predicted 50 more results at a total of 700 predictions. While the Jaccard's model demonstrated slight performance improvements in numeric terms, the differences were found to be insignificant.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2000.10a
• /
• pp.341-344
• /
• 2000

Recently, there have been many systems, which are not only for the access to the Internet but also for information search. To offer information, using Common Gateway Interface has been popularized as a system structure. However, the service has many problems. To solve these problems, this study is to structure the information system using middleware and to describe the embodied scheme. This study is to give embodied scheme and database, which can give information about the ocean and the Fisheries products on the formed web.

• Proceedings of the IEEK Conference
• /
• 2000.06a
• /
• pp.13-16
• /
• 2000

This paper introduces a more effective usage of the limited OVSF cod in compressed mode which is used during inter-frequency/inter-system handover in UTRA(Universal mobile telecommunications system) Terrestrial Radio Access). The usager is to use dynamic common channel which is shared by several users during the compressed mode.

• Journal of applied mathematics & informatics
• /
• v.29 no.1_2
• /
• pp.61-74
• /
• 2011

In this paper, we introduce a new iteration method based on the hybrid method in mathematical programming and the descent-like method for finding a common element of the solution set for a variational inequality and the set of common fixed points of a nonexpansive semigroup in Hilbert spaces. We obtain a strong convergence for the sequence generated by our method in Hilbert spaces. The result in this paper modifies and improves some well-known results in the literature for a more general problem.