• 제목/요약/키워드: Security System Modeling

검색결과 266건 처리시간 0.025초

Organization of Independent Work of Students of Higher Pedagogical Universities of Ukraine by Means of Moodle

  • Alla, Lukіianchuk;Dmytro, Yefimov;Oksana, Biletska;Andrii, Hrytsenko;Oxana, Hevko
    • International Journal of Computer Science & Network Security
    • /
    • 제22권7호
    • /
    • pp.421-426
    • /
    • 2022
  • This study aimed to determine the effectiveness of the Moodle system in the organization of independent work of students of pedagogical profile.The purpose of the article is to analyze the Moodle platform as an innovative element of educational and pedagogical strategies and a component of the educational and methodological content for the self-study of students.Methodology is divided into clusters: general scientific (analysis, classification), ICT methods (modeling, informatization), and philosophical (synergetics). The study revealed the reorientation of Moodle from an auxiliary element to an alternative format in the organization of independent work of student teachers. Prospects for further scientific research determined in the interest of all participants in the educational process in the further development of Moodle as an effective tool for self-education of future teachers.

Debugging of Parallel Programs using Distributed Cooperating Components

  • Mrayyan, Reema Mohammad;Al Rababah, Ahmad AbdulQadir
    • International Journal of Computer Science & Network Security
    • /
    • 제21권12spc호
    • /
    • pp.570-578
    • /
    • 2021
  • Recently, in the field of engineering and scientific and technical calculations, problems of mathematical modeling, real-time problems, there has been a tendency towards rejection of sequential solutions for single-processor computers. Almost all modern application packages created in the above areas are focused on a parallel or distributed computing environment. This is primarily due to the ever-increasing requirements for the reliability of the results obtained and the accuracy of calculations, and hence the multiply increasing volumes of processed data [2,17,41]. In addition, new methods and algorithms for solving problems appear, the implementation of which on single-processor systems would be simply impossible due to increased requirements for the performance of the computing system. The ubiquity of various types of parallel systems also plays a positive role in this process. Simultaneously with the growing demand for parallel programs and the proliferation of multiprocessor, multicore and cluster technologies, the development of parallel programs is becoming more and more urgent, since program users want to make the most of the capabilities of their modern computing equipment[14,39]. The high complexity of the development of parallel programs, which often does not allow the efficient use of the capabilities of high-performance computers, is a generally accepted fact[23,31].

A refinement and abstraction method of the SPZN formal model for intelligent networked vehicles systems

  • Yang Liu;Yingqi Fan;Ling Zhao;Bo Mi
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제18권1호
    • /
    • pp.64-88
    • /
    • 2024
  • Security and reliability are the utmost importance facts in intelligent networked vehicles. Stochastic Petri Net and Z (SPZN) as an excellent formal verification tool for modeling concurrent systems, can effectively handles concurrent operations within a system, establishes relationships among components, and conducts verification and reasoning to ensure the system's safety and reliability in practical applications. However, the application of a system with numerous nodes to Petri Net often leads to the issue of state explosion. To tackle these challenges, a refinement and abstraction method based on SPZN is proposed in this paper. This approach can not only refine and abstract the Stochastic Petri Net but also establish a corresponding relationship with the Z language. In determining the implementation rate of transitions in Stochastic Petri Net, we employ the interval average and weighted average method, which significantly reduces the time and space complexity compared to alternative techniques and is suitable for expert systems at various levels. This reduction facilitates subsequent comprehensive system analysis and module analysis. Furthermore, by analyzing the properties of Markov Chain isomorphism in the case study, recommendations for minimizing system risks in the application of intelligent parking within the intelligent networked vehicle system can be put forward.

