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.     

Optimal acceptance sampling plans for log-location-scale lifetime models using average risks

Assuming that the probability of obtaining a defective unit in a production process, p, is not constant, a versatile methodology is presented for determining optimal failure-censored reliability sampling plans for log-location-scale lifetime models. The optimization procedure to decide the acceptability of a product is usually sufficiently accurate for the most widely used parametric lifetime models, such as the Weibull and lognormal distributions, and fairly robust to small deviations in the prior knowledge. Moreover, lower and upper bounds on the optimal sample size, and the corresponding acceptance constants, are derived in closed-forms. The proposed approach extends the traditional sampling plans to those cases in which appreciable prior information on p exists, and also allows the analyst the flexibility to delimitate the range of p and to incorporate into the reliability analysis prior impartiality between the producer and the consumer. In addition, the practitioners may achieve substantial savings in sample size, better information on the production process and better assessment of the true producer and consumer risks. An example related to the acceptability of a certain kind of gyroscope is included for illustrative purposes. Various practical prior distributions are considered to describe the random fluctuations in the proportion defective.     

A Java simulator of Rescorla and Wagner's prediction error model and configural cue extensions

In this paper we present the "R&W Simulator" (version 3.0), a Java simulator of Rescorla and Wagner's prediction error model of learning. It is able to run whole experimental designs, and compute and display the associative values of elemental and compound stimuli simultaneously, as well as use extra configural cues in generating compound values; it also permits change of the US parameters across phases. The simulator produces both numerical and graphical outputs, and includes a functionality to export the results to a data processor spreadsheet. It is user-friendly, and built with a graphical interface designed to allow neuroscience researchers to input the data in their own "language". It is a cross-platform simulator, so it does not require any special equipment, operative system or support program, and does not need installation. The "R&W Simulator" (version 3.0) is available free.     

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.     

Local search methods for efficient router nodes placement in wireless mesh networks

Wireless Mesh Networks (WMNs) are an important networking infrastructure for providing cost-efficient broadband wireless connectivity to a group of users. WMNs are increasingly being used in urban, metropolitan and municipal area networks for deployment of medical, transport, surveillance systems, etc. The performance and operability of WMNs largely depends on placement of mesh routers nodes in the geographical area to achieve network connectivity and stability. The objective is to find an optimal and robust topology of the mesh router network to support intelligent telecommunication services to clients such as adaptive and flexible wireless Internet access, mobile data, voice, video in addition to supporting other preferred client services. In this work, we propose and evaluate local search methods for intelligent placement of mesh routers in WMNs with a two fold objective: maximizing the size of the giant component in the network and user coverage. Given a grid area where to distribute a given number of mesh router nodes, which can have different radio coverage, and a number of fixed clients a priori distributed in the given area, local search methods explore different local movements and incrementally improve the quality of the router nodes placement in terms of network connectivity and user coverage. We have experimentally evaluated the proposed local search methods through a benchmark of generated instances of varying sizes. Moreover, different distributions of mesh clients (Uniform, Normal, Exponential and Weibull) are used. The experimental evaluation showed the good performance of local search methods for optimizing network connectivity and user coverage in WMNs.     

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.     

Supervisory control synthesis of discrete-event systems using a coordination scheme

Supervisory control of distributed DES with a global specification and local supervisors is a difficult problem. For global specifications, the equivalent conditions for local control synthesis to equal global control synthesis may not be met. This paper formulates and solves a control synthesis problem for a generator with a global specification and with a combination of a coordinator and local controllers. Conditional controllability is proven to be an equivalent condition for the existence of such a coordinated controller. A procedure to compute the least restrictive solution within our coordination control architecture is provided and conditions under which the result coincides with the supremal controllable sublanguage are stated.     

A note on controllability of deterministic context-free systems

In this paper, we prove that the most important concept of supervisory control of discrete-event systems, the controllability property, is undecidable for two deterministic context-free languages $K$ and $L$, where $L$ is prefix closed, even though $K$ is a subset of $L$. If $K$ is not a subset of $L$, the undecidability follows from the work by Sreenivas. However, the case where $K$ is a subset of $L$ does not follow from that work because it is decidable whether $K$ and $L$ are equivalent as shown by Sénizergues. Thus, our result completes this study. The problem is also mentioned as open in the Ph.D. thesis by Griffin, who extended the supervisory control framework so that the specification language is modeled as a deterministic context-free language (compared to the classical approach where the specification is regular) and the plant language is regular. This approach is of interest because it brings an opportunity for more concise representations of the specification (as discussed, e.g., in the work by Geffert et al.) and, therefore, in some sense it treats the most interesting problem of current supervisory control theory, the state-space explosion problem.