• Title/Summary/Keyword: time complexity

Search Result 3,082, Processing Time 0.032 seconds

FunRank: Finding 1-Day Vulnerability with Call-Site and Data-Flow Analysis (FunRank: 함수 호출 관계 및 데이터 흐름 분석을 통한 공개된 취약점 식별)

  • Jaehyu Lee;Jihun Baek;Hyungon Moon
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.33 no.2
    • /
    • pp.305-318
    • /
    • 2023
  • The complexity of software products led many manufacturers to stitch open-source software for composing a product. Using open-source help reduce the development cost, but the difference in the different development life cycles makes it difficult to keep the product up-to-date. For this reason, even the patches for known vulnerabilities are not adopted quickly enough, leaving the entire product under threat. Existing studies propose to use binary differentiation techniques to determine if a product is left vulnerable against a particular vulnerability. Despite their effectiveness in finding real-world vulnerabilities, they often fail to locate the evidence of a vulnerability if it is a small function that usually is inlined at compile time. This work presents our tool FunRank which is designed to identify the short functions. Our experiments using synthesized and real-world software products show that FunRank can identify the short, inlined functions that suggest that the program is left vulnerable to a particular vulnerability.

A study on the application of the agricultural reservoir water level recognition model using CCTV image data (농업용 저수지 CCTV 영상자료 기반 수위 인식 모델 적용성 검토)

  • Kwon, Soon Ho;Ha, Changyong;Lee, Seungyub
    • Journal of Korea Water Resources Association
    • /
    • v.56 no.4
    • /
    • pp.245-259
    • /
    • 2023
  • The agricultural reservoir is a critical water supply system in South Korea, providing approximately 60% of the agricultural water demand. However, the reservoir faces several issues that jeopardize its efficient operation and management. To address this issues, we propose a novel deep-learning-based water level recognition model that uses CCTV image data to accurately estimate water levels in agricultural reservoirs. The model consists of three main parts: (1) dataset construction, (2) image segmentation using the U-Net algorithm, and (3) CCTV-based water level recognition using either CNN or ResNet. The model has been applied to two reservoirs G-reservoir and M-reservoir with observed CCTV image and water level time series data. The results show that the performance of the image segmentation model is superior, while the performance of the water level recognition model varies from 50 to 80% depending on water level classification criteria (i.e., classification guideline) and complexity of image data (i.e., variability of the image pixels). The performance of the model can be improved if more numbers of data can be collected.

Improved Resource Allocation Model for Reducing Interference among Secondary Users in TV White Space for Broadband Services

  • Marco P. Mwaimu;Mike Majham;Ronoh Kennedy;Kisangiri Michael;Ramadhani Sinde
    • International Journal of Computer Science & Network Security
    • /
    • v.23 no.4
    • /
    • pp.55-68
    • /
    • 2023
  • In recent years, the Television White Space (TVWS) has attracted the interest of many researchers due to its propagation characteristics obtainable between 470MHz and 790MHz spectrum bands. The plenty of unused channels in the TV spectrum allows the secondary users (SUs) to use the channels for broadband services especially in rural areas. However, when the number of SUs increases in the TVWS wireless network the aggregate interference also increases. Aggregate interferences are the combined harmful interferences that can include both co-channel and adjacent interferences. The aggregate interference on the side of Primary Users (PUs) has been extensively scrutinized. Therefore, resource allocation (power and spectrum) is crucial when designing the TVWS network to avoid interferences from Secondary Users (SUs) to PUs and among SUs themselves. This paper proposes a model to improve the resource allocation for reducing the aggregate interface among SUs for broadband services in rural areas. The proposed model uses joint power and spectrum hybrid Firefly algorithm (FA), Genetic algorithm (GA), and Particle Swarm Optimization algorithm (PSO) which is considered the Co-channel interference (CCI) and Adjacent Channel Interference (ACI). The algorithm is integrated with the admission control algorithm so that; there is a possibility to remove some of the SUs in the TVWS network whenever the SINR threshold for SUs and PU are not met. We considered the infeasible system whereby all SUs and PU may not be supported simultaneously. Therefore, we proposed a joint spectrum and power allocation with an admission control algorithm whose better complexity and performance than the ones which have been proposed in the existing algorithms in the literature. The performance of the proposed algorithm is compared using the metrics such as sum throughput, PU SINR, algorithm running time and SU SINR less than threshold and the results show that the PSOFAGA with ELGR admission control algorithm has best performance compared to GA, PSO, FA, and FAGAPSO algorithms.

