a fuzzy-based method for evaluating the trustworthiness of software processes

University of Paderborn; Fraunhofer Inst. Exp. Softw. Eng. (IESE); Chinese Academy of Science (ISCAS)

Studies on coarsening of microdomains in binary polymer mixtures by Lattice Boltzmann methods

An improved free energy approach Lattice Boltzmann model(LBM) is proposed by introducing a forcing term instead of the pressure tensor. This model can reach the proper thermodynamic equilibrium after enough simulation time. On the basis of this model, the phase separation in binary polymer mixtures is studied by applying a Flory-Huggins-type free energy. The numerical results show good agreement with the analytic coexistence curve. This model can also be used to study the coarsening of microdomains in binary polymer mixtures at the early and intermediate stages.

Synthesis and characterization of hyperbranched aromatic poly(ether imide)s

The four AB(2) monomers, N-[3- or 4-bis(4-hydroxyphenyl)toluoyl]-4-chlorophthalimide and N-{3- or 4-[1,1-bis(4-hydroxyphenyl)]ethylphenyl}-4-chlorophthalimides, were prepared and used for synthesis of hyperbranched poly(ether imide)s bearing hydroxyl end groups. These hyperbranched poly(ether imide)s had moderate molecular weights with broad distributions and showed glass-transition temperatures (Tgs) between 177 and 230 degreesC. The thermogravimetric analytic measurement revealed the decomposition temperature at 5% weight-loss temperatures (T-d(5%)) ranging from 240 to 281 degreesC. Analysis using H-1 NMR spectroscopy revealed the four types of hyperbranched poly(ether imide)s to have similar degrees of branching (ca. 60%). These polymers were modified by acylation or nucleophilic substitution reaction at the hydroxyl end groups. The conversion effectiveness depended on the type of modification reaction, modifier, and reaction conditions. The thermal stability and solubility of hyperbranched poly(ether imide)s were improved by the modification of the end groups.

Synthesis and characterization of hyperbranched aromatic poly(ester-imide)s

The synthesis and characterization of hyperbranched aromatic poly(ester-imide)s are described. A variety of AB(2) monomers, N-[3- or 4-bis(4-acetoxyphenyl)toluoyl]-4-carboxyl-phthalimide and N-{3- or 4-[1,1-bis(4-acetooxyphenyl)]ethylphenyl}-4-carboxy phthalimides were prepared starting from condensation of nitrobenzaldehydes or nitroacetophenones with phenol and used for synthesis of hyperbranched poly(ester-imide)s containing terminal acetyl groups by transesterification reaction. These hyperbranched poly(ester-imide)s were produced with weight-average molecular weight of up to 6.87 g/mol. Analysis of H-1 NMR and C-13 NMR spectroscopy revealed the structure of the four hyperbranched poly(ester-imide)s. These hyperbranched poly(ester-imide)s exhibited excellent solubility in a variety of solvents such as N,N-dimethylacetamide, dimethyl sulfoxide, and tetrahydrofuran and showed glass-transition temperatures between 217 and 255 degreesC. The thermogravimetric analytic measurement revealed the decomposition temperature at 10% weight-loss temperature (T-d(10)) ranging from 365 to 416 degreesC in nitrogen.

Determination of ultra-trace rare-earth elements in human plasma by inductively coupled plasma mass spectrometry

Inductively coupled plasma mass spectrometry (ICP-MS),a highly sensitive inorgnic analytic technique,fits to determine ultra-nace rare-earth elements in human plasma. Under the optimized conditions detection limits for 15 rare-earth elements are in the range of 0.7 (for Eu)-5.4 (for Gd) ng.L-1. Indium as an internal standard element is used to compensate for matrix suppression effect and sensitivity drift. Three kinds of preparation methods, diluted with 1% HNO3, digested with HNO3-H2O2 and with HNO3-HClO4, are checked and compared,and the former is the simplest way to be measured. The samples diluted with 1% HNO3, stored in 4 degrees C, are very steady for 16 days. With the method, 11 healthy plasma samples in Changchun area of China are analysed.

Mass spectrometry study on snake venoms and enzymes

