Compact non-binary fast adders using single-electron devices

This paper proposes compact adders that are based on non-binary redundant number systems and single-electron (SE) devices. The adders use the number of single electrons to represent discrete multiple-valued logic state and manipulate single electrons to perform arithmetic operations. These adders have fast speed and are referred as fast adders. We develop a family of SE transfer circuits based on MOSFET-based SE turnstile. The fast adder circuit can be easily designed by directly mapping the graphical counter tree diagram (CTD) representation of the addition algorithm to SE devices and circuits. We propose two design approaches to implement fast adders using SE transfer circuits the threshold approach and the periodic approach. The periodic approach uses the voltage-controlled single-electron transfer characteristics to efficiently achieve periodic arithmetic functions. We use HSPICE simulator to verify fast adders operations. The speeds of the proposed adders are fast. The numbers of transistors of the adders are much smaller than conventional approaches. The power dissipations are much lower than CMOS and multiple-valued current-mode fast adders. (C) 2009 Elsevier Ltd. All rights reserved.

Performing Fast Addition and Multiplication by Transferring Single Electrons

This paper proposes novel fast addition and multiplication circuits that are based on non-binary redundant number systems and single electron (SE) devices. The circuits consist of MOSFET-based single-electron (SE) turnstiles. We use the number of electrons to represent discrete multiple-valued logic states and we finish arithmetic operations by controlling the number of electrons transferred. We construct a compact PD2,3 adder and a 12x12bit multiplier using the PD2,3 adder. The speed of the adder can be as high as 600MHz with 400nW power dissipation. The speed of the adder is regardless of its operand length. The proposed circuits have much smaller transistors than conventional circuits.

一种基于SAT的运算电路查错方法

基于SAT的运算电路查错方法将被验证系统中系统规范成立与否的问题转换为布尔公式和数学公式的混合形式E-CNF，通过采用了标志子句技术的E-SAT求解器进行求解．实验表明该方法自动化程度高，能处理大规模的运算电路，有较强的查找错误能力．

基于拓展LIMD算法的智能动态几何软件设计

几何约束求解技术是新一代智能化参数化CAD的核心技术之一,是CAD领域的一个前沿课题.其目的是提供工程图形的自动求解,其主要特点是:自由拖动元素、动态图形生成、动态测量、动态轨迹生成.UMD是约束求解中一个应用较广的算法,作者对该算法进行了拓宽和改进,提出了具体解决方法,并得到了较好结果.

喷灌分布均匀系数研究

为突出局部灌溉不足或灌溉过量对均匀性的影响程度,提出了基于几何平均数分布均匀系数的概念,将其定义为部分测点水深几何平均值与所有测点算术平均值的比值。并根据部分测点水深数据的提取方法不同,分为1/4低值、1/4高值、1/2低值和1/2高值分布均匀系数。用MATLAB和VC~++语言编制了可以实现上述分布均匀系数计算的软件"SIUEW1.0"。结果初步证明:基于几何平均数的乘法模型要比基于算术平均数的加法模型更加突出了部分低(或高)于平均值的测点水深数据对均匀系数的影响程度,因此更适用于时局部灌溉不足或过量灌溉有严格控制要求地块的灌溉均匀性评价;无论高值和低值,取点数越少,均匀性的评价结果越差。

用VHDL实现的23位快速浮点数加减法器

With the development of LSI, FPGA/CPLD has been used more and more in the fields of digital signal processing and au-tocontrol and so on. And with the development of the techniques of digital processing, for fitting the system’s function, it should be a higher requirement to speed and used-resource to compute the floating point numbers. The author introduces a high speed adder-subtracter of the 23 bit’s floating point numbers, which is carried out with the parallel arithmetic and the computational speed cou...中文文摘：随着大规模集成电路的不断发展,FPGA/CPLD在数字信号处理、自动控制等方面得到了越来越多的应用。并且伴随着数字化处理技术的不断发展,为满足系统功能的要求,对浮点数运算的速度以及相应占用的资源也就提出了更高的要求。笔者即介绍了以VHDL语言为基础,采用并行算法且计算速度达到33MHz的,对23位标准浮点数实现的高速浮点加减法运算器,并以Cyclone II芯片EP2C20F484为硬件环境,最终进行时序模拟仿真,从而验证该浮点加减法器的正确性和快速特性。

Polydispersity of ethylene sequence length in metallocene ethylene/alpha-olefin copolymers. I. Characterized by thermal-fractionation technique