Elderly Sarcopenia and Vitamin B Deficiency: A Relationship? (비타민 B 결핍에 의한 노인성 근감소증)

  • Kisang Kwon;Hye-Jeong Jang;Sun-Nyoung Yu;Soon-Cheol Ahn;O-Yu Kwon
    • Journal of Life Science
    • /
    • v.33 no.7
    • /
    • pp.574-585
    • /
    • 2023
  • Sarcopenia is a leading cause of increased medical and nursing care costs among the elderly. In Korea, preventive measures for sarcopenia are mostly targeted toward the general elderly population without specific diseases. However, it is also necessary to implement measures for elderly individuals living in nursing homes and hospitals, where the prevalence of sarcopenia is high. Currently, computed tomography and/or magnetic resonance imaging are considered standard diagnostic tools. However, their complexity and time-consuming nature make them unsuitable for clinical use. The exact pathophysiological mechanisms of sarcopenia are unclear, as they involve various molecular biological pathways, including decreased exercise, protein and nutrient intake, changes in testosterone and growth hormone, and inflammation. Sarcopenia symptoms can lead to several diseases, such as osteoporosis, fractures, dementia, diabetes, and cardiovascular disease. Vitamin B deficiency is a significant factor in sarcopenia induction, with B vitamins being directly involved in energy and protein metabolism and nerve function. Vitamin B deficiency can lead to neuromuscular and neurogenic disorders, which often overlap with sarcopenia. Suboptimal intake of B vitamins, malabsorption, and anorexia are common among the elderly. This study aims to provide information on the role of water-soluble B vitamins in preventing and controlling muscle mass loss and deterioration among the elderly with sarcopenia. In addition, we discuss the potential of myokines from the B vitamin family in modulating sarcopenia.

In-silico annotation of the chemical composition of Tibetan tea and its mechanism on antioxidant and lipid-lowering in mice

  • Ning Wang ;Linman Li ;Puyu Zhang;Muhammad Aamer Mehmood ;Chaohua Lan;Tian Gan ;Zaixin Li ;Zhi Zhang ;Kewei Xu ;Shan Mo ;Gang Xia ;Tao Wu ;Hui Zhu
    • Nutrition Research and Practice
    • /
    • v.17 no.4
    • /
    • pp.682-697
    • /
    • 2023
  • BACKGROUND/OBJECTIVES: Tibetan tea is a kind of dark tea, due to the inherent complexity of natural products, the chemical composition and beneficial effects of Tibetan tea are not fully understood. The objective of this study was to unravel the composition of Tibetan tea using knowledge-guided multilayer network (KGMN) techniques and explore its potential antioxidant and hypolipidemic mechanisms in mice. MATERIALS/METHODS: The C57BL/6J mice were continuously gavaged with Tibetan tea extract (T group), green tea extract (G group) and ddH2O (H group) for 15 days. The activity of total antioxidant capacity (T-AOC) and superoxide dismutase (SOD) in mice was detected. Transcriptome sequencing technology was used to investigate the molecular mechanisms underlying the antioxidant and lipid-lowering effects of Tibetan tea in mice. Furthermore, the expression levels of liver antioxidant and lipid metabolism related genes in various groups were detected by the real-time quantitative polymerase chain reaction (qPCR) method. RESULTS: The results showed that a total of 42 flavonoids are provisionally annotated in Tibetan tea using KGMN strategies. Tibetan tea significantly reduced body weight gain and increased T-AOC and SOD activities in mice compared with the H group. Based on the results of transcriptome and qPCR, it was confirmed that Tibetan tea could play a key role in antioxidant and lipid lowering by regulating oxidative stress and lipid metabolism related pathways such as insulin resistance, P53 signaling pathway, insulin signaling pathway, fatty acid elongation and fatty acid metabolism. CONCLUSIONS: This study was the first to use computational tools to deeply explore the composition of Tibetan tea and revealed its potential antioxidant and hypolipidemic mechanisms, and it provides new insights into the composition and bioactivity of Tibetan tea.