In this paper, three kinds of snake venoms and lour kinds of enzymes (phospholipase A(2), fibrinolytic enzyme, arginine esterase and L-amino acid oxidase) isolated from the snake venom were analyzed. As the snake venom was different, the MALDI/TOF/MS showed difference, The MALDI/TOF/MS determination results could be affected Ly the concentrations of snake venom enzymes, And the mechanisms of desorption and ionization was also given in this study, By using MALDI/TOF/MS we obtained the accurate molecular weights and homogeneities of the enzymes. The apparent characteristics of the positive MALDI/TOF/MS of enzymes composed by two subunits were also given out, The results showed that MALDI/TOF/MS is an effective analytic method for discovering new components from snake venom complexes. And it is reliable to use this method to determine the molecular weights and purifies of protein molecules.

Molecular identification of 16 Porphyra lines using sequence-related amplified polymorphism markers

Sequence-related amplified polymorphism (SRAP) is a novel molecular marker technique designed to amplify open reading frames (ORFs). The SRAP analytic system was set up and applied to Porphyra germplasm identification in this study for the first time. Sixteen Porphyra lines were screened by SRAP technique with 30 primer combinations. In the analysis, 14 primer combinations produced stable and reproducible amplification patterns in three repetitive experiments. Among the total 533 amplified fragments, 522 (98%) were polymorphic, with an average of 38 fragments for each primer combination, ranging in size from 50 to 500 bp. The 533 fragments were visually scored one by one and then used to develop a dendrogram with Unweighted Pair-Group Method Arithmetic Average (UPGMA), and the 16 Porphyra lines were divided into two major groups at the 0.68 similarity level. From the total 533 fragments, I I amplified by two primer combinations, ME1/EM1 and ME4/EM6, were used to develop the DNA fingerprints of the 16 Porphyra lines. The DNA fingerprints were then converted into binary codes, with I and 0 representing presence and absence of the corresponding amplified fragment, respectively. In the DNA fingerprints, each of the 16 Porphyra lines has its unique binary code and can be easily distinguished from the others. This is the first report on the development of SRAP technique and its utilization in germplasm identification of seaweeds. The results demonstrated that SRAP is a simple, stable, polymorphic and reproducible molecular marker technique for the classification and identification of Porphyra lines. (c) 2007 Elsevier B.V. All rights reserved.

The effects of random surface waves on the steady Ekman current solutions

The response of near-surface current profiles to wind and random surface waves are studied based on the approach of Jenkins [1989. The use of a wave prediction model for driving a near surface current model. Dtsch. Hydrogr. Z. 42,134-149] and Tang et al. [2007. Observation and modeling of surface currents on the Grand Banks: a study of the wave effects on surface currents. J. Geophys. Res. 112, C10025, doi:10.1029/2006JC004028]. Analytic steady solutions are presented for wave-modified Ekman equations resulting from Stokes drift, wind input and wave dissipation for a depth-independent constant eddy viscosity coefficient and one that varies linearly with depth. The parameters involved in the solutions can be determined by the two-dimensional wavenumber spectrum of ocean waves, wind speed, the Coriolis parameter and the densities of air and water, and the solutions reduce to those of Lewis and Belcher [2004. Time-dependent, coupled, Ekman boundary layer solutions incorporating Stokes drift. Dyn. Atmos. Oceans. 37, 313-351] when only the effects of Stokes drift are included. As illustrative examples, for a fully developed wind-generated sea with different wind speeds, wave-modified current profiles are calculated and compared with the classical Ekman theory and Lewis and Belcher's [2004. Time-dependent, coupled, Ekman boundary layer solutions incorporating Stokes drift. Dyn. Atmos. Oceans 37, 313-351] modification by using the Donelan and Pierson [1987. Radar scattering and equilibrium ranges in wind-generated waves with application to scatterometry. J. Geophys. Res. 92, 4971-5029] wavenumber spectrum, the WAM wave model formulation for wind input energy to waves, and wave energy dissipation converted to currents. Illustrative examples for a fully developed sea and the comparisons between observations and the theoretical predictions demonstrate that the effects of the random surface waves on the classical Ekman current are important, as they change qualitatively the nature of the Ekman layer. But the effects of the wind input and wave dissipation on surface current are small, relative to the impact of the Stokes drift. (C) 2008 Elsevier Ltd. All rights reserved.

