Making pointer analysis more precise by unleashing the power of selective context sensitivity

Traditional context-sensitive pointer analysis is hard to scale for large and complex Java programs. To address this issue, a series of selective context-sensitivity approaches have been proposed and exhibit promising results. In this work, we move one step further towards producing highly-precise pointer analyses for hard-to-analyze Java programs by presenting the Unity-Relay framework, which takes selective context sensitivity to the next level. Briefly, Unity-Relay is a one-two punch: given a set of different selective context-sensitivity approaches, say S = S1, . . . , Sn, Unity-Relay first provides a mechanism (called Unity)to combine and maximize the precision of all components of S. When Unity fails to scale, Unity-Relay offers a scheme (called Relay) to pass and accumulate the precision from one approach Si in S to the next, Si+1, leading to an analysis that is more precise than all approaches in S. As a proof-of-concept, we instantiate Unity-Relay into a tool called Baton and extensively evaluate it on a set of hard-to-analyze Java programs, using general precision metrics and popular clients. Compared with the state of the art, Baton achieves the best precision for all metrics and clients for all evaluated programs. The difference in precision is often dramatic — up to 71% of alias pairs reported by previously-best algorithms are found to be spurious and eliminated.

Download Full-text

Smoke recognition network based on dynamic characteristics

International Journal of Advanced Robotic Systems ◽

10.1177/1729881420925662 ◽

2020 ◽

Vol 17 (3) ◽

pp. 172988142092566

Author(s):

Dahan Wang ◽

Sheng Luo ◽

Li Zhao ◽

Xiaoming Pan ◽

Muchou Wang ◽

...

Keyword(s):

Dynamic Characteristics ◽

State Of The Art ◽

The State ◽

Detection Accuracy ◽

Static Characteristics ◽

Good Tool ◽

Early Signal ◽

Fuzzy Objects ◽

The Difference ◽

Smoke Recognition

Fire is a fierce disaster, and smoke is the early signal of fire. Since such features as chrominance, texture, and shape of smoke are very special, a lot of methods based on these features have been developed. But these static characteristics vary widely, so there are some exceptions leading to low detection accuracy. On the other side, the motion of smoke is much more discriminating than the aforementioned features, so a time-domain neural network is proposed to extract its dynamic characteristics. This smoke recognition network has these advantages:(1) extract the spatiotemporal with the 3D filters which work on dynamic and static characteristics synchronously; (2) high accuracy, 87.31% samples being classified rightly, which is the state of the art even in a chaotic environments, and the fuzzy objects for other methods, such as haze, fog, and climbing cars, are distinguished distinctly; (3) high sensitiveness, smoke being detected averagely at the 23rd frame, which is also the state of the art, which is meaningful to alarm early fire as soon as possible; and (4) it is not been based on any hypothesis, which guarantee the method compatible. Finally, a new metric, the difference between the first frame in which smoke is detected and the first frame in which smoke happens, is proposed to compare the algorithms sensitivity in videos. The experiments confirm that the dynamic characteristics are more discriminating than the aforementioned static characteristics, and smoke recognition network is a good tool to extract compound feature.

Download Full-text

Enhanced Passive GNSS-Based Radar Imaging Based on Coherent Integrated Multi-Satellite Signals

Sensors ◽

10.3390/s20030842 ◽

2020 ◽

Vol 20 (3) ◽

pp. 842 ◽

Cited By ~ 1

Author(s):

Yu Zheng ◽

Zhuxian Zhang ◽

Lu Feng ◽

Peidong Zhu ◽

Feng Zhou

Keyword(s):

Image Fusion ◽

State Of The Art ◽

Radar Imaging ◽

The State ◽

Signal Interference ◽

Proof Of Concept ◽

Echo Signal ◽

Direct Signal ◽

Geometry Model ◽

Fusion Scheme