노인장기요양보험제도의 시행이 장애노인의 삶의 질 궤적에 미치는 영향 (The effects of the implementation of long-term care insurance on the quality of life trajectory among older adults with disabilities)

  • 전해숙
    • 보건교육건강증진학회지
    • /
    • 제32권3호
    • /
    • pp.97-107
    • /
    • 2015
  • Objectives: The current study aims to examine whether the influence of National Long-term Care Insurance(NLCI) on the quality of life(QoL) trajectory of older adults with disabilities is more positive than its influence on those without disabilities. Methods: Sample consisted of 5,362 elderly aged 65 and over who participated in the Korean Welfare Panel Study from Wave1 to Wave7. Data were analyzed using latent growth curve modeling. Results: Major findings are as follows. (1) Before the NLCI, the trajectories of QoL between older adults with disabilities and those without were same. (2) After the NLCI, elders with disabilities showed lower levels of QoL at the beginning, but the gaps gradually decreased with time. These results indicate that the implementation of NLCI more positively affected elders with disabilities than those without disabilities. Conclusions: These results suggest that the NLCI functions properly as one of social security nets to cope with the needs of older adults with disabilities. In conclusion, it is critical to develop a sustainable NLCI system to enhance the QoL of older adults with disabilities.

PDA를 활용한 모바일뱅킹 시스템의 설계 및 구현 (Design and Development of a PDA mobile banking System)

  • 최이권;이상범
    • 한국산학기술학회논문지
    • /
    • 제8권6호
    • /
    • pp.1530-1536
    • /
    • 2007
  • 본고에서는 무선 인터넷을 통해 은행 업무에 적용 할 수 있는 모바일 뱅킹 시스템을 소개하고자 한다. PDA는 소형 컴퓨터라 할 만큼 성능도 뛰어나고 이동할 수 있는 기기이기 때문에 영업사원 등이 많이 활용하고 있다. 따라서 PDA의 무선통신 기능을 활용하여 일상적인 은행업 업무를 실행할 수 있다면 많은 편리함을 줄 수가 있다. 또한 PDA는 윈도우기반의 운영체제를 갖고 있기 때문에 클라이언트측의 소프트웨어 개발과 유지보수가 편리한 장점이있다. 본 논문에서는 PDA 뱅킹 시스템의 최적 솔루션을 소개하는데, 이 시스템은 무선 인터넷 기술, 공개키 기반 보안 기술, PDA 응용 기술이 접목되어 실질적으로 뱅킹 업무에 사용 할 수 있도록 설계되었으며 프로토타입을 구현되었다. 분석 및 설계 방법은 UML을 이용한 객체 지향 설계 방법을 사용하였으며 Java Beans를 이용하여 구현하였다.

  • PDF

VDI 기술특성이 상호작용과 업무성과에 미치는 영향에 관한 실증적 연구 (The Effect of VDI Technical Characteristics on Interaction and Work Performance)

  • 곽영;신민수
    • 한국IT서비스학회지
    • /
    • 제20권4호
    • /
    • pp.95-111
    • /
    • 2021
  • Recently, many organizations are actively adopting VDI (Virtual Desktop Infrastructure), an IT-based business system, to build a non-face-to-face business environment for smart-work. However, most of the existing research on VDI has focused on the satisfaction of system service quality or the use of IT resources and investment for VDI introduction. However, research on effective management and utilization of factors according to the characteristics of VDI technology is urgently required. This study is an empirical research study on how VDI technology characteristics affect interactions and work performance by identifying differences in utilization factors between general organization members and IT managers, presenting standards for business utilization and management. This study proposed a model and hypothesis that the system technology characteristics for VDI use are mediated by interactions in which users respond to functions appropriate to their work. In order to verify the hypothesis, a questionnaire survey was conducted on 188 people of companies and institutions that have adopted and used VDI through a questionnaire survey. Data analysis was performed with partial least squares (PLS), a structural equation modeling (SEM) technique that uses a component-based approach to estimation. As a result of the empirical analysis, the same environmental function for performing work, N-th security, and remote access function factors for non-face-to-face work have a significant effect on interactivity, and IT managers have an additional significant effect on the management technology characteristics of resource reallocation. Has been shown to affect. The results of this study aim to minimize trial and error due to new introduction by presenting considerations for future VDI introduction through case analysis.

