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

arXiv 2021年

作者： Cui, Jiabao Zhang, Pengyi Li, Songyuan Zheng, Liangli Bao, Cuizhu Xia, Jupeng Li, Xi College of Computer Science and Technology Zhejiang University Hangzhou310027 China School of Software Technology Zhejiang University Ningbo315048 China College of Computer Science and Information Engineering Zhejiang Gongshang University Hangzhou310018 China Department of Security Technology Ant Group Hangzhou310000 China

—High-capacity image steganography, aimed at concealing a secret image in a cover image, is a technique to preserve sensitive data, e.g., faces and fingerprints. Previous methods focus on the security during transmission and subsequently run a risk of privacy leakage after the restoration of secret images at the receiving end. To address this issue, we propose a framework, called Multitask Identity-Aware Image Steganography (MIAIS), to achieve direct recognition on container images without restoring secret images. The key issue of the direct recognition is to preserve identity information of secret images into container images and make container images look similar to cover images at the same time. Thus, we introduce a simple content loss to preserve the identity information, and design a minimax optimization to deal with the contradictory aspects. We demonstrate that the robustness results can be transferred across different cover datasets. In order to be flexible for the secret image restoration in some cases, we incorporate an optional restoration network into our method, providing a multitask framework. The experiments under the multitask scenario show the effectiveness of our framework compared with other visual information hiding methods and state-of-the-art high-capacity image steganography methods. Copyright © 2021, The Authors. All rights reserved.

关键词： Containers

来源：评论

学校读者我要写书评

暂无评论

Multi-Resolution Localization of Individual Logs in Wooden Piles Utilizing YOLO with Tiling on Client/Server Architectures 33

Multi-Resolution Localization of Individual Logs in Wooden P...

引用

33rd European Modeling and Simulation Symposium, EMSS 2021

作者： Praschl, Christoph Auersperg-Castell, Philipp Forster-Heinlein, Brigitte Zwettler, Gerald Adam Research Group Advanced Information Systems and Technology Research and Development Department University of Applied Sciences Upper Austria Softwarepark 11 Hagenberg4232 Austria Department of Software Engineering School of Informatics Communications and Media University of Applied Sciences Upper Austria Softwarepark 11 Hagenberg4232 Austria Bluedynamics Auersperg-Castell KG Kritzing 31 Freinberg4785 Austria Faculty of Computer Science and Mathematics University of Passau Innstraße 43 Passau94032 Germany

In industrial domains with time and cost intensive manual or semi-automated inspection the demand for automation is high. Utilizing state of the art deep learning models for localization in vision-based domains such as wood log analysis, the precision can be increased while reducing the demand for manual inspection. In this paper a YOLO network is trained on wood log images to allow for detection of single wood piles in images with hundreds and thousands instances. Due to the high variability in scale and large amount of wood logs within the images, common YOLO architectures are not applicable. Thus, tiling is necessitated to implicitly form a multi-resolution image pyramid. Due to lack in training data, besides common data augmentation modelling of different seasonal and weather conditions is applied. The wood log detection process can be run on a client/server architecture to allow for both, preview and refined results. Evaluation on real-world data sets shows an log detection accuracy of 82,9% utilizing a tiny YOLO model and 94,1% with a fully connected YOLO model, respectively. © 2021 The Authors.

关键词： Deep learning

来源：评论

学校读者我要写书评

暂无评论

Quantum generative training using rényi divergences

arXiv

引用

arXiv 2021年

作者： Kieferová, Mária Marrero, Carlos Ortiz Wiebe, Nathan Centre for Quantum Computation and Communication Technology Centre for Quantum Software and Information University of Technology Sydney Data Sciences & Analytics Group Department of Electrical & Computer Engineering Pacific Northwest National Laboratory North Carolina State University Department of Computer Science Department of Physics High Performance Computing Group University of Toronto University of Washington Pacific Northwest National Laboratory

