Polyelectrolyte-functionalized ionic liquid for electrochemistry in supporting electrolyte-free aqueous solutions and application in amperometric flow injection analysis

As a green process, electrochemistry in aqueous solution without a supporting electrolyte has been described based on a simple polyelectrolyte-functionalized ionic liquid (PFIL)-modified electrode. The studied PFIL material combines features of ionic liquids and traditional polyelectrolytes. The ionic liquid part provides a high ionic conductivity and affinity to many different compounds. The polyelectrolyte part has a good stability in aqueous solution and a capability of being immobilized on different substrates. The electrochemical properties of such a PFIL-modified electrode assembly in a supporting electrolyte-free solution have been investigated by using an electrically neutral electroactive species, hydroquinone ( HQ) as the model compound. The partition coefficient and diffusion coefficient of HQ in the PFIL film were calculated to be 0.346 and 4.74 X 10(-6) cm(2) s(-1), respectively. Electrochemistry in PFIL is similar to electrochemistry in a solution of traditional supporting electrolytes, except that the electrochemical reaction takes place in a thin film on the surface of the electrode. PFILs are easily immobilized on solid substrates, are inexpensive and electrochemically stable. A PFIL-modified electrode assembly is successfully used in the flow analysis of HQ by amperometric detection in solution without a supporting electrolyte.

Set invariance in control

The properties of positively invariant sets are involved in many different problems in control theory, such as constrained control, robustness analysis, synthesis and optimization. In this paper we provide an overview of the literature concerning positively invariant sets and their application to the analysis and synthesis of control systems.

ELECTROANALYTICAL FLOW MEASUREMENTS

A review based on 94 cited original papers describes recent achievements in application of different electrochemical detection in flow analysis, injection techniques of flow analysis, liquid chromatography and capillary electrophoresis.

一种五自由度机电测控系统的设计与实现

文章提出了一种基于五自由度机电系统的测控系统设计方法,并从机械系统构成、测控系统结构及软硬件设计方面论述了系统实现技术。针对系统特定的功能要求,文章详细介绍了位姿组合测量和各位姿自由度控制的测控方法,并应用模块化设计和数据流分析方法进行软硬件设计。通过实验进行系统特性分析,得到运行参数指标。实验证明这种设计方法和实现技术合理可行。

超燃燃烧室一维流场分析模型的研究

对公开发表的用于超声速燃烧流场分析的几种一维模型进行了研究，指出了其中存在的问题，研究结果表明：基于实验静压数据的一维模型，若不借助必要的流场测量数据或分析结果，或借助于经验性的处理方法，单靠一维假设，无法获得较为完整的一维流场分析结果。改进后的一维模型降低了数据处理过程中的不确定性，提高了对一般情况的适应能力。用编制的计算程序SSC-2对两组典型的超燃燃烧室壁面静压实验数据进行了演算，取得了燃烧室出口总压恢复系数的计算值与测量值基本一致的好结果。

多级安全OS与DBMS模型的信息流及其一致性分析

数据库安全与操作系统安全密不可分,如果多级安全DBMS的安全策略不违反OS的安全策略,那么可以使用多级安全OS的安全机制来实现DBMS的部分安全功能,如强制访问控制.信息流分析使我们能更好地理解安全策略的意义和内容.该文给出了多级安全OS模型和以该模型为基础的多级安全DBMS模型,首次详细分析了它们在强制访问控制策略下的信息流集合.经过主客体的映射后,证明了数据库与操作系统的信息流集合是一致的,这个结论保证了利用OS的机制来实现DBMS的强制访问控制的合理性.

移动对象数据库模型、查询语言及实时交通流分析

提出一种移动对象数据库模型——Dynamic Transportation Network Based Moving Objects Database(简称DTNMOD),并给出了DTNMOD中基于移动对象时空轨迹的网络实时动态交通流分析方法.在DTNMOD中,交通网络被表示成动态的时空网络,可以描述交通状态、拓扑结构以及交通参数随时间的变化过程;网络受限的移动对象则用网络移动点表示.DTNMOD模型包含了完整的数据类型和查询操作的定义,因此可以在任何可扩充数据库(如PostgreSQL或SECONDO)中实现,从而得到完整的数据库模型和查询语言.为了对相关模型的性能进行比较与分析,基于PostgreSQL实现了一个原型系统并进行了一系列的实验.实验结果表明,DTNMOD提供了良好的区域查询及连接查询性能.

采用基本块规约的控制流检测性能优化方法

控制流检测是抵御单粒子事件的有效手段之一.目前的主流方法是采用嵌入式签名技术, 但是该技术引入的检测指令过多, 导致程序效率低下. 本文使用基本块规约的技术, 在原基本块的基础上, 选择合适的约束量重新划分基本块, 减少引入的检测指令. 与8个常见算法的性能比较表明, 该方法在软错误检测覆盖率基本不变的前提下,能有效提高目标程序效率.

