Analysing inaccurate artifact usages in workflow specifications

Although many workflow models have been proposed, analyses on artifacts are seldom discussed. A workflow application with well structured and adequate resources may still fail or yield unexpected results in execution due to inaccurate artifact manipulation, for example, inconsistency between data flow and control flow, or contradictions between artifact operations. Thus, artifact analysis is very important since activities cannot be executed properly without accurate information. This paper presents a three-layer workflow model for designing a workflow and characterises the behaviour of an artifact by its state transition diagram. By abstracting common usages of artifacts, six types of inaccurate artifact usage affecting workflow execution are identified and a set of algorithms to detect these inaccurate usages in workflow specifications is presented. An example is demonstrated and then related works are compared.     

A 4.5-GHz 130-nm 32-KB L0 cache with a leakage-tolerant self reverse-bias bitline scheme

This paper describes a 32-KB two-read, one-write ported L0 cache for 4.5-GHz operation in 1.2-V 130-nm dual-V/sub TH/ CMOS technology. The local bitline uses a leakage-tolerant self reverse-bias (SRB) scheme with nMOS source-follower pullup access transistors, while preserving robust full-swing operation. Gate-source underdrive of -220 mV on the bitline read-select transistors is established without external bias voltages or gate-oxide overstress. Device-level measurements in the 130-nm technology show 72/spl times/ bitline active leakage reduction, enabling low-V/sub TH/ usage, 40% bitline keeper downsizing, and 16 bitcells/bitline. 11% faster read delay and 2/spl times/ higher dc noise robustness are achieved compared with high-performance dual-V/sub TH/ bitline scheme. Sustained performance and robustness benefits of the SRB technique against conventional dynamic bitline with scaling to 100- and 70-nm technology is also presented.     

VOD在有线电视网的实现

从视频点播系统的结构及组成和在有线电视网络中VOD系统的结构模式与应用两个方面，详细地阐述了如何利用有线电视网络实现视频点播，主要从以下3个方面介绍关于视频点播系统VOD技术：①视频点播VOD的技术原理；②视频点播系统的结构及组成；③有线电视视频点播系统的结构模式与应用。     

螺旋翅片管的换热计算

本文引入区域平均表面传热系数的概念。在实验研究的基础上进行了肋基和肋端温度分布预测及肋片换热数值计算。     

Two schemes for detecting CMOS analog faults

A design-for-testability scheme for detecting CMOS analog faults was reported by Favalli et al. (see ibid., vol.25, no.5, p.1239-46, 1990). The authors propose two alternative designs, one for small circuits and another for large circuits, which require significantly less area overhead (about 1/4 to 1/3) than that of Favalli's design. With the proposed modification in the first design, the untestable problem, which occurred in Favalli's design, can be alleviated. Furthermore, the proposed schemes are also fit to be implemented in VLSI circuits     

Robustness of VS-MRAC with respect to unmodelled dynamics and external disturbances

A variable structure model reference adaptive controller (VS-MRAC) using only input and output measurements was recently proposed and shown to be globally asymptotically stable with superior transient behaviour and disturbance rejection properties. In this paper a singular perturbation approach is used in order to establish the robustness of the controller in the presence of unmodelled dynamics (parasitics) and disturbances. We develop a new Lyapunov-based technique to analyse the overall system and show that for sufficiently small parasitics the system remains stable and the output error is small in some sense.     

The material properties of sulphonated phenolic resin reinforced cement mortars

The material properties of new sulphonated phenolic resin (SP) reinforced cement mortars have been investigated. SP was found to promote the dispersion of cement particles and to interact with Ca(OH)₂. As a result, the resulting mortars exhibit better workability, more compact structure and higher compressive strength than plain mortars. The mortar with 1 wt% SP present after 28 days curing exhibits a compressive strength of 66MPa, which is about 18% higher than that of plain mortar.     

TiB2和SiCW对Al2O3陶瓷材料高温摩擦磨损特性的影响

研究了Ａｌ２Ｏ３、Ａｌ２ｏ３／ＴｉＢ２和Ａｌ２Ｏ３／ＴｉＢ２／ＳｉＣＷ三处陶瓷材料在不同条件下的擦靡损特性。结果表明：三种陶瓷材料与硬质合金摩擦副的摩擦系数随温度温度的增加有不同的变化规律，摩擦表面的Ｘ射线衍射分析表明，摩擦系数的变化与陶瓷物膜的和结构有关，在高温下Ａｌ２Ｏ３／ＴｉＢ２陶瓷材料摩擦表面形成了具有优良的高温润性的ＴｉＯ２氧化膜，因而ＴｉＢ２的加入明显改善了Ａｌ２Ｏ３陶瓷材料 摩擦磨损     

WTG420铁路罐车用钢的组织结构和力学性能分析

分析了ＷＴＧ４２０铁路罐车用钢的组织结构和力学性能。提出了冶炼与轧制的技术关键，其一，添加稀土元素改善钢中夹杂物；其二，采用控轧控冷使铁素体晶粒细化。     

Onset of gas self-induction and power consumption after gas induction in an agitated tank

The behavior of inducted gas from liquid surface and the; power requirements in an agitated tank using a mechanical agitator are studied in order to increase the amount of gas self-induction and the gas retention time for gas absorption. A 45° six-blade downward impeller turbine was utilized in this study. Air and water, air and 40 wt% 60 wt%, and 80 wt% of glycerin water, and air and 106 cP silicon oil were employed as gas and liquid phases. Variables which were studied included geometrical factors (immersed depth of impeller, baffle with and diameter of impeller) and the physical properties of the liquid (viscosity, density, and surface tension). The correlations for the onset speed of impeller and power consumption after gas induction in the agitated tank are established from our experimental results. The amount of gas self-induction from the liquid surface in the agitated tank increases with increasing impeller diameter and speed and decreases with increasing baffle width, depth of impeller and viscosity of liquid.