LCL Cargo Loading Algorithm Considering Cargo Characteristics and Load Space (화물의 특성 및 적재 공간을 고려한 LCL 화물 적재 알고리즘)

  • Daesan Park;Sangmin Jo;Dongyun Park;Yongjae Lee;Dohee Kim;Hyerim Bae
    • Journal of Intelligence and Information Systems
    • /
    • v.29 no.4
    • /
    • pp.375-393
    • /
    • 2023
  • The demand for Less than Container Load (LCL) has been on the rise due to the growing need for various small-scale production items and the expansion of the e-commerce market. Consequently, more companies in the International Freight Forwarder are now handling LCL. Given the variety in cargo sizes and the diverse interests of stakeholders, there's a growing need for a container loading algorithm that optimizes space efficiency. However, due to the nature of the current situation in which a cargo loading plan is established in advance and delivered to the Container Freight Station (CFS), there is a limitation that variables that can be identified at industrial sites cannot be reflected in the loading plan. Therefore, this study proposes a container loading methodology that makes it easy to modify the loading plan at industrial sites. By allowing the characteristics of cargo and the status of the container to be considered, the requirements of the industrial site were reflected, and the three-dimensional space was manipulated into a two-dimensional planar layer to establish a loading plan to reduce time complexity. Through the methodology presented in this study, it is possible to increase the consistency of the quality of the container loading methodology and contribute to the automation of the loading plan.

Long-term and multidisciplinary research networks on biodiversity and terrestrial ecosystems: findings and insights from Takayama super-site, central Japan

  • Hiroyuki Muraoka;Taku M. Saitoh;Shohei Murayama
    • Journal of Ecology and Environment
    • /
    • v.47 no.4
    • /
    • pp.228-240
    • /
    • 2023
  • Growing complexity in ecosystem structure and functions, under impacts of climate and land-use changes, requires interdisciplinary understandings of processes and the whole-system, and accurate estimates of the changing functions. In the last three decades, observation networks for biodiversity, ecosystems, and ecosystem functions under climate change, have been developed by interested scientists, research institutions and universities. In this paper we will review (1) the development and on-going activities of those observation networks, (2) some outcomes from forest carbon cycle studies at our super-site "Takayama site" in Japan, and (3) a few ideas how we connect in-situ and satellite observations as well as fill observation gaps in the Asia-Oceania region. There have been many intensive research and networking efforts to promote investigations for ecosystem change and functions (e.g., Long-Term Ecological Research Network), measurements of greenhouse gas, heat, and water fluxes (flux network), and biodiversity from genetic to ecosystem level (Biodiversity Observation Network). Combining those in-situ field research data with modeling analysis and satellite remote sensing allows the research communities to up-scale spatially from local to global, and temporally from the past to future. These observation networks oftern use different methodologies and target different scientific disciplines. However growing needs for comprehensive observations to understand the response of biodiversity and ecosystem functions to climate and societal changes at local, national, regional, and global scales are providing opportunities and expectations to network these networks. Among the challenges to produce and share integrated knowledge on climate, ecosystem functions and biodiversity, filling scale-gaps in space and time among the phenomena is crucial. To showcase such efforts, interdisciplinary research at 'Takayama super-site' was reviewed by focusing on studies on forest carbon cycle and phenology. A key approach to respond to multidisciplinary questions is to integrate in-situ field research, ecosystem modeling, and satellite remote sensing by developing cross-scale methodologies at long-term observation field sites called "super-sites". The research approach at 'Takayama site' in Japan showcases this response to the needs of multidisciplinary questions and further development of terrestrial ecosystem research to address environmental change issues from local to national, regional and global scales.

