• Title/Summary/Keyword: 결정성 검증

Search Result 2,383, Processing Time 0.041 seconds

A Study on the Job Burnout of Medical Librarians in Korea (의학도서관 사서들의 직무 소진에 관한 연구)

  • Chan, Hye Rhan;Kim, Jeong A
    • Journal of the Korean Society for Library and Information Science
    • /
    • v.51 no.1
    • /
    • pp.245-269
    • /
    • 2017
  • To assess and understand the level of job burnout among the medical librarians and identify the factors affecting it, email survey, consisting of questions regarding personal background, organization characteristics, degree of burnout, and coping activities, was administered for two weeks in December 2016, to the librarians in 138 institutions affiliated with the Korean Medical Library Association. MBI-GS is used as a burnout measuring instrument. Data collected from 158 librarians (response rate 65.6%), were analyzed by descriptive statistics, t-test, ANOVA, and correlation analysis methods. According to MB-GS norm, respondents experience moderate level of exhaustion and professional efficacy, however the level of cynicism is extremely high. There are significant statistical differences in burnout, depending on age, medical librarian certificate, work experience, type of library, job coverage, and coping activities. There are also statistical significant correlations between workload, role conflict, decision making process and performance evaluation, organization communication, IT environment, continuing education and burnout. Based on the results, recommendations to alleviate burnout are suggested in individual, organizational, and professional association context.

Design and Implementation of an e-NIE Learning Model for Technical High Schools (공업계 고등학교를 위한 전자신문활용교육 학습 모형의 설계 및 구현)

  • Kang Oh-Han;Lee Gyoung-Hwan
    • Journal of Korea Society of Industrial Information Systems
    • /
    • v.11 no.2
    • /
    • pp.18-28
    • /
    • 2006
  • We consider a Direct Input Output Manufacturing System(DIOMS) which has a munber of machine centers placed along a built-in Automated Storage/Retrieval System(AS/RS). The Storage/Retrieval (S/R) machine handles parts placed on pallets for the operational aspect of DIOMS and determines the optimal operating policy by combining computer simulation and genetic algorithm. The operational problem includes: input sequencing control, dispatching rule of the S/R machine, machine center-based part type selection rule, and storage assignment policy. For each operating policy, several different policies are considered based on the known research results. In this paper, using the computer simulation and genetic algorithm we suggest a method which gives the optimal configuration of operating policies within reasonable computation time.

  • PDF

Designing Support System for Analysis of Market Concentration and Competition Situation (시장집중도 및 경쟁현황 분석 지원시스템 설계)

  • Kim, Ji-Hui;Yoo, Hyoung Sun;Seo, Ju Hwan;Kim, You-Eil;Hwang, Jee Na
    • The Journal of the Korea Contents Association
    • /
    • v.17 no.5
    • /
    • pp.252-261
    • /
    • 2017
  • This paper is aimed for providing Business Intelligence System which is in order to analysis and produce the useful industrial information such as the market penetrance and the status of competition among the enterprises in the same or similar industrial field. These industrial information were mainly analysed by the annual sales of the enterprises in the entire industry and the industrial market based on KSIC was segmented. The results obtained in the study were applied as a module in the KMAPS(KISTI Market Analysis and Prediction System) which is the demand-based Business Intelligence System. And they were verified reliability by comparing to the qualitative analyses of the specialists. It is considered that the market penetrance and competition information can be valuably used for the enterprises makes a decision to enter the new market or develop new products.

Calculus of Communicating Systems Domain in PtolemyII (PtolemyII의 CCS 도메인)

  • 황혜정;김윤정;남기혁;김일곤;최진영
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.31 no.5_6
    • /
    • pp.335-346
    • /
    • 2004
  • PtolemyII is an environment that supports heterogeneous modeling and design of concurrent systems such as embedded system. PtolemyII has several Domains which are physical rules to determine the way of communicating between components. PtolemyII has 11 domains such as PetriNet, Timed Multitasking, SR etc. Components of System can be specified using appropriate domains for their properties. Communicating Sequential Processes(CSP) is implemented as formally designed CSP domain, in PtolemyII. But CCS didn't be implemented as a domain. It is a kind of Process Algebra language which can be used for specifying and verifying concurrent systems formally. Thus, in this paper we implemented CCS domain. And that permitted developers using PtolemyII to use the same modeling pattern used in PtolemyII and to make system specifications in the base of the formal semantics of CCS. This caused the diversity of PtolemyII domains and the power of expression was improved. This paper will explain the structure of CCS domain implemented in PtolemyII and the way of implementing it.

