Node-pair reliability of network systems with small distances between adjacent nodes

A new method for computing the node-pair reliability of network systems modeled by random graphs with nodes arranged in sequence is presented. It is based on a recursive algorithm using the “sliding window” technique, the window being composed of several consecutive nodes. In a single step, the connectivity probabilities for all nodes included in the window are found. Subsequently, the window is moved one node forward. This process is repeated until, in the last step, the window reaches the terminal node. The connectivity probabilities found at that point are used to compute the node-pair reliability of the network system considered. The algorithm is designed especially for graphs with small distances between adjacent nodes, where the distance between two nodes is defined as the absolute value of the difference between the nodes’ numbers. The maximal distance between any two adjacent nodes is denoted by Γ(G), where G symbolizes a random graph. If Γ(G)=2 then the method can be applied for directed as well as undirected graphs whose nodes and edges are subject to failure. This is important in view of the fact that many algorithms computing network reliability are designed for graphs with failure-prone edges and reliable nodes. If Γ(G)=3 then the method's applicability is limited to undirected graphs with reliable nodes. The main asset of the presented algorithms is their low numerical complexity—O(n), where n denotes the number of nodes.     

一种便于观测的信号抽样及复原方法

利用倍频器，将重复频率与连续信号ｔ（ｔ）的频率相同的方波进行若干次倍频后，对连续信号进行抽样，从而获得离散的抽样信号ｆｓ（ｔ），再利用有源低通滤波器使其复原成连续信号ｆ（ｔ）。避免了一般抽样器不便于观测的缺点。     

The traditional Yemeni window and natural lighting

The traditional Yemeni window is considered to be one of the most important elements that characterize the yemeni architecture. The beauty of the traditional Yemeni window comes from its four main components which combined the functions of view, lighting, ventilation, protection, and privacy. These functions can be controlled by the occupants according to their social and environmental needs. The four main components are the lower part (Taqah), the fanlight (Qamariyah), the wooden external overhang (Konnah), and the small vent (Shaquos). Since fanlights provide natural lighting during day-time, the area of the lower part can be reduced and its exterior shutters can be closed without the need for artificial lighting. The internal natural lighting that is provided by the upper and lower parts of the window was investigated to see its quality. In this investigation, there were two main goals. The first is the contribution and quality of the internal light provided by the Qamariyah when shutters are closed. The second is the effect of the internal simple white cloth curtains, in the lower part, in the internal light quality. Visual measurements were taken in a typical room of a traditional house of the Old City of Sana'a, Yemen. From the findings, it was found that the fanlights (Qamariyat) provide low and soft homogeneous internal lighting which was as low as 22 lux average. However, the occupants have the ability to increase level of lighting to as high as 600 or 700 lux. This can be done simply by deciding which shutter to open and how many of them to be opened. In this paper, the methodology and findings will be presented and discussed.     

补偿式光纤双法布里－珀罗微位移测量系统

本文提出一种能补偿环境影响的,插入光纤传光介质的新型微位移测量系统和灵敏度阈的实验结果.由于采用平行双通道的结构,系统具有高精度、抗干扰的补偿法特点.该系统适合于微位移(纳米级)测量,可用于检定其它高精度位移传感器,几何量计量中定位,微细加工表面轮廓测量以及可以转换成微位移量或光程差的其它物理量测量中.     

套管开窗侧钻技术在吐哈老井改造中的应用

从侧钻井层、开窗工艺、井身剖面的优选和井眼轨迹控制、固井措施优化等方面，详细总结了套管开窗定向侧钻技术在吐哈油田老井改造中应用的经验，系统地描述了该技术应用的地质条件和工程要素，提出了吐哈侧钻井层优选的量化指标和固井质量的优化措施。近两年，该技术在老井治理、开采难动用储量、提高采收率、降低开发钻井成本等方面展现出广阔的前景。     

铜蒸汽激光器双闸流管触发系统的研究

研制成用于钢蒸汽激光器的双间流管触发系统。用两个闸流管并联进行交替触发，总输入电功率达7．8kW。低功率运行时，激光器的效率为0．6％与单间流管激光器的效率一致。     

Performance of in-call buffer/window allocation schemes for short intermittent file transfers over broadband packet networks

While static open loop rate controls may be adequate for handling continuous bit rate (CBR) traffic, relatively smooth data traffic, and relatively low speed bursty data traffic over broadband integrated networks, high speed bursty data sources need more dynamic controls. Burst level resource allocation is one such dynamic control. Potential benefits and other issues for burst level resource parameter negotiations for bursty data traffic over high speed wide area packet networks have been discussed earlier.^1–6 A detailed analysis of an adaptive buffer/window negotiation scheme for long file transfers using these concepts is presented in Reference 1. In this paper we discuss two burst level buffer/window negotiation schemes for short intermittent file transfers, focusing on the specific needs of such traffic streams. We develop closed network of queues models to reflect the behaviour of the proposed schemes. These models, while being simple, capture essential details of the control schemes. Under fairly general assumptions, the resulting network of queues is of product form and can be analysed using the mean value analysis. We use such an analysis to compare the proposed schemes and to determine appropriate sizes of trunk buffers to achieve the desired balance between bandwidth utilization and file transfer delay. The effects of other parameters on the performance of these schemes as well as on the buffer sizing rules are also discussed. Burst level (in-call) parameter negotiation may be carried out by the end system with the network elements or by an interface system (access controller) with the broadband network elements. We discuss implications of this location as well as the needed protocol features. Finally, the service discrimination capabilities desired at the trunk controllers in switching nodes are briefly discussed.     

Political orientation and modern versus aversive racism: Tests of Dovidio and Gaertner's (1998) integrated model.

According to J. F. Dovidio and S. L. Gaertner's (1998) integrated model of racism, politically liberal European Americans tend to express racism differently than conservative European Americans, with liberals demonstrating aversive racism and conservatives, symbolic or modern racism. In support of the model, in Experiment 1 liberals showed bias in favor of a twice-prosecuted African American relative to a European American in their judgment of double jeopardy, whereas conservatives did the reverse. Experiment 2 replicated these effects while eliminating a confound in the design of Experiment 1. Experiment 3 found evidence for the intrapsychic conflict hypothesized to underlie aversive racism. Specifically, only liberals displayed greater physiological arousal to the touch of an African American versus a European American experimenter. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

孔板—均速管组合法测量汽—水两相流双参数

利用孔板与均速管组合在线测量汽—水两相流双参数，解决了稠油热采中同时测量蒸汽流量与干度的难题。其工作程序用Mcs-51单片机汇编语言编制而成，主程序由初始化、数据采集处理，热物理参数生成、汽—水两相流量、干度、质量流量、热量计算以及累计运算等模块组成。通过在现场进行标定；干度用化验CI^-法进行标定，流量用锅炉入口的涡轮流量计标定。经胜利和新疆两油田进行的大量试验可知，该仪表测量水蒸汽流量和干度其均方差皆小于7%，满足了工业应用要求。     

Experience with Applying Formal Methods to Protocol Specification and System Architecture

In the last three years or so we at Enterprise Platforms Group at Intel Corporation have been applying formal methods to various problems that arose during the process of defining platform architectures for Intel's processor families. In this paper we give an overview of some of the problems we have worked on, the results we have obtained, and the lessons we have learned. The last topic is addressed mainly from the perspective of platform architects.