Miracle-dz/UniFAR-FTUs huggingface dataset:
Study and Realization of Coordinate Conversion in Vehicle Navigation

Abstract—At present, the problems of the coordinate conversion in vehicle navigation, target location and guidance have become increasingly striking. Because GPS adopts the WGS-84(World Geodetic System 84) coordinate system, while various types of electronic maps usually adopt the BJ-54 coordinate system(Beijing Geodetic Coordinate System l954), in China, we must convert the coordinate system so as to avoid the deviation of the locating data. This paper mainly discusses the mathematical models for conversion among different coordinate reference systems and the coordinate projection transformation, then gives the transformation algorithms in detail, finally, the Visual C#. NET 2003 has been chosen to compile the coordinate conversion program, which computes the data of a practical example. According to the test of the practical measurement,the effects of these algorithms are satisfying , which provide the reliable evidence for proving the feasibility of this method.
Setting up a secure Web server and clients on an intranet

The paper discusses the practical issues that arise when securing the access to the World Wide Web (WWW). A brief overview of the different protocols that are proposed to secure the WWW is given and the current status of the U.S. export regulations is reviewed. An attack on SSL 2.0 is detailed which exploits some of the weaknesses in this protocol. The setup of a secure server with access control is explained. At the client side, existing solutions to provide export browsers with strong cryptography are evaluated, and the authors also introduce some improvements. Finally, the performance of the secure system is evaluated and compared to that of the regular HTTP connection.
International Journal of Pure and Applied Sciences and Technology Quality Assessment of Compressed Mr Medical Images Using General Regression Neural Network

Medical imaging plays a major role in contemporary health care, both as a tool in primary diagnosis and as a guide for surgical and therapeutic procedures. Compression of radiological images is an effective mechanism for storage and transmission. The use of such images for teleradiology is of increasing importance, with one of the main reasons being the ability to call upon remotely located diagnostic experts. Whilst many researchers have addressed the problem of how the degradation of image quality with compression ratio affects observer-based diagnostic accuracy. In this work, we propose a quantitative analysis of quality for lossy compressed magnetic resonance (MR) images, and their influence in automatic tissue classification. Peak Signal to Noise Ratio (PSNR), as quality measurement, is not enough if we have medical images. So we need to find out new quality measurements not based in perception to make a quantitative analysis for medical image compression. This paper proposed a scheme which combines the Artificial Neural Network and technique of Structure Similarity Index Measurement (SSIM) to improve the issues. We feel that the proposed framework is in the right direction towards the achievement of this goal.
Validation of AMSR Snow Depth on Sea Ice Retrievals Using an Airborne Pulse Radar: Final Report

This is the final report on the project entitled “Validation of AMSR snow depth on sea ice retrievals using an airborne pulse radar. ” This is a collaborative project between the Center for Remote Sensing of Ice sheets (CReSIS) at the University of Kansas and NASA Goddard Space Flight Center (GSFC). We designed and developed ultrawideband radars for measuring thickness of snow over sea ice from the surface and from aircraft. We successfully used the radar designed for surface-based measurements to collect data over snow-covered sea ice in Antarctica. Radar-derived snow thickness estimates were in excellent agreement with physical measurements of snow thickness. We obtained a correlation coefficient of 0.95 between the radar estimates and in-situ measurements, and a vertical resolution of about 3 cm. We modified the radar for operation on a fast-moving aircraft. The experimental results were useful to demonstrate the concept of using an ultra-wideband radar to measure snow thickness from an aircraft. However, we could not collect data over many flight lines to support AMSR validation activities. This is mainly because we had to reduce sweep rate for minimizing nonlinearities in the transmit waveform. We tested the radar performance using a short delay line in the laboratory, which did not reveal transmitter waveform non-linearities that affected its performance at typical aircraft operating altitudes. We redesigned and rebuilt the radar with a fast-settling Phase-Locked Loop (PLL) and evaluated its performance using a long delay line in the laboratory. The laboratory test results show that the radar can be operated at sweep rates greater than 4 kHz with a vertical resolution of about 5 cm.
What do quantum "weak" measurements actually measure?

A precise definition of “weak [quantum] measurements” and “weak value” (of a quantum observable) is offered, and simple finite dimensional examples are given showing that weak values are not unique and therefore probably do not correspond to any physical attribute of the system being “weakly” measured, contrary to impressions given by most of the literature on weak measurements. A possible mathematical error in the seminal paper introducing “weak values” is explicitly identified. A mathematically rigorous argument obtains results similar to, and more general than, the main result of that paper and concludes that even in the infinite-dimensional context of that paper, weak values are not unique. This implies that the “usual” formula for weak values is not universal, but can apply only to specific physical situations. The paper is written in a more pedagogical and informal style than is usual in the research literature in the hope that it might serve as an
Improvement of Messages Delivery Time on Vehicular Delay-Tolerant Networks

