• 제목/요약/키워드: coverage guidance

검색결과 25건 처리시간 0.029초

최적화 컴파일된 자바스크립트 함수에 대한 최적화 해제 회피를 이용하는 런타임 가드 커버리지 유도 퍼저 (Runtime-Guard Coverage Guided Fuzzer Avoiding Deoptimization for Optimized Javascript Functions)

  • 김홍교;문종섭
    • 정보보호학회논문지
    • /
    • 제30권3호
    • /
    • pp.443-454
    • /
    • 2020
  • 자바스크립트 엔진은 주로 웹 브라우저에 적재되어 웹 페이지를 표시하는 여러 기능 중 자바스크립트 코드를 입력으로 받아 처리하는 모듈이다. 자바스크립트 엔진 내 취약점은 종단 사용자의 시스템 보안을 위협할 수 있어 많은 퍼징 테스트 연구가 수행되었다. 그중 일부 연구는 자바스크립트 엔진 내 테스트 커버리지를 유도하는 방식으로 퍼징 효율을 높였으나, 최적화되어 동적으로 생성된 기계어 코드에 대한 커버리지 유도 퍼징은 시도되지 않았다. 최적화된 자바스크립트 코드는 예외적인 흐름 발생 시 코드를 해제하는 런타임 가드의 기능으로 인해 퍼징을 통한 충분한 반복 테스트가 어렵다. 본 논문은 이러한 문제점을 해결하기 위해 최적화 해제를 회피하여 최적화된 기계어 코드에 대해 퍼징 테스트를 수행하는 방법을 제안한다. 또한, 동적 바이너리 계측 방식으로 수행된 런타임 가드의 커버리지를 계측하고 커버리지 증가를 유도하는 방식을 제안한다. 실험을 통해, 본 연구가 제안하는 방식이 런타임 가드 커버리지, 시간당 테스트 횟수의 두가지 척도에서 기존의 방식보다 뛰어남을 보인다.

An optimized deployment strategy of smart smoke sensors in a large space

  • Liu, Pingshan;Fang, Junli;Huang, Hongjun
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제16권11호
    • /
    • pp.3544-3564
    • /
    • 2022
  • With the development of the NB-IoT (Narrow band Internet of Things) and smart cities, coupled with the emergence of smart smoke sensors, new requirements and issues have been introduced to study on the deployment of sensors in large spaces. Previous research mainly focuses on the optimization of wireless sensors in some monitoring environments, including three-dimensional terrain or underwater space. There are relatively few studies on the optimization deployment problem of smart smoke sensors, and leaving large spaces with obstacles such as libraries out of consideration. This paper mainly studies the deployment issue of smart smoke sensors in large spaces by considering the fire probability of fire areas and the obstacles in a monitoring area. To cope with the problems of coverage blind areas and coverage redundancy when sensors are deployed randomly in large spaces, we proposed an optimized deployment strategy of smart smoke sensors based on the PSO (Particle Swarm Optimization) algorithm. The deployment problem is transformed into a multi-objective optimization problem with many constraints of fire probability and barriers, while minimizing the deployment cost and maximizing the coverage accuracy. In this regard, we describe the structure model in large space and a coverage model firstly, then a mathematical model containing two objective functions is established. Finally, a deployment strategy based on PSO algorithm is designed, and the performance of the deployment strategy is verified by a number of simulation experiments. The obtained experimental and numerical results demonstrates that our proposed strategy can obtain better performance than uniform deployment strategies in terms of all the objectives concerned, further demonstrates the effectiveness of our strategy. Additionally, the strategy we proposed also provides theoretical guidance and a practical basis for fire emergency management and other departments to better deploy smart smoke sensors in a large space.

건강보험 보장성 확대정책의 집행분석: Winter의 정책집행모형의 적용 (An Implementation Analysis of the National Health Insurance Coverage Expansion Policy in Korea: Application of the Winter Implementation Model)

  • 유수연;강민아;권순만
    • 보건행정학회지
    • /
    • 제24권3호
    • /
    • pp.205-218
    • /
    • 2014
  • Background: Most studies on the national health insurance benefit expansion policy have focused on policy tools or decision-making process. Hence there was not enough understanding on how policies are actually implemented within the specific policy context in Korea which has a national mandatory health insurance system with a dominant proportion of private providers. The main objectives of this study is to understand the implementation process of the benefit coverage expansion policy. Unlike other implementation studies, we tried to examine both the process of implementation and decision making and how they interact with each other. Methods: Interviews were conducted with the ex-members of the Health Insurance Policy Review Committee. Medical doctors who implement the policy at the 'street-level' were also interviewed. To figure out major variables and the degree of their influences, the data were analyzed with Winter's Policy Implementation Model which integrates the decision making and implementation phases. Results: As predicted by the Winter model, problems in the decision making phase, such as conflicts among the members of committee, lack of applicable causal theories application of highly symbolic activities, and limited attention of citizen to the issue are key variables that cause the 'implementation failure.' In the implementation phase, hospitals' own financial interests and practitioners' dependence on the hospitals' guidance were barriers to meeting the policy goals of providing a better coverage for patients. Patients, the target group, tend to prefer physicians who prescribe more treatment and medicine. To note, 'fixers' who can link and fill the gap between the decision-makers and implementers were not present. Conclusion: For achieving the policy goal of providing a better and more coverage to patients, the critical roles of medical providers as street-level implementers should be noted. Also decision making process of benefit package expansion policy should incorporate its influence on the implementation phase.