In this article, the polydispersity of the ethylene sequence length (ESL) in ethylene/alpha-olefin copolymers was studied by atomic force microscopy (AFM) and the thermal-fractionation technique. The crystal morphology observation by AFM showed that morphology changed gradually with decreasing average ESL from complete lamellae over shorter and more curved lamellae to a granular-like morphology, and the mixed morphology was observed after stepwise crystallization from phase-separated melt. This result indicated that the ethylene sequence with different lengths crystallized into a crystalline phase with a different size and stability at the copolymer systems. The thermal-fractionation technique was used to characterize the polydispersity of ESL. Three of the following statistical terms were introduced to describe the distribution of ESL and the lamellar thickness: the arithmetic mean (L) over bar (n), the weight mean (L) over bar (w), and the broadness index I = (L) over bar (w)/(L) over bar (n). It was concluded that the polydispersity of ESL could be quantitatively characterized by the thermal-fractionation technique. The effects of temperature range, temperature-dependent specific heat capacity C-p of copolymer, and the molecular weight on the results of thermal fractionation were discussed,

Improved thermal fractionation technique for chain structure analysis of ethylene/alpha-olefin copolymers

In this report, we describe an improved thermal fractionation technique used to characterize the polydispersity of crystalline ethylene sequence length (CESL) of ethylene/alpha -olefin copolymers. After stepwise isothermal crystallization, the crystalline ethylene sequences are sorted into groups by their lengths. The CESLs are estimated using melting points of known hydrocarbons. The content of each group is determined using the calibrated peak area. The statistical terms: the arithmetic mean (L) over bar (n), the weighted mean (L) over bar (w) and the broadness index I = (L) over bar (w)/(L) over bar (n) are used to describe the distribution of CESL. Results show that improved thermal fractionation technique can quantitatively characterize the polydispersity of CESL with a high degree of accuracy.

Assessment of genetic diversities of selected Laminaria (Laminariales, Phaeophyta) gametophytes by inter-simple sequence repeat analysis

Inter-simple sequence repeat (ISSR) analysis was used to assess genetic diversity among 10 pairs of male and female Laminaria gametophytes. A total of 58 amplification loci was obtained from 10 selected ISSR primers, of which 34 revealed polymorphism among the gametophytes. Genetic distances were calculated with the Dice coefficient ranging from 0.006 to 0.223. A dendrogram based on the unweighted pair-group method arithmetic (UPGMA) average showed that most male and female gametophytes of the same species were clustered together and that 10 pairs of gametophytes were divided into four groups. This was generally consistent with the taxonomic categories. The main group consisted of six pairs of gametophytes, which were selected from Laminaria japonica Aresch. by intensive inbreeding through artificial hybridization. One specific marker was cloned, but was not converted successfully into a sequence characterized amplified region (SCAR) marker. Our results demonstrate the feasibility of applying ISSR markers to evaluate Laminaria germplasm diversities.

Molecular identification of 16 Porphyra lines using sequence-related amplified polymorphism markers

Sequence-related amplified polymorphism (SRAP) is a novel molecular marker technique designed to amplify open reading frames (ORFs). The SRAP analytic system was set up and applied to Porphyra germplasm identification in this study for the first time. Sixteen Porphyra lines were screened by SRAP technique with 30 primer combinations. In the analysis, 14 primer combinations produced stable and reproducible amplification patterns in three repetitive experiments. Among the total 533 amplified fragments, 522 (98%) were polymorphic, with an average of 38 fragments for each primer combination, ranging in size from 50 to 500 bp. The 533 fragments were visually scored one by one and then used to develop a dendrogram with Unweighted Pair-Group Method Arithmetic Average (UPGMA), and the 16 Porphyra lines were divided into two major groups at the 0.68 similarity level. From the total 533 fragments, I I amplified by two primer combinations, ME1/EM1 and ME4/EM6, were used to develop the DNA fingerprints of the 16 Porphyra lines. The DNA fingerprints were then converted into binary codes, with I and 0 representing presence and absence of the corresponding amplified fragment, respectively. In the DNA fingerprints, each of the 16 Porphyra lines has its unique binary code and can be easily distinguished from the others. This is the first report on the development of SRAP technique and its utilization in germplasm identification of seaweeds. The results demonstrated that SRAP is a simple, stable, polymorphic and reproducible molecular marker technique for the classification and identification of Porphyra lines. (c) 2007 Elsevier B.V. All rights reserved.

Genetic structure analysis of natural Sargassum muticum (Fucales, Phaeophyta) populations using RAPD and ISSR markers

