Architecture research and hardware implementation on simplified neural computing system for face identification

This paper describes a special-purpose neural computing system for face identification. The system architecture and hardware implementation are introduced in detail. An algorithm based on biomimetic pattern recognition has been embedded. For the total 1200 tests for face identification, the false rejection rate is 3.7% and the false acceptance rate is 0.7%.

Quantum computing

Quantum computing is a quickly growing research field. This article introduces the basic concepts of quantum computing, recent developments in quantum searching, and decoherence in a possible quantum dot realization.

可信平台模块的形式化分析和测试

可信平台模块(Trusted Platform Module,TPM)是可信计算平台的核心和基础,可信平台模块的功能测试和验证是保证可信平台模块的实现正确性以及规范一致性的重要手段,但是目前尚不存在一种有效严格的可信平台模块测试和功能验证方法,同时可信计算组织给出的TPM规范是描述性的,不利于产品的开发和测试.文中在分析可信平台模块目前存在的一些问题的基础上,以TPM密码子系统为例给出了该子系统的形式化规格说明,并且基于该规格说明,给出了扩展有限状态机模型,最后,将该有限状态机模型应用于测试用例的自动生成,并通过实验验证了形式化测试的有效性.

可信平台模块分析与测试技术研究

在可信计算平台的体系结构中，可信平台模块的基础性地位决定了其在可信计算平台的研究中居于中心的地位。本文对可信平台模块中可信机制特别是隐私性保护机制进行了详细的分析，并以可信平台模块作为建模的对象，对其进行形式化分析，探讨利用形式化模型生成测试用例，进行符合性测试的技术。本文主要取得了以下几个方面的成果： 1、针对现有的隐私性保护方案即BCC方案在多信任域环境下的不足，提出了一种多信任域内的直接匿名证明方案，该方案为直接匿名证明方案在多信任域的网络环境下的应用奠定了基础。 2、针对BCC方案匿名性机制中“验证着相关的完全或无”匿名性的缺陷，提出了带子群隐私保护的隐私性保护方案，该方案为小群体内应用隐私性保护方案提供了可行的解决方法，增强了现有隐私性保护方案匿名机制的灵活性。 3、提出了一种新的基于双线性映射的直接匿名证明方案，该方案的计算量小，签名长度短，为下一代基于椭圆曲线的可信平台模块提供了可行的隐私性保护方案。 4、针对目前可信平台模块符合性测试缺少自动化测试方案的现实，本文提出了一个新的针对可信平台模块的测试方案，该方案利用EFSM形式化模型生成测试用例，支持覆盖度的分析，可以实现测试的自动化，在符合性测试中可以帮助提高测试的覆盖程度与工作效率。 5、最后，本文首次对可信平台模块的本地化产品可信密码模块进行了系统的分析，指出了其中的AP授权协议的一些缺陷，并给出了改进意见，对可信密码模块和可信平台模块进行了详细的对比和分析，指出可信密码模块存在的不足和优势。 总的说来，本文的研究成果为可信平台模块的推广提供了有力的支撑，并且为我国可信密码模块的发展提供了借鉴。 关键词：可信平台模块、可信计算平台、 符合性测试、直接匿名证明

Formalization and specification for controlling process modularity in mobile computing

新的计算模式，普适计算和全局计算，正在作为高度分布式和移动计算的计算模式展现出来。这篇论文探讨了在抽象层面上支持这些新型计算模式的适合的形式化基础，关注在进程移动单位上的控制, 以便在分布式与移动计算环境下更好地协调进程的移动性。 论文的第一部分概述了针对分布式、移动计算的现有进程演算模型中的进程移动单元，并且设计了一种在此方面更优、更具弹性的进程框架。为了表示这种进程框架，我们提出了一种新的、针对移动和分布式系统的进程演算,这种进程演算的优点是动态、弹性的控制进程的移动单元；具体的思路就是扩展π- calculus以及其支持分布式和移动性的变体。我们把这种新的演算叫做Modular π-calculus。我们通过这种演算的提出来说明进程框架提供了一种针对移动进程更为合适的协调机制以及编程模型，例如移动的代理和动态组件载入的支持。之后，我们通过讨论互模拟的几种提法来具体说明能够反映演算设计的进程描述的关键，之后我们讨论了它们的具体性质。 本文的第二部分提出了一个对进程模型的行为和性质进行推理的规约框架。首先，提出了一个对Modularπ-calculus中进程的系统性质进行规约的模态逻辑。为了更好的理解该逻辑，文中对由这个逻辑推出的进程等价的特征进行了研究，并且证明了该逻辑的区分能力介于互模拟和结构一致之间。接下来关于这个规约框架的自动化，本文针对该逻辑和Modular π-calculus的有限控制子集，提出了模型检测算法，并且给出了算法正确性的证明。同时文中贯穿了一些实际且直观的例子，以展现本文提出的一组框架即演算、逻辑和模型算法的有效性。