Vehicular Delay-Tolerant Networks (VDTNs) are an application of the Delay-Tolerant Network (DTN) concept, where the movement of vehicles and their message relaying service is used to enable network connectivity under unreliable conditions. To address the problem of intermittent connectivity, long-term message storage is combined with routing schemes that replicate messages at transfer opportunities. However, these strategies can be inefficient in terms of network resource usage. Therefore, efficient scheduling and dropping policies are necessary to improve the overall network performance. This work presents a performance analysis, based on simulation, of the impact of different scheduling and dropping policies enforced on Epidemic and Spray and Wait routing schemes. This paper evaluates these policies from the perspective of their efficiency in reducing the message’s end-to-end delay. In our scenario, it is shown that when these policies are based on the message’s lifetime criteria, the message average delay decreases significantly and the overall message delivery probability also increases for both routing protocols. Further simulations show that these results outperform the MaxProp and PRoPHET routing protocols that have their own scheduling and dropping mechanisms.
Modelling and manipulation of Polarimetric antenna beam patterns via spherical harmonics

Measured antenna responses, namely their beam patterns with respect to the vertical and horizontal polarizations, play a major role in realistic wireless channel modelling as well as in parameter estimation techniques. The representations commonly used suffer from drawbacks introduced by the spherical coordinate system which is affected by two knots at the poles. In general, all methods which describe the beam pattern with a matrix fail in correctly reproducing its inherent spherical symmetry. In this contribution we propose the use of the Spherical Fourier Transformation (SFT) which allows the description of the beam pattern via spherical harmonics. This mathematical tool, well known in other fields of science, is rather new to wireless communications. In this context, the main applications of the SFT include the efficient description of a beam pattern, noise filtering, the precise interpolation in the spherical Fourier domain, and the possibility to obtain an equivalent description of the beam pattern for an arbitrary coordinate system. The latter allows us to improve an existing 2-D FFT based technique: the Effective Aperture Distribution Function (EADF).
An Inexact SQP Method for Equality Constrained Optimization

We present an algorithm for large-scale equality constrained optimization. The method is based on a characterization of inexact sequential quadratic programming (SQP) steps that can ensure global convergence. Inexact SQP methods are needed for large-scale applications for which the iteration matrix cannot be explicitly formed or factored and the arising linear systems must be solved using iterative linear algebra techniques. We address how to determine when a given inexact step makes sufficient progress toward a solution of the nonlinear program, as measured by an exact penalty function. The method is globalized by a line search. An analysis of the global convergence properties of the algorithm and numerical results are presented.
An Etymological and Metamodel-Based Evaluation of the Terms "Goals and Tasks" in Agent-Oriented Methodologies

Agent-oriented methodologies frequently make use of terms such as goal and task but do so in an inconsistent manner. We seek to rationalize the use of these terms by undertaking an etymological and metamodel-based analysis of a significant number of these AO methodologies and recommend that the word task be avoided; instead, the word action could be usefully employed to describe the work done to achieve a goal or subgoal. We also note that the notion of subgoal is ambiguous in either being an interim goal along the path of achievement of the main (final or overall) goal or, alternatively, a portion/part of the goal whose achievement contributes (at the same instant in time) to the achievement of the overall goal. If we accept subgoal for the former meaning, then we suggest “goal part” for the latter.
novel multi-swarm algorithm for optimization in dynamic environments based n particle swarm optimization

Optimization in dynamic environment is considered among prominent optimization problems. There are particular challenges for optimization in dynamic environments, so that the designed algorithms must conquer the challenges in order to perform an efficient optimization. In this paper, a novel optimization algorithm in dynamic environments was proposed based on particle swarm optimization approach, in which several mechanisms were employed to face the challenges in this domain. In this algorithm, an improved multi-swarm approach has been used for finding peaks in the problem space and tracking them after an environment change in an appropriate time. Moreover, a novel method based on change ynamic environments warm intelligence oving Peak Benchmark ulti-swarm in velocity vector and particle positions was proposed to increase the diversity of swarms. For improving the efficiency of the algorithm, a local search based on adaptive exploiter particle around the best found position as well as a novel awakening–sleeping mechanism were utilized. The experiments were conducted on Moving Peak Benchmark which is the most well-known benchmark in this domain and results have been compared with those of the state-of-the art methods. The results show the superiority of the proposed method.
Sparse Representation of Monogenic Signal: With Application to Target Recognition in SAR Images