Quantum neural networks (QNNs) are a framework for creating quantum algorithms that promises to combine the speedups of quantum computation with the widespread successes of machine learning. A major challenge in QNN development is a concentration of measure phenomenon known as a barren plateau that leads to exponentially small gradients for a range of QNNs models. In this work, we examine the assumptions that give rise to barren plateaus and show that an unbounded loss function can circumvent the existing no-go results. We propose a training algorithm that minimizes the maximal Rényi divergence of order two and present techniques for gradient computation. We compute the closed form of the gradients for Unitary QNNs and Quantum Boltzmann Machines and provide sufficient conditions for the absence of barren plateaus in these models. We demonstrate our approach in two use cases: thermal state learning and Hamiltonian learning. In our numerical experiments, we observed rapid convergence of our training loss function and frequently archived a 99% average fidelity in fewer than 100 epochs. © 2021, CC BY.

关键词： Quantum computers

来源：评论

学校读者我要写书评

暂无评论

Managing Control software Variability in Cyber-Physical Production Systems: The V4rdiac Approach

SSRN

引用

SSRN 2024年

作者： Fadhlillah, Hafiyyan Sayyid Meixner, Kristof Greiner, Sandra Fernández, Antonio Manuel Gutiérrez Rabiser, Rick Christian Doppler Laboratory VaSiCS Johannes Kepler University Linz Altenberger Straße 69 Linz4040 Austria LIT CPS Lab Johannes Kepler University Linz Altenberger Straße 69 Linz4040 Austria Christian Doppler Laboratory SQI TU Wien Favoritenstraße 9-11 Vienna1040 Austria Information Systems Engineering TU Wien Favoritenstraße 9-11 Vienna1040 Austria Software Engineering Group Institute of Computer Science University of Bern Neubrückstraße 10 Bern3012 Switzerland Department of Computer Languages and Systems Universidad de Sevilla Avenida Reina Mercedes s/n Sevilla41012 Spain

Cyber-Physical Production Systems (CPPSs) are highly configurable and versatile production systems that utilize diverse hardware components through control software. Managing control software variants in CPPS development is challenging as variation points in the software stem from multiple engineering disciplines. Furthermore, there is a lack of mechanisms to explicitly describe control software variants as part of the software. In this paper, we present an extension of the Variability for 4diac (V4rdiac) approach and investigate its usefulness in managing control software variants based on multidisciplinary variability in CPPS development and delta modeling. We extend the approach by considering its application engineering activities to produce client-specific control software variants. We also present a novel mechanism to visualize deltas in control software to reduce the effort of implementing and maintaining deltas. We apply V4rdiac in two case studies and conduct an additional user study with four participants from industry to evaluate its usefulness. The evaluation results confirm that the engineers were able to successfully manage the control software variants. The results also show that V4rdiac can be easily learned and increases industrial practitioners’ productivity in managing control software. © 2024, The Authors. All rights reserved.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

MindSpore Quantum: A User-Friendly, High-Performance, and AI-Compatible Quantum Computing Framework

arXiv

引用

arXiv 2024年

