The specification logic νZ

This paper introduces a wide-spectrum specification logic νZ. The minimal core logic is extended to a more expressive specification logic which includes a schema calculus similar (but not equivalent) to Z, new additional schema operators, and extensions to programming and program development logics.     

On the effects of the packet size distribution on the packet loss process

Real-time multimedia applications have to use forward error correction (FEC) anderror concealment techniques to cope with losses in today’s best-effort Internet. The efficiency of these solutions is known however to depend on the correlation between losses in the media stream. In this paper we investigate how the packet size distribution affects the packet loss process, that is, the distribution of the number of lost packets in a block, the related FEC performance and the average loss run length. We present mathematical models for the loss process of the MMPP+M/D/1/K and the MMPP+M/M/1/K queues; we validate the models via simulations, and compare the results to simulation results with an MPEG-4 coded video trace. We conclude that the deterministic packet size distribution (PSD) not only results in lower stationary loss probability than the exponential one, but also gives a less correlated loss process, both at a particular average link load and at a particular stationary loss probability as seen by the media stream.Our results show that for applications that can only measure the packet loss probability, the effects of the PSD on FEC performance are higher in access networks, where a single multimedia stream might affect the multiplexing behavior. Our results show that the effects of the PSD on FEC performance are higher in access networks, where a single multimedia stream might affect the multiplexing behavior and thus can improve the queuing performance by decreasing the variance of its PSD.     

Fast Positive Feedback Between the Adrenocortical Stress Response and a Brain Mechanism Involved in Aggressive Behavior.

Aggressive behavior induces an adrenocortical stress response, and sudden stressors often precipitate violent behavior. Experiments in rats revealed a fast, mutual, positive feedback between the adrenocortical stress response and a brain mechanism controlling aggression. Stimulation of the aggressive area in the hypothalamus rapidly activated the adrenocortical response, even in the absence of an opponent and fighting. Hypothalamic aggression, in turn, was rapidly facilitated by a corticosterone injection in rats in which the natural adrenocortical stress response was prevented by adrenalectomy. The rapidity of both effects points to a fast, mutual, positive feedback of the controlling mechanisms within the time frame of a single conflict. Such a mutual facilitation may contribute to the precipitation and escalation of violent behavior under stressful conditions. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Wireless video streaming with TCP and simultaneous MAC packet transmission (SMPT)

Video streaming is expected to account for a large portion of the traffic in future networks, including wireless networks. It is widely accepted that the user datagram protocol (UDP) is the preferred transport protocol for video streaming and that the transmission control protocol (TCP) is unsuitable for streaming. The widespread use of UDP, however, has a number of drawbacks, such as unfairness and possible congestion collapse, which are avoided by TCP. In this paper we investigate the use of TCP as the transport layer protocol for streaming video in a multi‐code CDMA cellular wireless system. Our approach is to stabilize the TCP throughput over the wireless links by employing a recently developed simultaneous MAC packet transmission (SMPT) approach at the link layer. We study the capacity, i.e. the number of customers per cell, and the quality of service for streaming video in the uplink direction. Our extensive simulations indicate that streaming over TCP in conjunction with SMPT gives good performance for video encoded in a closed loop, i.e. with rate control. We have also found that TCP is unsuitable (even in conjunction with SMPT) for streaming the more variable open‐loop encoded video. Copyright © 2004 John Wiley & Sons, Ltd.     

A new mobile robot control approach via fusion of control signals.

This paper proposes an alternative approach to address the problem of coordinating behaviors in mobile robot navigation: fusion of control signals. Such approach is based on a set of two decentralized information filters, which accomplish the data fusion involved. Besides these two fusion engines, control architectures designed according to this approach also embed a set of different controllers that generate reference signals for the robot linear and angular speeds. Such signals are delivered to the two decentralized information filters, which estimate suitable overall reference signals for the robot linear and angular speeds, respectively. Thus, the background for designing such control architectures is provided by the nonlinear systems theory, which makes this approach different from any other yet proposed. This background also allows checking control architectures designed according to the proposed approach for stability. Such analysis is carried out in the paper, and shows that the robot always reaches its final destination, in spite of either obstacles along its path or the environment layout. As an example, a control architecture is designed to guide a mobile robot in an experiment, whose results allows checking the good performance of the control architecture and validating the design approach proposed as well.     

A comprehensive study of hazelnut oil composition with comparisons to other vegetable oils,particularly olive oil.

Crude and refined hazelnut oils from different countries were characterised by major and minor compounds. Fatty acids, triacylglycerides, waxes, sterols, methyl-sterols, terpenic and aliphatic alcohols, tocopherols, tocotrienols and hydrocarbons were identified and quantified by gas chromatography and high-performance liquid chromatography. The levels of these chemical compounds in hazelnut oils together with the equivalent carbon numbers and triacylglyceride carbon numbers, were compared with the results of analyses of samples of other vegetable oils. The statistical procedure of cluster analysis was used to characterise hazelnut oils versus other edible oils.     

Occupational Factors and 5-Year Weight Change Among Men in a Danish National Cohort.

This study explored whether factors related to the work environment could predict changes in body mass index (BMI) and whether the effect of psychosocial factors was dependent on baseline BMI. The sample consisted of 1,980 male employees from the Danish National Work Environment Cohort Study. Changes in BMI between 1995 and 2000 were analyzed, by multiple regression, as a function of background variables and a series of occupational variables obtained in 1995. Age, baseline BMI, job insecurity, and psychological demands predicted changes in BMI. Job insecurity and high or low psychological demands increased the likelihood of weight gain among obese employees, whereas they increased the likelihood of weight loss among employees with a low BMI. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Miniaturized coplanar waveguide stop band filters based on multiple tuned split ring resonators

A novel compact stop band filter consisting of a 50 /spl Omega/ coplanar waveguide (CPW) with split ring resonators (SRRs) etched in the back side of the substrate is presented. By aligning SRRs with the slots, a high inductive coupling between line and rings is achieved, with the result of a sharp and narrow rejection band in the vicinity of the resonant frequency of the rings. In order to widen the stop band of the filter, several ring pairs tuned at equally spaced frequencies within the desired gap are cascaded. The frequency response measured in the fabricated prototype device exhibits pronounced slopes at either side of the stop band and near 0 dBs insertion loss outside that band. Since SRR dimensions are much smaller than signal wavelength, the proposed filters are extremely compact and can be used to reject frequency parasitics in CPW structures by simply patterning properly tuned SRRs in the back side metal. Additional advantages are easy fabrication and compatibility with MMIC or PCB technology.     

Techniques for microstructural characterization of powder-processed nickel-based superalloys

Methods are described for sample preparation of polycrystalline Ni-based superalloys in order to perform a detailed microstructural characterization. Specific techniques for the precise definition of the various phases present are outlined and these are shown to be useful for the measurement of size, volume fractions and distribution. A number of optical, scanning and transmission microscopy techniques are used to provide the necessary information.