In this letter, the classification via sparse representation of the monogenic signal is presented for target recognition in SAR images. To characterize SAR images, which have broad spectral information yet spatial localization, the monogenic signal is performed. Then an augmented monogenic feature vector is generated via uniform down-sampling, normalization and concatenation of the monogenic components. The resulting feature vector is fed into a recently developed framework, i.e., sparse representation based classification (SRC). Specifically, the feature vectors of the training samples are utilized as the basis vectors to code the feature vector of the test sample as a sparse linear combination of them. The representation is obtained via l1-norm minimization, and the inference is reached according to the characteristics of the representation on reconstruction. Extensive experiments on MSTAR database demonstrate that the proposed method is robust towards noise corruption, as well as configuration and depression variations.
Searching and Ranking Similar Clusters of Polyhedra in Crystal Structures

A graph-based method is described for searching and ranking clusters of polyhedra in large crystallographic databases. First, embeddings of topologically equivalent substructures are determined for a given target cluster based upon a graph representation of polyhedral networks. Then, an algorithm for solving the problem of absolute orientation is applied in order to rank topologically equivalent clusters according to their geometric similarity.
Verifying quantitative reliability for programs that execute on unreliable hardware

Emerging high-performance architectures are anticipated to contain unreliable components that may exhibit soft errors, which silently corrupt the results of computations. Full detection and masking of soft errors is challenging, expensive, and, for some applications, unnecessary. For example, approximate computing applications (such as multimedia processing, machine learning, and big data analytics) can often naturally tolerate soft errors. We present Rely a programming language that enables developers to reason about the quantitative reliability of an application -- namely, the probability that it produces the correct result when executed on unreliable hardware. Rely allows developers to specify the reliability requirements for each value that a function produces. We present a static quantitative reliability analysis that verifies quantitative requirements on the reliability of an application, enabling a developer to perform sound and verified reliability engineering. The analysis takes a Rely program with a reliability specification and a hardware specification that characterizes the reliability of the underlying hardware components and verifies that the program satisfies its reliability specification when executed on the underlying unreliable hardware platform. We demonstrate the application of quantitative reliability analysis on six computations implemented in Rely.
A comparison of the effect that the visual and haptic problems associated with touching a Projection Augmented model have on object-presence

A Projection Augmented Model (PA model) is a type of haptic Augmented Reality display. It consists of a real physical model, onto which a computer image is projected to create a realistic looking object. Users can physically touch the surface of a PA model with their bare hands, which has experiential value for the types of applications for which they are being developed. However, the majority of PA models do not provide haptic feedback for material properties such as texture, and hence feel incorrect when they are touched. In addition, most PA models are frontprojected which means the projected image appears on the back of the user’s hand, and their hand casts a shadow on the display. Previous research has found that touching this type of PA model reduces a user’s sense of object-presence. The empirical study reported in this paper investigated which of the problems had a greater effect on objectpresence. It was found that object-presence was significantly higher when correct haptic feedback for material properties was provided; however eliminating the visual projection problems often did not effect objectpresence. These results have implications for the direction in which PA model technology should be developed. They also have implications for theory on how the haptic and visual senses contribute to a person’s sense of objectpresence, and indeed presence. 1. Background
Design and Implementation of a Distributed Mobility Management Entity on OpenStack

Network Functions Virtualization (NFV) consists of implementing network functions as software applications that can run on general-purpose servers. This paper discusses the application of NFV to the Mobility Management Entity (MME), a control plane entity in the Evolved Packet Core (EPC). With the convergence of cloud computing and mobile networks, conventional architectures of network elements need to be re-designed in order to fully harness benefits such as scalability and elasticity. To this end, we design and implement a distributed MME with the three-tier architecture common to web applications. We deploy the components of the distributed MME on two separate OpenStack clouds and evaluate the latency of the attach procedure. We find that the placement of the components within the data center significantly affects the attach latency.
A Dynamic Market Mechanism for Markets with Shiftable Demand Response

Abstract In this paper, we propose a dynamic market mechanism that converges to the desired market equilibrium. Both locational marginal prices and the schedules for generation and consumption are determined through a negotiation process between the key market players. In addition to incorporating renewables, this mechanism accommodates both consumers with a shiftable Demand Response and an adjustable Demand Response. The overall market mechanism is evaluated in a Day Ahead Market and is shown in a numerical example to result in a reduction of the cost of electricity for the consumer, as well as an increase in the Social Welfare.
pRoute: Peer selection using shared term similarity matrices