Availability Analysis of Cluster Web Server System using Software Rejuvenation Method (소프트웨어 재활 기법을 사용한 클러스터 웹서버 시스템의 가용도 분석)

  • 강창훈
    • Journal of the Korea Computer Industry Society
    • /
    • v.3 no.1
    • /
    • pp.77-84
    • /
    • 2002
  • An cluster system used consist of large number of running servers, one has the problem that does the low availability occured by the high chance of the server failures and it is difficult to provide occuring software aging. In this paper, running cluster web servers consists of n primary servers and k backup servers, based on the operational parameters such as number of running primary servers, number of backup severs, rejuvenation period, rejuvenation time, failure rate of sewers, repair rate of servers, unstable rate of servers. We calculate to evaluate the rejuvenation policy such steady-state probabilities, downtime, availability, and downtime cost. We validate the solutions of mathematical model by experiments based on various operation parameters and find that the software rejuvenation method can be adopted as prventive fault tolerant technique for stability of system. The failure rate and unstable rate of the servers are essential factors for decision making of the rejuvenation policies.

  • PDF

A Conceptual Schema Integration through Extraction of Common Similar Subschemas : An Case Study of Multidatabase System (공통 유사 서브스키마 추출을 통한 개념적 스키마 통합 : 다중 데이터베이스 시스템 적용사례)

  • Koh, Jae-jin;Lee, Won-Jo
    • The KIPS Transactions:PartD
    • /
    • v.11D no.4
    • /
    • pp.775-782
    • /
    • 2004
  • Recently, most of global enterprises have geographically distributed organization, thus have distributed information systems which have distributed database systems. So, it is difficult for these systems to provide common views for the application programs of end users. One of solutions to solve these difficulties is an MDBS(Multidatabase System) A method to effectively implement MDBS is a schema integration. This paper proposes a methodology for a schema integration through extraction of common similar subschemas Our methodology is consisted of 5 phases : affinity analysis, extraction of similar subschemas, decision of imtegration order, resolution of semantic conflict, and schema integration. To verify the usability of our methodology, a case study is implemented with an object of MDBS. At a result, our approach can effectively be applied to the extraction of common similar subschemas and schema integration.

Accuracy Analysis of the Orbit Modeling with Various GCP Configurations and Unknown Parameter Sets (기준점 위치와 미지수 조합에 따른 궤도모델링의 정확도 분석)

  • Kim, Dong-Wook;Kim, Hyun-Suk;Kim, Tae-Jung
    • Korean Journal of Remote Sensing
    • /
    • v.24 no.2
    • /
    • pp.133-140
    • /
    • 2008
  • In this paper, we analyzed the accuracy of orbit modeling with various control point configurations and adjustment unknown parameter sets. We used 152 GCP points acquired from GPS surveying, which were distributed from Choon-chun to Nha-ju along 420km in distance. For orbit modeling, seven adjustment parameter sets were chosen to include parameters for satellite position, velocity and attitude angles at different degree of freedom. Firstly we determined the location of model point in seven configurations. Secondly we estimated model parameters for each parameter set and for each GCP configurations. Finally we applied the model to reference check points and analyzed its accuracy. We were able to find the unknown parameter set that produce best orbit modeling performance regardless of the configuration of model points.

Optimization of Early-phase Ship Design using Set-Based Design and Genetic Algorithm (집합기반설계와 유전자알고리즘을 이용한 초기단계 함정설계 최적화)

  • Park, Jin-Won
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.20 no.10
    • /
    • pp.486-492
    • /
    • 2019
  • The system-based approach is needed to select an optimal mix of weapon systems and ship platform among a variety of design alternatives with the uncertainties of the initial required operational capability. In the early-phase design, which included a feasibility study and concept design, it is possible to cause problems when a review of the operational concept, database development, and systematic design are not done, thereby producing uncertain and unstable requirements. To select the best solution without trial-and-error, the U.S. navy has applied the set-based method for the early-phase design of a new ship-to-shore connector. The ship synthesis model plays an important role in applying the set-based method, but only a few countries possess this model and have prohibited this model from being transferred to other countries. This paper suggests a set-based method using a genetic algorithm and decision-making theory through benchmarking existing ship data. The algorithm was verified using the DDG-51 class ship synthesis model to optimize the weapon system design, which has been released for research purposes.