Weak reflected signal is one of the main problems in a recent developing remote sensing tool—passive GNSS-based radar (GNSS radar). To address this issue, an enhanced GNSS radar imaging scheme on the basis of coherently integrating multiple satellites is proposed. In the proposed scheme, to avoid direct signal interference at surveillance antenna, the satellites that used as transmission of opportunity are in backscattering geometry model. To coherently accumulate echo signal magnitudes of the scene center in the targeted sensing region illuminated by the selected satellites, after performing the paralleled range compressions, a coordinates alignment operator is performed to the respective range domains, in which, pseudorandom noise (PRN) code phases are aligned. Thereafter, the coordinates aligned range compressed signals of the selected satellites are coherently integrated along azimuth domain so that imaging gain is improved and azimuth processing can be accomplished in only one state operation. The theoretical analysis and field proof-of-concept experimental results indicate that compared to both conventional bistatic imaging scheme and the state-of-the-art multi-image fusion scheme, the proposed scheme can provide a higher imaging gain; compared to the state-of-the-art multi-image fusion scheme, the proposed scheme has a less computational complexity and faster algorithm speed.

Download Full-text

Mini/Micro/Nano Scale Liquid Metal Motors

Micromachines ◽

10.3390/mi12030280 ◽

2021 ◽

Vol 12 (3) ◽

pp. 280

Author(s):

Li Liu ◽

Dawei Wang ◽

Wei Rao

Keyword(s):

Liquid Metal ◽

State Of The Art ◽

Physicochemical Characteristics ◽

The State ◽

Considerable Potential ◽

Nano Scale ◽

Recent Advances ◽

Directional Motion ◽

Good Biocompatibility ◽

The Difference

Swimming motors navigating in complex fluidic environments have received tremendous attention over the last decade. In particular, liquid metal (LM) as a new emerging material has shown considerable potential in furthering the development of swimming motors, due to their unique features such as fluidity, softness, reconfigurability, stimuli responsiveness, and good biocompatibility. LM motors can not only achieve directional motion but also deformation due to their liquid nature, thus providing new and unique capabilities to the field of swimming motors. This review aims to provide an overview of the recent advances of LM motors and compare the difference in LM macro and micromotors from fabrication, propulsion, and application. Here, LM motors below 1 cm, named mini/micro/nano scale liquid metal motors (MLMTs) will be discussed. This work will present physicochemical characteristics of LMs and summarize the state-of-the-art progress in MLMTs. Finally, future outlooks including both opportunities and challenges of mini/micro/nano scale liquid metal motors are also provided.

Download Full-text

A robust water oxidation electrocatalyst from amorphous cobalt–iron bimetallic phytate nanostructures

Journal of Materials Chemistry A ◽

10.1039/c6ta05322j ◽

2016 ◽

Vol 4 (41) ◽

pp. 15888-15895 ◽

Cited By ~ 20

Author(s):

Yajie Zhang ◽

Taotao Gao ◽

Zhaoyu Jin ◽

Xiaojuan Chen ◽

Dan Xiao

Keyword(s):

Noble Metal ◽

Water Oxidation ◽

State Of The Art ◽

Metal Catalysts ◽

The State ◽

Superior Performance ◽

Step Method ◽

Noble Metal Catalysts ◽

Cobalt Iron ◽

One Step

We developed a bimetallic cobalt–iron phytate catalyst with superior performanceviaa facile one-step method, which make it a possible substitute for the state-of-the-art noble metal catalysts.

Download Full-text

Modeling Multi-Purpose Sessions for Next-Item Recommendations via Mixture-Channel Purpose Routing Networks

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence ◽

10.24963/ijcai.2019/523 ◽

2019 ◽

Cited By ~ 8

Author(s):

Shoujin Wang ◽

Liang Hu ◽

Yan Wang ◽

Quan Z. Sheng ◽

Mehmet Orgun ◽

...

Keyword(s):

Recommender System ◽

Channel Model ◽

State Of The Art ◽

Recurrent Network ◽

The State ◽

Experimental Results ◽

Art Methods ◽

Recommendation Accuracy ◽

The Difference

A session-based recommender system (SBRS) suggests the next item by modeling the dependencies between items in a session. Most of existing SBRSs assume the items inside a session are associated with one (implicit) purpose. However, this may not always be true in reality, and a session may often consist of multiple subsets of items for different purposes (e.g., breakfast and decoration). Specifically, items (e.g., bread and milk) in a subsethave strong purpose-specific dependencies whereas items (e.g., bread and vase) from different subsets have much weaker or even no dependencies due to the difference of purposes. Therefore, we propose a mixture-channel model to accommodate the multi-purpose item subsets for more precisely representing a session. Filling gaps in existing SBRSs, this model recommends more diverse items to satisfy different purposes. Accordingly, we design effective mixture-channel purpose routing networks (MCPRN) with a purpose routing network to detect the purposes of each item and assign it into the corresponding channels. Moreover, a purpose specific recurrent network is devised to model the dependencies between items within each channel for a specific purpose. The experimental results show the superiority of MCPRN over the state-of-the-art methods in terms of both recommendation accuracy and diversity.

