基于分布式信息流控制的MapReduce隐私安全加强方案研究

随着信息技术的发展,分布式系统被广泛应用于金融、医疗等领域。其中以基于MapReduce的数据挖掘为代表的应用对隐私的保护往往有很高的要求。本文提出一个基于分布式信息流控制的MapReduce框架,用以保证MapReduce中信息的私密性和完整性,同时给出系统原型的实现。     

基于SkypeP2P混合模式网络的流量控制技术的研究

Skype是一款基于新一代P2P通讯技术的全球性互联网通讯软件,它通过互联网在全世界范围内向客户提供免费的高质量通话服务,Skype使用了P2P协议混合技术,这是P2P技术发展演化过程的新形式,它结合了集中式和分布式的特点,在网络的周边节点采用集中式,在超级节点之间采用分布式。文章重点通过对Skype混合P2P网络机制的研究,提出了一种针对Skype通讯网络流控阻断的实现方法。     

煤矿管道瓦斯流量计量技术研究

阐述了煤矿管道瓦斯流量计量技术的发展现状,分析了孔板流量计、涡街流量计、皮托管流量计、旋进漩涡流量计、V锥流量计的优缺点;针对瓦斯流量测量准确度受气体中的杂质和瓦斯体积分数变化影响的问题,提出了解决办法;建议煤矿瓦斯抽放管网中的主管、干管、支管采用V锥流量计,汇流管以及各评价单元采用多点采样的插入式流量计;指出煤矿管道瓦斯流量计量应根据不同的现场状况、工况条件及测量需求选择相应的流量计。     

Stability analysis and H∞ control for hybrid complex dynamical networks with coupling delays

This paper formulates and studies a model of complex dynamical networks with switching topology and coupling delays. Based on the hybrid control and Lyapunov function, the stability and robust H_∞ control of such networks with impulsive and switching effects, which have not been studied before, are addressed with some criteria derived. Examples are given to illustrate the effectiveness of the theoretical results. Copyright © 2011 John Wiley & Sons, Ltd.     

Infants' sensitivity to optical flow for controlling posture.

Infants' sensitivity to optical flow for controlling sitting and standing was tested using a "moving room" in which all of the walls moved together, or only the side walls or front wall moved. Two questions motivated this research. (a) is the optical flow necessary for inducing postural compensations spatially distributed in the optic array? (b) Do visually induced compensations follow a developmental progression, or alternatively, emerge all at once? Experiment 1 was designed to test postural compensations by 14-month-old infants capable of standing in the moving room. Experiment 2 was designed to test postural compensations by 5- to 9-month-old infants who were passively supported while sitting in the moving room. The results revealed that partial flow is generally sufficient for inducing postural compensations, but that the amplitude and consistency of the response depend on the location of the flow in the optic array. In addition, there was evidence suggesting that compensatory responses become increasingly systematic during the second half of the first year. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Efficient removal of boundary-divergence errors in time-splitting methods

A normal mode analysis is presented and numerical tests are performed to assess the effectiveness of a new time-splitting algorithm proposed recently in Karniadakiset al. (1990) for solving the incompressible Navier-Stokes equations. This new algorithm employs high-order explicit pressure boundary conditions and mixed explicit/implicit stiffly stable time-integration schemes, which can lead to arbitrarily high-order accuracy in time. In the current article we investigate both the time accuracy of the new scheme as well as the corresponding reduction in boundary-divergence errors for two model flow problems involving solid boundaries. The main finding is that time discretization errors, induced by the nondivergent splitting mode, scale with the order of the accuracy of the integration rule employed if a proper rotational form of the pressure boundary condition is used; otherwise a first-order accuracy in time similar to the classical splitting methods is achieved. In the former case the corresponding errors in divergence can be completely eliminated, while in the latter case they scale asO(vt)_1/2.     

Two new characteristic parameters for runoff computation

A method capable of estimating the hydrograph from a prescribed storm for a practical mild slope upstream catchment is proposed. This method makes use of two new characteristic parameters, andS, in conjunction with the kinematic wave equation to compute lateral inflows of the main stream of the catchment. The depth profile of overland flow at any instant within the catchment and hydrograph at any location can be easily found. Lag times for individual lateral inflows are then considered and are linearly combined to obtain the hydrograph at the outlet of the catchment or depth profile of the main stream at any instant. The validity of the excess rainfall-surface runoff linear relationship in this study has also been verified with Tatsunokuchiyama catchment, and it shows good results for this computed runoff.     

���׸ߵ����ѷ��ݻ�����ԭʼ�������㷽��̽��

本文把与井简直接连通的大裂缝及井筒定义为“裂缝—井筒系统”,通过气体状态方程的变换和续流总量的计算,探索出井底大裂缝的容积及其储量的计算方法。     

Numerical simulation of dispersed gas-liquid flows

This paper reviews the available information on numerical simulation of dispersed gas-liquid flows. Emphasis is on informing the reader about various aspects of constructing simulation models rather than giving an exhaustive literature review. The information is organised in a way so as to provide answers to the following questions: how to formulate model equations? how to select suitable algorithms and numerical techniques to solve these model equations? how to translate these into workable computer codes? how to use such codes for simulating flows in industrial equipment? Though greater emphasis is given to dispersed gas-liquid flows, the methodology can be applied to any multi-phase problem. Special features of multi-phase flow simulation over single-phase simulation are highlighted. A case of gas-liquid flow in a bubble column is presented as an illustration for the general methodology. The simulated mean flow field agrees reasonably with the experimental data. Properly validatedcfd codes thus can serve as a useful tool for design engineers of multi-phase systems. Some of the common pitfalls in using simulation codes for design are also discussed. This review is expected to give an overall idea about the present state-of-art of two-phase simulation in industrial equipment.     

CLP(ℜ) and some electrical engineering problems

The Constraint Logic Programming Scheme defines a class of languages designed for programming with constraints using a logic programming approach. These languages are soundly based on a unified framework of formal semantics. In particular, as an instance of this scheme with real arithmetic constraints, the CLP() language facilitates and encourages a concise and declarative style of programming for problems involving a mix of numeric and non-numeric computation.In this paper we illustrate the practical applicability of CLP() with examples of programs to solve electrical engineering problems. This field is particularly rich in problems that are complex and largely numeric, enabling us to demonstrate a number of the unique features of CLP(). A detailed look at some of the more important programming techniques highlights the ability of CLP() to support well-known, powerful techniques from constraint programming. Our thesis is that CLP() is an embodiment of these techniques in a language that is more general, elegant and versatile than the earlier languages, and yet is practical.An earlier version of this paper appeared in the proceedings of the 4th International Conference on Logic Programming, Melbourne, May 1987. Much of this work was carried out while the authors were at Monash University, Melbourne, Australia.