Adaptive Cross‐sections of Anatomical Models

Medical illustrations have been used for a long time for teaching and communicating information for diagnosis or surgery planning. Illustrative visualization systems create methods and tools that adapt traditional illustration techniques to enhance the result of renderings. Clipping the volume is a popular operation in volume rendering for inspecting the inner parts, though it may remove some information of the context that is worth preserving. In this paper we present a new editing technique based on the use of clipping planes, direct structure extrusion, and illustrative methods, which preserves the context by adapting the extruded region to the structures of interest of the volumetric model. We will show that users may interactively modify the clipping plane and edit the structures to highlight, in order to easily create the desired result. Our approach works with segmented volume models and non‐segmented ones. In the last case, a local segmentation is performed on‐the‐fly. We will demonstrate the efficiency and utility of our method.     

Segmentation of cervical cell nuclei in high-resolution microscopic images: A new algorithm and a web-based software framework

In order to automate cervical cancer screening tests, one of the most important and longstanding challenges is the segmentation of cell nuclei in the stained specimens. Though nuclei of isolated cells in high-quality acquisitions often are easy to segment, the problem lies in the segmentation of large numbers of nuclei with various characteristics under differing acquisition conditions in high-resolution scans of the complete microscope slides. We implemented a system that enables processing of full resolution images, and proposes a new algorithm for segmenting the nuclei under adequate control of the expert user. The system can work automatically or interactively guided, to allow for segmentation within the whole range of slide and image characteristics. It facilitates data storage and interaction of technical and medical experts, especially with its web-based architecture. The proposed algorithm localizes cell nuclei using a voting scheme and prior knowledge, before it determines the exact shape of the nuclei by means of an elastic segmentation algorithm. After noise removal with a mean-shift and a median filtering takes place, edges are extracted with a Canny edge detection algorithm. Motivated by the observation that cell nuclei are surrounded by cytoplasm and their shape is roughly elliptical, edges adjacent to the background are removed. A randomized Hough transform for ellipses finds candidate nuclei, which are then processed by a level set algorithm. The algorithm is tested and compared to other algorithms on a database containing 207 images acquired from two different microscope slides, with promising results.     

Testing interruptions in reactive systems

Modelling and testing of reactive systems with interruptions are discussed. These systems are commonly found in portable devices, where interruptions to a running application can be demanded at any time, due to concurrent execution of processes sharing a single resource, such as screen, as well as arrival of calls from network distributed services. Since the possible number of combinations of allowed interruptions is large, proper test case selection activities need to be performed. But, in order to systematically investigate and select test cases, it is fundamental to explicitly model interruption behaviour in a compositional way, avoiding the need for explicit enumeration. This work presents a strategy for testing interruptions in reactive systems that covers modelling for testing of systems with interruptions, generation and selection of sound test cases. The strategy is supported by the LTS-BT tool. Moreover, a formal model of an environment devoted to execution of test cases with interruptions is presented. Finally, a case study illustrates its applicability in the mobile phone application domain.     

Modelling and characterization of AlN-actuated microcantilevers vibrating in the first in-plane mode

The characterization of the first in-plane mode of aluminum nitride-actuated piezoelectric microcantilevers was carried out by using electrical and optical techniques. The top electrode of the cantilever was specifically designed to allow for an efficient electrical actuation of these in-plane modes. In order to confirm the in-plane nature of the modal vibration, the detection of the electrically induced movement was performed optically with the help of a stroboscopic microscope. In parallel, resonances were also measured electrically by means of an impedance analyzer. The quality factor and the resonant frequencies of the in-plane modes were estimated from the corresponding measurement data when applying both detection techniques. Our results show quality factor values as high as 3,000 for the first in-plane mode in air.     

一类差分方程组非负解的收敛性

通过考查一类差分方程组,研究其非负解的收敛性,得到了方程组的非负解收敛于方程组的平衡点的结论,该研究的主要结果改进了相关文献中的结果．     

甘蔗收割机智能优化知识库系统设计研究

在甘蔗收割机的多学科优化设计中,通过将其中的设计变量（参数）、约束、目标、性态函数等大量信息进行提取、加工、组织而形成有用的优化知识,同时将优化问题表达为一个决策表,通过数据库中属性与知识库中谓词以及两者之间元素的一一对应关系,将数据库中的数据提取并扩充到知识库中去,利用知识库的推理支持快速查询,实现数据库的智能化.在结构优化、机构优化以及功率匹配上,达到了智能优化的目的。     

Multiobjective hierarchical control architecture for greenhouse crop growth

The problem of determining the trajectories to control greenhouse crop growth has traditionally been solved by using constrained optimization or applying artificial intelligence techniques. The economic profit has been used as the main criterion in most research on optimization to obtain adequate climatic control setpoints for the crop growth. This paper addresses the problem of greenhouse crop growth through a hierarchical control architecture governed by a high-level multiobjective optimization approach, where the solution to this problem is to find reference trajectories for diurnal and nocturnal temperatures (climate-related setpoints) and electrical conductivity (fertirrigation-related setpoints). The objectives are to maximize profit, fruit quality, and water-use efficiency, these being currently fostered by international rules. Illustrative results selected from those obtained in an industrial greenhouse during the last eight years are shown and described.     

Factorization of multipliers in passivity and IQC analysis

Multipliers are often used to find conditions for the absolute stability of Lur’e systems. They can be used either in conjunction with passivity theory or within the more recent framework of integral quadratic constraints (IQCs). We compare the use of multipliers in both approaches. Passivity theory requires that the multipliers have a canonical factorization and it has been suggested in the literature that this represents an advantage of the IQC theory. We consider sufficient conditions on the nonlinearity class for the associated multipliers to have a canonical factorization.