• Journal of Korean Philosophical Society
• /
• v.116
• /
• pp.257-280
• /
• 2010

I try to formalize the system of modal logic and interpret it in view of constructivism through this study. As to the meaning of a sentence, as we saw, Frege endorsed extensions in view of the fact that they are enough to provide for a compositional account for truth, in particular that (1) the assignment of extensions to expressions is compositional ; (2) the assignment of extensions to sentences coincides with the assignment of truth values. But nobody would be willing to admit that a truth value is what a sentence means and that consequently all true sentences are synonymous. So, if what we are after is meaning in the intuitive sense, then extensions would not do. This consideration has later become the point of departure of modal and intensional semantics. So, it is clear that the language of modal logic do not allow for an extensional interpretation. ${\square}$ is syntactically on a par with ${\vdash}$, hence within the extensional framework it would have to denote a unary truth function. This means that if modal logic is to be interpreted, we need a semantics which is not extensional. The first attempt to build a feasible intensional semantics was presented by Saul Kripke. He came to the conclusion that we must let sentences denote not truth values, but rather subsets of a given set. He called elements of the underlying set possible world. Hence each sentence is taken to denote the set of those possible world in which it is true. This lets us explicate necessity as 'truth in every possible world' and possibility as 'truth in at least one possible world'. But it is clear that the system of modal logic is not only an enlargement of propositional logic, as long as the former contains the new symbols, but that it is of an other nature. In fact, the modal logic is intensional, in that the operators do not determine the functions of truth any more. But this new element is not given a priori, but a posteriori from construction by logicist.

• Information Systems Review
• /
• v.16 no.1
• /
• pp.17-35
• /
• 2014

Social collaboration and knowledge sharing among experts are the key characteristics of information system development projects. But the difficulty and complexity of communication may be the cause of the project failures. This study analyzes the influence of on-line social networking as communication system in information system development projects. A model has been developed to relate system, knowledge and social factors of on-line social networking to the performance of project members. Transactive Memory System (TMS), describing knowledge sharing process in human relationship, is used as a mediator. The analysis concludes that knowledge and social characteristics have positive effect on the members' performance, implying that the use of mobile devices and PCs as a social communication tool can be an effective way to enhance the possibility of project success.

• Journal of the Korean BIBLIA Society for library and Information Science
• /
• v.29 no.3
• /
• pp.13-40
• /
• 2018

This study focuses on the analysis of the Cooperative system of Japanese local libraries (Do-do-bu-ken prefecture) in Japan, which perform similar functions along a similar hierarchy with the local representative libraries in South Korea. I would like to use this analysis as material for my report. For the study, I visited eight distinguished and advanced Japanese local libraries (Do-do-bu-ken prefecture) that had been selected by the Ministry of Education, Culture, Sports, Science and Technology (MEXT) to analyze the current situation of the Cooperative system and service. I conducted space planning through plan analysis by selecting five out of the eight libraries. As a result, it was shown that the Japanese local libraries (Do-do-bu-ken prefecture) accurately recognize the roles and functions as a regional central library of Japan and conduct Cooperative system not only with the National Diet Library of Japan but also with regional central libraries in the whole country. In terms of the space planning, the ratio of the space occupied by the task management part of the office area and the support area showed the highest space planning ratio according to role for the library.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.10a
• /
• pp.306-309
• /
• 2000

최근 통신서비스의 변화추세에 있어서 주목할만한 점은 전통적인 유선전화에서 데이터서비스로 그 중심이 급격히 이동하고 있다는 것이다. 그러나 기존의 데이터서비스의 품질지표체계는 유선전화 위주로 구성된 지표체계에 근거하고 있고, 또한 통신품질의 개념이 사용자의 관점이 아닌 사업자의 관점에서 정의되고 있다는 한계를 가지고 있다. 본 연구에서는 통신서비스에서의 서비스 품질체계에 대한 표준화 동향 분석을 바탕으로 데이터 통신서비스의 품질지표체계 구축에 있어서 고려해야 할 사항과 품질지표체계 구축을 위한 프레임워크를 제시하였다.

• Proceedings of the Korean Society for Information Management Conference
• /
• 1998.08a
• /
• pp.177-182
• /
• 1998

인터넷 정보자원의 폭발적인 증가에 따라 이를 효율적으로 조직화하고 체계화하는 시스템의 중요성이 증가하고 있다. 이에 따라 주제접근을 용이하게 하고 검색 효율성을 높이는 도구로서 분류체계에 대한 관심이 커지고 있다. 본고에서는 인터넷 서비스의 분류체계 응용사례중 주제별 디렉토리의 인터넷 기반 분류체계와 기존 문헌 분류체계를 비교 분석함으로써 인터넷 환경에 적합한 분류체계의 구성방안을 제시하였다.

• Defense and Technology
• /
• no.8 s.270
• /
• pp.40-45
• /
• 2001