Effects of Cognitive Attention on Human Multitasking Behaviors (인지적 주의가 다중 작업 행위에 미치는 영향)

  • Minsoo Park
    • The Journal of the Convergence on Culture Technology
    • /
    • v.10 no.1
    • /
    • pp.501-506
    • /
    • 2024
  • Humans have been shown to engage in multitasking behavior when searching for information on two or more topics or searching an information system at the same time. When processing multiple information tasks, priorities must be established as there are cognitive and physical limitations in processing multiple information tasks at once. The level of cognitive attention involved in multitasking behavior can vary depending on the complexity and importance of the information task. The objectives of this study are to understand: (a) the relationship between attention and information task prioritization behavior when people interact with information retrieval systems to find information for multiple tasks; (b) The effect of the degree of attention on information task prioritization behavior when people interact with an IR system to find information for multiple tasks. A review of the relevant literature shows that when people interact with information retrieval systems to find information for multiple tasks, their level of attention affects how they prioritize multiple information tasks. It should be noticed that people pay more attention to things they find interesting or important. Human-centered system design based on a conceptual understanding of multitasking is discussed.

Simulation and analysis of the effects of bistatic sonar detection performance induced by reverberation in the East Sea (동해 심해환경에서 잔향음에 의한 양상태 탐지성능 영향 모의 및 분석)

  • Wonjun Yang;Dae Hyeok Lee;Ji Seop Kim;Hoseok Sul;Su-Uk Son;Hyuckjong Kwon;Jee Woong Choi
    • The Journal of the Acoustical Society of Korea
    • /
    • v.43 no.4
    • /
    • pp.445-454
    • /
    • 2024
  • To detect underwater targets using sonar, sonar performance analysis that reflects the ocean environment and sonar characteristics must be performed. Sonar performance modeling of passive and monostatic sonar can be performed relatively quickly even considering the ocean environment. However, since bistatic and multistatic sonar performance modeling require higher computational complexity and much more time than passive or monostatic sonar cases, they have been performed by simplifying or not considering the ocean environment. In thisstudy, the effects of reverberation and ocean environment in bistatic sonar performance were analyzed using the bistatic reverberation modeling in the Ulleung Basin of the East Sea. As the sonar operation depth approaches the sound channel axis, the influence of the bathymetry on sound propagation is reduced, and the reverberation limited environment is formed only at short distances. Finally, it was confirmed that similar trends appeared through comparison between the simplified and elaborately calculated sonar performance modeling results.

Analysis of Soundscape Characteristics of Urban Park Using Acoustic Indices - A Case Study of Namsan Urban Natural Park, Seoul - (음향지수를 활용한 도시공원의 사운드스케이프 특징 분석 - 남산 도시자연공원 사례 연구 -)

  • Byung-Woo Chang;Dong-Wook Ko
    • Korean Journal of Environment and Ecology
    • /
    • v.38 no.4
    • /
    • pp.405-415
    • /
    • 2024
  • The bioacoustics generated in urban parks contribute to the overall sound diversity of a city, creating a harmonious acoustic environment and maintaining the balance of the soundscape. However, due to the rapid urbanization process, the acoustic environment in urban parks is continuously deteriorating due to increased noise. In this study, we present an approach to monitoring the acoustic environment of urban parks by analyzing the soundscape of Namsan Urban Natural Park in Seoul. Acoustic data were collected continuously for one month from August 2021 in four facility districts of the study site using autonomous recording units, and a total of 2,784 hours of sound material were obtained. We also compared soundscape characteristics over time in each district using acoustic indices (ACI, ADI, BI, NDSI) representing soundscape complexity, acoustic diversity, degree of bioacoustics, and anthropogenic disturbance. The results showed that acoustic indices related to bioacoustics varied between districts, but most indices showed similar variation patterns due to the influence of anthropogenic sounds. In particular, regional differences closed during periods of high bird activity but not during periods of high human activity. We suggest that considering both acoustic characteristics and multiple acoustic indices is necessary for managing the soundscape of urban parks. The results of this study are expected to provide essential data for assessing the health of urban ecosystems based on soundscapes and to be used for monitoring the acoustic environment of urban parks.