支持软件进化的界面结构

本文提出了支持软件进化的界面结构，它能在不修改源程序的基础上实现界面的动态溶变。此结构按多叉树组织，并提供相应的方法对此多叉树实施实时管理，这为软件的自适应、自我国进化提供了重要基础。同时它也为开放对象消息界面的进化提供了恰当的支持。     

Granularity Analysis for Exploiting Adaptive Parallelism of Declarative Programs on Multiprocessors

1IntroductionAutomaticparallelexecutionofdeclarativelanguageprograms(e.g.functionprogramsandlogicprograms)isattractive,asitmakestheuseofparallelcomputersveryeasy,andtheprogrammerneednotbeconcernedwiththespecificsoftheunderlyingparallelarchitecture.However,ifseveralprocessorsareexecutingconcurrently,exploitingadaptiveparallelismishardduetonon-determinismoftaskgranularityanddatadependenciesamongtasks.TheearlysolutionproposedbyConeryandKibler[2]usesanorderingalgorithmtodeterminedependenciesatrun…     

智能压力传感器

讨论了压阻式智能传感器的设计,并以80C31单片机为核心构成了一个能检测压力、温度的智能传感器,它能实现量程的自动变换、故障的自诊断及数据的处理,通过软件实现了对半导体传感器的零点修正、非线性修正及温度补偿。实验表明,传感器的智能化改善了传感器的性能。     

石油钻机提升系统穿绳方法研究

目前国内外钻机大绳一般采用顺穿法或花穿法。分析了2种穿绳方法的受力特点,大绳顺穿时游车的受力不平衡,会发生倾斜和摆动;采用大绳花穿方法,避免了游车的倾斜和摆动,但造成大绳入轮槽的倾角大,大绳易脱槽。顺穿法一般在电动钻机上采用,主要考虑到电控操作提升系统比较平稳;花穿法一般在机械钻机上使用,以受力平衡来缓解气控操作带来的冲击载荷的影响。为了克服这2种穿绳方法的不足,提出了两行双联滑轮组顺穿法和双联滑轮组顺穿法,可以提高安全性,减少磨损。     

EMMP: a highly efficient membership management protocol

Gossip (or epidemic) algorithms have recently become popular solutions to multicast message dissemination in peer-to-peer systems. Nevertheless, it is not straightforward to apply gossip to on-demand streaming because it often fails to achieve a timely delivery. To solve this problem and taking into account the characteristic of peers randomly joining and leaving in peer-to-peer systems, an Efficient Membership Management Protocol (EMMP) has been presented. Every node only needs to keep contact with O (log(N)) nodes, and EMMP can support the reliable dissemination of messages. Considering the “distance” between peers, it causes the major data to be transmitted in a local area and reduces the backbone’s traffic, and speeds up the dissemination of messages between peers. This paper has adopted the “goodfriend” mechanism to reduce the influence on the system when a peer fails or leaves. Simulation results show that EMMP is highly efficient, and both the redundancy and the delay of the system are well solved.     

Separating inviscid flows

Summary The separating flow of an inviscid fluid is not only a limit solution of the steady separating, laminar fluid flow at high values of the Reynolds number but it is also part of its structure (Smith [1], [2]). This work aims at reexamining the separating flow of inviscid fluid past a bluff body which is fixed in an otherwise uniform stream of fluid. For the purpose of this paper we will assume that the bluff body is a circular cylinder but the theory is applicable to bodies of any shape. It is further assumed that the fluid is in steady two-dimensional motion and is inviscid and of constant density. The flow structure is assumed to consist of a separated flow region, caviting flows in which there exists a free surface on which the pressure is constant, and a wake. A twin spiral vortex model is used in order to determine the shape of the free streamline. Based on the free streamline theory the problem reduces to solving a mixed boundary value problem and a Hilbert solution for the inverse problem in the auxiliary plane is obtained. When we consider the flow in the physical plane the problem is transformed into a direct problem in which the geometry of the solid body is given in advance. We assume that the separation is smooth and thus the curvature of the free streamline at the point of free detachment be equal to that of the body surface. A numerical method for solving the two-dimensional potential flows past arbitrarily shaped curved bluff bodies is developed.When the cavitation number is zero the angle of separation is approximately 55° and the computed results predict that the position of the separation point will move backward as the cavition number increases. The relationships between the drag coefficient, and the width and length of the cavity is determined and is found to be in very good agreement with the predictions of Smith [1].     

A Novel Athermal 40-Channel DWDM Multi/Demultiplexer Based on the Combination of AWGs and Interleaver

An athermal 40-channel dense wavelength-division-multiplexing multi/demultiplexer using a novel combination technology is proposed. It consists of one 1times4 100- to 400-GHz spacing interleaver filter and four sub-arrayed-waveguide gratings (AWGs). The temperature-dependent wavelength shift of the combined device is successfully suppressed to 0.058 nm in the -20degC to 70degC temperature range. Moreover, the combined device's adjacent crosstalk (typically -35 dB) is much better than conventional AWGs (typically -25 dB).     

China＇s Electric Power Reform：Different Economics and Challenges

China＇s electric power reform has followed the western reform format, however, it doest not seem to have endorsed the liberalization ideology underlying the reform model. This raises the concern of whether and how a competitive power market may be established and reform objectives reached. The new market competition model is easy to build in theory. The experience of many countries suggests that the market reform is extremely difficult because of the interruptions by different interest groups. To transform a centrally planned power sector into a competitive power market is a daunting task. Policy makers need to take into consideration the transitional nature of the economy and power industry as they implement the competitive power market model.     

Displacement Discontinuity Method for Fracture Mechanics Analysis of Reissner Plates: Static and Dynamic

This paper is concerned with the displacement discontinuity method applied to the shear deformable plates (Reissner’s and Mindlin’s theories) with cracks subjected to static and dynamic loads. Fundamental solutions of dislocation are derived using the Fourier transform method and the Laplace transformation technique. Boundary integral equations are presented in terms of rotations/displacement on the crack surfaces. The Chebyshev polynomials of the second kind are used to evaluate the integral equations with hypersingular kernels on the crack boundaries and determine the stress intensity factors at the crack tips. Comparisons are made with other numerical solutions to demonstrate the proposed method is accurate both for static and dynamic problems.