检索结果-内蒙古大学图书馆

the CoLiS platform for the analysis of maintainer scripts in Debian software packages

international JOURNAL ON SOFTWARE tools FOR TECHNOLOGY TRANSFER 2022年第5期24卷 717-733页

作者： Becker, Benedikt Jeannerod, Nicolas Marche, Claude Regis-Gianas, Yann Sighireanu, Mihaela Treinen, Ralf Univ Paris Saclay LMF INRIA CNRS F-91190 Gif Sur Yvette France Univ Paris Cite IRIF CNRS F-75013 Paris France Univ Paris Saclay LMF ENS Paris Saclay CNRS F-91190 Gif Sur Yvette France

the software packages of the Debian distribution include more than twenty-seven thousand maintainer scripts in total, almost all of them being written in the Posix shell language. these scripts are executed with root privileges at installation, update, and removal of a package, which makes them critical for system maintenance. While the Debian policy provides guidance for package maintainers producing the scripts, only few tools exist to check the compliance of a script to that policy. We present CoLiS, a software platform for discovering violations of non-trivial properties required by the Debian policy in maintainer scripts. We describe our methodology which is based on symbolic execution and feature tree constraints, and we give an overview of the toolchain. We obtain promising results: our toolchain is effective in analysing a large set of Debian maintainer scripts, and it has already detected over 150 policy violations that have led to bug reports, more than two-third of them now being fixed.

关键词： Quality assurance Safety properties Debian distribution Software package installation Shell scripts High-level view of file hierarchies Symbolic execution Feature tree constraints

来源：评论

学校读者我要写书评

暂无评论

Convergence Deformation of Existing Shield Tunnel Induced by Adjacent Shield Tunnelling construction 10th

Convergence Deformation of Existing Shield Tunnel Induced by...

引用

10th international conference on Civil Engineering, ICCE2023

作者： Song, Y.J. Lu, C.R. Li, X.J. Zhao, L.A. Ye, X.W. Jin, T. Shaoxing Rail Transit Group Co. Ltd. Shaoxing312000 China Department of Civil Engineering Zhejiang University Hangzhou310058 China

ISBN: (纸本)9789819743544

the subway system has benefited the transportation in a lot of modern cities with advantages such as convenience, rapidity, large volume, etc. However, with the construction of more and more subway systems, the underground space is increasingly crowded. According to engineering practice, existing tunnel is inevitably distorted by adjacent tunneling construction, reducing stability and safety, especially when the distance between two tunnels is small. To explore the convergence deformation of existing tunnels, field monitoring and analysis are conducted on the convergence deformation of the existing tunnel induced by the adjacent tunnel construction. this research finds that: (i) the convergence of each monitoring section gradually develops and stabilizes, and then the convergence of tunnel segments exhibits "horizontal duck egg" pattern and non-uniform convergence pattern;and (ii) after the tunnel shield machine passes, due to the lateral compression deformation of surrounding soil, horizontal convergence of the existing tunnel has an increase in horizontal convergence and a decrease in vertical convergence. © the Author(s) 2024.

关键词： Tunnels

来源：评论

学校读者我要写书评

暂无评论

Modeling of Regional Closed-Loop international Freight Transportation Network Based on Graph Neural Network

Modeling of Regional Closed-Loop International Freight Trans...

引用

2025 international conference on Multi-Agent systems for Collaborative Intelligence, ICMSCI 2025

作者： Xu, Suqing Xi'an Fanyi University International Economics Department Shaanxi Province 710015 China

ISBN: (纸本)9798331509828

With the continuous progress of neural networks and mathematical optimization algorithms, their application in transportation and logistics network modeling has become a research trend. therefore, this study proposes a regional closed-loop international freight transportation network modeling framework based on the graph neural network. the original intention of the design of this framework is to solve the challenges of high complexity and multi-objective optimization in traditional logistics network models. In the basic network part, based on the characteristics of convolutional neural network (CNN), this model constructs a 10-layer graph neural network module to transmit information and extract features from nodes and edges in the logistics network. Subsequently, by combining information entropy with the greedy algorithm, the modeling efficiency of the graph neural network was optimized at the theoretical level. Finally, this study proposes an initial transportation network structure that takes into account sensors and communication technologies. this structure estimates the location of logistics nodes through a wireless sensor network (WSN) model to optimize network layout and improve transportation efficiency. Visualization and analysis results show that the proposed method has achieved satisfactory results. © 2025 IEEE.

关键词： Graph neural networks

来源：评论

学校读者我要写书评

暂无评论

Comparative analysis of LIME and Shape analysis Techniques in Prostate Cancer MRI Interpretation 10

Comparative Analysis of LIME and Shape Analysis Techniques i...

引用

10th international conference on Engineering and Emerging Technologies, ICEET 2024

作者： Hassan, Md Rafiul Hassan, Mohammad Mehedi Rahman, Mohammad Anwar Central Connecticut State University Computer Science New Britain United States King Saud University Information Systems Riyadh Saudi Arabia Central Connecticut State University Manufacturing & Construction New Britain United States

