摘要 :
The field of practical DNA computing opened in 1994 with Adleman's paper,in which a laboratory experi-ment involving DNA molecules was used to solve a small instance of the Hamiltonian Path problem. The characteris-tic of this com...
展开
The field of practical DNA computing opened in 1994 with Adleman's paper,in which a laboratory experi-ment involving DNA molecules was used to solve a small instance of the Hamiltonian Path problem. The characteris-tic of this computation is its powerful ability in parallelism, its huge storage and high energy efficiency. This papermainly introduces the principles of DNA computing and the sticker computing model.
收起
摘要 :
The second part of this paper is devoted to the computational modelling of transient water migration in hardwood. During re-saturation, the moisture content, measured during the process by using X-ray attenuation (see part 1 of th...
展开
The second part of this paper is devoted to the computational modelling of transient water migration in hardwood. During re-saturation, the moisture content, measured during the process by using X-ray attenuation (see part 1 of this paper), increases quickly very close to the cavity, but requires a very long time for the remaining part of the sample to absorb the moisture in wetting. For this configuration and this material, the macroscopic approach fails. Consequently, a dual-porosity approach is proposed. The computational domain uses a 2-D axisymmetric configuration for which the axial coordinate represents the macroscopic longitudinal direction of the sample whereas the radial coordinate allows the slow migration from each active vessel towards the fibre zone to be considered. The latter is a microscopic space variable. The moisture content field evolution depicts clearly the dual scale mechanisms:a very fast longitudinal migration in the vessel followed by a slow migration from the vessel towards the fibre zone.The macroscopic moisture content field resulting from this dual scale mechanism is in quite good agreement with the experimental data.
收起
摘要 :
In this paper, a logic computing model was constructed using a DNA nanoparticle, combined with color change technology of DNA/Au nanoparticle conjugates, and DNA computing. Several important technologies are utilized in this molec...
展开
In this paper, a logic computing model was constructed using a DNA nanoparticle, combined with color change technology of DNA/Au nanoparticle conjugates, and DNA computing. Several important technologies are utilized in this molecular computing model: DNA self-assembly, DNA/Au nanoparticle conjugation, and the color change resulting from Au nanoparticle aggregation. The simple logic computing model was realized by a color change, resulting from changing of DNA self-assembly. Based on this computing model, a set of operations computing model was also established, by which a simple logic problem was solved. To enlarge the applications of this logic nanocomputing system, a molecular detection method was developed for H1N1 virus gene detection.
收起
摘要 :
In this paper, a formal approach based on predicate logic is proposed for representing and reasoning of trusted computing models. Predicates are defined to represent the characteristics of the objects and the relationship among th...
展开
In this paper, a formal approach based on predicate logic is proposed for representing and reasoning of trusted computing models. Predicates are defined to represent the characteristics of the objects and the relationship among these objects in a trusted system according to trusted computing specifications. Inference rules of trusted relation are given too. With the semantics proposed, some trusted computing models are formalized and verified, which shows that Predicate calculus logic provides a general and effective method for modeling and reasoning trusted computing systems.
收起
