Miracle-dz/UniFAR-FTUs huggingface dataset:
Development and implementation of the technology of automatic reconciliation of different aerospace images

Monitoring of the subsoil are of great importance algorithms of processing of space images obtained from satellites, important among which is an algorithm for the automatic alignment of the images for observation, study and forecasting of the earth's surface. The article discusses the necessary methods and algorithms that have a mathematical basis, to achieve your goals, and describe the practical implementation of the algorithms.
Improved explicit shape regression face alignment algorithm

Face alignment, which is an important step in face recognition, face beautification and many other face-related visual tasks, is to accurately locate the key points with semantic features in the face image. Explicit shape regression is a representative effective face alignment algorithm based on cascade regression, which can deal with lots of complex cases, but still has some shortcomings. An improved ESR algorithm is proposed in this paper, which consists of two parts. In one part, the first derivative of Gaussian filter-based gradient difference features is extracted to represent the facial appearance, and a random regression forest is learned to predict initial face shapes. In the other part, the predicted initial shape is taken as the initial shape of the ESR algorithm. Experiments show that the improved ESR algorithm has higher accuracy than the original ESR algorithm.
Modelling of European Train Control System using process algebra

Standard process algebra has difficulty dealing with actions of different priority, such as for instance an interrupt action of high priority. We extend Milner's process calculus ccs with a formal definition of the notion of priority. The paper illustrates the use of priorities in process algebras by a real-world example dealing with the design of ETCS (European Train Control System). It demonstrates the importance of priorities for modeling distributed real-time systems by means of a practically relevant case study of the moving block operation model of ETCS. The paper presents a first simplified model of communication failure and recovers behavior as well as safety-critical data exchange.
A Note on the Shannon Entropy of Short Sequences

For source sequences of length L symbols we proposed to use a more realistic value to the usual benchmark of number of code letters by source letters. Our idea is based on a quantifier of information fluctuation of a source, F(U), which corresponds to the second central moment of the random variable that measures the information content of a source symbol. An alternative interpretation of typical sequences is additionally provided through this approach.
Fault detection for continuous-time semi-Markovian jump systems

This paper investigates the fault detection problem of continuous-time semi-Markovian jump systems (S-MJSs). The fault detection problem is studied for S-MJSs by using a conventional filter. The decoupling method is used to handle the fault detection system. According to Lyapunov functional stability, the filter is designed such that the fault detection system is stochastically stable with an H∞ performance, and its parameters can be solved by convex optimization method. Simulation results are given to illustrate the feasibility of the proposed method.
HTTP security headers analysis of top one million websites

We present research on the security of the most popular websites, ranked according to Alexa's top one million list, based on an HTTP response headers analysis. For each of the domains included in the list, we made four different requests: an HTTP/1.1 request to the domain itself and to its "www" subdomain and two more equivalent HTTPS requests. Redirections were always followed. A detailed discussion of the request process and main outcomes is presented, including X.509 certificate issues and comparison of results with equivalent HTTP/2 requests. The body of the responses was discarded, and the HTTP response header fields were stored in a database. We analysed the prevalence of the most important response headers related to web security aspects. In particular, we took into account Strict- Transport-Security, Content-Security-Policy, X-XSS-Protection, X-Frame-Options, Set-Cookie (for session cookies) and X-Content-Type. We also reviewed the contents of response HTTP headers that potentially could reveal unwanted information, like Server (and related headers), Date and Referrer-Policy. This research offers an up-to-date survey of current prevalence of web security policies implemented through HTTP response headers and concludes that most popular sites tend to implement it noticeably more often than less popular ones. Equally, HTTPS sites seem to be far more eager to implement those policies than HTTP only websites. A comparison with previous works show that web security policies based on HTTP response headers are continuously growing, but still far from satisfactory widespread adoption.
Tropical cyclone wind speed constraints from resultant storm surge deposition: A 2500 year reconstruction of hurricane activity from St. Marks, FL

