ESeal Calculus: A secure mobile calculus

0　IntroductionAdvancesincomputercommunicationsandcomputerhard warearechangingthelandscapeofcomputation .Mobilecomputationisnowpervasive .Theπ calculus[1 ] isatypicalcalcu lusofmobilecomputation .Manyworksextenditinmanyas pects.Forexample ,Ref.[2 ,3]extendthebasictypesystemsforπ calculusasgivingmoreinformativetypestoprocesses.YoshidaandHennessyproposeinRef.[4 ]atypesystemforahigher orderπ calculusthatcanbeusedtocontroltheeffectsofmigratingcodeonlocalenvironments.Thesealcalculus[5] canber…     

三阶线性方程的稳定性

本文对三阶变系数线性方程,在比较一般的条件下,用变换技巧和李雅普诺夫函数方法,研究了它的稳定性问题,得到了一些充分性准则,并对其适用范围作了若干讨论。     

Fluorite Ce0.8Sm0.2O2-δ porous layer coating to enhance the oxygen permeation behavior of a BaCo0.7Fe0.2Nb0.1O3-δ mixed conductor

Fluorite Ce_0.8Sm_0.2O_2-δ (SDC) nanopowder with a crystallite size of 15 nm was synthesized by a co-precipitation method. An SDC porous layer was coated onto a BaCo_0.7Fe_0.2Nb_0.1O_3-δ (BCFN) mixed conductor to improve its oxygen transport behavior. The results show that the SDC-coated BCFN membrane exhibits a remarkably higher oxygen permeation flux (J_O2) than the uncoated BCFN in the partial oxidation of coke oven gas (COG). The maximum (J_O2) value of the SDC-coated BCFN is 18.28 mL·min-1·cm-2 under a COG/air flux of 177 mL·min-1/353 mL·min-1 at 875℃ when the thickness of the BCFN membrane is 1 mm; this (J_O2) value is 23% higher than that of the uncoated BCFN membrane. This enhancement is likely because of the higher oxygen ionic conductivity of SDC, which supplies oxygen vacancies and accelerates oxygen exchange on the membrane/coating layer/gas three-phase boundary.     

Path planning based on sliding window and variant A*algorithm for quadruped robot

In order to improve the adaptability of the quadruped robot in complex environments , a path planning method based on sliding window and variant A * algorithm for quadruped robot is presen-ted .To improve the path planning efficiency and robot security , an incremental A*search algorithm ( IA*) and the A*algorithm having obstacle grids extending ( EA*) are proposed respectively .The IA* algorithm firstly searches an optimal path based on A * algorithm, then a new route from the current path to the new goal projection is added to generate a suboptimum route incrementally .In comparison with traditional method solving path planning problem from scratch , the IA* enables the robot to plan path more efficiently .EA* extends the obstacle by means of increasing grid g-value, which makes the route far away from the obstacle and avoids blocking the narrow passage .To navi-gate the robot running smoothly , a quadratic B-spline interpolation is applied to smooth the path . Simulation results illustrate that the IA* algorithm can increase the re-planning efficiency more than 5 times and demonstrate the effectiveness of the EA * algorithm.     

DESIGN METHODOLOGY OF NETWORKED SOFTWARE EVOLUTION GROWTH BASED ON SOFTWARE PATTERNS

Recently,some new characteristics of complex networks attract the attentions of scientistsin different fields,and lead to many kinds of emerging research directions.So far,most of the researchwork has been limited in discovery of complex network characteristics by structure analysis in large-scalesoftware systems.This paper presents the theoretical basis,design method,algorithms and experiment results ofthe research.It firstly emphasizes the significance of design method of evolution growth for networktopology of Object Oriented(OO)software systems,and argues that.the selection and modulationof network models with various topology characteristics will bring un-ignorable effect on the processof design and implementation of OO software systems.Then we analyze the similar discipline of“negation of negation and compromise”between the evolution of network models with different topologycharacteristics and the development of software modelling methods.According to the analysis of thegrowth features of software patterns,we propose an object-oriented software network evolution growthmethod and its algorithms in succession.In addition,we also propose the parameter systems for OOsoftware system metrics based on complex network theory.Based on these parameter systems,it cananalyze the features of various nodes,links and local-world,modulate the network topology and guidethe software metrics.All these can be helpful to the detailed design,implementation and performanceanalysis.Finally.we focus on the application of the evolution algorithms and demonstrate it by a casestudy.Comparing the results from our early experiments with methodologies in empirical software engi-neering,we believe that the proposed software engineering design method is a computational softwareengineering approach based on complex network theory.We argue that this method should be greatlybeneficial for the design,implementation,modulation and metrics of functionality,structure and per-formance in large-scale OO software complex system.     

LETTER TO CSB

From new experiments in our laboratory, we found out thatwe need to make the following corrections in one of our paperspublished in your journal, namely, Novel method for accuratedetermination of the orientational angle of interfacial chemicalgroups, by Lǖ Rong, Gan Wei and Wang Hongfei, Chin. Sci.Bull., 2003, 48(20): 2183—2187.     

Preparation and adsorption behaviors of Cu(II) ion-imprinted polymers

Imprinted polymers were prepared for selective removal of Cu(II) ions from metal solutions. Three ion-imprinted polymers were synthesized with methacrylic acid (MAA), acrylamide (AA) and N,N'-methylenebisacrylamide (MBAA) respectively as the functional monomers, ethleneglycoldimethacrylate (EGDMA) as the cross-linking agent, 2,2’-azobisisobutyronitrile (AIBN) as the initiator and Cu (II) ion as the imprint ion. The template Cu (II) ion was removed from the polymer by leaching with a liquid of a 1:1 volumetric ratio of HCl to ethylenediaminetetraacetic acid (EDTA). The capacity and selectivity of Cu(II) ion adsorption were investigated with the three imprinted polymers and their non-imprinted counterparts. The polymers have a maximum adsorption capacity at pH 7.0. The isotherm of their batch adsorption of Cu(II) ions shows a Langmuir adsorption pattern. Imprinted polymers all have a much higher capacity and higher selectivity of Cu(II) adsorption than non-imprinted ones. MAA polymer benefits the most from imprinting. Imprinted MAA polymer has the highest selectivity when used to rebind Cu (II) ion from an aqueous solution in the presence of other metal ions. Ion imprinting can be a promising technique of preparing selective adsorbents to separate and preconcentrate metal in a medium of multiple competitive metal ions through solid phase extraction (SPE).     

Mechanisms for the hiatus in global warming

The observed global mean temperature is the highest on record for the past decade but has plateaued to form an apparent ＂hiatus＂ in global temperature rise, with an almost zero short-term trend. Several speakers presented results on the hiatus and suggested possible mechanisms.     

裘布依公式的水文地质化学动力学形式

以水文地质化学动力学方程为基础,承压含水层稳定流为例,推演了由水化学指标表示的一维和二维稳定井流的裘布依公式。在讨论化学指标表示的裘布衣公式与原公式关系的基础上,结合水文地质,水文地球化学综合模型,讨论和写出不同区带,各种矿物及相应组分化学指标表示的基本方程式。以山西晋城市新矿区抽水试验及相应的水化学指标,讨论了计算步骤和方法,最后讨论了这类公式可以推广到潜水及非稳定流各种井,梁公式中,以及用水化     

Almost periodic solution of generalized Ginzburg-Landau equation

One class of generalized Ginzburg-Landau equation is studied and the existence of almost periodic solution of the equation is proven when f( t, x) is an almost periodic function of time t.