Automated detection of software failures is an important but challenging engineering task. It involves finding in a vast search space the failure-inducing test cases that contain input triggering fault and oracle asserting incorrect execution. We are motivated to study how far this outstanding challenge can be solved by recent advances large language models (LLMs) such as ChatGPT. However, our reveals ChatGPT has relatively low success rate (28.8%) correct for buggy programs. A possible...

In optical transport networks, the urgent demand for control efficiency and intelligence has become one of most significant challenges telecom operators. With development in technology, more attention been paid to performance enhancement centralized controller software-defined networks (SDONs). Meanwhile, machine learning (ML) is emerging as a promising technology facilitate planes SDONs. Some research works have conducted use ML solve problems networks. However, it still challenge deploy...

With the rapid development of optical network, network status appears more and features. For example, flexi-grid technology introduces noticeable features about spectral constraints deep fragmentation. However, limited by complex non-linear relationships among different optimization objectives, traditional heuristic algorithms for resource allocation cannot discover utilize proper combination these sometimes. Reinforcement learning (RL) is an autonomic that could dig out essential...

The paper presents an analytical model to compute the saturated throughput of IEEE 802.11 distributed coordination function (DCF) in a multi-hop ad hoc network. Our work is based on Bianchi's where performance DCF absence hidden stations analyzed using discrete time Markov chain. In our model, wireless are randomly located area according two-dimension Poisson distribution with density lambda, and every station always has packet transmit. We terminal effect under ideal channel conditions....

The spectrum sensing performance of traditional method will be degraded in non-Gaussian background. Fractional low order statistics has the ability inhibiting alpha-stable distribution noise. By analyzing fractional cyclostationary algorithm; we find that correlation cyclic autocorrelation function vector have a certain amount loss. In this paper, detection based on eigenvalue matrix is proposed. This retains information function. addition, reduces computational complexity. Simulation...

Optical networks with flexible bandwidth provisioning have become a very promising networking architecture. It enables efficient resource utilization and supports heterogeneous demands. In this paper, two novel spectrum defragmentation approaches, i.e. Maximum Path Connectivity (MPC) algorithm Triggering (PCT) algorithm, are proposed based on the notion of Connectivity, which is defined to represent maximum variation node switching ability along path in networks. A cost-performance-ratio...

Machine learning (ML) is an effective solution to deal with some networking issues in large scale optical transport networks. Alarm (caused by failure, disaster, etc.) prediction a typical and important use-case, where ML algorithm can work predict events advance. By accurate prediction, network administrators be guided undertake preventive measures ahead of time, thus avoiding the adverse effect. For training testing such event models, it's first foremost build high-quality data set from...

Abstract Motivated by the significance of optimizing network performance with limited resources in real applications, we investigate problem achieving fast and desired consensus a complex via pinning control fraction nodes network. An optimization is proposed to select p optimal pinned guarantee fastest consensus, which relaxed Mixed‐Integer Semi‐Definite Program. In single node case ( i.e. , = 1), find that highest min‐max distance centrality within closeness multiple > betweenness could...

In wireless sensor networks, the node localization algorithm is very important. this paper, we have further studied traditional DV-Hop and proposed a new type of weighted algorithm. Based on selecting referenced anchor nodes calculation method average hop distance, propose called wDV-cf (weighted based correction factor). Firstly, unknown record distance from all in one distance. Secondly, percentage error introduced as factor to calculate for node. The simulation results show that, compared...

The increasing demand for high bandwidth in cellular wireless networks led to a dramatic increase the number of deployed LTE femtocell base stations (FBS) recent years. While energy consumed by single FBS is relatively negligible, collective footprint all FBSs an operator turns out be huge. Energy-efficient protocols are needed thus balance trade-off between saving and utilization. key component desired protocol prevent both waste interference mitigation, which, most previous work has failed...

With traffic demand, the number of services carried in optical transport networks is increasing. However, due to some internal factors (e.g., device power failure, aging) and external natural disasters), link network may be damaged related can affected. Restoring these affected efficiently a challenging problem. In this paper, we convert information (with ODU-k switching capability) into images (named multi-modal method with image format). Then propose reinforcement-learning-based service...

In dense indoor multi-cell wireless networks, such as WLANs and OFDMA-based femtocell networks (e.g., LTE, WiMAX), the bandwidth waste has become more dramatic due to large interference contention occasioned by uncoordinated channel access methods CSMA. Coordinating resource allocation in network can be a good compromise solution this problem. However, general, is complex multi-dimensional problem that involves four tasks: client association select base station associate with, antenna beam...

Legacy IEEE 802.11 Medium Access Control (MAC) adopts the Distributed Coordination Function (DCF) mechanism, which provides same access opportunity for all contenders. However, in dense multi-rate Wireless Local Area Networks (WLANs), pure distributed control mechanism will cause high collision rate and performance anomaly, results low network utilization wasting valuable channel resources. In this paper, we present a decoupling MAC (DMAC) based on idea of contention/reservation to reduce...

It is crucial for cloud service providers to fulfil their tenants targeted quality of (QoS) requirements, yet, providing such QoS in an energy efficient manner paramount importance optimizing operational costs. In this paper, we study the efficiency virtual cluster embedding data centers. More specifically, focus on designing fast algorithms place clusters, including machines, switches and topology with bandwidth requirements. We first model problem as integer programming problem, prove its...

This paper is concerned with the adaptive consensus tracking control problem for strict-feedback nonlinear multiagent systems parameter uncertainty under both fixed and switching topologies. When topology fixed, we first propose a novel distributed fusion least-squares algorithm without regressor filtering, which has clear advantage that estimate of each agent converges to true value weak cooperative persistent excitation condition. Then, design new law guarantee can asymptotically track...

To improve their profits, it is crucial for cloud service providers to fulfil tenants target QoS requirements in an energy efficient way. The services provided many modern public clouds have graduated include more sophisticated and flexible virtual clusters, encompassing not only the resource requirement of machines (VMs) but also topology between VMs. In this paper, we study efficiency cluster embedding data centers. We carefully develop a mathematical model, aiming minimize consumption...

Geometric Fractal is an important and interesting function of dynamic geometry, but it a big system burden because geometric fractal has significant negative impact on performance. In this paper, we propose new algorithm to improve the efficiency in geometry system. The treats lots graphics as whole object. This method can greatly reduce computational load complexity generating updating these runtime. It makes real-time calculation update possible very rapid. was compared with Super Sketch...

In this paper we study the problem of client association, jointly with airtime sharing and contention resolution in a multi-cell WLAN hidden terminals objective achieving proportional fair download bandwidth allocation to clients. We first formulate as utility maximization problem, which, due integral nature association turns out be 0-1 (NP-hard) programming then by studying its structure, decompose it into two subproblems: on one hand, joint other. show that, for each fixed pattern,...