Hardware and Architecture · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · · cited 64× · DOI ↗ · more like this ·
We present a technique to derive fully testable circuits under the stuck-at fault model (SAFM) and the path-delay fault model (PDFM). Starting from a function description as a binary decision diagram, the netlist is generated by a linear time mapping algorithm. Only one additional input and one inverter are needed to achieve 100% testable circuits under SAFM and PDFM. Experiments are given to show the advantages of the technique.
Automatic test pattern generation (ATPG) based on Boolean satisfiability (SAT) has been proposed as an alternative to classical search algorithms. SAT-based ATPG turned out to be more robust and more effective by formulating the problem as a set of equations. In this paper, we present an efficient ATPG algorithm that makes use of powerful SAT-solving techniques. Problem specific heuristics are applied to guide the search. In contrast to previous SAT-based algorithms, the new approach can also cope with tri-states. The algorithm has been implemented as the tool PASSAT. Experimental results on large industrial circuits are given to demonstrate the quality and efficiency of the algorithm.
Computer Vision and Pattern Recognition · Internet Technology Letters · · cited 24× · DOI ↗ · more like this ·
Sensor‐based human activity recognition (HAR) provides vital information for an ocean of health care and entertainment applications. However, data acquisition of such studies usually requires huge time and manpower, which delays the progress of the whole project. Data augmentation is a promising way to solve this issue. In this paper, we expand the origin dataset via a GAN‐based augmentation neural network. The experimental results suggest that the generated data has a certain substitution and complementary effect in terms of the real data based on the caching deployment ability. In addition, the quasi‐real data also gains good performance on identifying certain activities.
Computer Vision and Pattern Recognition · Sensors · · cited 21× · DOI ↗ · more like this ·
With the development and popularity of micro-electromechanical systems (MEMS) and smartphones, sensor-based human activity recognition (HAR) has been widely applied. Although various kinds of HAR systems have achieved outstanding results, there are still issues to be solved in this field, such as transition activities, which means the transitional process between two different basic activities, discussed in this paper. In this paper, we design an algorithm based on standard deviation trend analysis (STD-TA) for recognizing transition activity. Compared with other methods, which directly take them as basic activities, our method achieves a better overall performance: the accuracy is over 80% on real data.
Automatic Test Pattern Generation (ATPG) is one of the core algorithms in testing of digital circuits and systems. Due to recent advances in algorithms to solve Boolean Satisfiability (SAT), there is a renewed interest in SAT-based ATPG. While the early approaches only used two-valued logic, modern tools have to use multiple values to model unknown values and tri-state elements for buses. In this paper we present a detailed study on how to chose the multi-valued encoding for SAT-based ATPG. The techniques have been implemented and evaluated on large industrial benchmarks.
Due to the ever increasing size of integrated circuits classical methods for automatic test pattern generation (ATPG) reach their limits. On the other hand recent advances in algorithms to solve the Boolean satisfiability (SAT) problem allow the application to large instances. This suggests to exploit modern SAT techniques for ATPG. Here, we present a SAT-based ATPG tool that is applicable to large industrial circuits. The performances of different SAT-solvers are experimentally evaluated and the potential for problem specific heuristics is shown. Further experiments show that most of the faults can be classified very efficiently independently of the circuit size.
Hardware and Architecture · Digital Systems Design · · cited 13× · DOI ↗ · more like this ·
The complexity of integrated circuits is rapidly growing. This leads to more and more time and money spent on the test of these circuits. Besides minimizing the logic needed for a given function the testability of the resulting circuit becomes a major issue during synthesis. One way to synthesize a circuit for a given function is to directly convert the Binary Decision Diagram (BDD) of that function into a circuit. It is known that optimizations of the BDD transfer to the derived circuit. Therefore in this paper we evaluate different optimization techniques for BDDs based on variable reordering with respect to the path delay fault testability of the resulting circuit. We show an optimization strategy that allows to compromise during synthesis between logic size and testability. 1.
Computational Theory and Mathematics · · cited 10× · DOI ↗ · more like this ·
We present a technique to derive fully testable circuits under the Stuck-At Fault Model (SAFM) and the Path-Delay Fault Model (PDFM). Starting from a function description as a Binary Decision Diagram (BDD) the netlist is generated by a linear time mapping algorithm. Only one additional input and one inverter are needed to achieve 100% testable circuits under SAFM and PDFM. Experiments are given to show the advantages of the the technique in comparison to previously presented methods.
Computer Vision and Pattern Recognition · · cited 7× · DOI ↗ · more like this ·
Smartphone-based human activity recognition (HAR) has become a considerable research field as a subdomains of pattern recognition and pervasive computing. With the increasing popularity of smartphones, HAR has prominent applications in number of fields such as health care, education, entertainment and etc. Smart devices have a huge advantage in convenience as the main acquisition and processing equipment, but the battery life of smartphone and other resources are limited for long-duration tasks. In this paper, we propose a lightweight HAR system. The system realizes HAR algorithm with deep learning algorithm. Beyond that, we introduce a clustering-center based pre-classification strategy to reduce the call frequency of the DL model. Meanwhile, we add a sampling frequency control mechanism to the inertial sensor. The goal of the whole system is to achieve low power consumption and time…
Computer Vision and Pattern Recognition · Transactions on Emerging Telecommunications Technologies · · cited 7× · DOI ↗ · more like this ·
Abstract Human activity recognition (HAR) is a prominent subfield of pervasive computing and also provides context of many applications such as healthcare, education, and entertainment. Most wearable HAR studies assume that sensing device placement and orientation are fixed and never change. However, this condition is actually not always guaranteed in the real scenario and recognition result is influenced by the distortion as consequence. To handle this, our work proposes a new model based on convolutional neural network to extract robust features which are invariant of device placement and orientation, to train machine learning classifiers. We first carry out experiments to show negative effects of this problem. Then, we apply the convolutional neural network–based hybrid structure on the HAR. Results show that our method provides 15% to 40% accuracy promotion on public data set and…
We present a vision-based gesture interaction technique that is capable of tracking both hands in real-time. By only recovering features calculated from images, large amount of computation for 3D reconstructing and features tracking in 3D voxel grid is avoided. Thus, our system becomes an ideal tool for bimanual 3D gesture interaction, which needs neither markers nor gloves. Experimental results show that our method can complete the same pipeline with much less computational resource compared to existing ones. What's more, the application interface shows the effectiveness and intuitiveness of our bimanual tracking method.
In this paper we study the testability of circuits derived from Binary Decision Diagrams (BDDs) under the bridging fault model. It is shown that testability can be formulated in terms of symbolic BDD operations. By this, test pattern generation can be carried out in polynomial time. A technique to improve testability is presented. Experimental results show that a complete classification can be carried out very efficiently.
Computer Vision and Pattern Recognition · · cited 2× · DOI ↗ · more like this ·
Online action detection aims to identify ongoing actions within untrimmed video streams, with extensive applications in real-life scenarios. However, in practical applications, video frames are received sequentially over time and new action categories continually emerge, giving rise to the challenge of catastrophic forgetting - a problem that remains inadequately explored. Generally, in the field of video understanding, researchers address catastrophic forgetting through class-incremental learning. Nevertheless, online action detection is based solely on historical observations, thus demanding higher temporal modeling capabilities for class-incremental learning methods. In this paper, we conceptualize this task as Class-Incremental Online Action Detection (CIOAD) and propose a novel framework, TS-ILM, to address it. Specifically, TS-ILM consists of two components: task-level temporal…
Computer Networks and Communications · · cited 1× · DOI ↗ · more like this ·
Locally repairable codes (LRC) have dominated the coding design of erasure coding in wide stripes due to their excellent local property and low bandwidth requirement. In distributed storage systems, repair degree usually refers to the number of helper nodes that need to be contacted in data repair process. As the stripe becomes wider, the probability of multiple nodes failing simultaneously in the LRC increases, which leads to a significant increase in the repair degree. So how to improve the existing schemes to improve code reliability and reduce the repair degree in case of multiple failures remains to be further explored. In this paper, we present a new family of locally repairable codes, TFR-LRC (Locally Repairable Codes for seeking the Trade-off between Fault tolerance and Repair degree), which can achieve different trade-offs between fault tolerance and repair cost. TFR-LRC can…
Education · cIRcle (University of British Columbia) · · cited 1× · DOI ↗ · more like this ·
The i>clicker student response system is used to answer multiple-choice questions in university classrooms across North America. We investigated how existing i>clicker remotes could be used to improve classroom interaction and collaboration by developing and using custom software applications, each targeted at a different aspect of classroom interaction, that augment basic i>clicker capability. Java-based software was written to replace the vendor-provided driver for the i>clicker base station that controls initialization, starting voting, requesting votes, stopping voting, and updating the LCD display on the base station. WebClicker extends voting to commonly-used digital devices (cell phone, smart phone, tablet, and laptop) using a cloud-based architecture that forwards votes to a client application. Three client applications were developed. Each connects to either the…
A new technique for synthesizing totally symmetric Boolean functions is presented that achieves complete robust path delay fault testability. We apply BDDs for the synthesis of symmetric functions. Only one additional input and one inverter are needed to achieve 100% Path Delay Fault (PDF) testability. The size of the circuit is guaranteed to be at most quadratic in the number of inputs. The test vectors for any PDF can be generated in linear time. Experimental results underline the efficiency of the approach. In contrast to previous approaches, the technique can also be applied to multi-output functions.
Pre-training is where every foundation model begins; bringing recursive self-improvement (RSI) there would let AI improve the process that creates AI. Yet public RSI work has so far targeted only post-training, which starts from an existing base model, runs trials costing GPU-hours, and returns verifiable scores. Pre-training breaks all three conditions at orders-of-magnitude higher cost: a run consumes hundreds of thousands of GPU-hours over months and cannot be repeated; its objective, post-training headroom, cannot be read off any single score; and what must improve is not a model but the whole production system, from data pipelines and training infrastructure to the teams that run them. To our knowledge, we are the first to apply RSI to an entire frontier pre-training run from scratch and to report it in detail. RSI does not stop at frontier pre-training, but it changes form: since…
Skills let language agents reuse experience across tasks as natural-language documents. Recent work evolves skills from interaction, but existing methods have limitations when skills evolve online. Prior methods update a skill offline from a batch of trajectories collected over many tasks. Some then adopt the new skill without any check, which can degrade the skill over time. Others keep it only if it improves performance on a held-out validation set, which is too slow and costly to run after every update. We introduce EvoGuard, a pairwise skill selector that mitigates skill degradation at low latency and cost. We first run the agent iteratively to build pools of skills and score each skill on a private test set to obtain utility labels. We pair the skills and use rejection sampling to keep only pairs with a clear utility gap. The selector is trained on the logits of two label tokens to…
Asynchronous reinforcement learning (RL) is becoming a mainstream paradigm for post-training large language models (LLMs), as it improves training efficiency by updating the model as rollouts arrive. Recent work argues that group-wise sampling in GRPO does not naturally fit asynchronous RL training because rollout lengths follow a long-tailed distribution, and proposes Single-rollout Asynchronous Optimization (SAO) to improve stability and off-policy behavior, especially on agentic tasks. However, SAO relies on a closed-source value model obtained from scaling value pretraining. In this paper, we analyze GRPO and LiSAO, our lightweight reproduction of SAO without the pretrained value model, on single-turn reasoning and multi-turn agentic tasks. We find that GRPO outperforms LiSAO on reasoning tasks, while the reverse holds on agentic tasks. Since the value model of LiSAO is not yet well…
Computer Networks and Communications · Information · · cited 0× · DOI ↗ · more like this ·
Locally Repairable Codes (LRCs) have become the dominant design in wide-stripe erasure coding storage systems due to their excellent locality and low repair bandwidth. In such systems, the repair degree—defined as the number of helper nodes contacted during data recovery—is a key performance metric. However, as stripe width increases, the probability of multiple simultaneous node failures grows, which significantly raises the repair degree in traditional LRCs. Addressing this challenge, we propose a new family of codes called TFR-LRCs (Locally Repairable Codes for balancing fault tolerance and repair efficiency). TFR-LRCs introduce flexible design choices that allow trade-offs between fault tolerance and repair degree: they can reduce the repair degree by slightly increasing storage overhead, or enhance fault tolerance by tolerating a slightly higher repair degree. We design a…
Large Language Models (LLMs) have demonstrated remarkable capabilities across various tasks, yet they face significant challenges in embodied task planning scenarios that require continuous environmental understanding and action generation. Existing approaches generate open-loop action scripts based on static knowledge, making it difficult to learn causal relationships between actions and environmental feedback, particularly in partially observable environments. We introduce Embodied Planner-R1, a novel outcome-driven reinforcement learning framework that enables LLMs to develop interactive capabilities through autonomous exploration with minimal supervision. Our framework incorporates three key innovations: (1) Without human annotations, we employ pure reinforcement learning with group rollout, incorporating in-environment interaction through parallel exploration; (2) completion-driven…
Large Vision-Language Models (LVLMs) show promise for embodied planning tasks but struggle with complex scenarios involving unfamiliar environments and multi-step goals. Current approaches rely on environment-agnostic imitation learning that disconnects instructions from environmental contexts, causing models to struggle with context-sensitive instructions and rely on supplementary cues rather than visual reasoning during long-horizon interactions. In this work, we propose World-Aware Planning Narrative Enhancement (WAP), a framework that infuses LVLMs with comprehensive environmental understanding through four cognitive capabilities (visual appearance modeling, spatial reasoning, functional abstraction, and syntactic grounding) while developing and evaluating models using only raw visual observations through curriculum learning. Evaluations on the EB-ALFRED benchmark demonstrate…
Aligning powerful AI models on tasks that surpass human evaluation capabilities is the central problem of \textbf{superalignment}. To address this problem, weak-to-strong generalization aims to elicit the capabilities of strong models through weak supervisors and ensure that the behavior of strong models aligns with the intentions of weak supervisors without unsafe behaviors such as deception. Although weak-to-strong generalization exhibiting certain generalization capabilities, strong models exhibit significant overfitting in weak-to-strong generalization: Due to the strong fit ability of strong models, erroneous labels from weak supervisors may lead to overfitting in strong models. In addition, simply filtering out incorrect labels may lead to a degeneration in question quality, resulting in a weak generalization ability of strong models on hard questions. To mitigate overfitting in…
Artificial Intelligence · Leisure Sports and Health · · cited 0× · DOI ↗ · more like this ·
As one of the primary pathways for cultivating reserve talents in competitive sports in China, university high-level sports teams face new requirements under the concept of sports-education integration in the new era. This study employs methods such as literature review, case analysis, and logical induction to clarify the role of higher education institutions in the sports-education integration strategy. It constructs a university-led sports-education integration platform matrix based on holistic development and realized through the improvement of talent cultivation systems. Furthermore, the study conducts an in-depth analysis of domestic and international strategies for cultivating reserve talents in university competitive sports and successful cases of sports-education integration. Finally, taking futsal at Hubei University as an example, it specifically examines the realization…
Computer Networks and Communications · · cited 0× · DOI ↗ · more like this ·
In distributed storage systems, the repair pipeline has become one of the important data transmission methods in erasure coding repair due to its advantages of improving the computational efficiency and reducing the repair time. In order to solve the problem of load imbalance of helper nodes in the traditional repair pipeline structure, i.e., when some of the nodes are idle, some other nodes are transformed into bottleneck nodes due to heavy workload, which leads to the reduction of repair performance. In this regard, this paper proposed a new repair pipeline structure, CNLB-RP, which adopts the data slicing technique to group and stagger the placement of each transmission task, and cleverly arranges the data transmission process, making it possible to equalize the read and write loads of each helper node under more relaxed conditions (the number of data slices is an integer multiple of…