作者： Xu, Xusheng Cui, Jiangyu Cui, Zidong He, Runhong Li, Qingyu Li, Xiaowei Lin, Yanling Liu, Jiale Liu, Wuxin Lu, Jiale Luo, Maolin Lyu, Chufan Pan, Shijie Pavel, Mosharev Shu, Runqiu Tang, Jialiang Xu, Ruoqian Xu, Shu Yang, Kang Yu, Fan Zeng, Qingguo Zhao, Haiying Zheng, Qiang Zhou, Junyuan Zhou, Xu Zhu, Yikang Zou, Zuoheng Bayat, Abolfazl Cao, Xi Cui, Wei Li, Zhendong Long, Guilu Su, Zhaofeng Wang, Xiaoting Wang, Zizhu Wei, Shijie Wu, Re-Bing Zhang, Pan Yung, Man-Hong MindSpore Quantum Special Interest Group Institute of Fundamental and Frontier Sciences University of Electronic Science and Technology of China Chengdu610051 China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing100190 China Institute for Quantum Science and Engineering Southern University of Science and Technology Shenzhen518055 China School of Computer Science and Technology University of Science and Technology of China Hefei230027 China School of Automation Science and Engineering South China University of Technology Guangzhou510641 China Department of Physical Chemistry University of the Basque Country UPV/EHU Apartado 644 Bilbao48080 Spain School of Physics and Astronomy Sun Yat-sen University Zhuhai519082 China Key Laboratory of Quantum Physics and Photonic Quantum Information Ministry of Education University of Electronic Science and Technology of China Chengdu611731 China Department of Automation Tsinghua University Beijing100084 China Key Laboratory of Theoretical and Computational Photochemistry Ministry of Education College of Chemistry Beijing Normal University Beijing100875 China Beijing Academy of Quantum Information Sciences Beijing100193 China State Key Laboratory of Low-Dimensional Quantum Physics Department of Physics Tsinghua University Beijing100084 China CAS Key Laboratory for Theoretical Physics Institute of Theoretical Physics Chinese Academy of Sciences Beijing100190 China Shenzhen International Quantum Academy Shenzhen518048 China Guangdong Provincial Key Laboratory of Quantum Science and Engineering Southern University of Science and Technology Shenzhen518055 China Shenzhen Key Laboratory of Quantum Science and Engineering Southern University of Science and Technology Shenzhen518055 China

We introduce MindSpore Quantum, a pioneering hybrid quantum-classical framework with a primary focus on the design and implementation of noisy intermediate-scale quantum (NISQ) algorithms. Leveraging the robust support of MindSpore, an advanced open-source deep learning training/inference framework, MindSpore Quantum exhibits exceptional efficiency in the design and training of variational quantum algorithms on both CPU and GPU platforms, delivering remarkable performance. Furthermore, this framework places a strong emphasis on enhancing the operational efficiency of quantum algorithms when executed on real quantum hardware. This encompasses the development of algorithms for quantum circuit compilation and qubit mapping, crucial components for achieving optimal performance on quantum processors. In addition to the core framework, we introduce QuPack-a meticulously crafted quantum computing acceleration engine. QuPack significantly accelerates the simulation speed of MindSpore Quantum, particularly in variational quantum eigensolver (VQE), quantum approximate optimization algorithm (QAOA), and tensor network simulations, providing astonishing speed. This combination of cutting-edge technologies empowers researchers and practitioners to explore the frontiers of quantum computing with unprecedented efficiency and performance. © 2024, CC BY.

关键词： Quantum computers

来源：评论

学校读者我要写书评

暂无评论

Evidence-Based Quality-Aware Agile software Development Process: Design and Evaluation

SSRN

引用

SSRN 2023年

作者： Karhapää, Pertti Behutiye, Woubshet Seppänen, Pertti Rodríguez, Pilar Oivo, Markku Franch, Xavier Martinez-Fernandez, Silverio López, Lidia Choraś, Michal Bagnato, Alessandra Aaramaa, Sanja Partanen, Jari University of Oulu Oulu90014 Finland Department of Service and Information System Engineering UPC-BarcelonaTech Barcelona08034 Spain Kaiserslautern67663 Germany ITTI Sp. z o.o Poznan61-612 Poland University of Science and Technology UTP Univerisy of Science and Technology Bydgoszcz5-796 Poland Softeam Paris75016 France Nokia Oy Oulu90620 Finland Bittium Wireless Ltd. Oulu90590 Finland University of Puget Sound United States Dep. Of Languages Computer Systems and Software Engineering Faculty of Computer Science Universidad Politécnica de Madrid Spain Dep. ESSI GESSI Research Group UPC-BarcelonaTech Barcelona08034 Spain Centro Nacional de Supercomputacíon Barcelona08034 Spain