STUDY ON THE FORMATIONAL MECHANISM OF THE NORTHERN YELLOW (HUANGHAI) SEA COLD WATER MASS(I)

A hydrodynamic-thermodynamic equation set was set up to reflect the formational mechanism and evolution of the Northern Yellow (Huanghai) Sea cold water mass (NYSCWM) and its density circulation. Appropriate mathematical physical models were established by using some physical postulations. An approximate analytic solution to expound the distributions of temperature and three-dimensional current velocity, which can be used to expound the formational mechanism of the NYSCWM and its density circulation is obtained by using the theory of boundary layer and perturbational analyses.

潮波模型的优化开边界方法研究

数值模式是潮波研究的一种有利手段，但在研究中会面临各种具体问题，包括开边界条件的确定、底摩擦系数和耗散系数的选取等。数据同化是解决这些问题的一种途径，即利用有限数量的潮汐观测资料对潮波进行最优估计，其根本目的是迫使模型预报值逼近观测值，使模式不要偏离实际情况太远。本文采用了一种优化开边界方法，沿着数值模型的开边界优化潮汐水位信息，目的是设法使数值解在动力约束的意义下接近观测值，获得研究区域的潮汐结果。边界值由指定优化问题的解来定，以提高模拟区域的潮汐精度，最优问题的解是基于通过开边界的能量通量的变化，处理开边界处的观测值与计算值之差的最小化。这里提供了辐射型边界条件，由Reid 和Bodine（本文简称为RB）推导，我们将采用的优化后的RB方法（称为ORB）是优化开边界的特殊情况。 本文对理想矩形海域（ E- E， N- N， 分辨率 ）进行了潮波模拟，有东部开边界，模式采用ECOM3D模式。对数据结果的误差分析采用，振幅平均偏差，平均绝对偏差，平均相对误差和均方根偏差四个值来衡量模拟结果的好坏程度。 需要优化入开边界的解析潮汐值本文采用的解析解由方国洪《海湾的潮汐与潮流》（1966年）方法提供，为验证本文所做的解析解和方文的一致，本文做了其第一个例子的关键值a,b,z,结果与其结果吻合的相当好。但略有差别，分析的可能原因是两法在具体迭代方案和计算机保留小数上有区别造成微小误差。另外，我们取m=20，得到更精确的数值，我们发现对前十项的各项参数值，取m=10,m=20各项参数略有改进。当然我们可以获得m更大的各项参数值。 同时为了检验解析解的正确性讨论m和l变化对边界值的影响，结果指出，增大m，m=20时，u的模最大在本身u1或u2的模的6%；m=100时，u的模最大在本身u1或u2的模的4%；m再增大，m=1000时，u的模最大在本身u1或u2的模的4%，改变不大。当l<1时， =0处u的模最大为2。当l=1时， =0处u的模最大为0.1，当l>1时，l越大，u的模越小，当l=10时，u的模最大为0.001，可以认为为0。 为检验该优化方法的应用情况，我们对理想矩形区域进行模拟，首先将本文所采用的优化开边界方法应用于30m的情况，在开边界优化入开边界得出模式解，所得模拟结果与解析解吻合得相当好，该模式解和解析解在整个区域上，振幅平均绝对偏差为9.9cm,相位平均绝对偏差只有4.0 ，均方根偏差只有13.3cm，说明该优化方法在潮波模型中有效。 为验证该优化方法在各种条件下的模拟结果情况，在下面我们做了三类敏感性试验： 第一类试验：为证明在开边界上使用优化方法相比于没有采用优化方法的模拟解更接近于解析解，我们来比较ORB条件与RB条件的优劣，我们模拟用了两个不同的摩擦系数，k分别为：0,0.00006。 结果显示，针对不同摩擦系数，显示在开边界上使用ORB条件的解比使用RB条件的解无论是振幅还是相位都有显著改善，两个试验均方根偏差优化程度分别为84.3%，83.7%。说明在开边界上使用优化方法相比于没有采用优化方法的模拟解更接近于解析解，大大提高了模拟水平。上述的两个试验得出， k=0.00006优化结果比k=0的好。 第二类试验，使用ORB条件确定优化开边界情况下，在东西边界加入出入流的情况，流考虑线性和非线性情况，结果显示，加入流的情况，潮汐模拟的效果降低不少，流为1Sv的情况要比5Sv的情况均方根偏差相差20cm,而不加流的情况只有0.2cm。线性流和非线性流情况两者模式解相差不大，振幅，相位各项指数都相近, 说明流的线性与否对结果影响不大。 第三类试验，不仅在开边界使用ORB条件，在模式内部也使用ORB条件，比较了内部优化和不优化情况与解析解的偏差。结果显示，选用不同的k,振幅都能得到很好的模拟，而相位相对较差。另外，在内部优化的情况下，考虑不同的k的模式解， 我们选用了与解析解相近的6个模式解的k,结果显示，不同的k,振幅都能得到很好的模拟，而相位较差。 总之，在开边界使用ORB条件比使用RB条件好，振幅相位都有大幅度改进，在加入出入流情况下，流的大小对模拟结果有影响，但线形流和非线性流差别不大。内部优化的结果显示，模式采用不同的k都能很好模拟解析解的振幅。

