网络协议中的时间约束测试

对协议实现的时间约束进行测试,是验证协议实现的实时特性的重要方法.本文考查了当前实时系统测试方面的进展,结合路由协议测试的实践,修正了现有方法几个不符合实际情况的假设,扩展了时间自动机的理论和思路,将时间约束下的状态机转换成非确定性有限状态自动机,运用Wp方法生成抽象测试集,讨论将抽象测试集参数化的方法.以路由协议RIP的时间约束为例说明了生成基于TTCN测试例的过程.     

液晶显示驱动电路中Fibonacci型电荷泵单元

本文中所设计的电荷泵将用于手机液晶显示驱动模块中.通过对Fibonacci型电荷泵上升时间的估算,对减小上升时间和动态功耗进行折中考虑,本文提出优化开关频率的方法.用1.2μm CMOS双阱工艺参数对所设计的电荷泵进行模拟,结果表明这个电荷泵具有较快的上升速度和较高的效率.通过提高V_GS电平和保证开关管的衬底始终接在最高电位上,文中提出了一种新型Fibonacci电荷泵,它可以正常工作在从1.2V到5V变化的多种电源电压下.     

一种新的加权最小二乘测距定位方法

三站二维定位问题是最小定位问题，一般只利用几何关系就能获得定位估计，但由于未利用距离测量的统计信息，定位精度较差。该文先将点到点的距离测量转化为点到线的距离估计，再在此基础上推导出一种新的加权几休定位方法，其中加权的确定利用了距离测量的统计信息。仿真实验表明，在测距误差较小时新方法具有更高的定位精度。     

Effects of contact shape on biological wet adhesion

Wet adhesion is widely adopted in biological adhesion systems in nature. Wet adhesion is studied in this paper with the focus on the effect of different contact shapes (flat, concave, convex, and ring-like) on the adhesion force. The evolution of the liquid bridge between a fiber tip and substrate during the detaching process shows two transition points. The first transition from the radius-controlled to the contact-angle controlled process is critical to influence the strength and robustness of adhesion. We show that a concave shape is more effective than a flat one, while a convex shape has no advantage. A ring-like contact shape has advantages in a hydrophobic environment and on a rough surface.     

New evidence of surface mineralization of collagen fibrils in wild type zebrafish skeleton by AFM and TEM

Zebrafish (Danio rerio) has been generally accepted as a simple model to investigate the vertebrate tissues. In this study, comparative observations to the structural characteristics of the wild type zebrafish skeletal bone before and after decalcification were performed to gain information about surface mineralization in the collagen-mediated mineralization system using Transmission Electron Microscope (TEM) and Atomic Force Microscope (AFM). TEM observations to the decalcified samples showed empty space between the surfaces of the collagen fibrils. However in the TEM micrographs of the sections without staining and decalcification, hydroxyapatite (HA) crystals are observed to deposit on the surfaces, filling in the space and making the mineralized fibrils compactly aligned, with the diameter increasing to more than 150 nm. Consistent evidence was supplied by the AFM observations, which also indicated that the mineralized fibrils become thicker and more compactly aligned. Moreover, it was revealed that the diameters of the mineralized fibrils increase, as mineralization becomes heavier. In highly mineralized areas, they aggregate into thicker fibers. All of these data have provided the first visual evidence supporting the concept of surface mineralization on the collagen fibrils in the zebrafish skeleton system, by which the structural complexity is achieved.     

Effects of grain sizes, shapes, and distribution on minimum sizes of representative volume elements of cubic polycrystals

In the literature the concept of representative volume element (RVE) was introduced to correlate the effective or macroscopic properties of materials with the properties of the microscopic constituents and microscopic structures of the materials. However, to date little quantitative knowledge is available about minimum RVE sizes of various engineering materials. In our recent paper [J. Mech. Phys. Solids 50 (2002) 881], a new definition of minimum RVE size was introduced based on the concept of nominal modulus. Numerical experiments using the finite element method (FEM) were then carried out for determining the minimum RVE sizes of more than 500 cubic polycrystals in the plane stress problem, under the assumption that all grains in a polycrystal have the same square shape––called the simple polycrystal model. The major finding is that the minimum RVE sizes for effective elastic moduli have a roughly linear dependence on crystal anisotropy degrees. The present paper takes into account the effect of grain sizes, shapes, and distribution on the minimum RVE sizes for real cubic polycrystals that are formed by crystallization processes. Similar roughly linear dependence is found again, with the slope about 19% lower than that in the simple polycrystal model. This finding is interesting and useful because numerical experiments on minimum RVE sizes for a large number of crystals are quite time-consuming and the simple polycrystal model reduces significantly the FEM pre- and post-processing works. This should be particularly true in numerically testing minimum RVE sizes for three-dimensional polycrystals and for nonelastic properties in future works. With a maximum relative error 5%, all the polycrystals tested have a minimum RVE size of 16 or less times the grain size.     