설계가 잘된 개방형 무기체계는 마치 자동차의 타이어 교환처럼 신 기술이 적용된 부품을 모듈로써 쉽게 교환해 넣을 수 있기 때문에 기술의 진부화도 걱정할 필요가 없고 나아가서는 부품 공급업체를 걱정하지 않아도 된다. 동일한 인터페이스를 사용하여 구성품간의 상호운용성 보장하고 비용절감과 군수지원성의 이점을 살릴 수 있게 된다. 그러므로 우리가 무기체계를 개발할 때 개방형 체계접근방법을 적용한다면 무기체계를 운용하는 기간 중에 발전하는 기술을 최대한 활용할 수 있는 방법을 갖게 되는 것이다.

• Proceedings of the Korea Society for Energy Engineering kosee Conference
• /
• 1995.05a
• /
• pp.123-128
• /
• 1995

고등기술연구원에서 수행하고 있는 IGCC 연구프로그램의 일부로 이루어지고 있는 석탄가스연소가스터빈 시스템의 공정개발을 위한 해석체계를 소개하였고, 지금까지 이루어진 해석결과들을 제시하였다. 본 해석체계는 가스터빈 시스템해석을 위한 사이클해석. 구성요소인 압축기, 연소기, 터빈에 대한 해석모듈들로 구성하였으며, 각 해석모듈은 구성요소에 대한 전문적인 열유동장 해석방법을 채택한다. 각 해석모듈간의 상호작용 및 해석결과들의 종합을 통하여 IGCC용 가스터빈 공정개발을 위한 기초적인 자료제공이 가능하다.

• Nuclear Engineering and Technology
• /
• v.27 no.5
• /
• pp.792-802
• /
• 1995

국내·외 안전규제기술요건의 현황 및 기술현황 분석 평가 결과를 토대로 안전목표, 안전원칙, 일반안전요건, 상세기술요건, 안전규제지침 및 안전심사지침 등으로 구성된 안전규제기술요건 체계가 구축되었으며, 궁극적인 안전의 지향목표로 부터 구체적인 안전규제방법론에 이르는 일련의 계층을 제시하고있다. 각 계층별 체계설정의 개념, 방법론 및 상세체계도 구성과 이들 구성항목들에 대한주요요점 및 참조 국내·외 규제요건 등이 도출되었으며, 이들은 구체적인 안전규제기술요건의 단위요건 설정에 기본방향을 제공하게 될 것이다. 또한, 안전규제기술요건의 실제적인 설정에 필요한 추진 전략 및 방법을 개략적으로 제시하고 있다. 특히 개발될 안전규제기술요건의 규제위상 정립 및 유관기관의 의견수렴 방안등은 신중히 고려되어야 할 것이며, 산업기준과의 연계방안은 국내에서 개발하고있는 산업기준의 위상을 정립할 수 있는 좋은 계기가 될 것이다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1995.05b
• /
• pp.1099-1104
• /
• 1995

국내·외 안전규제기술요건의 현황 및 기술현황 분석ㆍ평가 결과를 토대로 안전목표, 안전원칙, 일반안전요건, 상세 기술요건, 안전규제지침 및 안전심사지침 등으로 구성된 안전규제기술요건 체계가 구축되었으며, 궁극적인 안전의 지향목표로부터 구체적인 안전규제방법론에 이르는 일련의 계층을 제시하고있다. 각 계층별 체계설정의 개념, 방법론 및 상세 체계도 구성과 이들 구성 항목들에 대한 주요 요점 및 참조 국내ㆍ외 규제요건 등이 도출되었으며, 이들은 구체적인 안전 규제기술요건의 단위요건 설정에 기본 방향을 제공하게 될 것이다. 또한, 안전규제기술요건의 실제적인 설정에 필요한 추진 전략 및 방법을 개략적으로 제시하고 있다.

• Proceedings of the Korean Society of Disaster Information Conference
• /
• 2023.11a
• /
• pp.165-166
• /
• 2023

BCMS의 변경관리에 대한 요구사항은 ISO 22301 구성체계의 기획단계인 6.3 변경의 기획에서 수행하고, 기업재난관리표준 구성체계에서 기획단계인 3.5.5 문서화된 정보에서 수행하도록 규정하였으며, 이는 모두가 P-D-C-A 운용 모델의 Plan 단계에 해당된다. 이러한 구성체계는 BCP를 최초에 수립하는 단계에서는 적합하지만, BCP가 수립(제정)되어 운용단계에서 발생되는 변경사항을 처리하는데는 많은 문제점이 도출된다. 따라서 재난 및 안전관리 분야에 해당하는 유사제도의 요구사항을 대상으로 비교분석을 통하여 도출된 개선방안을 연구결과로 제시하고자 한다. BCP를 수립하는 과정에서 발생하는 보완사항은 변경관리 절차에 포함하지 않고, BCP가 수립되어 운용단계에서 발생되는 변경사항만 변경관리 절차에 포함하여 관리하며, P-D-C-A 운용 모델의 Act 단계에서 수행하는 것이 적합하다.