Mathematical symbols and computing methods in high dimensional biomimetic informatics and their applications

High dimensional biomimetic informatics (HDBI) is a novel theory of informatics developed in recent years. Its primary object of research is points in high dimensional Euclidean space, and its exploratory and resolving procedures are based on simple geometric computations. However, the mathematical descriptions and computing of geometric objects are inconvenient because of the characters of geometry. With the increase of the dimension and the multiformity of geometric objects, these descriptions are more complicated and prolix especially in high dimensional space. In this paper, we give some definitions and mathematical symbols, and discuss some symbolic computing methods in high dimensional space systematically from the viewpoint of HDBI. With these methods, some multi-variables problems in high dimensional space can be solved easily. Three detailed algorithms are presented as examples to show the efficiency of our symbolic computing methods: the algorithm for judging the center of a circle given three points on this circle, the algorithm for judging whether two points are on the same side of a hyperplane, and the algorithm for judging whether a point is in a simplex constructed by points in high dimensional space. Two experiments in blurred image restoration and uneven lighting image correction are presented for all these algorithms to show their good behaviors.

Parallel optical negabinary arithmetic based on logic operations

On the basis of signed-digit negabinary representation, parallel two-step addition and one-step subtraction can be performed for arbitrary-length negabinary operands.; The arithmetic is realized by signed logic operations and optically implemented by spatial encoding and decoding techniques. The proposed algorithm and optical system are simple, reliable, and practicable, and they have the property of parallel processing of two-dimensional data. This leads to an efficient design for the optical arithmetic and logic unit. (C) 1997 Optical Society of America.

Hierarchal structure of the simplified Navier-Stokes equations (SNSE) and its mechanical connotation and application

The hierarchial structure and mathematical property of the simplified Navier-Stokesequations (SNSE) are studied for viscous flow over a sphere and a jet of compressible flu-id. All kinds of the hierarchial SNSE can be divided into three types according to theirmathematical property and also into five groups according to their physical content. Amultilayers structure model for viscous shear flow with a main stream direction is pre-sented. For the example of viscous incompressible flow over a flat plate there existthree layers for both the separated flow and the attached flow; the character of thetransition from the three layers of attached flow to those of separated flow is elucidated.A concept of transition layer being situated between the viscous layer and inviscidlayer is introduced. The transition layer features the interaction between viscous flow andinviscid flow. The inner-outer-layers-matched SNSE proposed by the present author inthe past is developed into the layers matched (LsM)-SNSE.

Progress in the evaluation of transgenic fish for possible ecological risk and its containment strategies

Genetically improved transgenic fish possess many beneficial economic traits; however, the commercial aquaculture of transgenic fish has not been performed till date. One of the major reasons for this is the possible ecological risk associated with the escape or release of the transgenic fish. Using a growth hormone transgenic fish with rapid growth characteristics as a subject, this paper analyzes the following: the essence of the potential ecological risks posed by transgenic fish; ecological risk in the current situation due to transgenic fish via one-factor phenotypic and fitness analysis, and mathematical model deduction. Then, it expounds new ideas and the latest findings using an artificially simulated ecosystem for the evaluation of the ecological risks posed by transgenic fish. Further, the study comments on the strategies and principles of controlling these ecological risks by using a triplold approach. Based on these results, we propose that ecological risk evaluation and prevention strategies are indispensable important components and should be accompanied with breeding research in order to provide enlightments for transgenic fish breeding, evaluation of the ecological risks posed by transgenic fish, and development of containment strategies against the risks.

Compact Reconfigurable Binary-Decision-Diagram Logic Circuit on a GaAs Nanowire Network

We describe a reconfigurable binary-decision-diagram logic circuit based on Shannon's expansion of Boolean logic function and its graphical representation on a semiconductor nanowire network. The circuit is reconfigured by using programmable switches that electrically connect and disconnect a small number of branches. This circuit has a compact structure with a small number of devices compared with the conventional look-up table architecture. A variable Boolean logic circuit was fabricated on an etched GaAs nanowire network having hexagonal topology with Schottky wrap gates and SiN-based programmable switches, and its correct logic operation together with dynamic reconfiguration was demonstrated.

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.

An Embedded Ultra Low Power Nonvolatile Memory in a Standard CMOS Logic Process

