• Title/Summary/Keyword: 소프트웨어신뢰성

Search Result 1,045, Processing Time 0.027 seconds

Neuroscience based human resource management at Midas IT Co._A case study (마이다스아이티의 뇌과학 기반 인적자원 관리 사례 연구)

  • Lee, Jee-Hoon
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.21 no.5
    • /
    • pp.240-248
    • /
    • 2020
  • Over the past 20 years, brain science has developed rapidly thanks to new technologies such as functional magnetic resonance imaging (fMRI), leading to more accurate knowledge of human nature and behavioral changes. This knowledge is also actively applied in the field of management. This research aimed to gain insights into how neuroscience can be incorporated into management through the case of Midas IT Co. This construction software company has a separate organization with the purpose of studying brain science, and it makes and implements human resource management policies based on brain science. The founder Lee Hyung-woo has a humanist management philosophy, and the company's brain science research supports that philosophy. The case study method was adopted as the research method, and procedures such as interviews and direct observation, participation observation, and document information were carried out. The company's human resource management system can be explained by a brain science model called "SCARF", which combines various neuroscience discoveries. As this model suggests, the company has improved the trust and satisfaction of its members by reducing threat of status and by increasing certainty, autonomy, relationship, and fairness in the workplace, resulting in the creation of a platform for creativity, integrity, and high performance.

A Transition Reduction Algorithm of Finite State Machines using Slice Models (Slice 모델을 이용한 유한상태머신의 트랜지션 축약 알고리즘)

  • Lee, Woo-Jin
    • Journal of KIISE:Software and Applications
    • /
    • v.35 no.1
    • /
    • pp.12-21
    • /
    • 2008
  • As the usage of computer systems is increasing in our lives, the reliability and safely of these systems need to be thoroughly checked through the verification techniques. As a basic formalism for several modeling methods, the finite state machine (FSM) is widely used in specification and verification of system models. And there is a technique for ing internal events of FSM in order to effectively analyze the system. However, this technique does not handle the state explosion problem since it can be applied after completely generating all the state space of the system. In this research, we provide a new approach for efficiently representing concurrent properties of FSM, the slice model and provide an efficient transition reduction method based on the slice model. Our approach is effective in time and space perspective since it is peformed by partially generating the needed system states while the existing abstraction technique can be applied to all the system states.

A Study on Online Detection Schemes of Earthquake Induced Shifts in Coordinate Time Series of GNSS Continuous Operation Reference Station by Kalman Filtering (칼만필터에 기반한 GNSS 상시관측소 좌표 시계열의 지진에 따른 편의검출 기법에 관한 연구)

  • Lee, Hungkyu
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.21 no.9
    • /
    • pp.662-671
    • /
    • 2020
  • It is crucial to manage and maintain the geodetic reference coordinates of GNSS continuously operating reference stations (CORSs) in consideration of their fundamental roles in geodetic control and positioning navigation infrastructure. Earthquake-induced crustal displacement directly impacts the reference coordinates, so such events should be promptly detected, and appropriate action should be made to maintain the target accuracy, including update of the geodetic coordinates. To this end, this paper deals with online schemes for the detection of persistent shifts in the coordinate time-series produced by an automatic GNSS processing system. Algorithms were implemented to test filtered results, such as hypothesis tests of the innovation sequence of a Kalman filter and a cumulative sum (CUSUM) test. The results were assessed by the time-series of coordinates of 14 CORS for two years, including the 2011 Tohoku earthquake. The results show that the global hypothesis test is practical for detecting abrupt jumps, whereas CUSUM is effective for identifying persistent shifts.

A Study on the Elasto-Plasticity Behaviour of a Ship's Plate under Thrust According to Boundary Condition (압축력을 받는 선체판의 경계조건에 따른 탄소성거동에 관한 연구)

  • Ko Jae-Yong;Park Joo-Shin;Park Sung-Hyun
    • Journal of the Korean Society of Marine Environment & Safety
    • /
    • v.10 no.1 s.20
    • /
    • pp.29-33
    • /
    • 2004
  • Design of general steel structure had applied to achieve elastic designing concept so far. Because elastic design supposes that whole structure complies with elasticity formula so that achieve via allowable stress of material. It is concept that calculate stress distribution of construction about action external load and estimate load when the maximum stress reaches equally with allowable stress that is established by maximum safety load of the structure. But, absence that compose actuality structure by deal with external load increase small success surrender and structure hardness falls and structure in limited state finally on the whole as showing complicated process by interference between collapse and buckling under compression. Applied ANSYS (elasto-plasticity large deformation finite element method) to be mediocrity finite element program for analysis method and analysis control used in Newton-Raphson method & Arc-length method.

  • PDF