相变储能材料研究进展

综述了固-固相变储能材料（s-S PCMs：sofid-solid phase change materials）、固-液相变储能材料（s-1 PCMs：solid—liquid phase change materials）的主要优缺点，并主要介绍了以下2种封装方式：（1）PCMs与基体材料复合制成定型PCMs，包括：与有机高分子材料机械共混、用无机多孔材料封装；（2）PCMs微囊化。此外，还分析了PCMs的主要应用领域及PCMs的主要研究方向。     

Generalized difference control of parallel streams temperatures

A furnace with multiple parallel passes and multiple burners is commonly seen in petroleum refineries. In order to maintain the furnace running in a safe, stable, and high-efficiency state it is necessary to control the outlet temperatures of the multiple passes to be the same. Due to the fact that the process of the oil heating in such furnace is nonlinear, multivariable, time varying, has serious coupling among passes, has frequent dynamic changes and a large time delay, traditional control methods have trouble in controlling these temperatures, and some advanced control methods, including predictive control, adaptive control, and robust control, are usually too complex for convenient use. In this paper, a control technique, called differences control technique (DsCT), is proposed to distribute the stream flowrates such that the stream temperatures are as identical as possible. The principle of the proposed technique is explained and demonstrated, and the results of its application to a real-life petroleum refinery furnace are also reported. The DsCT technique has the following advantages: it does not need complicated design procedures, the controller structure is simple, it is easy to apply, and it can be canonically applied to furnaces with different number of passes.     

Peracetic acid pretreatment of sugarcane bagasse for enzymatic hydrolysis: a continued work

Previous work has shown that the enzymatic hydrolysis of sugarcane bagasse could be greatly enhanced by peracetic acid (PAA) pretreatment. There are several factors affecting the enzymatic digestibility of the biomass, including lignin and hemicelluloses content, cellulose crystallinity, acetyl group content, accessible surface area and so on. The objective of this work is to analyze the mechanism of the enhancement of enzymatic digestibility caused by PAA pretreatment. Delignification resulted in an increase of the surface area and reduction of the irreversible absorption of cellulase, which helped to increase the enzymatic digestibility. The Fourier transform infrared (FTIR) spectrum showed that the absorption peaks of aromatic skeletal vibrations were weakened or disappeared after PAA pretreatment. However, the infrared crystallization index (N.O'KI) was increased. X‐ray diffraction (XRD) analysis indicated that the crystallinity of PAA‐treated samples was increased owing to the partial removal of amorphous lignin and hemicelluloses and probable physical change of cellulose. The effect of acetyl group content on enzymatic digestibility is negligible compared with the degree of delignification and crystallinity. The results indicate that enhancement of enzymatic digestibility of sugarcane bagasse by PAA pretreatment is achieved mainly by delignification and an increase in the surface area and exposure of cellulose fibers. Copyright © 2008 Society of Chemical Industry     

A new method for distributing power usage across a sensor network

We present a method for more uniformly distributing the energy burden across a wireless ground-based sensor network communicating with an overhead unmanned aerial vehicle (UAV). A subset of sensor nodes, termed a transmit cluster, receives and aggregates data gathered by the entire network, and forms a distributed antenna array, concentrating the radiated transmission into a narrow beam aimed towards the UAV. Because these duties are power-intensive, the role of transmit cluster must be shifted to different nodes as time progresses. We present an algorithm to reassign the transmit cluster, specifying the time that should elapse between reassignments and the number of hops that should be placed between successive transmit clusters in order to achieve three competing goals: first, we wish to better and more broadly spread the energy load across the sensor network while, second, minimizing the energy expended in moving the transmit cluster, all the while, third, reducing to the extent practicable the time to bring the UAV and the sensor network’s beam into alignment. Additionally, we present a method for reconfiguring the communication burden between the ground-based sensor network and the UAV. We describe and analyze two alternative strategies to bring the UAV and the sensor network’s beam into alignment, while minimizing the energy expended by the sensor network. The performance of the two strategies is compared in terms of probability of beam-UAV alignment as a function of time, and the expected time to alignment. We examine the performance tradeoff between the choice of strategy and parameters of the sensor network that affect power conservation.