Context Agile software development (ASD) aims to deliver high-quality software. However, software quality often gets less attention due to focus on *** an evidence-based quality-aware ASD process that organizations can use to create a more quality-aware development process and improve software *** methodUsing design science research, we collaborated with four organizations applying ASD in different contexts. Involving a total of 35 practitioners, we designed company-specific evidence-based quality-aware ASD processes, which were validated through simulated scenarios, implemented, and evaluated by the practitioners. ResultsA general ASD process model, derived from the company-specific models, was created, which shows the specific activities, frequencies, roles, and development phases where evidence can be used to improve software quality. The new process model contributed towards improved bottleneck identification, release readiness, and quality issues prioritization. We also learned that companies must be mindful of the rules that determine the use of evidence. Conclusion Integrating the use of quality related evidence into the ASD process can make it quality-aware, supporting software quality management, and enabling timely reaction through fast feedback loops. The evidence-based quality-aware ASD process is applicable in any Scrum-like ASD process. Applicability in other forms of ASD, however, requires further research. © 2023, The Authors. All rights reserved.

关键词： Quality control

来源：评论

学校读者我要写书评

暂无评论

software Security Analysis in 2030 and Beyond: A Research Roadmap

引用

ACM Transactions on software engineering and Methodology 2025年第5期34卷

作者： Böhme, Marcel Bodden, Eric Bultan, Tevfik Cadar, Cristian Liu, Yang Scanniello, Giuseppe Max Planck Institute for Security and Privacy Bochum Germany Faculty of Electrical Engineering Computer Science and Mathematics Department of Computer Science Software Engineering Group Paderborn University Paderborn Germany University of California at Santa Barbara Santa Barbara CA United States Department of Computing Imperial College London United Kingdom Nanyang Technological University Singapore Singapore Department of Informatics University of Salerno Fisciano Italy

As our lives, our businesses, and indeed our world economy become increasingly reliant on the secure operation of many interconnected software systems, the software engineering research community is faced with unprecedented research challenges, but also with exciting new opportunities. In this roadmap article, we outline our vision of software security analysis for the systems of the future. Given the recent advances in generative AI, we need new methods to assess and maximize the security of code co-written by machines. As our systems become increasingly heterogeneous, we need practical approaches that work even if some functions are automatically generated, e.g., by deep neural networks. As software systems depend evermore on the software supply chain, we need tools that scale to an entire ecosystem. What kind of vulnerabilities exist in future systems and how do we detect them? When all the shallow bugs are found, how do we discover vulnerabilities hidden deeply in the system? Assuming we cannot find all security flaws, how can we nevertheless protect our system? To answer these questions, we start our roadmap with a survey of recent advances in software security, then discuss open challenges and opportunities, and conclude with a long-term perspective for the field. © 2025 Copyright held by the owner/author(s).

关键词： perspective article SE2030 vision statement

来源：评论

学校读者我要写书评

暂无评论

Advancements in Chikungunya detection: Integrating machine learning with image classification and early identification

引用

AIP Conference Proceedings 2025年第1期3224卷

作者： Pawan Kumar Badhan Jasmeet Kaur Alka Sarabjeet Singh IT Department Pyramid College of Business and Technology Punjab India IT Department Innocent Hearts Group of Institutions Punjab India Department of Economics University of Detroit Mercy Detroit Michigan United States of America Department of Computer Science and Software Engineering University of Detroit Mercy Detroit Michigan United States of America

This study tackles the pressing requirement for promptly identifying Chikungunya, a significantly impactful viral disease, by merging traditional machine learning techniques with cutting-edge deep learning methods. Its central objective is to rapidly detect and categorize Chikungunya symptoms, aided by a varied clinical dataset and an image dataset specifically designed for associated skin conditions such as erythematous macular rash, petechial rash, and maculopapular rash. This diverse clinical dataset encompasses various symptoms and conditions associated with Chikungunya, including fever and joint pains, with binary markers indicating their presence or absence. This allows for an assessment of their relationship with Chikungunya infection likelihood or severity. Employing classification algorithms such as J48 decision tree and Support Vector Machine (SVM), the study achieves commendable accuracy rates of 90% and 88% respectively in early Chikungunya detection. Furthermore, Convolutional Neural Networks (CNNs) demonstrate significant progress, achieving 83% accuracy in recognizing patterns and classifying images, particularly proficient in identifying symptoms like rashes. This holistic approach underscores the potential of integrating various machine learning techniques to enhance early detection of chikungunya and intervention, ultimately contributing to improved public health outcomes.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Verification of dynamic systems with SDMLib reachability graphs, a car2X case study 13

