Yiling Zeng , Chuanfeng Jian , Chunyao Song , Tingjian Ge , Yuhan Li , Yuqing Zhou
{"title":"LSketch: A label-enabled graph stream sketch toward time-sensitive queries","authors":"Yiling Zeng , Chuanfeng Jian , Chunyao Song , Tingjian Ge , Yuhan Li , Yuqing Zhou","doi":"10.1016/j.ins.2024.121624","DOIUrl":"10.1016/j.ins.2024.121624","url":null,"abstract":"<div><div>Heterogeneous graph streams represent data interactions in real-world applications and are characterized by dynamic and heterogeneous properties including varying node labels, edge labels and edge weights. The mining of graph streams is critical in fields such as network security, social network analysis, and traffic control. However, the sheer volume and high dynamics of graph streams pose significant challenges for efficient storage and accurate query analysis. To address these challenges, we propose LSketch, a novel sketch technique designed for heterogeneous graph streams. Unlike traditional methods, LSketch effectively preserves the diverse label information inherent in these streams, enhancing the expressive ability of sketches. Furthermore, as graph streams evolve over time, some edges may become outdated and lose their relevance. LSketch incorporates a sliding window model that eliminates expired edges, ensuring that the analysis remains focused on the most current and relevant data automatically. LSketch operates with sub-linear storage space and supports both structure-based and time-sensitive queries with high accuracy. We perform extensive experiments over four real datasets, demonstrating that LSketch outperforms state-of-the-art methods in terms of query accuracy and time efficiency.</div></div>","PeriodicalId":51063,"journal":{"name":"Information Sciences","volume":"691 ","pages":"Article 121624"},"PeriodicalIF":8.1,"publicationDate":"2024-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142658024","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Modeling information propagation for target user groups in online social networks based on guidance and incentive strategies","authors":"Lei Meng , Guiqiong Xu , Chen Dong , Shoujin Wang","doi":"10.1016/j.ins.2024.121628","DOIUrl":"10.1016/j.ins.2024.121628","url":null,"abstract":"<div><div>The rapid development of online social networks has greatly facilitated the dissemination and sharing of information. Effectively guiding the propagation of information to specific target groups is a significant and challenging research issue, which can be formulated as the <em>target propagation</em> problem. Most existing studies, however, focus on traditional information propagation methods, treating all users in the network as target audiences, which results in low efficiency and high costs. To address this issue, we propose a novel information propagation model that incorporates adaptive guidance and incentive strategies, called the <span><math><mi>S</mi><mi>I</mi><msub><mrow><mi>I</mi></mrow><mrow><mi>i</mi><mi>n</mi></mrow></msub><msub><mrow><mi>R</mi></mrow><mrow><mi>g</mi><mi>u</mi></mrow></msub></math></span> model, to simulate the target spreading process in online social networks. Our model is designed to enhance both global communication capabilities and information transmission efficiency by introducing a mutual influence score that quantifies the interaction between target and non-target users. Based on this, the <span><math><mi>S</mi><mi>I</mi><msub><mrow><mi>I</mi></mrow><mrow><mi>i</mi><mi>n</mi></mrow></msub><msub><mrow><mi>R</mi></mrow><mrow><mi>g</mi><mi>u</mi></mrow></msub></math></span> model adaptively guides and incentivizes non-target users to disseminate information specifically to target user groups. We conducted several groups of experiments on nine real-world social networks, assessing scenarios with both single and multiple target groups. Experimental results demonstrate that the <span><math><mi>S</mi><mi>I</mi><msub><mrow><mi>I</mi></mrow><mrow><mi>i</mi><mi>n</mi></mrow></msub><msub><mrow><mi>R</mi></mrow><mrow><mi>g</mi><mi>u</mi></mrow></msub></math></span> model outperforms existing methods in terms of target influence range and the effectiveness of information spreading, thereby offering valuable insights for practical applications.</div></div>","PeriodicalId":51063,"journal":{"name":"Information Sciences","volume":"691 ","pages":"Article 121628"},"PeriodicalIF":8.1,"publicationDate":"2024-11-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142658133","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Antagonistic-information-dependent integral-type event-trigger scheme for bipartite synchronization of cooperative-competitive neural networks and its application","authors":"Xindong Si , Yingjie Fan , Zhen Wang","doi":"10.1016/j.ins.2024.121617","DOIUrl":"10.1016/j.ins.2024.121617","url":null,"abstract":"<div><div>This paper focuses on the bipartite synchronization problem for cooperative-competitive neural networks (CCNNs) by using an antagonistic-information-dependent integral-type event-trigger scheme. Here, the designed antagonistic-information implies that both the cooperation and competition interactions of CCNNs are utilized to design trigger scheme. First, the signed digraph theory, in the presence of structurally balanced topology, is used to describe the antagonistic interactions among neuron nodes. On this basis, such a trigger scheme consisting of antagonistic-information and integral term is proposed to relax communication burden, which can remember the evolution information of CCNNs dynamic process. Meanwhile, the discontinuity of event-triggered scheme can avoid the occurrence of Zeno behavior directly without complicated mathematical analysis. Then, an important lemma is derived to facilitate bipartite synchronization problem. By constructing appropriate Lyapunov function, two novel bipartite synchronization criteria are developed by utilizing the hybrid Lyapunov theories, new lemma, and inequality techniques. At last, an application and an effective example are presented to illustrate the validity and advantage of the proposed method.</div></div>","PeriodicalId":51063,"journal":{"name":"Information Sciences","volume":"691 ","pages":"Article 121617"},"PeriodicalIF":8.1,"publicationDate":"2024-11-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142658187","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Zilin Wang , Yafeng Ren , Qiong Peng , Donghong Ji
{"title":"A context-enhanced neural network model for biomedical event trigger detection","authors":"Zilin Wang , Yafeng Ren , Qiong Peng , Donghong Ji","doi":"10.1016/j.ins.2024.121625","DOIUrl":"10.1016/j.ins.2024.121625","url":null,"abstract":"<div><div>As an important component of biomedical event extraction, biomedical event trigger detection has received extensive research attention in recent years. Most studies focus on designing various models or features according to the original text itself, but fail to leverage contextual information of the original text from external knowledge base such as Wikipedia, which is publicly available. To address the issue, we propose a context-enhanced neural network model that automatically integrates the related information from external knowledge base for biomedical event trigger detection. Specifically, the proposed model first extracts the related context of the original text from external knowledge base. Then the original text and its context are sequentially fed into the BERT embedding layer and Transformer convolution layer to learn high-level semantic representation. Finally, the probability of possible tags is calculated using the CRF layer. Experimental results on the MLEE dataset show our proposed model achieves 86.83% F1 score, outperforming the existing methods and context-enhanced baseline systems significantly. Experimental analysis also indicates the effectiveness of contextual information for trigger detection in biomedical domain.</div></div>","PeriodicalId":51063,"journal":{"name":"Information Sciences","volume":"691 ","pages":"Article 121625"},"PeriodicalIF":8.1,"publicationDate":"2024-11-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142658035","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Rong Zhao , Jun-e Feng , Qingchun Meng , Biao Wang
{"title":"Identification of a class of singular Boolean control networks","authors":"Rong Zhao , Jun-e Feng , Qingchun Meng , Biao Wang","doi":"10.1016/j.ins.2024.121627","DOIUrl":"10.1016/j.ins.2024.121627","url":null,"abstract":"<div><div>System identification, recognized as an inverse control problem, is a significant aspect of modern control theory. This study focuses on addressing the identification problem related to a specific category of singular Boolean networks (SBNs) and singular Boolean control networks (SBCNs). The introduction of two novel concepts, namely the admissibility and solvability matrices, enables the establishment of conditions for determining the existence and uniqueness of solutions for SBNs and SBCNs. Then criteria are deduced to identify the number of dynamic equations. Based on observability, controllability and detectability, several conditions are presented to characterize identification. Among them, two crucial results show: When the solution to an SBN or SBCN is unique, the SBN is identifiable if and only if it is observable, and the SBCN is identifiable if and only if it is O1-observable, which is the most general type of observability. Besides, effective algorithms are devised to implement identification. Furthermore, the study delves into the normalization issue using the admissibility matrix, which provides a possibility to reduce the identified SBN or SBCN to a lower-order BN or BCN.</div></div>","PeriodicalId":51063,"journal":{"name":"Information Sciences","volume":"691 ","pages":"Article 121627"},"PeriodicalIF":8.1,"publicationDate":"2024-11-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142658025","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Weiping Ding , Tao Hou , Jiashuang Huang , Hengrong Ju , Shu Jiang
{"title":"Dynamic evidence fusion neural networks with uncertainty theory and its application in brain network analysis","authors":"Weiping Ding , Tao Hou , Jiashuang Huang , Hengrong Ju , Shu Jiang","doi":"10.1016/j.ins.2024.121622","DOIUrl":"10.1016/j.ins.2024.121622","url":null,"abstract":"<div><div>Deep learning has demonstrated significant potential and advantages, achieving notable success in the medical field, particularly in the application of brain network analysis. However, most models ignore the uncertainty caused by inconsistent view quality and fail to effectively leverage the potential correlations and temporal sequences present in multi-view data, preventing neural networks from fully showcasing their strengths. To this end, this paper proposes dynamic evidence fusion neural networks (DEF-NNs) with uncertainty theory, and applies it to brain network analysis. Our model is established within a multi-view learning framework that considers the functional connections under each window as a view. We employ a dynamic evidence learning module to capture the evidence for each time window of the dynamic brain network, utilizing three distinct convolutional filters to extract feature maps. Then, a dynamic evidence fusion mechanism is designed and a dynamic trust function is constructed according to the temporal nature of dFC data. The evidence generated by multiple windows is fused at the decision level of classification, dealing with the uncertainty caused by inconsistent view quality and improving the classification performance. We verified the effectiveness of DEF-NNs through comparison with advanced algorithms on three schizophrenia datasets, and the results show that DEF-NNs significantly improved the classification performance of brain disease diagnosis tasks.</div></div>","PeriodicalId":51063,"journal":{"name":"Information Sciences","volume":"691 ","pages":"Article 121622"},"PeriodicalIF":8.1,"publicationDate":"2024-11-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142658033","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Zeyuan Yan , Yuren Zhou , Xiaoyu He , Chupeng Su , Weigang Wu
{"title":"High-dimensional expensive optimization by Kriging-assisted multiobjective evolutionary algorithm with dimensionality reduction","authors":"Zeyuan Yan , Yuren Zhou , Xiaoyu He , Chupeng Su , Weigang Wu","doi":"10.1016/j.ins.2024.121620","DOIUrl":"10.1016/j.ins.2024.121620","url":null,"abstract":"<div><div>Surrogate-assisted multi-objective evolutionary algorithms (SA-MOEAs) have made significant progress in solving expensive multi- and many-objective optimization problems. However, most of them perform well in low-dimensional settings but often struggle with high-dimensional problems. The main reason is that some techniques used in SA-MOEAs, like the Kriging model, are ineffective in exploring high-dimensional search spaces. As a result, this research investigates frameworks incorporating dimensionality reduction techniques to conduct modeling and optimization tasks on dimensionality reduction decision spaces. This article uses a singular value decomposition method to map the high-dimensional decision space into a low-dimensional one, then employs a feature fusion strategy to combine low-dimensional features with high-dimensional ones for better representation. Subsequently, these low-dimensional features are used to train the Kriging-based surrogates to select promising solutions within a limited number of function evaluations. In addition, this article provides two types of evolutionary modes to balance exploration and exploitation. Experimental results demonstrate the effectiveness of the proposed SA-MOEA compared to several state-of-the-art algorithms.</div></div>","PeriodicalId":51063,"journal":{"name":"Information Sciences","volume":"691 ","pages":"Article 121620"},"PeriodicalIF":8.1,"publicationDate":"2024-11-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142658188","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Configuration of liveness-enforcing initial marking with the minimum resources for resource allocation systems","authors":"Yanxiang Feng , Sida Ren , Keyi Xing , Yikang Yang , MengChu Zhou","doi":"10.1016/j.ins.2024.121623","DOIUrl":"10.1016/j.ins.2024.121623","url":null,"abstract":"<div><div>The enforcement of liveness is crucial for Petri nets models of resource allocation systems (RASs). It is interesting yet very challenging to establish an initial marking for Petri net plants so that the net is live. Such an initial marking is referred to as <em>liveness-enforcing initial marking</em> (LIM). Despite existing literature presenting various LIMs, no studies have addressed the issue of minimizing the number of resources in an LIM. This work focuses on designing an LIM with the minimum resources (LIM-MR) for a class of Petri nets called <em>systems of sequential systems with shared resources</em> (S<sup>4</sup>PRs) by assigning a token capacity to each resource place, such that the sum of all involved resources is minimized. This work first establishes a kind of necessary and sufficient liveness condition for S<sup>4</sup>PR, which is then encoded into a series of variables and constraints in a mixed-integer programming (MIP) formulation. Although LIM-MR may not be unique, solving the proposed MIP formulation can obtain at least one LIM-MR for S<sup>4</sup>PR under consideration. The experimental results show the solvability of this approach for S<sup>4</sup>PRs.</div></div>","PeriodicalId":51063,"journal":{"name":"Information Sciences","volume":"691 ","pages":"Article 121623"},"PeriodicalIF":8.1,"publicationDate":"2024-11-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142658689","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Linear fuzzy partial differential equations for A-linearly correlated fuzzy processes","authors":"M. Shahidi, L.C. Barros, E. Esmi","doi":"10.1016/j.ins.2024.121629","DOIUrl":"10.1016/j.ins.2024.121629","url":null,"abstract":"<div><div>In this paper, we deal with linear fuzzy partial differential equations (FPDEs) whose solutions correspond to <em>A</em>-linearly correlated fuzzy processes. More precisely, we investigate general second-order linear fuzzy partial differential equations and provide solutions for two essential cases: the fuzzy advection equation and the fuzzy wave-like equation with fuzzy velocity terms. One of the advantages of our approach is that these FPDEs can be converted into a classical system of partial differential equations (PDEs). Thus, any suitable and appropriate method to solve PDEs can be applied to solve this classical system and, eventually leading to the derivation of a fuzzy solution. Finally, we provide some examples to demonstrate our results.</div></div>","PeriodicalId":51063,"journal":{"name":"Information Sciences","volume":"691 ","pages":"Article 121629"},"PeriodicalIF":8.1,"publicationDate":"2024-11-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142658100","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Xiangjun Wu , Ning Xu , Shuo Ding , Xudong Zhao , Ben Niu , Wencheng Wang
{"title":"Event-based adaptive neural resilient formation control for MIMO nonlinear MASs under actuator saturation and denial-of-service attacks","authors":"Xiangjun Wu , Ning Xu , Shuo Ding , Xudong Zhao , Ben Niu , Wencheng Wang","doi":"10.1016/j.ins.2024.121619","DOIUrl":"10.1016/j.ins.2024.121619","url":null,"abstract":"<div><div>This paper focuses on the distributed event-triggered adaptive neural resilient time-varying formation control problem for a class of multiple-input multiple-output nonlinear multi-agent systems, where all network communication links between agents are subjected to denial-of-service (DoS) attacks simultaneously. A second-order resilient time-varying formation estimator is designed to obtain the unknown leader information in DoS attack active intervals. Meanwhile, a state-triggering mechanism (STM) is designed to save system communication resources. Nevertheless, the STM can lead to virtual control laws being non-differentiable. To circumvent the problem, we first design an adaptive neural resilient formation control scheme. Then, based on the adaptive neural resilient formation control scheme, we replace continuous states with intermittent ones. By utilizing a dynamic filtering technique, an event-based adaptive neural resilient formation control scheme is designed. The key technology of control scheme design is to establish an improved first-order auxiliary system to deal with the negative impact of actuator saturation. It is proved that formation tracking errors can converge to a residual set around zero, and all signals in the closed-loop system are semi-globally uniformly ultimately bounded. Finally, simulation results are presented to show the effectiveness of the control scheme.</div></div>","PeriodicalId":51063,"journal":{"name":"Information Sciences","volume":"691 ","pages":"Article 121619"},"PeriodicalIF":8.1,"publicationDate":"2024-11-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142658125","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}