Contextual Permission: A Solution to the Free Choice Paradox

In this paper, we give a solution to the Free Choice Paradox. This is done in two stages. First, we have a close look at the logical interpretation of the natural language statements that lead to the paradox. This leads to making the important distinction of permitting an action in isolation or permitting it in combination with some or any other action, i.e. in a certain context. This distinction is made formal by the introduction of a new operator on actions, which forces them to be performed in isolation. With this distinction made clear it is possible to give a "new", stronger definition for the permission operator, which solves the Free Choice Paradox and which does not lead to any new inconsistencies or paradoxes

The Role of Deontic Logic in the Specification of Information Systems

In this paper we discuss the role that deontic logic plays in the specification of information systems, either because constraints on the systems directly concern norms or, and even more importantly, system constraints are considered ideal but violable (so-called `soft¿ constraints).\ud To overcome the traditional problems with deontic logic (the so-called paradoxes), we first state the importance of distinguishing between ought-to-be and ought-to-do constraints and next focus on the most severe paradox, the so-called Chisholm paradox, involving contrary-to-duty norms. We present a multi-modal extension of standard deontic logic (SDL) to represent the ought-to-be version of the Chisholm set properly. For the ought-to-do variant we employ a reduction to dynamic logic, and show how the Chisholm set can be treated adequately in this setting. Finally we discuss a way of integrating both ought-to-be and ought-to-do reasoning, enabling one to draw conclusions from ought-to-be constraints to ought-to-do ones, and show by an example the use(fulness) of this

HI Emission and Absorption in the Southern Galactic Plane Survey

We present preliminary results from the Southern Galactic Plane Survey (SGPS) Test Region and Parkes data. As part of the pilot project for the Southern Galactic Plane Survey, observations of a Test Region (325.5 deg < l < 333.5 deg; -0.5 deg < b < 3.5 deg) were completed in December 1998. Single dish observations of the full survey region (253 deg < l < 358 deg; |b| <1 deg) with the Parkes Radio Telescope were completed in March 2000. We present a sample of SGPS HI data with particular attention to the smallest and largest scale structures seen in absorption and emission, respectively. On the large scale, we detect many prominent HI shells. On the small scale, we note extremely compact, cold clouds seen in HI self-absorption. We explore how these two classes of objects probe opposite ends of the HI spatial power spectrum.Comment: 9 pages, 3 embedded postscript & 4 jpeg figures. Presented at the Astronomical Society of Australia, Hobart, Tasmania, July 4-7 2000. To appear in PASA Vol. 18(1

Remote Non-invasive Stereoscopic Imaging of Blood Vessels: First In-vivo Results of a New Multispectral Contrast Enhancement Technology

We describe a contactless optical technique selectively enhancing superficial blood vessels below variously pigmented intact human skin by combining images in different spectral bands. Two CMOS-cameras, with apochromatic lenses and dual-band LED-arrays, simultaneously streamed Left (L) and Right (R) image data to a dual-processor PC. Both cameras captured color images within the visible range (VIS, 400–780 nm) and grey-scale images within the near infrared range (NIR, 910–920 nm) by sequentially switching between LED-array emission bands. Image-size-settings of 1280 × 1024 for VIS & 640 × 512 for NIR produced 12 cycles/s (1 cycle = 1 VIS L&R-pair + 1 NIR L&R-pair). Decreasing image-size-settings (640 × 512 for VIS and 320 × 256 for NIR) increased camera-speed to 25 cycles/s. Contrasts from below the tissue surface were algorithmically distinguished from surface shadows, reflections, etc. Thus blood vessels were selectively enhanced and back-projected into the stereoscopic VIS-color-image using either a 3D-display or conventional shutter glasses. As a first usability reconnaissance we applied this custom-built mobile stereoscopic camera for several clinical settings: • blood withdrawal; • vein inspection in dark skin; • vein detection through iodide; • varicose vein and nevi pigmentosum inspection. Our technique improves blood vessel visualization compared to the naked eye, and supports depth perception

Dual mechanism model for fluid particle breakup in the entire turbulent spectrum

This work provides an in-depth understanding of different breakup mechanisms for fluid particles in turbulent flows. All the disruptive and cohesive stresses are considered for the entire turbulent energy spectrum and their contributions to the breakup are evaluated. A new modeling framework is presented that bridges across turbulent subranges. The model entails different mechanisms for breakup by abandoning the classical limitation of inertial models. The predictions are validated with experiments encompassing both breakup regimes for droplets stabilized by internal viscosity and interfacial tension down to the micrometer length scale, which covers both the inertial and dissipation subranges. The model performance ensures the reliability of the framework, which involves different mechanisms. It retains the breakup rate for inertial models, improves the predictions for the transition region from inertia to dissipation, and bridges seamlessly to Kolmogorov-sized droplets

Polarization observations in a low synchrotron emission field at 1.4 GHz

We present the first observation of the diffuse polarized synchrotron radiation of a patch ($\sim 3^\circ \times 3^\circ$) in the BOOMERanG field, one of the areas with the lowest CMB foreground emission. The work has been carried out with the Australia Telescope Compact Array at 1.4 GHz with 3.4 arcmin resolution and sensitivity of $\sim 0.18$ mJy beam$^{-1}$. The mean polarized signal has been found to be $P_{rms} = \sqrt{(Q_{rms}^2 + U_{rms}^2)} = 11.6 \pm 0.6$ mK, nearly one order of magnitude below than in the Galactic Plane. Extrapolations to frequencies of interest for cosmological investigations suggest that polarized synchrotron foreground noise should allow the detection of the CMB Polarization $E$--mode already at 32 GHz and make us confident that, at 90 GHz, it is accessible with no relevant foreground contamination. Last but not least, even the $B$--mode detection for $T/S > 0.01$ is not ruled out in such a low emission patch.Comment: Uses emulateapj.sty, onecolfloat.sty, 5 pages 4 fig., accepted for publication in ApJ

Continuous Experimentation for Automotive Software on the Example of a Heavy Commercial Vehicle in Daily Operation

As the automotive industry focuses its attention more and more towards the software functionality of vehicles, techniques to deliver new software value at a fast pace are needed. Continuous Experimentation, a practice coming from the web-based systems world, is one of such techniques. It enables researchers and developers to use real-world data to verify their hypothesis and steer the software evolution based on performances and user preferences, reducing the reliance on simulations and guesswork. Several challenges prevent the verbatim adoption of this practice on automotive cyber-physical systems, e.g., safety concerns and limitations from computational resources; nonetheless, the automotive field is starting to take interest in this technique. This work aims at demonstrating and evaluating a prototypical Continuous Experimentation infrastructure, implemented on a distributed computational system housed in a commercial truck tractor that is used in daily operations by a logistic company on public roads. The system comprises computing units and sensors, and software deployment and data retrieval are only possible remotely via a mobile data connection due to the commercial interests of the logistics company. This study shows that the proposed experimentation process resulted in the development team being able to base software development choices on the real-world data collected during the experimental procedure. Additionally, a set of previously identified design criteria to enable Continuous Experimentation on automotive systems was discussed and their validity confirmed in the light of the presented work.Comment: Paper accepted to the 14th European Conference on Software Architecture (ECSA 2020). 16 pages, 5 figure