Download Full-text

Additive manufacturing by robot manipulator: An overview of the state-of-the-art and proof-of-concept results

2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) ◽

10.1109/etfa.2017.8247617 ◽

2017 ◽

Cited By ~ 2

Author(s):

Linn Danielsen Evjemo ◽

Signe Moe ◽

Jan Tommy Gravdahl ◽

Olivier Roulet-Dubonnet ◽

Lars Tore Gellein ◽

...

Keyword(s):

Additive Manufacturing ◽

State Of The Art ◽

Robot Manipulator ◽

The State ◽

Proof Of Concept

Download Full-text

Context-sensitive smart glasses monitoring wear position and activity for therapy compliance—A proof of concept

PLoS ONE ◽

10.1371/journal.pone.0247389 ◽

2021 ◽

Vol 16 (2) ◽

pp. e0247389

Author(s):

Kai Januschowski ◽

Frank R. Ihmig ◽

Timo Koch ◽

Thomas Velten ◽

Annekatrin Rickmann

Keyword(s):

Activity Recognition ◽

Healthy Adult ◽

The State ◽

Accelerometer Data ◽

Proof Of Concept ◽

Test Protocol ◽

Context Sensitive ◽

Classifier Selection ◽

Position Detection ◽

Smart Glasses

Purpose To improve the acceptance and compliance of treatment of amblyopia, the aim of this study was to show that it is feasible to design an electronic frame for context-sensitive liquid crystal glasses, which can measure the state of wear position in a robust manner and detect distinct motion patterns for activity recognition. Methods Different temple designs with integrated temperature and capacitive sensors were developed to realize the detection of the state of wear position to distinguish three states (correct position/wrong position/glasses taken off). The electronic glasses frame was further designed as a tool for accelerometer data acquisition, which was used for algorithm development for activity classification. For this purpose, training data of 20 voluntary healthy adult subjects (5 females, 15 males) were recorded and a 10-fold cross-validation was computed for classifier selection. In order to perform functional testing of the electronic glasses frame, a proof of concept study was performed in a small group of healthy adults. Four healthy adult subjects (2 females, 2 males) were included to wear the electronic glasses frame and to protocol their activities in their everyday life according to a defined test protocol. Individual and averaged results for the precision of the state of wear position detection and of the activity recognition were calculated. Results Context-sensitive control algorithms were developed which detected the state of wear position and activity in a proof of concept. The pilot study revealed an average of 91.4% agreement of the detected states of wear position. The activity recognition match was 82.2% when applying an additional filter criterion. Removing the glasses was always detected 100% correctly. Conclusion The principles investigated are suitable for detecting the glasses’ state of wear position and for recognizing the wearer´s activity in a smart glasses concept.

Download Full-text

Practical Picture Processing

Proceedings, annual meeting, Electron Microscopy Society of America ◽

10.1017/s0424820100051700 ◽

1974 ◽

Vol 32 ◽

pp. 338-339

Author(s):

T. A. Welton

Keyword(s):

Radiation Damage ◽

Coherence Length ◽

Spatial Information ◽

State Of The Art ◽

Coherent Radiation ◽

The State ◽

Energy Spread ◽

Electron Micrograph ◽

Picture Processing ◽

Molecular Skeleton

Various authors have emphasized the spatial information resident in an electron micrograph taken with adequately coherent radiation. In view of the completion of at least one such instrument, this opportunity is taken to summarize the state of the art of processing such micrographs. We use the usual symbols for the aberration coefficients, and supplement these with £ and 6 for the transverse coherence length and the fractional energy spread respectively. He also assume a weak, biologically interesting sample, with principal interest lying in the molecular skeleton remaining after obvious hydrogen loss and other radiation damage has occurred.

Download Full-text