편대 유도 법칙 및 초소형 비행체의 자동 편대 비행 구현 (Leader - Follower based Formation Guidance Law and Autonomous Formation Flight Test of Multiple MAVs)

  • 유동일;심현철
    • 한국항공우주학회지
    • /
    • 제39권2호
    • /
    • pp.121-127
    • /
    • 2011
  • 본 논문에서는 초소형 비행체의 자동 편대 비행을 위한 유도 법칙과 비행 시험 결과를 기술하였다. 초소형 비행체는 탑재 중량과 비행시간 등의 제한으로 인해 짧은 시간 안에 복수의 비행체가 임무를 분담하거나 협력하여 동시에 수행하는 것이 효율적이며 편대 비행은 이러한 임무 하중을 효과적으로 감소시킬 수 있다. 제안된 편대 유도 법칙은 Leader-Follower 편대 비행의 기하학적 관계 기반으로 비선형 모델 역변환 기법을 이용하여 설계하였다. 편대 유도 법칙에 필요한 비행체의 상태 정보는 비행체 간 고속의 데이터 통신 시스템을 구성하고 지상국을 통해 송수신하도록 하였다. 본 연구에서 제안된 비행체간 통신 기반의 편대 유도 기법은 센서의 측정 잡음에 대한 강건한 성능을 확인하기 위해 실제 비행 데이터 기반 시뮬레이션을 수행하였고 다수의 초소형 비행체를 이용한 편대 비행 시험을 통해 유도 법칙의 타당성을 검증하고 확인하였다.

Assessing the Suitability of Satellite Precipitation Products for Flood Modeling in the Tonle Sap Lake Basin, Cambodia

  • Oudom Satia Huong;Xuan-Hien Le;Giha Lee
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2023년도 학술발표회
    • /
    • pp.176-176
    • /
    • 2023
  • The Tonle Sap is the richest and diverseness of freshwater ecosystem in Southeast Asia, receiving nurturing water flows from the Mekong and its immediate basin. In addition, the rapid development in the Tonle Sap Lake (TSL) Basin, and flood inundation may threaten the natural diversities and characteristics. The impacts of flood inundation in 11 sub-basins contributing to the Tonle Sap Lake were assessed using the Rainfall-Runoff-Inundation (RRI) model to quantify the potential magnitude and extent of the flooding. The RRI model is set up by using gauged rainfall data to simulate the information of river discharge and flood inundation of huge possible flood events. Moreover, two satellite precipitation products (SPPs), CHIRPS and GSMaP, within respectively spatial resolutions of 0.05° and 0.1°, are utilized as an input for the RRI model to simulate river discharge, flood depth, and flood extent for the great TSL Basin of Cambodia. This study used statistical indicators such as NSE, PBIAS, RSR, and R2 as crucial indices to evaluate the performance of the RRI model. Therefore, the findings of this study could provide promising guidance in hydrological modeling and the significant implications for flood risk management and disaster preparedness in the region.

  • PDF

무인항공 변량방제 시스템의 살포 균일도 분석 (Uniformity Analysis of Unmanned Aerial Application with Variable Rate Spray System)

  • 구영모;배영환
    • 농업생명과학연구
    • /
    • 제52권6호
    • /
    • pp.111-125
    • /
    • 2018
  • 본 연구에서는 변량방제기술을 적용한 농용 회전익기를 이용하여 살포한 입자의 구간비행 상태에서의 거리별 살포 패턴을 측정함으로써 무인 항공방제의 농약 부착률과 입자경의 분포 균일도를 평가하였다. 비행을 등속으로 유지하는 안내비행과 자동비행 모드에서 유효살포폭 3.6m로 인접비행 구간과 살포폭이 일부 중첩된 피복률에 대한 가로방향 분포의 변이계수는 30% 정도를 보였고, 비행방향 진로위치에 대한 피복률의 변이계수는 10% 미만으로 매우 균등한 것으로 평가되었다. 따라서 살포작업시 기체의 지면속도(ground speed)의 변이를 보상하는 변량살포기술은 균일도 측면에서 우수한 것으로 판명되었으며, 또한 입자경의 분포에 있어서 체적중위직경(VMD)과 개체중위직경(NMD) 모두 항공방제에 적절한 크기와 균일한 분포를 보였다. 따라서 농용 회전익기를 이용하여 소필지의 항공방제작업을 무인화 하는데 있어, 변량방제장치를 적용함으로써 소규모 필지의 균일 정밀방제를 도모하고자 하였다.