针对瞬时故障的控制流容错技术研究

随着微电子器件复杂度的提高，空间辐射对于计算机程序的正确性影响正越来越明显。一般情况下，这些影响并不是永久的，而是瞬时故障。无论是太空中的信息处理系统、嵌入式实时控制系统，还是计算机集群、高性能超级计算机都可能由于错误的输出而导致灾难性的后果。 传统的可靠性系统采用抗辐射部件和冗余的硬件来达到可靠性的要求，但是其价格昂贵，性能落后于今天的商用部件（COTS）。针对COTS在容错能力上存在的不足，软件容错技术可以在不改变硬件结构的情况下，有效的提高计算机系统的可靠性。 瞬时故障在软件层面上主要表现为控制流错误和数据流错误，本文主要针对控制流错误进行容错处理。软件实现的控制流容错技术通过在编译时加入冗余的容错逻辑，在程序执行时进行控制流错误的检测和处理。 如何在保证容错能力的同时，尽量降低冗余逻辑所带来的系统开销，是控制流容错需要解决的主要问题。本文从控制流错误的基本概念，容错单元的选择，签名信息的建立，签名点和检测点的插入位置几个角度对控制流容错进行研究，主要内容有： 1．对常见的控制流容错方法进行了分析比较，对其优点和不足予以说明。 2．对控制流错误进行了分类，以此为基础，提出了基于相关前驱基本块的控制流容错方法（CFCLRB）。 3．提出了一种签名流模型，提出了基于签名流模型的控制流容错方法（CFCSF）。该方法能够对基本块间控制流错误进行检测，具有较低的时间开销、空间开销和较高的错误覆盖率。同时，该方法可以根据容错尺度的要求，灵活的插入和删除签名点与检测点，具有极强的扩展性。该方法还可以应对动态函数指针这种编译时难以确定的控制流情况。 4．基于汇编指令对上述方法予以实现，并实现了国际上常用的控制流容错方法Control Flow Checking by Software Signatures（CFCSS）和Control-flow Error Detection through Assertions（CEDA）做为对比。通过加入冗余的指令逻辑，完成了对原程序的容错功能。 5．基于PIN工具实现了对控制流错误的注入，在相同的实验环境下对CFCLRB ，CFCSF，CFCSS，CEDA进行了对比实验。实验表明, CFCLRB的时间开销为26.9%，空间开销为27.6%，相比不具容错能力的原程序，其错误覆盖率从66.50%提升到97.32%。CFCSF的时间开销为14.7%，空间开销为22.1%，相比不具容错能力的原程序，其错误覆盖率从66.50%提升到96.79%。相比CFCSS，该方法的时间开销从37.2%下降到14.7%，空间开销从31.2%下降到22.1%，错误覆盖率从95.16%提升到96.79%。相比CEDA，该方法的时间开销从26.9%下降到14.7%，空间开销从27.1%下降到22.1%，错误覆盖率仅从97.39%下降到96.79%。 最后，本文对控制流容错的未来研究方向进行了展望。

基于基本块的控制流检错方法优化研究

系统的高可靠性是研究航空航天领域的一个重要指标. 由于太空环境的特殊性, 辐射和高能粒子会造成计算机系统的出现瞬时性错误, 这种错误被称作软错误, 它对航空航天器件造成了很大的影响, 严重降低系统的可靠性. 检测和防护这种软错误是航空航天系统中的重要研究方向之一. 软错误的检测和防护包括硬件防护与检错, 软硬件混合检错以及纯软件检错等. 随着商用器件的广泛使用, 与之相配合的各种软错误软件检错方法开始得到深入的研究, 在各种软件检错方法中, 控制流检测是抵御单粒子事件的有效手段之一.目前的主流方法是采用嵌入式签名技术, 但是该技术引入的检测指令过多, 导致程序效率低下. 本文从总结控制流检测技术的共同点出发, 分析该技术导致效率低下的原因：由于基本块定义的约束导致程序中基本块过多, 进而在代码注入过程中引入过多的判断及跳转指令, 导致程序效率低下. 本文针对这种情况, 提出了一种基于源代码分析的基本块规约的方法. 该方法通过修改基本块定义的约束, 使在新的基本块定义下每个基本块能够容纳更多的指令, 减少检测指令的注入, 提高效率；并且在新的基本块定义下, 原来的控制流检错方法仍可以不加修改的直接应用于新的基本块定义上. 该方法能在不修改benchmark源代码以及控制流检测方法的基础上, 选择合适的约束量重新划分基本块, 减少引入的检测指令. 本文中使用该方法以ECCA, CFCSS和RSCFC三个控制流检错方法作为验证对象, 使用这3种控制流检错方法, 在不同的约束量作用下, 对8个常见算法的benchmark进行了软错误覆盖率测试和效率测试. 多次实验数据表明, 该方法在提高检错算法效率的同时, 能够保持软错误检错的覆盖率基本不变. 在对控制流检错算法进行优化的同时, 本文还完成了相应的控制流分析工具, 基于模拟器的错误注入和代码片段执行时间检测工具等. 有效的对优化算法进行了评估和测试.

