检索结果-南通市图书馆

维普期刊数据库

Categorizing methods for integrating machine learning with executable specifications

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2024年第1期67卷 5-19页

作者： David HAREL Raz YERUSHALMI Assaf MARRON Achiya ELYASAF Department of Computer Science and Applied Mathematics Weizmann Institute of Science Department of software and Information systems Engineering Ben-Gurion University of the Negev

Deep learning(DL),which includes deep reinforcement learning(DRL),holds great promise for carrying out real-world tasks that human minds seem to cope with quite *** promise is already delivering extremely impressive results in a variety of ***,while DL-enabled systems achieve excellent performance,they are far from *** has been demonstrated,in several domains,that DL systems can err when they encounter cases they had not hitherto ***,the opacity of the produced agents makes it difficult to explain their behavior and ensure that they adhere to various requirements posed by human *** the other end of the software development spectrum of methods,behavioral programming(BP) facilitates orderly system development using self-standing executable modules aligned with how humans intuitively describe desired system *** this paper,we elaborate on different approaches for combining DRL with BP and,more generally,machine learning(ML) with executable specifications(ES).We begin by defining a framework for studying the various approaches,which can also be used to study new emerging approaches not covered *** then briefly review state-of-the-art approaches to integrating ML with ES,continue with a focus on DRL,and then present the merits of integrating ML with *** conclude with guidelines on how this categorization can be used in decision making in system development,and outline future research challenges.

关键词： machine learning artificial intelligence grey box learning domain knowledge rules behavioral programming deep reinforcement learning survey

A framework of force of information influence and application for C4KISR system

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of systems Engineering and Electronics 2024年第2期35卷 430-443页

作者： MAO Shaojie DIAO Lianwang SUN Yu WANG Heng YI Kan XU Xin MAO Xiaobin ZHANG Kecheng SHENG Long Science and Technology on Information systems Engineering Laboratory The 28th Research Institute of China Electronics Technology Group CorporationNanjing 210007China Unit 94860 of the PLA Nanjing 210008China

The subversive nature of information war lies not only in the information itself, but also in the circulation and application of information. It has always been a challenge to quantitatively analyze the function and effect of information flow through command, control, communications, computer, kill, intelligence,surveillance, reconnaissance (C4KISR) system. In this work, we propose a framework of force of information influence and the methods for calculating the force of information influence between C4KISR nodes of sensing, intelligence processing,decision making and fire attack. Specifically, the basic concept of force of information influence between nodes in C4KISR system is formally proposed and its mathematical definition is provided. Then, based on the information entropy theory, the model of force of information influence between C4KISR system nodes is constructed. Finally, the simulation experiments have been performed under an air defense and attack scenario. The experimental results show that, with the proposed force of information influence framework, we can effectively evaluate the contribution of information circulation through different C4KISR system nodes to the corresponding tasks. Our framework of force of information influence can also serve as an effective tool for the design and dynamic reconfiguration of C4KISR system architecture.

关键词： information warfare command control communications computer kill intelligence surveillance reconnaissance(C4KISR)system information circulation force of information influence information entropy

维普期刊数据库

Cross-Modal Consistency with Aesthetic Similarity for Multimodal False Information Detection

在线全文

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2024年第5期79卷 2723-2741页

作者： Weijian Fan Ziwei Shi State Key Laboratory of Media Convergence and Communication Communication University of ChinaBeijing100024China software research Institute China United Network Communication Group Co.Ltd.Beijing100024China

With the explosive growth of false information on social media platforms, the automatic detection of multimodalfalse information has received increasing attention. Recent research has significantly contributed to multimodalinformation exchange and fusion, with many methods attempting to integrate unimodal features to generatemultimodal news representations. However, they still need to fully explore the hierarchical and complex semanticcorrelations between different modal contents, severely limiting their performance detecting multimodal falseinformation. This work proposes a two-stage detection framework for multimodal false information detection,called ASMFD, which is based on image aesthetic similarity to segment and explores the consistency andinconsistency features of images and texts. Specifically, we first use the Contrastive Language-Image Pre-training(CLIP) model to learn the relationship between text and images through label awareness and train an imageaesthetic attribute scorer using an aesthetic attribute dataset. Then, we calculate the aesthetic similarity betweenthe image and related images and use this similarity as a threshold to divide the multimodal correlation matrixinto consistency and inconsistencymatrices. Finally, the fusionmodule is designed to identify essential features fordetectingmultimodal false information. In extensive experiments on four datasets, the performance of the ASMFDis superior to state-of-the-art baseline methods.

关键词： Social media false information detection image aesthetic assessment cross-modal consistency