Reduction-Based Model Updating of a Scaled Offshore Platform Structure

This paper attempts to develop a reduction-based model updating technique for jacket offshore platform structure. A reduced model is used instead of the direct finite-element model of the real structure in order to circumvent such difficulties as huge degrees of freedom and incomplete experimental data that are usually civil engineers' trouble during the model updating. The whole process consists of three steps: reduction of FE model, the first model updating to minimize the reduction error, and the second model updating to minimize the modeling error of the reduced model and the real structure. According to the performance of jacket platforms, a local-rigidity assumption is employed to obtain the reduced model. The technique is applied in a downscale model of a four-legged offshore platform where its effectiveness is well proven. Furthermore, a comparison between the real structure and its numerical models in the following model validation shows that the updated models have good approximation to the real structure. Besides, some difficulties in the field of model updating are also discussed.

A high charge state all-permanent magnet ECR ion source for the IMP 320 kV HV platform

A 320 kV high voltage (HV) platform has been constructed at Institute of Modern Physics (IMP) to satisfy the increasing requirements of experimental studies in some heavy ion associated directions. A high charge state all-permanent magnet ECRIS-LAPECR2 has been designed and fabricated to provide intense multiple charge state ion beams (such as 1000 e mu A O6+, 16.7 e mu A Ar14+, 24 e mu A Xe27+, etc.) for the HV platform. LAPECR2 has a dimension of 0 650 mm x 560 mm. The powerful 3D magnetic confinement to the ECR plasma and the optimum designed magnetic field for the operation at 14.5 GHz makes it possible to obtain very good performances from this source. After a brief introduction of the ECRIS and accelerator development at IMP, the conceptual design of LAPECR2 source is presented. The first test results of this all-permanent magnet ECRIS are given in this paper.

Commissioning test of LAPECR2 source on the 320kV HV platform

The high charge state all permanent Electron Cyclotron Resonance Ion Source (ECRIS) LAPECR2 (Lanzhou All Permanent magnet ECR ion source No.2) has been successfully put on the 320kV HV platform at IMP and also has been connected with the successive LEBT system. This source is the largest and heaviest all permanent magnet ECRIS in the world. The maximum mirror field is 1.28T (without iron plug) and the effective plasma chamber volume is as large as circle divide 67mm x 255mm. It was designed to be operated at 14.5GHz and aimed to produce medium charge state and high charge state gaseous and also metallic ion beams. The source has already successfully delivered some intense gaseous ion beams to successive experimental terminals. This paper will give a brief overview of the basic features of this permanent magnet ECRIS. Then commissioning results of this source on the platform, the design of the extraction system together with the successive LEBT system will be presented.

algorithms for computing weak bisimulation equivalence

IEEE Comp Soc, IFIP, Tianjin Normal Univ

Amplified electrochemical aptasensor taking AuNPs based sandwich sensing platform as a model

Here, we report a sensitive amplified electrochemical impedimetric aptasensor for thrombin, a kind of serine protease that plays important role in thrombosis and haemostasis. For improving detection sensitivity, a sandwich sensing platform is fabricated, in which the thiolated aptamers are firstly immobilized on a gold substrate to capture the thrombin molecules, and then the aptamer functionalized Au nanoparticles (AuNPs) are used to amplify the impedimetric signals.

Electrochemical Sensing and Biosensing Platform Based on Chemically Reduced Graphene Oxide

In this paper, the characterization and application of a chemically reduced graphene oxide modified glassy carbon (CR-GO/GC) electrode, a novel electrode system, for the preparation of electrochemical sensing and biosensing platform are proposed. Different kinds of important inorganic and organic electroactive compounds (i.e., probe molecule (potassium ferricyanide), free bases of DNA (guanine (G), adenine (A), thymine (T), and cytosine (C)), oxidase/dehydrogenase-related molecules (hydrogen peroxide (H2O2/beta-nicotinamide adenine dinucleotide (NADH)), neurotransmitters (dopamine (DA)), and other biological molecules (ascorbic acid (AA), uric acid (UA), and acetaminophen (APAP)) were employed to study their electrochemical responses at the CR-GO/GC electrode, which shows more favorable electron transfer kinetics than graphite modified glassy carbon (graphite/GC) and glassy carbon (GC) electrodes.