Library

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Electronic Resource  (11)
  • Engineering  (7)
  • Linkage map  (2)
  • logic verification  (2)
  • 1
    ISSN: 1432-2242
    Keywords: Barley DNA ; (1→3)-β-Glucanase ; Linkage map ; Pathogenesis-related proteins ; Gene family
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology
    Notes: Abstract Members of the (1→3)-β-glucan glucanohydrolase (EC 3.2.1.39) gene family have been mapped on the barley genome using three doubled haploid populations and seven wheat-barley addition lines. Specific probes or polymerase chain reaction (PCR) primers were generated for the seven barley (1→3)-β-glucanase genes for which cDNA or genomic clones are currently available. The seven genes are all located on the long arm of chromosome 3 (3HL), and genes encoding isoenzymes GI, GII, GIII, GIV, GV and GVII (ABG2) are clustered in a region less than 20 cM in length. The region is flanked by the RFLP marker MWG2099 on the proximal side and the Barley Yellow Mosaic Virus (BYMV) resistance gene ym4 at the distal end. The gene encoding isoenzyme GVI lies approximately 50 cM outside this cluster, towards the centromere. With the exception of the gene encoding isoenzyme GIV, all of the (1→3)-β-glucanase genes are represented by single copies on the barley genome. The probe for the isoenzyme GIV gene hybridized with four DNA bands during Southern blot analysis, only one of which could be incorporated into the consensus linkage map.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    ISSN: 1432-2242
    Keywords: Key words  Barley DNA ; (1→3)-β-Glucanase ; Linkage map ; Pathogenesis-related proteins ; Gene family
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology
    Notes: Abstract   Members of the (1→3)-β-glucan glucanohydrolase (EC 3.2.1.39) gene family have been mapped on the barley genome using three doubled haploid populations and seven wheat-barley addition lines. Specific probes or polymerase chain reaction (PCR) primers were generated for the seven barley (1→3)-β-glucanase genes for which cDNA or genomic clones are currently available. The seven genes are all located on the long arm of chromosome 3 (3HL), and genes encoding isoenzymes GI, GII, GIII, GIV, GV and GVII (ABG2) are clustered in a region less than 20 cM in length. The region is flanked by the RFLP marker MWG2099 on the proximal side and the Barley Yellow Mosaic Virus (BYMV) resistance gene ym4 at the distal end. The gene encoding isoenzyme GVI lies approximately 50 cM outside this cluster, towards the centromere. With the exception of the gene encoding isoenzyme GIV, all of the (1→3)-β-glucanase genes are represented by single copies on the barley genome. The probe for the isoenzyme GIV gene hybridized with four DNA bands during Southern blot analysis, only one of which could be incorporated into the consensus linkage map.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    Journal of electronic testing 15 (1999), S. 191-205 
    ISSN: 1573-0727
    Keywords: array ; logic verification ; design error ; symbolic trajectory evaluation ; assertion ; assertion test generation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Electrical Engineering, Measurement and Control Technology
    Notes: Abstract Design validation for embedded arrays remains as a challenging problem in today's microprocessor design environment. Although several methods for validating embedded arrays have been proposed, not much has been done to characterize the strengths and weaknesses of these methods. This paper provides a comprehensive study of various design validation approaches adopted at the Somerset PowerPC Design Center in the past, including methods from both formal verification and test generation. Effectiveness of these approaches will be measured based on automatic design error injection and simulation at both gate and transistor levels. Experience of using different validation approaches on recent PowerPC microprocessor arrays will be analyzed and discussed.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    Electronic Resource
    Electronic Resource
    Springer
    Journal of electronic testing 13 (1998), S. 121-135 
    ISSN: 1573-0727
    Keywords: high-level test generation ; assertion test generation ; design validation ; logic verification ; symbolic trajectory evaluation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Electrical Engineering, Measurement and Control Technology
    Notes: Abstract Test and validation of embedded array blocks remains a major challenge in today's microprocessor design environment. The difficulty comes from twofold, the sizes of the arrays and the complexity of their timing and control. This paper describes a novel test generation methodology for test and validation of microprocessor embedded arrays. Unlike traditional ATPG methods, our test generation method is based upon the high-level assertion specification which is originally used for the purpose of formal verification. The superiority of these assertion tests over the traditional ATPG tests will be discussed and shown through various experiments on recent PowerPC microprocessor designs.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    Electronic Resource
    Electronic Resource
    Chichester [u.a.] : Wiley-Blackwell
    International Journal for Numerical Methods in Engineering 29 (1990), S. 1343-1358 
    ISSN: 0029-5981
    Keywords: Engineering ; Engineering General
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Mathematics , Technology
    Notes: The method of characteristics is combined with the method of least-squares to solve the advection equation within the finite element framework. Fourier mode analysis shows that the numerical scheme is stable and accurate even when a linear basis function is used. However, in practical application, the involvement of using numerical quadrature in this method can produce numerical instability, depending on the value of the Courant number used. It is found that using C1 continuous Hermitian cubic basis functions in the scheme reduces the degree of instability significantly and produces high accuracy. When being used in a split-operator approach, this method combines naturally with the standard finite element method and results in a highly accurate scheme for advection-dispersion simulation.
    Additional Material: 7 Ill.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    Electronic Resource
    Electronic Resource
    Chichester : Wiley-Blackwell
    Communications in Numerical Methods in Engineering 9 (1993), S. 475-482 
    ISSN: 1069-8299
    Keywords: Engineering ; Engineering General
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Mathematics , Technology
    Notes: The radiation boundary condition is frequently used at the artificial outflow boundary created in the numerical computation of fluid flow problems to allow outgoing waves to leave the domain undisturbed. However, the numerical approximation of the radiation boundary condition will produce errors which will affect the interior solution. In this work the errors due to two different numerical approximations of the radiation boundary condition are studied, with the one-dimensional wave equation being used as the model equation. A theoretical analysis shows that: (a) if the numerical approximation of the boundary condition generates a celerity error, a reflected wave with amplitude proportional to the size of the celerity error is produced; (b) if the numerical approximation of the boundary condition generates a numerical diffusion and hence an amplitude damping error, a reflected wave with amplitude proportional to the magnitude of the numerical diffusion is produced. A modification of the Sommerfeld radiation boundary condition to account for the linear bottom friction effect is investigated. Numerical experiments show that the use of the backward characteristics scheme with quadratic interpolation is able to reduce significantly the reflection of the wave at the outflow boundary and that the scheme is unconditionally stable.
    Additional Material: 4 Ill.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    Electronic Resource
    Electronic Resource
    Chichester : Wiley-Blackwell
    International Journal for Numerical Methods in Fluids 23 (1996), S. 485-501 
    ISSN: 0271-2091
    Keywords: shallow recirculating flow ; multilayer model ; turbulence model ; Engineering ; Engineering General
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Notes: A quasi-three-dimensional multilayer k- ∊ model has been developed to simulate turbulent recirculating flows behind a sudden expansion in shallow waters. The model accounts for the vertical variation in the flow quantities and eliminates the problem of closure for the effective stresses resulting from the depth integration of the non-linear convective accelerations found in the widely used depth- integrated models. The governing equations are split into three parts in the finite difference solution: advection, dispersion and propagation. The advection part is solved using the four-node minimax-characteristics method. The dispersion and propagation parts are treated by the central difference method, the former being solved explicitly and the latter implicitly using the Gauss-Seidel iteration method. The relative effect of bed-generated turbulence and transverse shear-generated turbulence on the recirculating flow has been studied in detail. In comparison with the results computed by the depth-integrated k-∊ model, the results computed by the present model are found to be closer to the reported data.
    Additional Material: 12 Ill.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    Electronic Resource
    Electronic Resource
    Chichester [u.a.] : Wiley-Blackwell
    International Journal for Numerical Methods in Engineering 27 (1989), S. 547-557 
    ISSN: 0029-5981
    Keywords: Engineering ; Engineering General
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Mathematics , Technology
    Notes: The Successive Overrelaxation (SOR) and the Cyclic Chebyshev Semi-Iterative (CCSI) methods are considered for solving the non-symmetric linear systems Ax = b when A has the form \documentclass{article}\pagestyle{empty}\begin{document}$$ {\bf A} = \left({\begin{array}{*{20}c} {{\bf D}_1} & {\bf F} \\ {-{\bf F}^{\rm T}} & {{\bf D}_{\rm 2}}\\ \end{array}} \right) $$\end{document} with D1 and D2 symmetric positive definite (SPD).The D1/2-norms of both methods are determined and it is shown that, though the SOR method is better based on the spectral radius, the CCSI scheme is far better than SOR according to the D1/2-norm.
    Additional Material: 5 Ill.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    Electronic Resource
    Electronic Resource
    Chichester [u.a.] : Wiley-Blackwell
    International Journal for Numerical Methods in Engineering 39 (1996), S. 3793-3808 
    ISSN: 0029-5981
    Keywords: parallel computers ; parallel software ; finite difference ; heat and moisture transfer ; unsaturated soil ; Engineering ; Engineering General
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Mathematics , Technology
    Notes: New parallel software for the analysis of coupled heat and moisture transfer in unsaturated soil is developed. The model, written in a two-dimensional polar co-ordinate formulation, is based on a finite difference self-implicit method. The code is programmed in FORTRAN with message passing libraries PARMACS and executed on a ‘Paramid’ parallel supercomputer. The validity of the parallel code by comparison of simulation results with experimentally measured values obtained from a laboratory heating experiment is examined. An assessment of the algorithm's performance on a large network of processors is also explored. It was found that the simulation results compared very well with the experimental measurements. The efficiency of the parallel code was also revealed leading to the conclusion that the algorithm was highly efficient in nature. The new parallel code was also found to be more efficient when dealing with larger problems requiring more finite difference nodal points, on a larger network of processors.
    Additional Material: 5 Ill.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    Electronic Resource
    Electronic Resource
    New York, NY [u.a.] : Wiley-Blackwell
    Communications in Applied Numerical Methods 8 (1992), S. 93-98 
    ISSN: 0748-8025
    Keywords: Engineering ; Engineering General
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Mathematics , Technology
    Notes: A time-stepping split-operator method is developed to obtain the steady-state solution of the slack tide oxygen balance equation, which takes different formulations at the aerobic and the anaerobic regions, while the direct iterative solution of the steady-state equation can lead to an oscillatory behaviour. The method treats the advection step by the minimax characteristics method, the dispersion step by the central difference method, and the decay step by an analytical solution. Using a large time step (1 tidal cycle) to be compatible with the model formulation, the solution obtained is in good agreement with the exact solution and the computational effort is low.
    Additional Material: 3 Ill.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...