基于测角的自主移动机器人定位算法

给出了自主移动机器人定位的两种算法：解析算法和数值算法。解析法公式较以往的简洁。数值算法结合解析法和高斯－牛顿算法，不仅能避免因初值选取不合理而导致求解过程发散的问题，而且能提高运算精度和速度，通过对两种算法的计算机仿真，表明了解析算法具有运算速度快，而数值算法精度高的特点。其结果已用于自主移动机器人的研制中。

装配机器人系统快速碰撞检测算法

提出一种面向操作手装配系统的快速碰撞检测算法。该算法以机器人运动学和空间解析几何为基础 ,将判断机械手手臂与障碍物是否发生碰撞问题转化为直线段与有界平面是否存在公共点的简单解析几何问题 ,并以 PU MA5 6 0操作手为例对算法加以说明。该算法不仅适用于静态的障碍物已知的环境 ,而且适用于障碍物运动规律已知的动态环境 ,减少了碰撞检测占用的时间 ,提高了路径规划的效率

普及型水下机器人模块连接结构综合分析研究

针对普及型模块化自治水下机器人的成本、强度、模块化程度、长度及拆装方便程度五个影响因素,运用层次分析的方法进行分析比较,从而在普及型模块化自治水下机器人的三个模块连接结构中的选出最优的拉杆连接结构。

监控式水下机械手及相关技术的研究

水下机械手作为水下机器人通用作业工具得到广泛地应用，目前水下机械手的主要操作方式为主从方式。虽然主从方式具有操作直观，灵活的特点，但难于完成需要精确定位，轨迹控制的水下作用，如海洋石油钻井平台导管架的检查作用。为了扩展水下机器人的作业能力，提高水下作业智能化程度，沈阳自动化所承担国家863课题“水下虚拟遥操作与监控机械手系统”关键技术的研究工作。作者参加了此课题的研究工作，以Schilling水下机械手为研究对象，深入研究机械手的作用功能，对机械手的逆运动学，焊缝空间轨迹规划作了深入的研究，形成本文阐述的主要内容。由于Schilling水下机械手各关节之间的连接参数中存在多个偏距，其运动学逆解不能简单由解析方式给出。机械手进行控制与轨迹规划等操作必须找到一种快速求解的方法。本篇文章得出一种基于信赖域法的机械手运动学逆解算法。由于该算法具有收敛速度快的特点，故可以被应用于在线求解机械手运动学逆解；由于没有直接求解二阶导数，故不存在奇异解的问题。经理论分析和实验证明该方法在解决水下监控机械手在线跟踪水下结构物空间轨迹的技术问题具有较好的效果。作为课题的实际应用背景的导管架焊缝曲面为一复杂的空间曲面。为了实现课题的研究目标，本课题不仅要求解焊缝的轨迹，而且要给出其法线方向。对于这样一个问题，用空间解析几何和微分几何方法是很难求解的，本文给出了一种基于B样条参数曲面及曲面求交的方法，具有速度快，通用性强的优点。

网络联盟企业中的设计伙伴选择方法

如何选择网络联盟企业的成员是组建网络联盟企业的关键。采用层次分析法建立了选择设计伙伴的数学模型，并在Ｍａｔｌａｂ环境下开发了一个设计伙伴选择系统。