A New Method for Imputation of Missing Genotype using Linkage Disequilibrium and Haplotype Information (결측치가 존재하는 유전형 자료에서의 연관불균형과 일배체형을 사용한 결측치 대치 방법)

  • Park Yun-Ju;Kim Young-Jin;Park Jung-Sun;Kim Kuchan;Koh Insong;Jung Ho-Youl
    • Journal of KIISE:Software and Applications
    • /
    • v.32 no.2
    • /
    • pp.99-107
    • /
    • 2005
  • In this paper, wc propose a now missing imputation method for minimizing loss of information linkage disequilibrium-based and haplotype-based imputation method, which estimate missing values of the data based on the specificity of Single Nucleotide Polymorphism(SNP) genotype data. Method for imputing data is needed to minimize the loss of information caused by experimental missing data. In general, missing imputation of biological data has used major allele imputation method. but this approach is not optima]. 1'his method has high error rates of missing values estimation since the characteristics of the genotype data are not considered not take into consideration the specific structure of the data. In this paper, we show the results of the comparative evaluation of our model methods and major imputation method for the estimation of missing values.

A GIS-Based Method for Bicycle Route Network Determination Using AHP Analysis in Busan (GIS기반의 계층분석기법(AHP)을 활용한 부산시 자전거도로망 선정에 관한 연구)

  • Son, Eugene;Hwang, In-Sik
    • Journal of the Korean Association of Geographic Information Studies
    • /
    • v.12 no.4
    • /
    • pp.182-190
    • /
    • 2009
  • To solve the problems of traffic congestion, air pollution and energy derived from increased car consumption, people are in recognition of the importance of green mode, bicycle. Bicycle use rate in Busan is lower due to the terrain and limited public transportation accessibility. Therefore, geographical conditions and use activation should be initially considered in the bicycle route planning. We calculated a weight using AHP(Analytic Hierarchy Process), make a database using GIS tool and deduced the routes applying calculated weight in this study. The result of this study, We could get reliable data as inspecting consistency of the research. Routes are deducted in the place where using demand is higher than arbitrarily chosen routes. Therefore, the route planning through AHP is expected to be utilized in area-specialty-reflected route planning or bicycle road alternatives testing.

  • PDF

Blockchain and AI-based big data processing techniques for sustainable agricultural environments (지속가능한 농업 환경을 위한 블록체인과 AI 기반 빅 데이터 처리 기법)

  • Yoon-Su Jeong
    • Advanced Industrial SCIence
    • /
    • v.3 no.2
    • /
    • pp.17-22
    • /
    • 2024
  • Recently, as the ICT field has been used in various environments, it has become possible to analyze pests by crops, use robots when harvesting crops, and predict by big data by utilizing ICT technologies in a sustainable agricultural environment. However, in a sustainable agricultural environment, efforts to solve resource depletion, agricultural population decline, poverty increase, and environmental destruction are constantly being demanded. This paper proposes an artificial intelligence-based big data processing analysis method to reduce the production cost and increase the efficiency of crops based on a sustainable agricultural environment. The proposed technique strengthens the security and reliability of data by processing big data of crops combined with AI, and enables better decision-making and business value extraction. It can lead to innovative changes in various industries and fields and promote the development of data-oriented business models. During the experiment, the proposed technique gave an accurate answer to only a small amount of data, and at a farm site where it is difficult to tag the correct answer one by one, the performance similar to that of learning with a large amount of correct answer data (with an error rate within 0.05) was found.