안전한 데이터베이스 설계를 위한 객체지향 분석·설계 방법론 -역할기반 접근제어를 중심으로- (An Object-Oriented Analysis and Design Methodology for Secure Database Design -focused on Role Based Access Control-)

  • 주경수;우정웅
    • 한국컴퓨터정보학회논문지
    • /
    • 제18권6호
    • /
    • pp.63-70
    • /
    • 2013
  • IT의 발전에 따라 다양하고 복잡한 기능을 가진 응용 시스템들이 요구되고 있다. 이러한 응용 시스템들은 대부분 데이터를 효율적으로 관리하기 위해 데이터베이스를 기반으로 구축된다. 그러나 응용 시스템 개발을 위하여 사용되고 있는 대부분의 객체지향 분석 설계 방법론들은 데이터베이스와의 상호 연관성을 명확하게 제공하지 못하고 있다. 보안과 관련된 요구사항들이 증가되면서 보안에 대한 중요성 역시 점차 증가되고 있다. 하지만 이러한 보안은 대부분 개발 마지막 과정에서 고려되기 때문에 요구사항 분석부터 구현에 이르기까지 시스템 개발 전 주기에 따른 일관된 보안 적용은 어려운 실정이다. 따라서 본 논문에서는 요구사항 분석부터 구현에 이르기까지, 보안이 강조된 '안전한 데이터베이스 설계를 위한 객체지향 분석 설계 방법론'을 제안한다. 제안한 '안전한 데이터베이스 설계를 위한 객체지향 분석 설계 방법론'은 대부분의 객체지향 분석 설계 방법론들이 제시하지 못했던 데이터베이스와의 상호 연관성을 제공할 뿐만 아니라, 보안이 강조된 모델링 언어인 UMLsec을 사용하여 보안이 데이터베이스 설계에 반영토록 하였다. 아울러 보안에 따른 구현을 위하여 관계형 데이터베이스의 역할기반 접근제어(RBAC; Role Based Access Control)를 사용한다.

민간경비 조직의 서번트・변혁적 리더십, 조직시민행동, 조직성과 간의 구조모형 검증 (Verification for Structural Modeling between Servant and Transformational Leadership, Organizational Citizenship Behavior, and Organizational Performance of Private Security Organizations)

  • 정성숙
    • 시큐리티연구
    • /
    • 제57호
    • /
    • pp.205-230
    • /
    • 2018
  • 본 연구는 민간경비 조직의 서번트 변혁적 리더십, 조직시민행동, 조직성과 간의 구조모형을 검증하고자 서울과 경기도에 소재하고 있는 민간경비업체에 근무 중인 경비원을 모집단으로 선정한 후 집락무선표집법(culster random sampling method)을 통하여 조사하였다. 조사기간은 2016년 9월1일부터 11월30일까지 350명을 대상으로 실시하였다. 이 연구는 SPSSWIN 21.0과 AMOS 21.0을 이용하여 연구의 목적에 따라 요인분석(EFA/CFA), 신뢰도분석, 수렴 및 판별타당도분석, 공변량 구조분석을 실시하였다. 이 연구를 통하여 얻은 결론은 다음과 같다. 첫째, 서번트 리더십은 조직시민행동에 통계적으로 .001수준에서 직접적으로 정의(+) 영향을(${\beta}=.406$) 미친다. 둘째, 변혁적 리더십은 조직시민행동에 통계적으로 .001수준에서 직접적으로 정의(+) 영향을(${\beta}=.373$) 미친다. 셋째, 조직시민행동은 조직성과에 통계적으로 .01수준에서 직접적으로 정의(+) 영향을(${\beta}=.615$) 미친다. 넷째, 서번트리더십은 조직성과에 통계적으로 영향을(${\beta}=.211$) 미치지 않는다. 다섯째, 변혁적 리더십은 조직성과에 통계적으로 영향을(${\beta}=.058$) 미치지 않는다. 여섯째, 조직시민행동은 서번트 리더십과 조직성과 간의 관계에서 통계적으로 .01수준에서 정의(+) 매개효과(${\beta}=.249$)가 있다. 일곱째, 조직시민행동은 변혁적 리더십과 조직성과 간의 관계에서 통계적으로 .01 수준에서 정의(+) 매개효과(${\beta}=.230$)가 있다.