Recent work suggests that the patterns of intense (≥category 3 on the Saffir‐Simpson scale) hurricane strikes over the last few millennia might differ from that of overall hurricane activity during this period. Prior studies typically rely on assigning a threshold storm intensity required to produce a sedimentological overwash signal at a particular coastal site based on historical analogs. Here, we improve on this approach by presenting a new inverse‐model technique that constrains the most likely wind speeds required to transport the maximum grain size within resultant storm deposits. As a case study, the technique is applied to event layers observed in sediments collected from a coastal sinkhole in northwestern Florida. We find that (1) simulated wind speeds for modern deposits are consistent with the intensities for historical hurricanes affecting the site, (2) all deposits throughout the ∼2500 year record are capable of being produced by hurricanes, and (3) a period of increased intense hurricane frequency is observed between ∼1700 and ∼600 years B.P. and decreased intense storm frequency is observed from ∼2500 to ∼1700 and ∼600 years B.P. to the present. This is consistent with prior reconstructions from nearby sites. Changes in the frequency of intense hurricane strikes may be related to the degree of penetration of the Loop Current in the Gulf of Mexico.
Aerial-Ground collaborative sensing: Third-Person view for teleoperation

Rapid deployment and operation are key requirements in time critical application, such as Search and Rescue (SaR). Efficiently teleoperated ground robots can support first-responders in such situations. However, first-person view teleoperation is sub-optimal in difficult terrains, while a third-person perspective can drastically increase teleoperation performance. Here, we propose a Micro Aerial Vehicle (MAV)-based system that can autonomously provide third-person perspective to ground robots. While our approach is based on local visual servoing, it further leverages the global localization of several ground robots to seamlessly transfer between these ground robots in GPS-denied environments. Therewith one MAV can support multiple ground robots on a demand basis. Furthermore, our system enables different visual detection regimes, and enhanced operability, and return-home functionality. We evaluate our system in real-world SaR scenarios.
Low Voltage Ride Through Control Method of Photovoltaic Grid-connected Inverter Based on Model Current Predictive Control

With the growth of the capacity of the grid-connected photovoltaic power station accessed to the grid, the grid-connected operation photovoltaic power generation system demonstrates increasing competitiveness. When the power system voltage sags due to a short circuit fault, a low voltage ride-through control strategy was proposed to improve the stability of the power system in response to the serious consequences of a large-scale photovoltaic power plant suddenly taking off the network. Based on the established model current prediction control strategy of the inverter, the low voltage ride through control strategy of the voltage symmetrical sag on the grid side was designed. According to the grid voltage drop depth, the reference values of the active and reactive components of the output current were obtained, and the active and reactive power were redistributed during the voltage drop. Meanwhile, the output current from inverter was controlled with limiting amplitude to make inverter support grid with wattles power under the premise of undercurrent for current. A simulation model of grid-connected PV system was built in Matlab/Simulink, and the simulation results show the proposed LVRT operation can be realized under unbalanced grid voltage conditions.
Demo abstract: Integrating a driving simulator with city-scale VANET simulation for the development of next generation ADAS systems

The future of driving will be heavily influenced by Advanced Driver Assistance System (ADAS) using data from Vehicular Ad-Hoc Networks (VANETs). While driver assistance systems and VANETs have been separate domains of research and development, the gap between them is going to close. This poses challenges to developing next generation cooperative ADAS systems, as traditional testing methods cannot cover their complex interactive and interconnected nature. In this demo, we present a solution for this: a driving simulator integrated with a city-scale VANET simulation. The fundamental basis is the coupling of a driving environment operating in real-time and an event-driven simulator using our novel Ego Vehicle Interface (EVI). Visitors can take control of a vehicle within the simulation using a steering wheel and pedals. This allows them to experience future ADAS interactively in the simulation. Also, it enables researchers to analyze the influence of a human driver on such systems both on a microscopic as well as on a macroscopic level.
Automatically inserting ads into images

In this study a new method is proposed for inserting advertisement visuals into images automatically and without disturbing the image content. In this method important areas are determined using deep learning based object, face and text detection, edge and saliency maps are obtained, and these information are used for the identification of the best location for inserting the advertisement visual. In order to select the best available advertisement visual from an advertisement pool shape and color features are utilized.
On Ergodic Capacity and Optimal Number of Tiers in UAV-Assisted Communication Systems

In this paper, we consider unmanned aerial vehicle (UAV) assisted communication systems, where a number of UAVs are utilized as multi-tier relays between a number of users and a base-transceiver station (BTS). We model the wireless propagation channel between the users and the BTS as a Rayleigh product channel, which is a product of a series of independent and identically distributed (i.i.d.) Rayleigh multi-input multi-output channels. We put a special interest in optimizing the number of tiers in such UAV-assisted systems for a given total number of UAVs through maximizing the ergodic capacity. To achieve this goal, in the first part, we derive a lower-bound in a closed form for the ergodic capacity, which is shown to be asymptotically tight. In the second part, we analyze the optimal number of UAV-tiers with the derived bound, and propose a low-complexity solution that significantly reduces the search-size and yields near-optimal performance. Further, asymptotic properties both for the ergodic capacity and the solution for optimal number of tiers are extensively analyzed.
SINS/USBL integrated navigation fault-tolerant method with chi-square test