자율 청소 로봇을 위한 미지의 환경에서의 새로운 경로 계획 방법 (A New Solution to Path Planning of Autonomous Cleaning Robot in Unknown Environment)

  • 이상수;오준섭;박진배;최윤호
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2001년도 하계학술대회 논문집 D
    • /
    • pp.2335-2337
    • /
    • 2001
  • In this paper, we address a new complete coverage navigation algorithm and guidance methodology for the cleaning robot. The proposed algorithm is based on the grid map. Six templates, excluding a Back-Trace(BT) template are used as the local navigation method. The effectiveness of the algorithm proposed in this paper is thoroughly demonstrated through simulations and the evaluation of parameters for the path execution.

  • PDF

제4차 산업혁명 활성화를 위한 5G 추가 주파수 공급의 전략적인 의견 (Strategic Reviews on Promoting the Fourth Industrial Revolution by Supplying 5G Additional Frequency)

  • 박승근
    • 전자통신동향분석
    • /
    • 제34권6호
    • /
    • pp.1-16
    • /
    • 2019
  • The paper presents five strategic opinions for promoting the fourth industry revolution through the supply of 5G additional frequency. The assessments are on the basis of 5G frequency utilization technologies and services, with reference to 3GPP 5G New Radio standards, after investigating the domestic 1G, 2G, 3G, 4G, and 5G mobile communication services as well as the use of mobile radio frequency and spectrum. The presented opinions contain the frequency supply of contiguous-wide bandwidth channels, harmonized frequency supply between licensed and unlicensed spectrum, the existing 4G frequency recycle for increasing 5G coverage and capacity, balance frequency supply in the multi-band for 5G services, and the development of 5G vertical frequency for industry. The aim is that the presented five strategic opinions can offer guidance for the upcoming plan of domestic 5G additional frequency supply.

RESEARCH ON SENTIMENT ANALYSIS METHOD BASED ON WEIBO COMMENTS

  • Li, Zhong-Shi;He, Lin;Guo, Wei-Jie;Jin, Zhe-Zhi
    • East Asian mathematical journal
    • /
    • 제37권5호
    • /
    • pp.599-612
    • /
    • 2021
  • In China, Weibo is one of the social platforms with more users. It has the characteristics of fast information transmission and wide coverage. People can comment on a certain event on Weibo to express their emotions and attitudes. Judging the emotional tendency of users' comments is not only beneficial to the monitoring of the management department, but also has very high application value for rumor suppression, public opinion guidance, and marketing. This paper proposes a two-input Adaboost model based on TextCNN and BiLSTM. Use the TextCNN model that can perform local feature extraction and the BiLSTM model that can perform global feature extraction to process comment data in parallel. Finally, the classification results of the two models are fused through the improved Adaboost algorithm to improve the accuracy of text classification.

초·중·고등학교 성교육 교재 분석에 관한 연구 (Analysis of Education Materials on Sexuality)

  • 김미주
    • 한국학교보건학회지
    • /
    • 제10권2호
    • /
    • pp.137-156
    • /
    • 1997
  • Most education materials on sexuality developed in the past 10 years have not been thoroughly evaluated. This study provides results from a content analysis of 5 education materials for primary, middle and high school student. The results of this study were as follows: The Analysis Framework was developed to measure content in the education materials. It was organized into six domains. They are "Human Development", "Relationship", "Personal Skills", "Sexual Behavior", "Sexual Health", "Society and Culture". Each was associated topics and age appropriate developmental guides. The standard for analysis was the developmental guide suggested by the analysis framework. Each education material was assessed for developemtal guidance and its appropriateness for primary, middle and high school students. The total number of "being" responses to each developmental guidance equaled the score the material earned. These scores then were judged as to how well each education materials was comprehensive. 3 of 5 education materials were addressed as less than half the developmental guidline. Certain education materials were less comprehensive than others. I want to know 'Sexuality' covered the fewest developmental guidliness (34.6%). Interstingly, certain domains received much more coverage across all education materials than others. Most education materials provided instruction concerning "Human Development" (62.6%), "Sexual Health" (61.0%). However, topics such as "Personal Skills" (16.2%), "Relationship" (44.1%), "Sexual Behavior" (46.8%), "Society and Culture" (48.6%) were rarely addressed. Three topic, "negotiation", "sexual fantasy", "sexual dysfunction", were never addressed by most of the materials. Because several of the education material contained gender and sexual orientation biases. Certain topics such as "sexual identity and orientation" and "Gender role" were not adequately addressed by most of the material. Unfortunately, the overall findings of this study revealed that most of the education materials were considered insufficient for students. Because this study focused on whether or not the education materials addressed the developmental guidlines, further research is recommended to evaluate and addressed each developmental guidline.

  • PDF