Verification of dynamic systems with SDMLib reachability gra...

引用

13th Dagstuhl-Workshop Modellbasierte Entwicklung Eingebetteter Systeme, MBEES 2017 - 13th Dagstuhl-Workshop on Model-Based Development of Embedded Systems, MBEES 2017

作者： Eickho, Christoph Zündorf, Albert University of Kassel Software Engineering Research Group Department of Computer Science and Electrical Engineering Wilhelmshöher Allee 73 Kassel34121 Germany

Model Checking techniques such as UPPAAL [XTL+10] are not well suited for the verification of dynamic systems where new participants may show up or leave a scenario. Thus, many car2x communication scenarios where new cars show up or old cars leave a communicating group are hard to verify with the help of current model checkers. Graph transformation systems such as SDMLib are especially suited for modeling dynamic object structures, formally. In the thesis of Christoph Eickhoff we have extended the formal model of graph transformations towards so-called reachability graphs. Given a start graph and a set of model transformation rules, a reachability graph represents the set of all possible graphs created from the start graph by applying the graph transformation rules, iteratively. In this paper we report on a case study, verifying several safety and liveness features for a car2x communication scenario with cars showing up, dynamically. © MBEES *** right reserved.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

A Consensus Privacy Metrics Framework for Synthetic Data

arXiv

引用

arXiv 2025年

作者： Pilgram, Lisa Dankar, Fida K. Drechsler, Jörg Elliot, Mark Domingo-Ferrer, Josep Francis, Paul Kantarcioglu, Murat Kong, Linglong Malin, Bradley Muralidhar, Krishnamurty Myles, Puja Prasser, Fabian Raisaro, Jean Louis Yan, Chao El Emam, Khaled School of Epidemiology and Public Health University of Ottawa ON Canada CHEO Research Institute ON Canada Department of Nephrology and Medical Intensive Care Charité – Universitätsmedizin Berlin Berlin Germany Department for Statistical Methods Institute for Employment Research Nuernberg Germany Institute for Statistics Ludwig-Maximilians-Universität Munich Germany Joint Program in Survey Methodology University of Maryland United States The Cathie Marsh Institute Research School of Social Sciences University of Manchester Manchester United Kingdom Department of Computer Engineering and Mathematics Universitat Rovira i Virgili Catalonia Tarragona Spain Max Planck Institute for Software Systems Germany Department of Computer Science Virginia Tech United States Department of Mathematical and Statistical Sciences University of Alberta Alberta Canada Department of Biomedical Informatics Vanderbilt University Medical Center NashvilleTN United States Department of Biostatistics Vanderbilt University Medical Center NashvilleTN United States Department of Computer Science Vanderbilt University NashvilleTN United States Department of Marketing and Supply Chain Management University of Oklahoma Oklahoma United States Medicines and Healthcare products Regulatory Agency London United Kingdom Berlin Institute of Health at Charité Universitätsmedizin Berlin Medical Informatics Group Berlin Germany Biomedical Data Science Center University Hospital Lausanne Lausanne Switzerland

Synthetic data generation is one approach for sharing individual-level data. However, to meet legislative requirements, it is necessary to demonstrate that the individuals’ privacy is adequately protected. There is no consolidated standard for measuring privacy in synthetic data. Through an expert panel and consensus process, we developed a framework for evaluating privacy in synthetic data. Our findings indicate that current similarity metrics fail to measure identity disclosure, and their use is discouraged. For differentially private synthetic data, a privacy budget other than close to zero was not considered interpretable. There was consensus on the importance of membership and attribute disclosure, both of which involve inferring personal information about an individual without necessarily revealing their identity. The resultant framework provides precise recommendations for metrics that address these types of disclosures effectively. Our findings further present specific opportunities for future research that can help with widespread adoption of synthetic data. © 2025, CC BY.

关键词： Differential privacy

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：