Sargassum muticum is important in maintaining the structure and function of littoral ecosystems, and is used in aquaculture and alginate production, however, little is known about its population genetic attributes. In this study, random amplified polymorphic DNA (RAPD) and inter-simple sequence repeat (ISSR) markers were used to investigate the genetic structure of four populations of S. muticum and one outgroup of S. fusiforme (Harv.) Setchell from Shandong peninsula of China. The selected 24 RAPD primers and 19 ISSR primers amplified 164 loci and 122 loci, respectively. Estimates of genetic diversity with different indicators (P%, percentage of polymorphic loci; H, the expected heterozygosity; I, Shannon's information index) revealed low or moderate level of genetic variations within each S. muticum population, and a high level of genetic differentiations were determined with pairwise unbiased genetic distance (D) and fixation index (F-ST ) among the populations. The Mantel test showed that two types of matrices of D and F-ST were highly correlated whether from RAPD (r = 0.9706, P = 0.009) or ISSR data (r = 0.9161, P = 0.009). Analysis of molecular variance (AMOVA) was conducted to apportion the variations among and within the S. muticum populations. It indicated that variations among populations were higher than those within populations, being 55.82% verse 44.18% by RAPD and 55.21% verse 44.79% by ISSR, respectively. Furthermore, the Mantel test suggested that genetic differentiations among populations were related to the geographical distances (r > 0.6), namely, conformed to the IBD (isolation by distance) model, as expected from UPGMA (unweighted pair group method with arithmetic averages) cluster analysis. On the whole, the high genetic structuring among the four S. muticum populations along the distant locations was clearly indicated in RAPD and ISSR analyses (r > 0.9, P < 0.05) in our study.

Population genetic structure of Sargassum thunbergii (Fucales, Phaeophyta) detected by RAPD and ISSR markers

Genetic variation of four populations of Sargassum thunbergii (Mert.) O. Kuntze and one outgroup of S. fusiforme (Harv.) Setchell from Shandong peninsula of China was studied with random amplified polymorphic DNA (RAPD) and inter-simple sequence repeat (ISSR) markers. A total of 28 RAPD primers and 19 ISSR primers were amplified, showing 174 loci and 125 loci, respectively. Calculation of genetic diversity with different indicators (P%, percentage of polymorphic loci; H, the expected heterozygosity; I, Shannon's information index) revealed low or moderate levels of genetic variations within each S. thunbergii population. High genetic differentiations were determined with pairwise Nei's unbiased genetic distance (D) and fixation index (F-ST) between the populations. The Mantel test showed that two types of matrices of D and FST were highly correlated, whether from RAPD or ISSR data, r=0.9310 (P = 0.008) and 0.9313 (P=0.009) respectively. Analysis of molecular variance (AMOVA) was used to apportion the variations between and within the S. thunbergii populations. It indicated that the variations among populations were higher than those within populations, being 57.57% versus 42.43% by RAPD and 59.52% versus 40.08% by ISSR, respectively. Furthermore, the Mantel test suggested that the genetic differentiations between the four populations were related to the geographical distances (r > 0.5), i.e., they conformed to the IBD (isolation by distance) model, as expected from UPGMA (unweighted pair group method with arithmetic averages) cluster analysis. As a whole, the high genetic structuring between the four S. thunbergii populations along distant locations was clearly indicated in the RAPD and ISSR analyses (r > 0.8) in our study.

Identification and assessing the cultivars of Laminaria Lamx. (phaeophyceae) with molecular markers

Molecular markers were used to identify and assess cultivars of Laminaria Lamx. and to delineate their phylogenetic relationships. Random amplified polymorphic DNA (RAPD) analysis was used for detection. After screening, 11 primers were selected and they yielded 133 bands in all, of which approximately 99.2% were polymorphic. The genetic distances between gametophytes ranged from 0.412 to 0.956. Two clusters were formed with the unweighted pair group method with arithmetic mean (UPGMA) dendrogram based on the simple matching coefficient. All cultivars of Laminaria japonica Aresch. used for breeding in China fell into one cluster. L. japonica from Japan, L. saccharina (L.) Lam., and L. angustata Kjellm. formed the other cluster and showed higher genetic variation than L. japonica from China. Nuclear ribosomal DNA (rDNA) sequences, including internal transcribed spacers (ITS1 and ITS2) were studied and aligned. The nucleotides of the sequences ranged from 634 to 668, with a total of 692 positions including TTS1, ITS2, and the 5.8S coding region. The phylogenetic tree obtained by the neighbor-joining method favored, to some extent, the results revealed by RAPD analysis. The present study indicates that RAPD and ITS analyses could be used to identify and assess Laminaria germplasm and to distinguish some species and, even intraspecies, in Laminaria.