This paper proposes an embedded ultra low power nonvolatile memory in a standard CMOS logic process. The memory adopts a bit cell based on the differential floating gate PMOS structure and a novel operating scheme. It can greatly improve the endurance and retention characteristic and make the area/bit smaller. A new high efficiency all-PMOS charge pump is designed to reduce the power consumption and to increase the power efficiency. It eliminates the body effect and can generate higher output voltage than conventional structures for a same stage number. A 32-bit prototype chip is fabricated in a 0.18 mu m 1P4M standard CMOS logic process and the core area is 0.06 mm(2). The measured results indicate that the typical write/erase time is 10ms. With a 700 kHz clock frequency, power consumption of the whole memory is 2.3 mu A for program and 1.2 mu A for read at a 1.6V power supply.

Gamma-Ray Attenuation Technique For Measuring Void Fraction In Horizontal Gas-Liquid Two-Phase Flow

The measurement of void fraction is of importance to the oil industry and chemical industry. In this article, the principle and mathematical method of determining the void fraction of horizontal gas-liquid flow by using a single-energy gamma-ray system is described. The gamma-ray source is the radioactive isotope of Am-241 with gamma-ray energy of 59.5 keV. The time-averaged value of the void fraction in a 50.0-mm i.d. transparent horizontal pipeline is measured under various combinations of the liquid flow and gas flow. It is found that increasing the gas flow rate at a fixed liquid flow rate would increase the void fraction. Test data are compared with the predictions of the correlations and a good agreement is found. The result shows that the designed gamma-ray system can be used for measuring the void fraction in a horizontal gas-liquid two-phase flow with high accuracy.

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.

Reversed capillary electrochromatography: Investigation of peak symmetry for eluting curves of solutes

The transport processes of components in capillary electrochromatographic column was investigated based on the basic model of relaxation theory. A principal transport equation of chromatographic relaxation theory was established and mathematical expressions for eluting curves were obtained under the situations of both capillary electrophoresis and chromatography. Characteristics of peak symmetry and its effecting factors are discussed. Tailing peaks, symmetrical peaks and fronting peaks would be observed simultaneously, which was further proved with reversed capillary electrochromatographic experiments.

推求土壤水分运动参数的简单入渗法──Ⅱ.实验验证

预报土壤中水分流动需要的土壤导水特性可通过观测水平土柱的入渗过程来确定，这一观测过程的分析是基于对Richards方程求积分解。土壤水分特征曲线中的参数由观测的水平立柱的特征湿润长度和吸力来确定，非饱和土壤导水率由已确定的特征曲线中的参数和测定的饱和导水率导出。供试土壤有三种，它们的质地从砂壤到粘壤。由这种方法所确定的这三种土壤的水分特征曲线与实测的特征曲线符合良好，所确定的砂壤的非他和导水率与实测值的比较令人满意。利用数值法和积分法分别计算了土壤含水量剖面，计算结果吻合良好，说明了这种方法的合理性。

自适应模糊PID控制在AUV控制中的应用

自治潜水器(AUV,Autonomous Underwater Vehicle)是非线性、强耦合、大惯性的多输入多输出系统,又由于受到海流、传感器、执行机构等不确定性的影响,对AUV控制器的鲁棒性能提出了更高的要求。本文针对我国正在研制开发的长航程自治潜水器的特性及其对航行控制的要求,将PID控制与模糊控制的简便性、灵活性以及鲁棒性结合起来,为AUV设计了可在线修改PID参数的自适应模糊PID控制器,仿真结果证明了该种控制方法不但提高了AUV系统的动态特性,而且可在参数摄动和外界扰动时获得较好的控制性能。

螺旋桨驱动UUV推进系统研究

为了实现水下机器人(UUV,Unmanned Underwater Vehicle)的高精度控制,深入研究了螺旋桨驱动UUV推进系统各个环节运行机理,并建立了它们各自的数学模型,包括PWM模块、直流永磁电机、螺旋桨、舵的数学模型。多功能仿真试验和湖试试验的系统响应曲线基本吻合,一方面表明本文建立的推进系统模型的正确性,另一方面体现了在多功能仿真平台上调试的控制策略和控制器参数具有很大的可信度。