Peer-to-Peer systems have proven to be an effective way of sharing data. The focus of this paper is on distributed search based on Peer-to-Peer technology. In this paper we present the pRoute system where peers advertise a short description of the content that they share, namely a set of terms. Peers remember the advertisements of related peers and thereby form a semantic overlay by which we mean that peers with similar content are grouped together. Peers calculate the similarity between their content descriptions by a term similarity function which, in the ideal case, is identical for all peers. In simulation experiments we compare the performance of different advertisement- and forwarding policies with respect to precision, recall and the number of messages. The results indicate precision and recall increase when the policies take semantics into account, without an increase of the number of advertisement- and query messages.
Optimal attaching and detaching trajectory for bio-inspired climbing robot using dry adhesive

IBSS_Gecko_6 is a bio-inspired legged robot that can climb on smooth vertical surface. In this paper, we design a new footpad which equipped with polyurethane adhesive. Different from pervious study, we directly apply the adhesive in the footpad and investigate optimal attaching and detaching trajectory for wall climbing. The optimal adhesion force demonstrated that the leg can perform strong attaching force and modest detaching force, which can supply a reliable force for wall climbing. The optimal trajectory can apply in the wall climbing robot in future.
An Empirically Based Path Loss Models for LTE Advanced Network and Modeling for 4G Wireless Systems at 2.4 GHz, 2.6 GHz and 3.5 GHz

This paper concerns about the propagation prediction models for LTE Advanced Network is presented and computation of path loss for different terrains rural, dense urban, suburban has been carried using MATLAB based on simulations for various prediction techniques such as ECC-33/hata okumura extended Model, Cost 231 hata Model, COST-231 Walfisch–Ikegami model, Stanford University Interim (SUI) Model for the upcoming 4th Generation (4G) of cellular networks. The paper studies the path loss models of the wideband channels at 2.3GHz, 2.6GHz and 3.5 GHz for the LTE-Advanced Network. The results showed that COST-231Hata’s method gave better agreement in terms of path loss values in urban, suburban and rural areas as compared to COST-231 Walfisch–Ikegami model. COST-231 Hata model shows the lowest path loss in all the terrain.
Mrpl10 and Tbp Are Suitable Reference Genes for Peripheral Nerve Crush Injury

Peripheral nerve injury triggers the dysregulation of a large number of genes at multiple sites, including neurons, peripheral nerve stump, and the target organ. Housekeeping genes were frequently used as reference genes to normalize the expression values of target genes. Suitable selection of housekeeping genes that are stably expressed after nerve injury minimizes bias elicited by reference genes and thus helps to better and more sensitively reflect gene expression changes. However, many housekeeping genes have been used as reference genes without testing the expression patterns of themselves. In the current study, we calculated the expression stability of nine commonly used housekeeping genes, such as 18S (18S ribosomal RNA), Actb (β-actin), CypA (cyclophilin A), Gapdh (glyceraldehydes-3-phosphate dehydrogenase), Hprt (hypoxanthine guanine phosphoribosyl transferase), Pgk1 (phosphoglycerate kinase 1), Tbp (TATA box binding protein), Ubc (ubiquitin C), YwhaZ (tyrosine 3-monooxygenase/tryptophan 5-monooxygenase activation), and four newly identified housekeeping genes, including Ankrd27 (Ankyrin repeat domain 27), Mrpl10 (mitochondrial ribosomal protein L10), Rictor (rapamycin-insensitive companion of mTOR, Complex 2), and Ubxn 11 (UBX domain protein 11), in both distal sciatic nerve samples and dorsal root ganglion (DRG) samples after sciatic nerve injury. Our results suggested that following peripheral nerve injury, Mrpl10 and Tbp might be used as suitable reference genes for sciatic nerve stump and DRGs, respectively.
Oriented cell motility and division underlie early limb bud morphogenesis

The vertebrate limb bud arises from lateral plate mesoderm and its overlying ectoderm. Despite progress regarding the genetic requirements for limb development, morphogenetic mechanisms that generate early outgrowth remain relatively undefined. We show by live imaging and lineage tracing in different vertebrate models that the lateral plate contributes mesoderm to the early limb bud through directional cell movement. The direction of cell motion, longitudinal cell axes and bias in cell division planes lie largely parallel to one another along the rostrocaudal (head-tail) axis in lateral plate mesoderm. Transition of these parameters from a rostrocaudal to a mediolateral (outward from the body wall) orientation accompanies early limb bud outgrowth. Furthermore, we provide evidence that Wnt5a acts as a chemoattractant in the emerging limb bud where it contributes to the establishment of cell polarity that is likely to underlie the oriented cell behaviours.