Large-Eddy Simulation of the Lid-Driven Cubic Cavity Flow by the Spectral Element Method

This paper presents the large-eddy simulation of the lid-driven cubic cavity flow by the spectral element method (SEM) using the dynamic model. Two spectral filtering techniques suitable for these simulations have been implemented. Numerical results for Reynolds number Re=12,000 are showing very good agreement with other experimental and DNS results found in the literature.     

A model of (en)action to approach embodiment: a cornerstone for the design of virtual environments for learning

This paper presents a model of (en)action from a conceptual and theoretical point of view. This model is used to provide solid bases to overcome the complexity of designing virtual environments for learning (VEL). It provides a common grounding for trans-disciplinary collaborations where embodiment can be perceived as the cornerstone of the project. Where virtual environments are concerned, both computer scientists and educationalists have to deal with the learner/user’s body; therefore the model provides tools with which to approach both human actions and learning processes within a threefold model. It is mainly based on neuroscientific research, including enaction and the neurophysiology of action.     

Quantum Malware

When quantum communication networks proliferate they will likely be subject to a new type of attack by hackers, virus makers, and other malicious intruders. Here we introduce the concept of “quantum malware” to describe such human-made intrusions. We offer a simple solution for storage of quantum information in a manner, which protects quantum networks from quantum malware. This solution involves swapping the quantum information at random times between the network and isolated, distributed ancillas. It applies to arbitrary attack types, provided the protective operations are themselves not compromised.     

Integration of radar and Landsat-derived foliage projected cover for woody regrowth mapping, Queensland, Australia

In Queensland, Australia, forest areas are discriminated from non-forest by applying a threshold (∼ 12%) to Landsat-derived Foliage Projected Cover (FPC) layers (equating to ∼ 20% canopy cover), which are produced routinely for the State. However, separation of woody regrowth following agricultural clearing cannot be undertaken with confidence, and is therefore not mapped routinely by State Agencies. Using fully polarimetric C-, L- and P-band NASA AIRSAR and Landsat FPC data for forests and agricultural land near Injune, central Queensland, we corroborate that woody regrowth dominated by Brigalow (Acacia harpophylla) cannot be discriminated using either FPC or indeed C-band data alone, because the rapid attainment of a canopy cover leads to similarities in both reflectance and backscatter with remnant forest. We also show that regrowth cannot be discriminated from non-forest areas using either L-band or P-band data alone. However, mapping can be achieved by thresholding and intersecting these layers, as regrowth is unique in supporting both a high FPC (> ∼ 12%) and C-band SAR backscatter (> ~ − 18 dB at HV polarisation) and low L-band and P-band SAR backscatter (e.g. < =∼ 14 dB at L-band HH polarisation). To provide a theoretical explanation, a wave scattering model based on that of Durden et al. [Durden, S.L., Van Zyl, J.J. & Zebker, H.A. (1989). Modelling and observation of radar polarization signature of forested areas. IEEE Trans. Geoscience and Remote Sensing, 27, 290-301.] was used to demonstrate that volume scattering from leaves and small branches in the upper canopy leads to increases in C-band backscattering (particularly HV polarisations) from regrowth, which increases proportionally with FPC. By contrast, low L-band and P-band backscatter occurs because of the lack of double bounce interactions at co-polarisations (particularly HH) and volume scattering at HV polarisation from the stems and branches, respectively, when their dimensions are smaller than the wavelength. Regrowth maps generated by applying simple thresholds to both FPC and AIRSAR L-band data showed a very close correspondence with those mapped using same-date 2.5 m Hymap data and an average 73.7% overlap with those mapped through time-series comparison of Landsat-derived land cover classifications. Regrowth mapped using Landsat-derived FPC from 1995 and JER-1 SAR data from 1994-1995 also corresponded with areas identified within the time-series classification and true colour stereo photographs for the same period. The integration of Landsat FPC and L-band SAR data is therefore expected to facilitate regrowth mapping across Queensland and other regions of Australia, particularly as Japan's Advanced Land Observing System (ALOS) Phase Arrayed L-band SAR (PALSAR), to be launched in 2006, will observe at both L-band HH and HV polarisations.     

Disk drive control: The early years

One of the persistently exciting control applications is that of disk drive servos. From the start in the early 1950s to the massive capacity commodity drives of the early 2000s, the problem of accessing data on rotating disk media has provided a wealth of control challenges to be solved. This survey paper traces the early history of disk drive control from the first disk drive in 1956 to the first commercial drive with Magneto-Resistive heads in 1990. Rather than the approach used in (Abramovitch and Franklin, 2002a) in which the histories of the components were outlined first, we will focus on the feedback loop itself in those early days. The paper will survey the different areas of the disk drive control problem and how they evolved.     