ISBN: (纸本)9798331532895

Advancements in artificial intelligence (AI) are enabling the integration of explainable AI (XAI) models in Magnetic Resonance Imaging (MRI) to improve diagnostic accuracy and personalize prostate cancer treatment. this paper explores the effectiveness of two XAI techniques, Local Interpretable Model-agnostic Explanations (LIME) and shape analysis, in interpreting prostate cancer MRI datasets. A central focus is the necessary validation to ensure these models provide reliable and actionable diagnostic insights. However, the persistent 'black-box problem,' which refers to the lack of transparency and interpretability in AI decision-making, has led to clinical skepticism regarding deep learning applications. Since most AI models produce results without clearly explaining their internal processes, radiologists may need help understanding the rationale behind predictions, limiting AI's role as a decision-support tool. In this study, we stress the need for validation to ensure that XAI-generated explanations are reliable and clinically useful. their findings are intended to help integrate XAI into clinical practice and aid in transforming AI from an opaquer to a more transparent and crucial aid to radiologists in diagnosing and managing prostate cancer. © 2024 IEEE.

关键词： Urology

来源：评论

学校读者我要写书评

暂无评论

Knowledge Identification within the Decomposition of Homogeneous Classes of Objects 18

Knowledge Identification within the Decomposition of Homogen...

引用

18th IEEE international conference on Computer Science and Information Technologies, CSIT 2023

作者： Terletskyi, Dmytro O. Yershov, Sergey V. V. M. Glushkov Institute of Cybernetics of NAS of Ukraine Kyiv Ukraine

ISBN: (纸本)9798350360462

Conceptual identification is one of the significant methods of conceptual knowledge processing, which allows knowledge-based systems to identify certain concepts and all their subconcepts and superconcepts. However, the formal concept analysis cannot be used for the identification of subclasses within the decomposition of homogeneous classes of objects, since a framework does not consider internal semantic dependencies within homogeneous classes of objects, which can lead to the construction of semantically inconsistent concepts. therefore in this paper, we study the subclass identification within constraint-based filtering decomposition of homogeneous classes of objects, within the object object-oriented dynamic networks. We developed the algorithm of subclass identification, which constructs an identification lattice for a certain subclass, which consists of the subclass itself and all its semantically consistent subclasses and superclasses. To demonstrate the application of the developed algorithm, we provided an appropriate example of subclass identification of the particular homogeneous class of objects. © 2023 IEEE.

关键词： Formal concept analysis

来源：评论

学校读者我要写书评

暂无评论

Performance analysis of Machine Learning algorithms for Medical Datasets 15th

Performance Analysis of Machine Learning Algorithms for Medi...

引用

15th international conference on Application of Fuzzy systems, Soft Computing and Artificial Intelligence tools, ICAFS 2022

作者： Sadikoglu, Fahreddin Sekeroglu, Boran Ewuru, Deborah Amaka Department of Electrical and Electronic Engineering Near East University Mersin-10 Nicosia99138 Turkey Applied Artificial Intelligence Research Center Near East University Mersin-10 Nicosia99138 Turkey Department of Biostatistics Faculty of Medicine Near East University Mersin-10 Nicosia99138 Turkey

ISBN: (纸本)9783031252518

Medical applications using machine learning have gained importance;therefore, research on the applicability and adequacy of algorithms has also gained momentum. Investigating the performance of the algorithms is crucial for the real-life implementation of classification systems as diagnostic or decision support systems. this paper analyzes the performance of six machine learning algorithms, Decision Tree, Random Forest, Gradient Boosting, Extreme Gradient Boosting, Support Vector Machine, and Logistic Regression, on three medical datasets to demonstrate the weaknesses and strengths of the algorithms. three experiments in two stages, hyperparameter tuning and performance evaluation are performed. Binary classification and multi-class evaluation are considered in order to analyze the performance of the models with varied challenges. Gradient Boosting and Logistic Regression achieved superior results in binary classification experiments, while Random Forest produced superior results in the multi-class experiment. the results suggested that different machine learning algorithms might obtain unstable performances or stable and consistent results. © 2023, the Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Medical applications

来源：评论

学校读者我要写书评

暂无评论

Information systems Project Management: A Review 10

Information Systems Project Management: A Review

引用

10th international conference on Education and Technology, ICET 2024

作者： Tjahyadi, Rudy Kurniawan, Kayla Azzahra Kristiadji, Lovina Manuela Mario, Rafael Omar School of Information Systems Bina Nusantara University Jakarta Indonesia School of Information Systems Universitas Negeri Malang Jakarta Indonesia

ISBN: (纸本)9798331522483

Indonesia needs effective project management for various infrastructure, technological advancements, and socio-economic initiatives. this study examines the implementation of Agile project management in Indonesia in managing information system projects. Agile methods such as Serum and Kanban enable continuous project modification and better collaboration which also leads to better outcomes. A PRISMA-based literature review was conducted to identify the success factors and challenges in Agile-based project management. Several potential tools like Analytic Hierarchy Process or Balanced Scorecard were also analyzed to test Agile methods effectiveness in achieving strategic objectives. From what we have found, the project's success depends on continuous learning, effectiveness and efficiency of the processes, and the quality of the stakeholder engagement. Further research is needed to assess how Agile methods' effect in various industries. © 2024 IEEE.