항공라이다시스템의 기하모델링 및 데이터 시뮬레이션 (Geometric Modeling and Data Simulation of an Airborne LIDAR System)

  • 김성준;민성홍;이임평;최경아
    • 한국측량학회지
    • /
    • 제26권3호
    • /
    • pp.311-320
    • /
    • 2008
  • 라이다는 레이저 펄스를 이용해서 대상표면에서 추출된 조밀한 3차원 좌표를 신속하게 취득할 수 있어서 대상물의 3차원 모델을 자동으로 생성하는 것에 효과적으로 이용된다. 이러한 장점에 힘입어 국방 및 안보 분야에서 특히 지능형 유도 미사일과 유무인 정찰기에 라이다의 적용이 빠르게 증가하고 있다. 이에 본 연구는 라이다의 활용가능성을 사전에 검증하기 위해 라이다데이터를 시뮬레이션을 통해 생성하는 것을 목표로 한다. 이를 위해 라이다를 구성하는 GPS, IMU, LS의 기하모델링을 통해 레이저 펄스의 3차원 좌표를 계산하는 센서 방정식을 유도하였고, 이를 기반으로 주어진 시스템변수, 비행경로 및 자세, 시스템오차, 기준 DEM 등을 입력으로 모의 라이다데이터를 생성하는 프로그램을 개발하였다. 도심지역의 모의 라이다데이터 생성에 적용하였고, 생성된 데이터를 분석하여 시뮬레이션의 정확도 및 활용성을 확인하였다. 본 연구에서 개발된 시뮬레이터는 활용 알고리즘 개발을 위해 필요한 다양한 실험 데이터를 경제적으로 제공하고, 나아가 최적의 비행 및 시스템 변수의 설정에 기여할 수 있다.

모바일 플랫폼에 따른 스마트 뱅킹의 지속사용에 영향을 미치는 선행요인: Android OS vs. iOS (Antecedent Factors Influencing the Continued Use of Smart Banking by Different Mobile Platforms: Android OS vs. iOS)

  • 김도형;하성호;박경배
    • 한국정보시스템학회지:정보시스템연구
    • /
    • 제24권2호
    • /
    • pp.209-240
    • /
    • 2015
  • 연구 목적 본 연구는 스마트 뱅킹(smart banking)의 다양한 속성과 사용자 속성, 지각된 즐거움, 신뢰 및 만족, 그리고 지속 사용 의도와의 관계를 구글의 안드로이드 운영체제(Android OS)와 애플의 운영체제(iOS)간 비교 분석하였다. 연구설계/방법론/접근법 본 연구의 목적을 달성하기 위해 2012년 9월 국내에서 실시된 설문조사를 바탕으로 총 245개의 샘플을 수집하였으며 이를 토대로 구조방정식을 통해 분석해 보았다. 결과 스마트 뱅킹 서비스에서 수렴성과 친숙성은 지각된 유용성에 유의미한 영향을 미치는 것으로 나타났으며, 보안성과 경제성은 지각된 신뢰성에 유의미한 영향을 미치는 것으로 밝혀졌다. 또한, 보안성, 경제성 및 혁신성의 지각된 유용성과의 관계, 그리고 편의성 및 친숙성의 지각된 신뢰성과의 관계에서 모두 안드로이드 운영체제가 iOS 보다 강한 영향력을 미침을 확인 할 수 있었다. 본 연구는 스마트 뱅킹에 관한 서로 다른 두 운영체제(Android OS vs. iOS)간의 비교분석을 수행함과 동시에 통합된 프레임워크를 제안함으로써 관련 연구에 이바지 할 것으로 기대된다.