An implicit skeleton-based method for the geometry reconstruction of vasculatures

Due to the high complexity of vascular system network, the geometry reconstruction of vasculatures from raw medical datasets remains a very challenging task. In this paper, we present a novel skeleton-based method for the geometry reconstruction of vascular structures from standard 3D medical datasets. With the proposed techniques, the geometry of vascular structures with high level of smoothness and accuracy can be reconstructed from the raw medical datasets. The experimental results and comparison with other techniques demonstrate that our method can achieve faithful and smooth vascular structures. In addition, quantitative validation has been conducted to evaluate the accuracy and smoothness of the reconstructed vessel geometry based on the proposed method.     

一种时序电路的测试生成算法

本文提出了一种高效的时序电路测试生成算法,该算法是建立在自适应算法的基础上,并使用了十七值逻辑模型。文章详细介绍了该测试算法的内容及其实现过程,并举例说明了该算法的测试效率。     

基于视觉系统的聚类算法

人类对于结构的感知方式和产生数据的物理系统原理对于聚类分析而言具有同等的重要性。因此,在聚类算法的设计和分析中,模拟人类的主要器官－视觉系统将帮助我们解决这一领域的一些基本问题。从这一观点出发,文中提出一类基于初级视觉系统尺度空间理论的聚类算法,并通过引入显著性假设,将生物物理学中的Weber定律与聚类结构的有效性联系起来。由此产生的聚类算法简洁有效,并可部分地回答那些与人类感知数据结构相关联的聚类有效性问题。我们的数值试验表明这一方法具有广泛的应用前景。     

Uncertainty measures for rough formulae in rough logic: An axiomatic approach

Rough set theory, initiated by Pawlak, is a mathematical tool in dealing with inexact and incomplete information. Various types of uncertainty measure such as accuracy measure, roughness measure, etc, which aim to quantify the imprecision of a rough set caused by its boundary region, have been extensively studied in the existing literatures. However, a few of these uncertainty measures are explored from the viewpoint of formal rough set theory, which, however, help to develop a kind of graded reasoning model in the framework of rough logic. To solve such a problem, a framework of uncertainty measure for formulae in rough logic is presented in this paper. Unlike the existing literatures, we adopt an axiomatic approach to study the uncertainty measure in rough logic, concretely, we define the notion of rough truth degree by some axioms, such a notion is demonstrated to be adequate for measuring the extent to which any formula is roughly true. Then based on this fundamental notion, the notions of rough accuracy degree, roughness degree for any formula, and rough inclusion degree, rough similarity degree between any two formulae are also proposed. In addition, their properties are investigated in detail. These obtained results will be used to develop an approximate reasoning model in the framework of rough logic from the axiomatic viewpoint.     

Design of a modified repetitive-control system based on a continuous–discrete 2D model

This paper concerns the problem of designing a modified repetitive-control system for a class of strictly proper plants. Repetitive control involves two types of actions: control and learning; but the insertion of a low-pass filter in a modified repetitive controller, which is employed to guarantee the stability of the system, mixes the two actions together. In this paper, a continuous–discrete two-dimensional model is first constructed. Next, the continuity of repetitive control and Lyapunov stability theory are applied to the model to establish two linear-matrix-inequality (LMI) based sufficient stability conditions, one for the design of the cutoff angular frequency and one for the design of the feedback gains. The features of these conditions are exploited to develop an iterative algorithm that searches for the best combination of the maximum cutoff angular frequency of the low-pass filter and the feedback gains. A numerical example illustrates the design procedure and demonstrates the validity of the method.     

基于时间贝叶斯Petri网的溯因故障诊断

针对复杂系统发生故障时告警信号间的时序约束关系,提出一种时间贝叶斯Petri网模型(TBPN),并基于该模型提出一种复杂系统的溯因故障诊断方法.该方法首先对观测到的告警信息建立时间Petri网,随后将其求逆并转换为TBPN.通过时间区间计算和溯因推理,分析告警信号的时序一致性并验证故障假说,最后对时序正确的故障事件链计算其故障概率并进一步分析干扰信息.仿真实验表明,该方法可对复杂故障进行快速诊断,并在告警信息存在丢失、虚警、时标差错时表现出较好的鲁棒性.与不考虑时间约束的同类方法相比,该方法具有搜索空间更小,抗干扰性更强的特点.     

基于单片机的无线测温系统设计

利用短距离无线通信技术构成一个基于单片机的简易、低功耗的无线多点温度测量系统。系统以AT89C2051、AT89C51单片机为核心,采用数字式温度传感器DS18B20、无线收发芯片nRF24L01实现了温度的采集、控制、无线收发等,给出了系统硬件及软件的具体设计思想与实现方法。     

液滴在热液相介质中上升汽化时的传热与传质

本文分析了液滴在不互溶的液相介质中上升汽化时的传热和传质,导出了数模,进行了数值求解,获知在泡滴与液相接触的汽液边界处温度下降和浓度升高,存在着溶液的过冷(或过饱和)边界层。实验结果与数模计算结果表明,该模型能够较好地预測液滴汽化的整体特性。     

基于小波包的多载波调制系统的峰均比分析与消减

介绍了以小波包函数为载波的多载波调制系统,分析了WPM信号符号周期内峰值功率的互补累积分布函数(CCDF)及其对PAPR性能的有效描述;并对不同小波滤波器组的PAPR性能进行了比较,提出了一种能有效减小WPM系统的峰均比的压缩扩展算法。仿真实验证明了该算法的有效性和可行性。     

Development of Virtual Simulation System for Remote Collaborative Surface Machining

1 Introduction Many parts of aerospace ,automobile and mold industries are high precision and complex-shaped. There-fore ,it needs multi-axis machining. Multi-axis machining has advantages of i mproving efficiency and surfaceprecision,reducing production expense and shortening ti me to market . Although there are many advantages inmulti-axis machining,there are many steps on process planningfor complexsurface .And every step needs engi-neers to make appropriate decisions by their professional…