Null controllable region of LTI discrete-time systems with input saturation

We present a formula for the extremes of the null controllable region of a general LTI discrete-time system with bounded inputs. For an nth order system with only real poles (not necessarily distinct), the formula is simplified to an elementary matrix function, which in turn shows that the set of the extremes coincides with a set of trajectories of the time-reversed system under bang-bang controls with n−2 or less switches.     

Automated Negotiation from Declarative Contract Descriptions

Our approach for automating the negotiation of business contracts proceeds in three broad steps. First, determine the structure of the negotiation process by applying general knowledge about auctions and domain–specific knowledge about the contract subject along with preferences from potential buyers and sellers. Second, translate the determined negotiation structure into an operational specification for an auction platform. Third, after the negotiation has completed, map the negotiation results to a final contract. We have implemented a prototype which supports these steps by employing a declarative specification (in courteous logic programs) of (1) high–level knowledge about alternative negotiation structures, (2) general–case rules about auction parameters, (3) rules to map the auction parameters to a specific auction platform, and (4) special–case rules for subject domains. We demonstrate the flexibility of this approach by automatically generating several alternative negotiation structures for the domain of travel shopping in a trading agent competition.     

Liver and intestinal fatty acid-binding protein expression increases phospholipid content and alters phospholipid fatty acid composition in L-cell fibroblasts

Although fatty acid-binding proteins (FABP) differentially affect fatty acid uptake, nothing is known regarding their role(s) in determining cellular phospholipid levels and phospholipid fatty acid composition. The effects of liver (L)- and intestinal (I)-FABP expression on these parameters were determined using stably transfected L-cells. Expression of L- and I-FABP increased cellular total phospholipid mass (nmol/mg protein) 1.7- and 1.3-fold relative to controls, respectively. L-FABP expression increased the masses of choline glycerophospholipids (ChoGpl) 1.5-fold, phosphatidylserine (PtdSer) 5.6-fold, ethanolamine glycerophospholipids 1.4-fold, sphingomyelin 1.7-fold, and phosphatidylinositol 2.6-fold. In contrast, I-FABP expression only increased the masses of ChoGpl and PtdSer, 1.2- and 3.1-fold, respectively. Surprisingly, both L- and I-FABP expression increased ethanolamine plasmalogen mass 1.6- and 1.1-fold, respectively, while choline plasmalogen mass was increased 2.3- and 1.7-fold, respectively. The increase in phospholipid levels resulted in dramatic 48 and 33% decreases in the cholesterol-to-phospholipid ratio in L- and I-FABP expressing cells, respectively. L-FABP expression generally increased polyunsaturated fatty acids, primarily by increasing 20∶4n−6 and 22∶6n−3, while decreasing 18∶1n−9 and 16∶1n−7. I-FABP expression generally increased only 20∶4n−6 proportions. Hence, expression of both I- and L-FABP differentially affected phospholipid mass, class composition, and acyl chain composition. Although both proteins enhanced phospholipid synthesis, the effect of L-FABP was much greater, consistent with previous work suggesting that these two FABP differentially affect lipid metabolism.     

Perspectives on Analytical Modeling of Small Geometry MOSFETs in SPICE for Low Voltage/Low Power CMOS Circuit Design

The present state of the art in analytical MOSFET modeling for SPICE circuit simulation is reviewed, with emphasis on the circuit design usage of these models. It is noted that the model formulation represents an upper limit of what is possible from any type of model, but that good parameter extraction is required to most closely approach that limit. The individual model types presently in common use are examined, with discussion of the behavior of each model, its strengths and weaknesses, its applicability to certain types of circuits, and criteria that a circuit design consumer can employ to judge a model before using it for circuit design. Some related issues, such as node charge and gate capacitance modeling, charge conservation, and statistical simulation of process variations, are also evaluated. Finally, new trends, directions, and requirements of MOSFET modeling for circuit simulation are considered.     

Spectroscopic analysis of fire suppressants and refrigerants by laser-induced breakdown spectroscopy

Laser-induced breakdown spectroscopy is evaluated as a means of detecting the fire suppressants CF(3)Br, C(3)F(7)H, and CF(4) and the refrigerant C(2)F(4)H(2). The feasibility of employing laser-induced breakdown spectroscopy for time- and space-resolved measurement of these agents during use, storage, and recharge is discussed. Data are presented that demonstrate the conditions necessary for optimal detection of these chemicals.