Precision and reliability are the most important standards to decide the capability of navigation system. The strapdown inertial navigation system (SINS) provides autonomous underwater vehicle (AUV) attitude, velocity and position information continuously when the task and mission are carried out in the complex marine environment. It has the advantages of high positioning accuracy in short-term, but its position error also diverges with time. The position error of ultra short baseline (USBL) is bounded within operating range. Because of its small array size, easy to install, etc., it has a wide applications in marine development. According to the characteristic of the SINS and USBL, a SINS/USBL integrated navigation fault-tolerant method with chi-square test is presented. Experiments on Qiandao Lake show that the proposed method is available.
An SDN energy saving method based on topology switch and rerouting

The construction of energy-efficient network and achievement of green communication have garnered great attention as a promising way to reduce network operating costs and greenhouse gas emissions. Link sleeping and rate adaptation are proposed to reduce energy consumption when the traffic demands are at low levels. It has been observed that many networks (include ISP backbone network) exhibit regular diurnal traffic patterns, which offers the opportunity to apply link sleeping for energy saving. In this paper, we propose an online scheme called Multiple Topology Switching with Data Plane Forwarding Path Rerouting (MTSDPFPR) for energy saving. Based on the dynamic network traffic demands, MTSDPFPR switches the links to sleep mode to save energy. Then we use the GEANT network and the real traffic matrix to evaluate proposed scheme. The results show that up to 30% energy savings can be achieved.
Analysis of Nederlof's algorithm for subset sum

We show that Nederlof's algorithm [Information Processing Letters, 118 (2017), 15-16] for constructing a proof that the number of subsets summing to a particular integer equals a claimed quantity is flawed because: 1) its consistence is not kept; 2) the proposed recurrence formula is incorrect.
A compact planar UWB MIMO diversity antenna with Hilbert fractal neutralization line for isolation improvement and dual band notch characteristics

In this communication a compact printed CPW-fed dual band-notched Ultra Wideband (UWB) Multiple Input Multiple Output (MIMO) antenna is exhibited. The UWB MIMO antenna consists of two planar identical monopole elements PPM1 and PPM2 respectively and a novel modified 2nd order Hilbert fractal shaped neutralization line (NL) is introduced along with a modified circular defect in the common ground plane. Modified Minkowski boundary fractal geometry is introduced on the top edges of the respective monopoles for reinforcing the isolation of the MIMO system. The fractal shaped neutralization line serves two purposes isolation improvement as well as band notching the Wi-Max band. Notch bands encompassing 3.3-3.8 GHz Wi-MAX and 3.7-4.2 GHz C-Band are acquired by the introduction of the Hilbert fractal neutralization line and etching rectangular slots on the ground structures. The antennas Ultra wide bandwidth ranges from 3.05 GHz to 13.5 GHz (VSWR ≤ 2). The radiator and ground plane of the antenna are realized with an overall size of 26.75 mm × 32.94 mm. It can be also observed that the spacing between the elements is astonishingly reduced to 0.52 mm which is least as per the knowledge of the authors in UWB MIMO antenna designs proposed in the existing literature. The agreement between the various simulation results advocates that the intended antenna can be a worthy candidate for various UWB communication systems. All the simulated results depict that the proposed UWB MIMO antenna is a promising candidate for portable UWB as well as UWB MIMO systems.
A promising power-saving technique: Approximate computing

Approximate computing is introduced as an important low-power technology for image processing in recent years. Since a slight decrease in image quality is normally acceptable by human eyes, approximate computing optimizes design by allowing some tolerable errors and sacrificing some accuracy in the computational process. The reduction of computing complexity can thus contribute to the improvement of circuit energy efficiency. This paper reviews existing approximate techniques in image processing field and classifies them into algorithm level, logic level and circuit level. In addition, this paper analyses and highlights the merits of each technique.
Authentication scheme using unique identification method with homomorphic encryption in Mobile Cloud Computing

