Smooth cutting pattern generation technique for membrane structures using geodesic line on subplane and spline interpolation

Practical techniques for smooth geodesic patterning of membrane structures were investigated.For the geodesic search,adjustment of the subplane of the extracted elements series was proposed,and various spline approximation methods were used to flatten the strip for the generation of a smooth pattern.This search approach is very simple,and the geodesic line could be easily attained by the proposed method without the need for a difficult computation method.Smooth cutting patterning can also be generated by spline approximation without the noise in discrete nodal information.Additionally,the geodesic cutting pattern saved about 21%of the required area for the catenary model due to the reduction of the curvature of the planar pattern seam line.

Enhancing SAT-Based Test Pattern Generation

This paper presents modeling tools based on Boolean satisfiability (SAT) to solve problems of test generation for combinational circuits. It exploits an added layer to maintain circuit-related information and value justification relations to a generic SAT algorithm. It dovetails binary decision graphs (BDD) and SAT techniques to improve the efficiency of automatic test pattern generation (ATPG). More specifically, it first exploits inexpensive reconvergent fanout analysis of circuit to gather information on the local signal correlation by using BDD learning, then uses the above learned information to restrict and focus the overall search space of SAT-based ATPG. Its learning technique is effective and lightweight. The experimental results demonstrate the effectiveness of the approach.

Stable and realistic crack pattern generation using a cracking node method

This paper presents a method for simulating surface crack patterns appearing in ceramic glaze, glass, wood and mud. It uses a physically and heuristically combined method to model this type of crack pattern. A stress field is defined heuristically over the triangle mesh of an object. Then, a first-order quasi-static cracking node method （CNM） is used to model deformation. A novel combined stress and energy combined crack criterion is employed to address crack initiation and propagation separately according to physics. Meanwhile, a highest-stress-first rule is applied in crack initiation, and a breadth-first rule is applied in crack propagation. Finally, a local stress relaxation step is employed to evolve the stress field and avoid shattering artifacts. Other related issues are also discussed, such as the elimination of quadra- ture sub-cells, the prevention of parallel cracks and spurious crack procession. Using this method, a variety of crack patterns observed in the real world can be reproduced by changing a set of parameters. Consequently, our method is robust because the computational mesh is independent of dynamic cracks and has no sliver elements. We evaluate the realism of our results by comparing them with photographs of realworld examples. Further, we demonstrate the controllability of our method by varying different parameters.

A virtual logic analyzer implemented with Arduino

A simple,stable and reliable virtual logic analyzer is presented. The logic analyzer had two modules:one was the test pattern generation module,the other was the logic monitoring module. Combining the two modules,one is able to test a digital circuit automatically. The user interface of the logic analyzer was programmed with LabVIEW. Two Arduino UNO boards were used as the hardware targets to input and output the logic signals. The maximum pattern update rate was set to be 20 Hz. The maximum logic sampling rate was set to be 200 Hz. After twelve thousand cycles of exhaustive tests,the logic analyzer had a 100% accuracy. As a tutorial showing how to build virtual instruments with Arduino,the software detail is also explained in this article.

Pattern control for large-scale spacecraft swarms in elliptic orbits via density fields

Space swarms,enabled by the miniaturization of spacecraft,have the potential capability to lower costs,increase efficiencies,and broaden the horizons of space missions.The formation control problem of large-scale spacecraft swarms flying around an elliptic orbit is considered.The objective is to drive the entire formation to produce a specified spatial pattern.The relative motion between agents becomes complicated as the number of agents increases.Hence,a density-based method is adopted,which concerns the density evolution of the entire swarm instead of the trajectories of individuals.The density-based method manipulates the density evolution with Partial Differential Equations(PDEs).This density-based control in this work has two aspects,global pattern control of the whole swarm and local collision-avoidance between nearby agents.The global behavior of the swarm is driven via designing velocity fields.For each spacecraft,the Q-guidance steering law is adopted to track the desired velocity with accelerations in a distributed manner.However,the final stable velocity field is required to be zero in the classical density-based approach,which appears as an obstacle from the viewpoint of astrodynamics since the periodic relative motion is always time-varying.To solve this issue,a novel transformation is constructed based on the periodic solutions of Tschauner-Hempel(TH)equations.The relative motion in Cartesian coordinates is then transformed into a new coordinate system,which permits zero-velocity in a stable configuration.The local behavior of the swarm,such as achieving collision avoidance,is achieved via a carefully-designed local density estimation algorithm.Numerical simulations are provided to demonstrate the performance of this approach.

Efficient Static Compaction of Test Patterns Using Partial Maximum Satisfiability

Static compaction methods aim at finding unnecessary test patterns to reduce the size of the test set as a post-process of test generation.Techniques based on partial maximum satisfiability are often used to track many hard problems in various domains,including artificial intelligence,computational biology,data mining,and machine learning.We observe that part of the test patterns generated by the commercial Automatic Test Pattern Generation(ATPG)tool is redundant,and the relationship between test patterns and faults,as a significant information,can effectively induce the test patterns reduction process.Considering a test pattern can detect one or more faults,we map the problem of static test compaction to a partial maximum satisfiability problem.Experiments on ISCAS89,ISCAS85,and ITC99 benchmarks show that this approach can reduce the initial test set size generated by TetraMAX18 while maintaining fault coverage.

远古彩陶发展中的生成元与奇怪吸引子

系统生成论以系统科学为基础,试图从生成整体论出发,建立一种新的科学自然观,科学研究方法与方法论,推动当代科学的规范转换。而马家窑彩陶研究的发展需要一种基于信息的跨学科研究的方法论。本文概要介绍了系统生成论,将马家窑彩陶及其发展作为生命性系统的生成过程,提出并论述了马家窑文化是在中国西北“大彩陶”发展的过程中诞生的华夏文明生成元,并遵循系统生长的规律,成长为西北彩陶的奇怪吸引子。强调马家窑彩陶纹饰本身就是信息,作为信息载体,具有原始图腾及“族标”意义。彩陶纹饰的发展蕴藏着中华文化精神与思想起源的轨迹与信息,以及中西文化差异的端倪。

HTDet:A Clustering Method Using Information Entropy for Hardware Trojan Detection

Hardware Trojans(HTs)have drawn increasing attention in both academia and industry because of their significant potential threat.In this paper,we propose HTDet,a novel HT detection method using information entropybased clustering.To maintain high concealment,HTs are usually inserted in the regions with low controllability and low observability,which will result in that Trojan logics have extremely low transitions during the simulation.This implies that the regions with the low transitions will provide much more abundant and more important information for HT detection.The HTDet applies information theory technology and a density-based clustering algorithm called Density-Based Spatial Clustering of Applications with Noise(DBSCAN)to detect all suspicious Trojan logics in the circuit under detection.The DBSCAN is an unsupervised learning algorithm,that can improve the applicability of HTDet.In addition,we develop a heuristic test pattern generation method using mutual information to increase the transitions of suspicious Trojan logics.Experiments on circuit benchmarks demonstrate the effectiveness of HTDet.

Simulation of ATPG Neural Network and Its Experimental Results

This paper first establishes a neural network model for logic circuits fromthe truth table by using linear equations theory, presents a kind of ATPG neuralnetwork model, and investigates energy local minima for the network- And then,it proposes the corresponding techniques to reduce the number of energy localminima as well as some approaches to escaping from local minimum of eliergyFinally, two simulation systems, the binary ATPG neural network and thecontinuous ATPG neural network, are implemented oli SUN 3/260 workstationin C language. The experimental results and their analysis and discussion aregiven. The preliminary experimental results show that this method is feasibleand promising.