An Effective Service Sharing Scheme on Distributed OSGi Frameworks (분산되어 있는 OSGi 프레임워크에서 효과적인 서비스 공유 방안)

  • Yun, Ki-Hyun;Kim, Eun-Hoe;Choi, Jae-Young
    • The KIPS Transactions:PartA
    • /
    • v.16A no.4
    • /
    • pp.227-234
    • /
    • 2009
  • OSGi technology has applied to Home Network, but now it is loaded into even heterogeneous devices in various domains. Therefore, it is necessary to cooperate with each other framework for offering effective services in distributed OSGi frameworks. However until now, OSGi specification doesn't provide any methodthat can share the services registered on remote OSGi frameworks. In order to solve this problem, there have been several researches that used existing distributed middleware technologies such as JXTA and Web Services. However these technologies have some weakness, that is, they consume lots of computing resources and need additional process to transform the services. A middleware called R-OSGi uses only OSGi technology for sharing remote OSGi services, but R-OSGi may have a communication bottleneck and SPOF (Single Point of Failure) problem, because it has a central service registry. In this paper we present RSP (Remote Service Provider), which is a P2P-based effective service sharing scheme on distributed OSGi framework. RSP doesn't need to install additional software nor have the additional transformation process of the service representation, because it uses only OSGi technology. In addition it doesn't have any bottleneck problem and improves scalability by providing the service discovery mechanism using P2P. RSP can also access remote services transparently and it can guarantee reliability by sending an immediate notice about changes of the remote services.

A Requirement Priority Process of Embedded Systems based on the Dependency and Aspect (의존과 관점 기반 임베디드 시스템의 요구사항 우선순위 프로세스)

  • Hwang, Wi-Yong;Kang, Dong-Su;Song, Chee-Yang;Seong, Jae-Seok;Baik, Doo-Kwon
    • The KIPS Transactions:PartD
    • /
    • v.16D no.5
    • /
    • pp.767-790
    • /
    • 2009
  • Setting up a priorityfor an embedded system is greatly significant because a release plan at the early stage of product developments can properly be established through right decision making procedures based on the priorities. For instance, both dependencies among requirements and the aspects of product developers should be considered into the priorities to improve the embedded system. Especially, trade-offs among the requirements, which are quite different depending on H/W and S/W architecture styles they use, should be acknowledged without exception. However, the selection process on the priority has hitherto been fairly systematic in the existing environment where hardware and software are not being considered at once. Therefore, this paper suggests an dependency and aspect-based model and process for the requirements of the priority. For this, the paper analyzes the trade-offs between the requirements depending on the disparate Architecture styles of H/W and S/W, and it also reflects the viewpoints of the developers. For thelast thing, the model and process suggested will be applied to the case of the development of both cell phones and cameras to gain authenticity and reliability. In conclusion, the danger occurring when the release plan is constructed can be minimized by screening the priorities that optimizes the embedded system more explicitly.

Development of Greenhouse Environment Monitoring & Control System Based on Web and Smart Phone (웹과 스마트폰 기반의 온실 환경 제어 시스템 개발)

  • Kim, D.E.;Lee, W.Y.;Kang, D.H.;Kang, I.C.;Hong, S.J.;Woo, Y.H.
    • Journal of Practical Agriculture & Fisheries Research
    • /
    • v.18 no.1
    • /
    • pp.101-112
    • /
    • 2016
  • Monitoring and control of the greenhouse environment play a decisive role in greenhouse crop production processes. The network system for greenhouse control was developed by using recent technologies of networking and wireless communications. In this paper, a remote monitoring and control system for greenhouse using a smartphone and a computer with internet has been developed. The system provides real-time remote greenhouse integrated management service which collects greenhouse environment information and controls greenhouse facilities based on sensors and equipments network. Graphical user interface for an integrated management system was designed with bases on the HMI and the experimental results showed that a sensor data and device status were collected by integrated management in real-time. Because the sensor data and device status can be displayed on a web page, transmitted using the server program to remote computer and mobile smartphone at the same time. The monitored-data can be downloaded, analyzed and saved from server program in real-time via mobile phone or internet at a remote place. Performance test results of the greenhouse control system has confirmed that all work successfully in accordance with the operating conditions. And data collections and display conditions, event actions, crops and equipments monitoring showed reliable results.