An Enhanced GAN for Image Generation

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2024年第7期80卷 105-118页

作者： Chunwei Tian Haoyang Gao Pengwei Wang Bob Zhang PAMI research group University of MacaoMacao999078China School of software Northwestern Polytechnical UniversityXi’an710129China Yangtze River Delta research Institute Northwestern Polytechnical UniversityTaicang215400China research&Development Institute Northwestern Polytechnical UniversityShenzhen518057China

Generative adversarial networks(GANs)with gaming abilities have been widely applied in image ***,gamistic generators and discriminators may reduce the robustness of the obtained GANs in image generation under varying *** the relation of hierarchical information in a generation network and enlarging differences of different network architectures can facilitate more structural information to improve the generation effect for image *** this paper,we propose an enhanced GAN via improving a generator for image generation(EIGGAN).EIGGAN applies a spatial attention to a generator to extract salient information to enhance the truthfulness of the generated *** into relation the context account,parallel residual operations are fused into a generation network to extract more structural information from the different ***,a mixed loss function in a GAN is exploited to make a tradeoff between speed and accuracy to generate more realistic *** results show that the proposed method is superior to popular methods,i.e.,Wasserstein GAN with gradient penalty(WGAN-GP)in terms of many indexes,i.e.,Frechet Inception Distance,Learned Perceptual Image Patch Similarity,Multi-Scale Structural Similarity Index Measure,Kernel Inception Distance,Number of Statistically-Different Bins,Inception Score and some visual images for image generation.

关键词： Generative adversarial networks spatial attention mixed loss image generation

IoTDQ: An Industrial IoT Data Analysis Library for Apache IoTDB

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Big Data Mining and Analytics 2024年第1期7卷 29-41页

作者： Pengyu Chen Wendi He Wenxuan Ma Xiangdong Huang Chen Wang School of software Tsinghua UniversityBeijing 100084China National Engineering research Center for Big Data software(NERCBDS) Tsinghua UniversityBeijing 100084China

There is a growing demand for time series data analysis in industry *** loTDB is a time series database designed for the Internet of Things(loT)with enhanced storage and I/O *** User-Defined Functions(UDF)provided,computation for time series can be executed on Apache loTDB *** satisfy most of the common requirements in industrial time series analysis,we create a UDF library,loTDQ,on Apache *** library integrates stream computation functions on data quality analysis,data profiling,anomaly detection,data repairing,*** enables users to conduct a wide range of analyses,such as monitoring,error diagnosis,equipment reliability *** provides a framework for users to examine loT time series with data quality *** show that loTDQ keeps the same level of performance compared to mainstream alternatives,and shortens I/O consumption for Apache loTDB users.

关键词： industrial big data data quality data mining and analytics

Static Analysis Techniques for Fixing software Defects in MPI-Based Parallel Programs

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2024年第5期79卷 3139-3173页

作者： Norah Abdullah Al-Johany Sanaa Abdullah Sharaf Fathy Elbouraey Eassa Reem Abdulaziz Alnanih Department of Computer Science Faculty of Computing and Information TechnologyKing Abdulaziz UniversityJeddah21589Saudi Arabia software Engineering and Distributed System research group King Abdulaziz UniversityJeddah21589Saudi Arabia

The Message Passing Interface (MPI) is a widely accepted standard for parallel computing on distributed ***, MPI implementations can contain defects that impact the reliability and performance of parallelapplications. Detecting and correcting these defects is crucial, yet there is a lack of published models specificallydesigned for correctingMPI defects. To address this, we propose a model for detecting and correcting MPI defects(DC_MPI), which aims to detect and correct defects in various types of MPI communication, including blockingpoint-to-point (BPTP), nonblocking point-to-point (NBPTP), and collective communication (CC). The defectsaddressed by the DC_MPI model include illegal MPI calls, deadlocks (DL), race conditions (RC), and messagemismatches (MM). To assess the effectiveness of the DC_MPI model, we performed experiments on a datasetconsisting of 40 MPI codes. The results indicate that the model achieved a detection rate of 37 out of 40 codes,resulting in an overall detection accuracy of 92.5%. Additionally, the execution duration of the DC_MPI modelranged from 0.81 to 1.36 s. These findings show that the DC_MPI model is useful in detecting and correctingdefects in MPI implementations, thereby enhancing the reliability and performance of parallel applications. TheDC_MPImodel fills an important research gap and provides a valuable tool for improving the quality ofMPI-basedparallel computing systems.

关键词： High-performance computing parallel computing software engineering software defect message passing interface deadlock