Real-time Optimal Pump Operation for Water Transmission Network (송·배수시스템의 실시간 최적 펌프운영)

  • Kim, Kyung Wan;Choi, Jeong Wook;Kang, Doosun;Kim, Byug Seop;Kang, Min Gu
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2015.05a
    • /
    • pp.158-158
    • /
    • 2015
  • 대부분의 대규모 배수지는 고지대에 위치함으로써 자연유하를 통해 배, 급수지역으로 용수를 공급한다. 이를 위해 배수지 전단에는 가압장이 위치하여 정수장에서 처리된 용수를 고지대에 위치한 배수지로 송수한다. 이때 가압장에서 발생하는 전력소비량이 매우 높은 것으로 알려져 있으며, 효율적인 펌프운영을 통해 상당한 전력비용 절감이 가능할 것으로 판단된다. 일반적인 가압장의 운영은 시스템 운영자의 경험을 토대로 해당 가압장에 연결된 배수지의 수위에 따라 펌프의 작동여부를 결정하는 방법이 주로 사용되고 있다. 이러한 운영방법은 용수공급의 안전성을 우선시함으로써 배수지의 수위를 일정하게 유지하고자 빈번하게 펌프를 작동하게 되고 따라서 가압장에서 소모되는 전력량이 커서 운영효율 측면에서는 바람직하지 않다고 할 수 있다. 또한 빈번한 펌프의 작동으로 인해 펌프의 수명이 단축될 뿐만 아니라, 배수지내 용수의 수질저하 문제도 발생할 수 있다. 본 연구에서는 효율적인 펌프장 운영을 위해 급수지역의 24시간 용수사용량을 예측하고, 그에 따른 펌프장의 가압 유량 및 양정을 파악하여 적정용량의 펌프를 선정하고 운영함으로써 펌프의 운영비용의 최소화 및 안정적인 용수공급을 동시에 달성하고자 한다. 이를 위해, 실시간 최적화 모형을 개발하였다. 개발된 최적화 모형은 상수관망해석 프로그램(EPAENT)을 연계하여 수요절점의 수압조건 및 운영상황을 모의하였다. 최적화 기법으로는 유전자알고리즘을 사용하였으며, 실제 시스템의 운영상황를 반영하기 위한 다양한 제약조건(operational constraints)을 적용하였다. 개발된 모형은 정속펌프(혹은 On/Off 펌프) 뿐만 아니라, 최근 실무에서 널리 사용되고 있는 변속펌프(variable speed pump)를 추가적으로 고려하였다. 개발된 모형은 국내에서 실제 운영되고 있는 송, 배수 시스템에 적용하여 모형의 실무 적용가능성을 검증하였다.

  • PDF

Assessment of River Flow at Jindong of the Nakdong River Using Low Flow Indices (갈수지표를 활용한 낙동강 진동지점의 유량평가)

  • Park, Jungsool;Kim, Keuksoo;Han, Manshin;Hong, Sunghun;Choi, Kyuhyun
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2015.05a
    • /
    • pp.601-601
    • /
    • 2015
  • 비홍수기 하천유량관리는 정해진 기준 이상으로 유량을 유지하는 데 목적을 두며 유량관리를 위한 기준유량으로는 하천유지유량이나 하천관리유량이 주로 사용되고 있다. 이들 기준유량과 함께 최근에는 하천 유량 변화를 효과적으로 파악하고 유량변화에 따른 갈수상황을 객관적으로 판단하기 위한 의사결정 도구로 갈수지표가 활용되고 있다. 본 연구에서는 낙동강 주요 홍수예보지점의 하나인 진동지점을 대상으로 유량자료를 수집하고 갈수지표를 이용한 유량평가를 실시하였다. 다양한 갈수지표 중 특정기간을 대상으로 일정시간 가장 낮은 유량을 갈수지표로 활용하는 기법과 동일기간 유량자료의 저유량백분위 기준을 적용하여 이를 갈수임계값으로 활용하는 기법을 적용하였다. 전자는 7Q10(Singh, 1974)이 대표적이며 이는 10년 중 가장 낮은 값을 갖는 7일의 유량이 갈수의 기준이 된다. 본 연구에서는 7Q10의 기간을 20년으로 확대한 7Q20을 적용하였다. 후자는 WMO(2008)에서 적용된 바 있으며 본 연구에서는 1~12월의 월별 저유량90분위(Q90)를 갈수임계값으로 선정하였다. 신뢰할 수 있는 장기유량자료의 활용을 위해 "장기 수문자료 검증 및 평가연구"(한강홍수통제소, 2011)를 통해 수정, 보완된 진동지점의 과거 20년간(1994~2013) 유량자료를 활용하였으며 갈수지표와 함께 유량관리를 위한 기준유량으로 활용되는 하천유지유량(2006년 고시)과 하천관리유량(2013년 기준)의 유량만족도를 비교하였다. 과거 가뭄발생 및 제한급수시기, 강수량 등과 비교했을 때 월별 갈수임계값(Q90)을 갈수지표로 활용한 경우가 갈수관리에 효과적이라 판단되었다. 해당 기법은 통계학적 유의성을 갖기 위해서 장기수문자료의 활용이 필요하나 유량의 시계열 변동특성 반영이 가능하므로 우리나라와 같이 갈수기와 홍수기의 구분이 명확하고 하상계수가 큰 지역에서는 장점을 갖는 것으로 판단된다.

  • PDF