关键词： Project management

来源：评论

学校读者我要写书评

暂无评论

Results About the Free Kawasaki Dynamics of Continuous Particle systems in Infinite Volume: Long-time Asymptotics and Hydrodynamic Limit 10th

Results About the Free Kawasaki Dynamics of Continuous Parti...

引用

10th international conference on Particle systems and Partial Differential Equations (PSPDE)

作者： Kondratiev, Yuri G. Kuna, Tobias Oliveira, Maria Joao da Silva, Jose Luis Streit, Ludwig Univ Aquila Dipartimento Ingn Sci Informaz & Matemat Laquila Italy Univ Reading Dept Math & Stat Reading Berks England Univ Aberta DCeT P-1269001 Lisbon Portugal Univ Lisbon CMAFCIO P-1749016 Lisbon Portugal Univ Madeira CCM P-9000390 Funchal Portugal Univ Madeira Fac Exact Sci & Engn CIMA Campus Penteada P-9020105 Funchal Portugal Univ Bielefeld Forschungszentrum BiBoS D-33501 Bielefeld Germany

ISBN: (纸本)9783031651977;9783031651953;9783031651946

An infinite particle system of independent jumping particles in infinite volume is considered. their construction is recalled, further properties are derived, the relation with hierarchical equations, Poissonian analysis, and second quantization are discussed. the hydrodynamic limit for a general initial distribution satisfying a mixing condition is derived. the long-time asymptotics is computed under an extra assumption. the relation with constructions based on infinite volume limits is discussed.

关键词： Infinite particle systems Kawasaki dynamics Hydrodynamic limit Long-time asymptotics

来源：评论

学校读者我要写书评

暂无评论

A Direct Symbolic Algorithm for Solving Stochastic Rabin Games 28th

A Direct Symbolic Algorithm for Solving Stochastic Rabin Gam...

引用

28th international conference on tools and algorithms for the construction and analysis of systems (TACAS) Held as Part of the 25th European Joint conferences on theory and Practice of Software (ETAPS)

作者： Banerjee, Tamajit Majumdar, Rupak Mallik, Kaushik Schmuck, Anne-Kathrin Soudjani, Sadegh IIT Delhi New Delhi India MPI SWS Kaiserslautern Germany Newcastle Univ Newcastle Upon Tyne Tyne & Wear England

ISBN: (纸本)9783030995270;9783030995263

We consider turn-based stochastic 2-player games on graphs with omega-regular winning conditions. We provide a direct symbolic algorithm for solving such games when the winning condition is formulated as a Rabin condition. For a stochastic Rabin game with k pairs over a game graph with n vertices, our algorithm runs in O(n(k+2) k!) symbolic steps, which improves the state of the art. We have implemented our symbolic algorithm, along with performance optimizations including parallellization and acceleration, in a BDD-based synthesis tool called Fairsyn. We demonstrate the superiority of Fairsyn compared to the state of the art on a set of synthetic benchmarks derived from the VLTS benchmark suite and on a control system benchmark from the literature. In our experiments, Fairsyn performed significantly faster with up to two orders of magnitude improvement in computation time.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

PacketZapper: A Scalable and Automated Platform for IoT Traffic Collection and analysis 10

PacketZapper: A Scalable and Automated Platform for IoT Traf...

引用

10th international conference on Internet of things, Big Data and Security, IoTBDS 2025

作者： Hedberg, Mathias Fredrik Lin, Jia-Chun Lee, Ming-Chang Gjøvik Norway

ISBN: (纸本)9789897587504

the increasing adoption of IoT devices in home environments has raised significant concerns about security and privacy. Analyzing real IoT traffic is essential for understanding these implications, yet the process poses challenges for researchers, requiring expertise in hardware selection, data collection, storage, and analysis. To address these challenges, we introduce PacketZapper, an automated and scalable platform for IoT traffic collection, processing, and analysis. PacketZapper combines existing open-source tools with custom components to streamline research workflows. It follows a four-stage solution structure-collect, parse, store, and process-ensuring modularity and future extensibility. the platform supports the collection of Zigbee and 433MHz traffic using commercial USB dongles, with the potential to integrate additional IoT protocols. Data is stored in Elasticsearch, enabling efficient querying and exploration, while Apache Airflow automates task orchestration through Directed Acyclic Graphs (DAGs). A case study evaluation demonstrated PacketZapper’s capability to infer devices in a smart home and to facilitate effective data exploration. the platform provides a robust foundation for reproducible IoT traffic research, addressing critical gaps in IoT traffic analysis. It offers researchers an extensible, automated, and scalable solution for conducting diverse experiments. Copyright © 2025 by SCITEPRESS - Science and Technology Publications, Lda.

关键词： Data curation

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：