Dependency mining-based causal message logging

In fault-tolerant computing, the approach of causal message logging provides on-demand stable logging and enables the independent recovery of nodes. It imposes the requirement that the dependency between non-deterministic events needs to be known for nodes. The dependency information is disseminated through messages. A central problem in traditional causal message logging is that if the message logging progress of nodes cannot be effectively tracked, some redundant dependency information will be piggybacked on the messages. In this paper, a dependency mining based approach is proposed. It tries to detect the message logging progress of nodes only from the dependency between non-deterministic events, without needing to piggyback an additional dependency vector or dependency matrix on each message.     

基于条件熵和变论域方法的属性约简算法

深入分析了论域变化与决策表条件信息熵的变化原理,在此基础上提出一种新的决策表属性约简算法. 该算法通过不断将决策表中一定属性集下协调的部分从论域中去除,把不协调的部分作为新的论域做进一步处理,逐步减少参与属性约简的对象数,可以在一定程度上降低求取属性约简的计算量,实验数据表明该算法是高效的.     

Stability analysis for discrete delayed Markovian jumping neural networks with partly unknown transition probabilities

This paper addresses the analysis problem of asymptotic stability for a class of uncertain neural networks with Markovian jumping parameters and time delays. The considered transition probabilities are assumed to be partially unknown. The parameter uncertainties are considered to be norm-bounded. A sufficient condition for the stability of the addressed neural networks is derived, which is expressed in terms of a set of linear matrix inequalities. A numerical example is given to verify the effectiveness of the developed results.     

A robust scheduling method based on a multi-objective immune algorithm

A robust scheduling method is proposed to solve uncertain scheduling problems. An uncertain scheduling problem is modeled by a set of workflow models, and then a scheduling scheme (solution) of the problem can be evaluated by workflow simulations executed with the workflow models in the set. A multi-objective immune algorithm is presented to find Pareto optimal robust scheduling schemes that have good performance for each model in the set. The two optimization objectives for scheduling schemes are the indices of the optimality and robustness of the scheduling results. An antibody represents a resource allocation scheme, and the methods of antibody coding and decoding are designed to deal with resource conflicts during workflow simulations. Experimental tests show that the proposed method can generate a robust scheduling scheme that is insensitive to uncertain scheduling environments.     

Micromachining of passive planar micromixer on poly (methyl methacrylate) substrate with excimer laser ablation

Excimer laser ablation technique was introduced into this work to fabricate a passive planar micromixer on the PMMA substrate. T-junction shaped and width-changed S-shaped microchannels were both designed in this micromixer to enhance mixing effect. The mixing experiment of distilled water and Rhodamine B with injection flow rate of 500 and 1,500 μm/s validates the mixing effectivity of this micromixer, and indicates the feasibility of excimer laser ablation in the microfabrication of μ-TAS device.     

Distributed robust finite-time nonlinear consensus protocols for multi-agent systems

This paper investigates the robust finite-time consensus problem of multi-agent systems in networks with undirected topology. Global nonlinear consensus protocols augmented with a variable structure are constructed with the aid of Lyapunov functions for each single-integrator agent dynamics in the presence of external disturbances. In particular, it is shown that the finite settling time of the proposed general framework for robust consensus design is upper bounded for any initial condition. This makes it possible for network consensus problems to design and estimate the convergence time offline for a multi-agent team with a given undirected information flow. Finally, simulation results are presented to demonstrate the performance and effectiveness of our finite-time protocols.     

大型煤化工甲醇精馏过程仿真系统的研究

研究构建大型煤化工甲醇精馏过程仿真平台问题.大型煤化工甲醇精馏过程操作复杂,为了能够更好地分析和预测该过程,本文开发了基于工艺过程机理模型的仿真系统.仿真系统的底层是流程模拟文件,提供过程机理模型和计算平台;顶层是仿真界面,提供人机交互窗口;二者通过Visual Basic接口程序链接.此仿真系统可以为实际的精馏操作提...     

SPI接口技术及应用

本文详细介绍了SPI接口芯片的逻辑时序,给出了实时硬件接口的连接方式,并对编程实现时的注意事项进行了说明。     

OMR抽象模型

在计算机领域反映现实世界中的事物,离不开有效模型的支持。这个模型一方面是现实世界中具体事物的抽象,另一方面又便于计算机实现。提出的OMR模型反映了现实世界的运行规律,用对象、消息和关系三要素对现实事物进行抽象和描述,是辅助计算机实现的有效工具。为了从形式化和数学化的角度描述OMR模型,又探讨了对象内Petri网和对象间Petri网,从而使OMR模型进一步丰满。     

纳米碳酸钙粒子增韧增强不饱和树脂的研究

报道了纳米级碳酸钙填充不饱和树脂的性能研究，探讨了碳酸钙含量和钛酸酯偶联处理对不饱和树脂性能的影响，用扫描电镜（SEM）观察了试样的断裂口形貌，结果表明，用偶联剂处理的纳米碳酸钙粒子含量在4份左右时对复合材料的综合性能最佳，比未加纳米粒子的和未处理的材料冲击强度分别提高了370％和170％，拉伸强度分别提高了170％和150％，SEM分析说明未处理粒子增韧不饱和树脂的机理是粒子的“钉扎”效应和钝化裂纹，而偶联剂处理的纳米粒子增韧不饱和树脂的机理主要是料子导致基体产生了塑性变形。