期刊文献+
共找到1,467篇文章
< 1 2 74 >
每页显示 20 50 100
Application of Fractal Technology in the Generative Design of Chaoshan Drawnwork Patterns
1
作者 CHEN Jia-jun ZHANG Ya CHEN Zhao-yang 《印刷与数字媒体技术研究》 北大核心 2025年第5期179-194,共16页
Chaoshan drawnwork handkerchief design exhibits self-similarity and fractal characteristics due to their grid-based structure,overall symmetry,and the way local motifs reflect the whole pattern.To explore the potentia... Chaoshan drawnwork handkerchief design exhibits self-similarity and fractal characteristics due to their grid-based structure,overall symmetry,and the way local motifs reflect the whole pattern.To explore the potential of fractals in traditional textile design,a fractal-based generative framework was proposed for efficiently creating drawnwork patterns suitable for practical handicraft production.The research was initiated with an analysis of the structural composition of center,skeleton,and filler motifs extracted from a pattern sample library.Based on this hierarchical classification,the box-counting method was employed to calculate their respective fractal dimensions.Building on fractal art theory,generative algorithms,and studies on the application of Ultra Fractal,a Chaoshan drawnwork fractal design model was established.Using this model,51 drawnwork fractal patterns and 153 handkerchief patterns were generated.These patterns were subsequently applied in real-world production to validate the feasibility and value of fractal techniques in textile design. 展开更多
关键词 Chaoshan drawnwork Fractal pattern generative design Cultural heritage
在线阅读 下载PDF
Real-time generation of circular patterns in electron beam lithography 被引量:2
2
作者 Zhengjie Li Bohua Yin +3 位作者 Botong Sun Jingyu Huang Pengfei Wang Li Han 《Nanotechnology and Precision Engineering》 EI CAS CSCD 2024年第3期90-98,共9页
Electron beam lithography(EBL)involves the transfer of a pattern onto the surface of a substrate byfirst scanning a thin layer of organicfilm(called resist)on the surface by a tightly focused and precisely controlled el... Electron beam lithography(EBL)involves the transfer of a pattern onto the surface of a substrate byfirst scanning a thin layer of organicfilm(called resist)on the surface by a tightly focused and precisely controlled electron beam(exposure)and then selectively removing the exposed or nonexposed regions of the resist in a solvent(developing).It is widely used for fabrication of integrated cir-cuits,mask manufacturing,photoelectric device processing,and otherfields.The key to drawing circular patterns by EBL is the graphics production and control.In an EBL system,an embedded processor calculates and generates the trajectory coordinates for movement of the electron beam,and outputs the corresponding voltage signal through a digital-to-analog converter(DAC)to control a deflector that changes the position of the electron beam.Through this procedure,it is possible to guarantee the accuracy and real-time con-trol of electron beam scanning deflection.Existing EBL systems mostly use the method of polygonal approximation to expose circles.A circle is divided into several polygons,and the smaller the segmentation,the higher is the precision of the splicing circle.However,owing to the need to generate and scan each polygon separately,an increase in the number of segments will lead to a decrease in the overall lithography speed.In this paper,based on Bresenham’s circle algorithm and exploiting the capabilities of afield-programmable gate array and DAC,an improved real-time circle-producing algorithm is designed for EBL.The algorithm can directly generate cir-cular graphics coordinates such as those for a single circle,solid circle,solid ring,or concentric ring,and is able to effectively realizes deflection and scanning of the electron beam for circular graphics lithography.Compared with the polygonal approximation method,the improved algorithm exhibits improved precision and speed.At the same time,the point generation strategy is optimized to solve the blank pixel and pseudo-pixel problems that arise with Bresenham’s circle algorithm.A complete electron beam deflection system is established to carry out lithography experiments,the results of which show that the error between the exposure results and the preset pat-terns is at the nanometer level,indicating that the improved algorithm meets the requirements for real-time control and high precision of EBL. 展开更多
关键词 Electron beam lithography Circle production Micro–nano fabrication pattern generator
在线阅读 下载PDF
The generalized Chapman-Richards function and applications to tree and stand growth 被引量:10
3
作者 刘兆刚 李凤日 《Journal of Forestry Research》 SCIE CAS CSCD 2003年第1期19-26,共8页
The generalized Chapman-Richards model was derived from the Chapman-Richards function in which parameters h, k and m were unconstrained. Based on the structure of solutions and biological interpretations, the model co... The generalized Chapman-Richards model was derived from the Chapman-Richards function in which parameters h, k and m were unconstrained. Based on the structure of solutions and biological interpretations, the model could be classified into eight cases (three categories) at all and among them only 4 kinds of cases are suitable in forestry that represent four typical growth patterns of trees and stands. For each of 4 equations, the model properties and biological interpretations for parameters were discussed in detail. The generalized Chapman-Richards model was capable of describing a wide range of growth curves that was asymptotic or nonasymptotic, with or without inflection point. In order to illustrate the versatility of the model, it was fitted to a group of data sets concerning the DBH growth of cryptomeria plantations with 4 initial densities and the DBH and height growth of natural Korean pine tree. Comparing the generalized Chapman-Richards function and the Schnute model, it was found that the parameters and expressions of the two models were interchangeable in theory, and the fitting results were explicitly identical in empirical applications. 展开更多
关键词 generalized Chapman-Richards function Schnute model Growth model Growth pattern Cryptomeria japonica Pinus koraiensis
在线阅读 下载PDF
Simulation Platform for the Underwater Snake-Like Robot Swimming Based on Kane's Dynamic Model and Central Pattern Generator 被引量:4
4
作者 杨柯 王旭阳 +1 位作者 葛彤 吴超 《Journal of Shanghai Jiaotong university(Science)》 EI 2014年第3期294-301,共8页
A systematic method for swimming control of the underwater snake-like robot is still lacking. We construct a simulation platform of the underwater snake-like robot swimming based on Kane's dynamic model and centra... A systematic method for swimming control of the underwater snake-like robot is still lacking. We construct a simulation platform of the underwater snake-like robot swimming based on Kane's dynamic model and central pattern generator(CPG). The partial velocity is deduced. The forces which contribute to dynamics are determined by Kane's approach. Hydrodynamic coefficients are determined by experiments. Then, we design a CPG-based control architecture implemented as the system of coupled nonlinear oscillators. The CPG, like its biological counterpart, can produce coordinated patterns of rhythmic activity while being modulated by simple control parameters. The relations between the CPG parameters and the speed of the underwater snake-like robot swimming are investigated. Swimming in a straight line, turning, and switching between swimming modes are implemented in our simulation platform to prove the feasibility of the proposed simulation platform. The results show that the simulation platform can imitate different swimming modes of the underwater snake-like robot. 展开更多
关键词 underwater snake-like robot Kane’s dynamic model SWIMMING central pattern generator(CPG)
原文传递
Central Pattern Generator Based Gait Control for Planar Quadruped Robots 被引量:2
5
作者 李家旺 吴超 葛彤 《Journal of Shanghai Jiaotong university(Science)》 EI 2014年第1期1-10,共10页
In this paper, a gait control scheme is presented for planar quadruped robots based on a biologic concept, namely central pattern generator(CPG). A CPG is modeled as a group of the coupled nonlinear oscillators with a... In this paper, a gait control scheme is presented for planar quadruped robots based on a biologic concept, namely central pattern generator(CPG). A CPG is modeled as a group of the coupled nonlinear oscillators with an interaction weighting matrix which determines the gait patterns. The CPG model, mapping functions and a proportional-diffierential(PD) joint controller compose the basic gait generator. By using the duty factor of gait patterns as a tonic signal, the activity of the CPG model can be modulated, and as a result, a smooth transition between diffierent gait patterns is achieved. Moreover, by tuning the parameters of the CPG model and mapping functions, the proposed basic gait generator can realize adaptive workspace trajectories for the robot to suit diffierent terrains. Simulation results illustrate and validate the effiectiveness of the proposed gait controllers. 展开更多
关键词 quadruped robot central pattern generator(CPG) gait transition ADAPTATION
原文传递
Control strategy of central pattern generator gait movement under condition of attention selection 被引量:2
6
作者 Wei WANG Rubin WANG 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI CSCD 2016年第7期957-966,共10页
As a typical rhythmic movement, human being's rhythmic gait movement can be generated by a central pattern generator (CPG) located in a spinal cord by self- oscillation. Some kinds of gait movements are caused by g... As a typical rhythmic movement, human being's rhythmic gait movement can be generated by a central pattern generator (CPG) located in a spinal cord by self- oscillation. Some kinds of gait movements are caused by gait frequency and amplitude variances. As an important property of human being's motion vision, the attention selection mechanism plays a vital part in the regulation of gait movement. In this paper, the CPG model is amended under the condition of attention selection on the theoretical basis of Matsuoka neural oscillators. Regulation of attention selection signal for the CPG model parameters and structure is studied, which consequentially causes the frequency and amplitude changes of gait movement output. Further, the control strategy of the CPG model gait movement under the condition of attention selection is discussed, showing that the attention selection model can regulate the output model of CPG gait movement in three different ways. The realization of regulation on the gait movement frequency and amplitude shows a variety of regulation on the CPG gait movement made by attention selection and enriches the controllability of CPG gait movement, which demonstrates potential influence in engineering applications. 展开更多
关键词 gait movement attention selection central pattern generator (CPG) movement control strategy
暂未订购
Central pattern generation underlying Limulus rhythmic behavior patterns 被引量:2
7
作者 Gordon A.Wyse 《Current Zoology》 SCIE CAS CSCD 北大核心 2010年第5期537-549,共13页
Many behavioral activities of the horseshoe crab Limulus are rhythmic, and most of these are produced in large part by central pattern generators within the CNS. The chain of opisthosomal (‘abdominal') ganglia con... Many behavioral activities of the horseshoe crab Limulus are rhythmic, and most of these are produced in large part by central pattern generators within the CNS. The chain of opisthosomal (‘abdominal') ganglia controls gill movements of ventilation and gill cleaning, and the prosomal ring of fused ganglia (brain and segmental ‘thoracic' ganglia) controls generation of feeding and locomotor movements of the legs. Both the opisthosomal CNS and the prosomal CNS can generate behaviorally ap- propriate patterns of motor output in isolation, without movements or sensory input. Preparations of the isolated opisthosomal CNS generate rhythmic output patterns of motor activity characterized as fictive ventilatory and gill cleaning rhythms. Moreover, CNS preparations also express longer-term patterns, such as intermittent ventilation or sequential bouts of ventilation and gill cleaning. Such longer-term patterns are commonly observed in intact animals. The isolated prosomal CNS does not spontaneously generate the activity patterns characteristic of walking, swimming, and feeding. However, perfusion of octopamine in the isolated prosomal CNS activates central pattern generators underlying rhythmic chewing movements, and injection of octopamine into in- tact Limulus promotes the chewing pattern of feeding, whether or not food is presented. Our understanding of the ability of neu-romodulators such as octopamine to elicit or alter central motor programs may help to clarify the central neural circuits of pattern generation that oroduce and coordinate these rhythmic behaviors 展开更多
关键词 LIMULUS Rhythmic behavior Central nervous system Central pattern generator FEEDING RESPIRATION
在线阅读 下载PDF
Monoaminergic and catecholaminergic activation of the central pattern generator for locomotion following spinal cord injury Innovative therapeutic approaches 被引量:1
8
作者 Pierre A.Guertin 《Neural Regeneration Research》 SCIE CAS CSCD 2009年第10期796-800,共5页
The development of secondary health complications following spinal cord injury has been increasingly recognized by healthcare professionals as a major concern. These problems most specifically affect complete or near-... The development of secondary health complications following spinal cord injury has been increasingly recognized by healthcare professionals as a major concern. These problems most specifically affect complete or near-complete spinal cord injury patients (e.g., those with minimal mobility), who are not typically rehabilitated with treadmill training approaches, because motor control and leg movements are largely impaired. However, recent pharmaceutical advances in central pattern generator activation may provide new therapeutic hopes for these spinal cord injury patients. This article provides a comprehensive overview, for the non-specialist, of the most recent advances in this field. 展开更多
关键词 central pattern generator locomotion spinal cord injury MICE
暂未订购
Arm motion control model based on central pattern generator 被引量:1
9
作者 Zhigang ZHENG Rubin WANG 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI CSCD 2017年第9期1247-1256,共10页
According to the theory of Matsuoka neural oscillators and with the con- sideration of the fact that the human upper arm mainly consists of six muscles, a new kind of central pattern generator (CPG) neural network c... According to the theory of Matsuoka neural oscillators and with the con- sideration of the fact that the human upper arm mainly consists of six muscles, a new kind of central pattern generator (CPG) neural network consisting of six neurons is pro- posed to regulate the contraction of the upper arm muscles. To verify effectiveness of the proposed CPG network, an arm motion control model based on the CPG is established. By adjusting the CPG parameters, we obtain the neural responses of the network, the angles of joint and hand of the model with MATLAB. The simulation results agree with the results of crank rotation experiments designed by Ohta et al., showing that the arm motion control model based on a CPG network is reasonable and effective. 展开更多
关键词 central pattern generator (CPG) arm motion joint angle hand angle crank rotation experiment
暂未订购
Likelihood and Quadratic Distance Methods for the Generalized Asymmetric Laplace Distribution for Financial Data 被引量:1
10
作者 Andrew Luong 《Open Journal of Statistics》 2017年第2期347-368,共22页
Maximum likelihood (ML) estimation for the generalized asymmetric Laplace (GAL) distribution also known as Variance gamma using simplex direct search algorithms is investigated. In this paper, we use numerical direct ... Maximum likelihood (ML) estimation for the generalized asymmetric Laplace (GAL) distribution also known as Variance gamma using simplex direct search algorithms is investigated. In this paper, we use numerical direct search techniques for maximizing the log-likelihood to obtain ML estimators instead of using the traditional EM algorithm. The density function of the GAL is only continuous but not differentiable with respect to the parameters and the appearance of the Bessel function in the density make it difficult to obtain the asymptotic covariance matrix for the entire GAL family. Using M-estimation theory, the properties of the ML estimators are investigated in this paper. The ML estimators are shown to be consistent for the GAL family and their asymptotic normality can only be guaranteed for the asymmetric Laplace (AL) family. The asymptotic covariance matrix is obtained for the AL family and it completes the results obtained previously in the literature. For the general GAL model, alternative methods of inferences based on quadratic distances (QD) are proposed. The QD methods appear to be overall more efficient than likelihood methods infinite samples using sample sizes n ≤5000 and the range of parameters often encountered for financial data. The proposed methods only require that the moment generating function of the parametric model exists and has a closed form expression and can be used for other models. 展开更多
关键词 M-ESTIMATORS CUMULANT generating Function CHI-SQUARE Tests generalized Hyperbolic Distribution SIMPLEX pattern Search Variance Gamma Minimum Distance VALUE at RISK Entropic VALUE at RISK European Call Option
在线阅读 下载PDF
Study on dynamics of central pattern generator for a quadrupedal robot 被引量:1
11
作者 张秀丽 Zheng Haojun 《High Technology Letters》 EI CAS 2007年第4期356-362,共7页
Based on Matsuoka's central pattern generator (CPG) model and taking quadruped as an example, the dynamics of CPG model was investigated through the single-parameter-analysis method and the numerical simulation tec... Based on Matsuoka's central pattern generator (CPG) model and taking quadruped as an example, the dynamics of CPG model was investigated through the single-parameter-analysis method and the numerical simulation technique. Simulation results indicate that the CPG model exhibits complex dynamics, while each parameter has specifically definitive influence trends on the CPG output. These conclusions were applied to control a quadrupedal robot to walk in different gaits, clear obstacle, and walk up- and down-slope successfully. 展开更多
关键词 quadrupedal robot rhythmic motion central pattern generator (CPG) parameter dynamics
在线阅读 下载PDF
Generalized Minimum Rank Distance of Variable-Rate Linear Network Error Correction Codes
12
作者 ZHOU Hang 《Wuhan University Journal of Natural Sciences》 CAS CSCD 2021年第1期19-23,共5页
By extending the notion of the minimum distance for linear network error correction code(LNEC), this paper introduces the concept of generalized minimum rank distance(GMRD) of variable-rate linear network error correc... By extending the notion of the minimum distance for linear network error correction code(LNEC), this paper introduces the concept of generalized minimum rank distance(GMRD) of variable-rate linear network error correction codes. The basic properties of GMRD are investigated. It is proved that GMRD can characterize the error correction/detection capability of variable-rate linear network error correction codes when the source transmits the messages at several different rates. 展开更多
关键词 network error correction code error pattern generalized minimum distance variable-rate
原文传递
Kernel Generalized Noise Clustering Algorithm
13
作者 武小红 周建江 《Journal of Southwest Jiaotong University(English Edition)》 2007年第2期96-101,共6页
To deal with the nonlinear separable problem, the generalized noise clustering (GNC) algorithm is extended to a kernel generalized noise clustering (KGNC) model. Different from the fuzzy c-means (FCM) model and ... To deal with the nonlinear separable problem, the generalized noise clustering (GNC) algorithm is extended to a kernel generalized noise clustering (KGNC) model. Different from the fuzzy c-means (FCM) model and the GNC model which are based on Euclidean distance, the presented model is based on kernel-induced distance by using kernel method. By kernel method the input data are nonlinearly and implicitly mapped into a high-dimensional feature space, where the nonlinear pattern appears linear and the GNC algorithm is performed. It is unnecessary to calculate in high-dimensional feature space because the kernel function can do it just in input space. The effectiveness of the proposed algorithm is verified by experiments on three data sets. It is concluded that the KGNC algorithm has better clustering accuracy than FCM and GNC in clustering data sets containing noisy data. 展开更多
关键词 Fuzzy clustering pattern recognition Kernel methods Noise clustering Kernel generalized noise clustering
在线阅读 下载PDF
Analysis on General-Particular Pattern of an Invitation to Exhibitors
14
作者 苏晓娜 《疯狂英语(理论版)》 2016年第3期78-80,共3页
An Invitation to exhibitors is one of the typical exhibition documents.The General-Particular pattern is the common text pattern found in invitations to exhibitors.This paper is an analysis on its way of organization ... An Invitation to exhibitors is one of the typical exhibition documents.The General-Particular pattern is the common text pattern found in invitations to exhibitors.This paper is an analysis on its way of organization and expression from the perspective of text macro structure and aims at summarizing its general laws and features to master the essence of other exhibition documents. 展开更多
关键词 invitation to exhibitors general-particular pattern organizational rules
在线阅读 下载PDF
Study on Test Compaction in High-Level Automatic Test Pattern Generation (ATPG) Platform 被引量:1
15
作者 Ayub Chin Abdullah Chia Yee Ooi 《Circuits and Systems》 2013年第4期342-349,共8页
Advancements in semiconductor technology are making gate-level test generation more challenging. This is because a large amount of detailed structural information must be processed in the search process of automatic t... Advancements in semiconductor technology are making gate-level test generation more challenging. This is because a large amount of detailed structural information must be processed in the search process of automatic test pattern generation (ATPG). In addition, ATPG needs to deal with new defects caused by process variation when IC is shrinking. To reduce the computation effort of ATPG, test generation could be started earlier at higher abstraction level, which is in line with top-down design methodology that has become more popular nowadays. In this research, we employ Chen’s high-level fault model in the high-level ATPG. Besides shorter ATPG time as shown in many previous works, our study showed that high-level ATPG also contributes to test compaction. This is because most of the high-level faults correlate with the gate-level collapsed faults especially at input/output of the modules in a circuit. The high-level ATPG prototype used in our work is mainly composed by constraint-driven test generation engine and fault simulation engine. Experimental result showed that more reduced/compact test set can be generated from the high-level ATPG. 展开更多
关键词 Automatic TEST pattern generation (ATPG) Constraint Logic Programming (CLP) Verilator Circuit-Under-Test (CUT) TEST COMPACTION
暂未订购
From furnace up to freezer:Elevational patterns of plant diversity in Mount Palvar,a semi-arid Irano-Turanian mountain range of southwest Asia
16
作者 Atefeh GHORBANALIZADEH Moslem DOOSTMOHAMMADI 《Journal of Mountain Science》 SCIE CSCD 2024年第7期2236-2248,共13页
Much of the world's biodiversity lies in heterogeneous mountain areas with their diverse environments.As an example,Iranian montane ranges are highly diverse,particularly in the Irano-Turanian phytogeographical re... Much of the world's biodiversity lies in heterogeneous mountain areas with their diverse environments.As an example,Iranian montane ranges are highly diverse,particularly in the Irano-Turanian phytogeographical region.Understanding plant diversity patterns with increasing elevation is of high significance,not least for conservation planning.We studied the pattern of species richness,Shannon diversity,endemic richness,endemics ratio,and richness of life forms along a 3900 m elevational transect in Mount Palvar,overlooking the Lut Desert in Southeast Iran.We also analyzed the effect of environmental variables on species turnover along the vertical gradient.A total of 120 vegetation plots(10 m×10 m)were sampled along the elevational transect containing species and environmental data.To discover plant diversity pattern along the elevational gradient,generalized additive model(GAM)was used.Non-metric multidimensional scaling(NMDS)was applied for illustrating the correlation between species composition and environmental variables.We found hump-shaped pattern for species richness,Shannon diversity,endemic richness,and species richness of different life forms,but a monotonic increasing pattern for ratio of endemic species from low to high elevations.Our study confirms the humped pattern of species richness peaking at intermediate elevations along a complete elevational gradient in a semi-arid mountain.The monotonic increase of endemics ratio with elevation in our area as a case study is consistent with global increase of endemism with elevation.According to our results,temperature and precipitation are two important climatic variables that drive elevational plant diversity,particularly in seasonally dry areas.Our study suggests that effective conservation and management are needed for this low latitude mountain area along with calling for long-term monitoring for species redistribution. 展开更多
关键词 Elevational gradient Biodiversity ENDEMIC generalized additive model Hump-shaped pattern Irano-Turanian region
原文传递
Enumerating Pattern-avoiding Fishburn Permutations Subject to Seven Statistics
17
作者 Yujie DU Philip B.ZHANG 《Journal of Mathematical Research with Applications》 CSCD 2024年第4期427-436,共10页
Fishburn permutations are in bijection with several important combinatorial structures including interval orders.In this paper,we use the method of generating trees to enumerate two classes of pattern-avoiding Fishbur... Fishburn permutations are in bijection with several important combinatorial structures including interval orders.In this paper,we use the method of generating trees to enumerate two classes of pattern-avoiding Fishburn permutations subject to 7 classical statistics simultaneously.The classes of our interest are(321,312)-avoiding and(321,4123)-avoiding Fishburn permutations.The statistics of our interest are ascents,descents,inversions,right-to-left maxima,right-to-left minima,left-to-right maxima and left-to-right minima.Our results generalize a result by Egge. 展开更多
关键词 Fishburn permutation Fishburn number pattern avoidance generating tree
原文传递
Preparation and Optical Patterning of Organic-Inorganic Hybrid Color-Filter Films Using Latent Pigments by Utilizing Photo-Acid-Generator and Microwave Irradiation
18
作者 T. Ohishi S. Sugawara 《Materials Sciences and Applications》 2014年第14期1079-1090,共12页
Preparation and photo-patterning characteristics of organic-inorganic hybrid thin film containing latent pigment by using photo-acid-generator (PAG) and microwave irradiation have been investigated. The acrylic thin f... Preparation and photo-patterning characteristics of organic-inorganic hybrid thin film containing latent pigment by using photo-acid-generator (PAG) and microwave irradiation have been investigated. The acrylic thin film modified with methoxysilane containing PAG was formed on a glass substrate and irradiated with ultraviolet rays to promote sol-gel reaction by catalytic action of acid which was generated from PAG. And then the film was hardened with microwave irradiation, yielding organic-inorganic hybrid polymer film having hardness, highly transparency and strong adhesion with a glass substrate. Since this reaction only occurred in the optically (UV) irradiated regions, by exploiting the difference between the adhesivenesses of these regions photo-irradiated through photomask with a glass substrate, it was possible to form a patterned film with pitch of 100 to 50 μm by a simple lift-off method. A pigment-containing film using latent pigments (with subtractive three primary colors of coloring materials) and a patterned film were prepared, and it was possible to make these films multi-colored by varying the mixing ratio of the pigments. This multi-colored film-preparation method is effective for simply and efficiently forming a color-filter film by applying optical and microwave irradiation. 展开更多
关键词 Organic-Inorganic Hybrid Film Color Filter Photo-patterning LATENT Pigment Photo-Acid-generator Microwave Lift-Off Method
在线阅读 下载PDF
Enhancing SAT-Based Test Pattern Generation
19
作者 刘歆 熊有伦 《Journal of Electronic Science and Technology of China》 2005年第2期134-139,共6页
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 ju... 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. 展开更多
关键词 test pattern generation fault detection Boolean satisfiability binary decision graphs
在线阅读 下载PDF
上一页 1 2 74 下一页 到第
使用帮助 返回顶部