The purpose of this project is to design and implement a framework that employs unique authentication method that relies on third party identification which is required to accurately identify and authenticate legitimate user in order to reduce the risk of disclosing confidential data to unauthorized party in Mobile Cloud Computing, MCC. Cloud computing is a service provided for user to store and process their data online instead of local device. Mobile Cloud computing which is an extension of the cloud computing service allows user to remotely access their data and services that are being uploaded to the cloud beforehand in any place and any time as long as they have internet connection in their personal mobile device. Throughout the period of the mobile cloud computing era, the security has always been a concern and post as a formidable challenge even for experienced security specialist. Moreover, encryption method such as RSA and Diffie Hellman cryptosystem proven to be useless against the attacks launched by quantum computer. Hence, Homomorphic Signature scheme is introduced along with the Identity Management (IDM) server into the mobile cloud computing in order to address this issue by applying implicit authentication method to differentiate between the genuine and non-genuine user which allows system to authenticate the clients accurately. The details of the framework will be further explained later in this paper, where the user will be authenticated with IDM as medium and no password is used throughout the authentication process, allowing the client to be safely authenticated at the end of the process.
Microstrip antennas based on fractal geometries for UWB application

The paper proposes microstrip patch antennas based on the fractal concepts, using planar periodic geometries, which result in improved characteristics. The fractal structure properties were introduced for single-fractal layer structure as well as for the both, upper and bottom sides of the antenna. The final structure — double-fractal layers antenna has been optimized to enhance bandwidth and gain of the microstrip antenna. This combination significantly improved antenna performance, our design could support an ultra-wide bandwidth ranging from 4.1 to 19.4 GHz, demonstrated higher gain with an average value of 6 dBi over the frequency range, and a radiation capability directed in the horizontal plane of the antenna.
Sequential introduction of quality-differentiated add-ons in advance bundling

Advance bundling is a hybrid strategy of advance selling and bundling strategy. The firm bundles the base product with one add-on in advance period and then sells another quality-differentiated add-on individually in spot period. This paper establishes an analytical model to solve the optimal advance price and the optimal spot price over two periods when consumers are heterogeneous. The experimental results show that when the number of high-value segment is large, the high advance price and spot price is optimal, while the low advance price and spot price is optimal when the number of low-value segment is large.
Content Delivery Networks: Interactions between storage/delay/cost

We propose a novel way of spreading data over multiple servers in Content Delivery Networks. Such approach provides a framework to explore trade-off between three key parameters of a content delivery network; namely, delay, storage size and communication cost. After presenting proper models for such trade-off, fundamental limits and lower and upper bounds on parameters of interest are provided for basic one-and two-dimensional spatial server arrangements. The observation that both delay and storage size can be reduced at the expense of moderate communication cost can be of great importance in a number of practical scenarios of interest.
Segmentation of pedestrians in thermal imaging

Image segmentation is one of crucial stages of video processing used for detection of pedestrians in infrared (IR) vision. The paper presents a study of passive (typically far IR) technologies for IR vision and an analysis of the state-of-the-art in the extraction of information from IR images. A deep testing of segmentation methods was performed for IR images with a specially prepared benchmark of 162 IR video frames with pedestrians. The initial tests included two segmentation methods: the single threshold and the Otsu method. The obtained results are promising as the effectiveness reaches ca. 82% for both techniques.
A low-cost experimental rig for multi-DOF unsteady thrust measurements of aquatic bioinspired soft robots

The design, calibration and testing of an experimental rig for measuring 2-DOFs unsteady loads over aquatic robots is discussed. The presented apparatus is specifically devised for thrust characterization of a squid-inspired soft unmanned underwater vehicle, but its modular design lends itself to more general bioinspired propulsion systems and the inclusion of additional degrees of freedom. A purposely designed protocol is introduced for combining calibration and error compensation upon which force and moment measurements can be performed with a mean error of 0.8% in steady linear loading and 1.7% in unsteady linear loading, and mean errors of 10.2% and 9.4% respectively for the case of steady and dynamic moments at a sampling rate of the order of 10 Hz. The ease of operation, the very limited cost of manufacturing and the degree of accuracy make this an invaluable tool for fast prototyping and low-budget projects broadly applicable in the soft robotics community.
A self-tuning line feature extraction method for robot SLAM in structured environment

Aiming for the least squares method, all the points in the region are used as the features to be extracted. There is a problem that the computational complexity is large and it is easy influenced by edge interference information, which leads to inaccurate feature extraction. The self-tuning feature extraction method fusing mean clustering and K-L transform is proposed. The principal component analysis method is used to ensure that the extracted line features are consistent with the distribution of the main data points. The self-tuning feature extraction method can remove edge interference information through the clustering center calculation, parallel area division and other operations. It improves the accuracy of line feature extraction. Compared to the least squares method, K-L transform is faster and has better real-time performance.