A buffer overflow detection and defense method based on RiSC-V instruction set extension

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Cybersecurity 2024年第2期7卷 28-43页

作者： Chang Liu Yan-Jun Wu Jing-Zheng Wu Chen Zhao Intelligent software research Center Institute of SoftwareChinese Academy of SciencesBejingChina University of Chinese Academy of Sciences BeijingChina State Key Laboratory of Computer Science Institute of SoftwareChinese Academy of SciencesBeijingChina

Buffer overflow poses a serious threat to the memory security of modern operating *** overwrites the con-tents of other memory areas by breaking through the buffer capacity limit,destroys the system execution environ-ment,and provides implementation space for various system attacks such as program control flow *** makes it a wide range of harms.A variety of security technologies have been proposed to deal with system security problems including buffer *** example,No eXecute(NX for short)is a memory management technology commonly used in Harvard *** can refuse the execution of code which residing in a specific memory,and can effectively suppress the abnormal impact of buffer overflow on control ***,in recent years,it has also been used in the field of system security,deriving a series of solutions based on NX technology,such as ExecShield,DEP,StackGuard,***,these security solutions often rely too much on the processor archi-tecture so that the protection coverage is insufficient and the accuracy is *** in the emerging system architecture field represented by RiSC-V,there is still a lack of effective solutions for buffer overflow *** the continuous rapid development of the system architecture,it is urgent to develop defense methods that are applicable to different system application environments and oriented to all executable memory spaces to meet the needs of system security ***,we propose BOP,A new system memory security design method based on RISC-V extended instructions,to build a RISC-V buffer overflow detection and defense system and deal with the buffer overflow threat in *** to this method,NX technology can be combined with program control flow analysis,and Nx bit mechanism can be used to manage the executability of memory space,so as to achieve a more granular detection and defense of buffer overflow attacks that may occur in RISC-V system

关键词： RISc-V Operating system security Buffer overflow Control flow hijacking Nx bit Xibop

research progress in CALPHAD assisted metal additive manufacturing

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

China Foundry 2024年第4期21卷 295-310页

作者： Ya-qing Hou Xiao-qun Li Wei-dong Cai Qing Chen Wei-ce Gao Du-peng He Xue-hui Chen Hang Su China Iron&Steel research Institute group Beijing 100081China Thermo-Calc software AB SolnaSE-169Sweden KTH Royal Institute of Technology StockholmSE-100Sweden Central Iron and Steel research Institute Beijing 100081China

Metal additive manufacturing(MAM)technology has experienced rapid development in recent *** both equipment and materials progress towards increased maturity and commercialization,material metallurgy technology based on high energy sources has become a key factor influencing the future development of *** calculation of phase diagrams(CALPHAD)is an essential method and tool for constructing multi-component phase diagrams by employing experimental phase diagrams and Gibbs free energy models of simple *** combining with the element mobility data and non-equilibrium phase transition model,it has been widely used in the analysis of traditional metal *** development of CALPHAD application technology for MAM is focused on the compositional design of printable materials,the reduction of metallurgical imperfections,and the control of microstructural *** endeavor carries considerable theoretical and practical *** paper summarizes the important achievements of CALPHAD in additive manufacturing(AM)technology in recent years,including material design,process parameter optimization,microstructure evolution simulation,and properties ***,the limitations of applying CALPHAD technology to MAM technology are discussed,along with prospective research directions.

关键词： metal additive manufacturing CALPHAD integrated computational material engineering powder bed fusion material design microstructure simulation

维普期刊数据库

Leader-Following Consensus of Multi-Agent systems via Fully Distributed Event-Based Control

在线全文

学校读者我要写书评

暂无评论

Journal of Shanghai Jiaotong university(Science) 2024年第4期29卷 640-645页

作者： GENG Zongsheng ZHAO Dongdong ZHOU Xingwen YAN Lei YAN Shi School of Information Science and Engineering Lanzhou UniversityLanzhou730000China Engineering research Center of Open-Source software and Real-Time systems of Ministry of Education Lanzhou UniversityLanzhou730000China

This paper aims to study the leader-following consensus of linear multi-agent systems on undirected ***,we construct an adaptive event-based protocol that can be implemented in a fully distributed way by using only local relative *** protocol is also resource-friendly as it will be updated only when the agent violates the designed event-triggering function.A sufficient condition is proposed for the leader-following consensus of linear multi-agent systems based on the Lyapunov approach,and the Zeno-behavior is ***,two numerical examples are provided to illustrate the effectiveness of the theoretical results.

关键词： consensus multi-agent systems event-based control adaptive control fully distributed protocol