JUTA:一个Java自动化单元测试工具

描述了一个Java自动化的单元测试工具JUTA.JUTA首先调用工具Soot解析单个Java方法的源码,并将源码解析成一个控制流图.在此基础上,采用符号执行的方法分析控制流图上的路径.工具能够自动地产生满足覆盖率标准的程序的测试用例.这种方法产生的所有测试用例都是可执行的,并且一般来说具有较小的测试用例数.如果用户能够合理地给出描述程序错误的断言,框架JUTA能够自动地检查源码中部分特定类型的错误.实验结果表明工具对Java单元代码的动态测试和静态测试均能在可接受的时间内给出有效的结果.

incremental learning of triadic plsa for collaborative filtering

Beijing University of Technology (BJUT); Beijing Municipal Lab of Brain Informatics; Chinese Society of Radiology; National Natural Science Foundation of China (NSFC); State Administration of Foreign Experts Affairs

地下水位上升造成的黄土远程滑坡形成机理与数值模拟研究

Based on field survey, laboratory testing and numerical modeling, engineering characteristics of undisturbed loess and the mechanism of long-runout loess landslides caused by underground water level rise, as well as the formation conditions and spatial distribution of landslides, are systematically studied and analyzed. Loess landslides at south Plateau of Jingyang County are mainly classified as flowslide, slide and fall. Flowslide is the main type characteristic of high velocity, long runout and multi-stages. The steep relief composed of loose structured loess-old aged soil serials and the rise of groundwater table are the predominant conditions for landslides in the study area. To study loess mechanic poperties and loess landslides mechanisims, isotropically and anisotropically consolidated undrained compression(ICU and ACU) tests and constant-deviator-drained compression (CQD) tests were carried out on undisturbed samples. The results of undrained compression tests performed at the in-situ stress level show that the soils are of consistently strain-softening in the stress-strain relations and cause high excess pore pressure. The steady-state line and the potential region of instability are obtained from ICU and ACU test results. A necessary condition for liquefaction is that the soil state initially lies in or is brought into the potential instability region. In addition, a strong strain-softening model is also formed. CQD tests demonstrate that the mobilized friction angle is far less than the steady-state angle and that the soil experiences undrained contractive failure suddenly at very small strains when its stress path during drained loading tries to cross the potential instability region，thus validates the proposed instability region. Based on the location of the region of potential instability and the stress state of slope soil, a method of static liquefaction analysis is proposed for loess landslides caused by rise in groundwater table. Compared with other liquefaction analysis methods, this method overcomes the limitations inherent in conventional slope stability method and undrained brittleness index method. Triaxial tests composed of constant water content (CW) and wetting tests at constant deviator stress are performed on undisturbed unsaturated samples. The stress-strain relation of CW tests takes on strain-hardening behavior; The results of wetting tests at constant deviator stress designed to study the mechanics of failure of unsaturated loess caused by an increase in the degree of saturation (wetting) shows that a contractive failure occurs in the undisturbed samples. On the basis of the above triaxial test results, the initiation of static liquefaction is presented for long-runout loess landslides caused by rise in groundwater table, that is, the loess slope soil gradually transfer from unsaturated to saturated state under the infiltration of irrigation. A contractive failure occurs in the local region at very small strain by increasing the pore-water pressure at constant deviator stresses under drained conditons. It is the contractive failrue resulting from rise of pore pressure that leads to high excess pore pressure in the neighbour soil which reduces shear resistance of soil. The neighbour soils also fail due to the rapid increase in pore-water pressure. Thus a connected failure surface is developed quickly and a flowslide occurs. Based on the saturated-unsaturated seepage theory, transient seepage is computed using the finite element method on loess slope under groundwater table rise. Pore-water pressure distribution for every time step after irrigation are obtained. The phreatic surface in the slope increases with the groundwater table. Pore-water pressure distribution within 8m above the phreatic surface changes very quickly，but the water content and pore water pressure in the region ranging from 8m above the phreatic surface up to ground surface is almost not affected and the matric suction usually is kept at 100～120 kPa. Based on the results of laboratory tests and seepage flow analysis, the development process of loess landslide is modeled considering groundwater table rise. The shearing plastic zone first occurs at the slope toe where the soil is soaked for long term during rise in groundwater table. As irrigation continues, the shearing plastic zone gradually extends to the interior soils, with the results that the tensile plastic zone occurs at the slope crown. As time goes on, both the shearing plastic zone and tensile plastic zone continue to extend. Then a connected plastic zone is formed and fowslide occurs. In comparision to laboratory test results, the results of numerical simulation quite well verify the presented mechanism of static liquefaction of long-runout loess landslides caused by rise in groundwater table.