Learning with belief levels

We study learning of predicate logics formulas from “elementary facts,” i.e. from the values of the predicates in the given model. Several models of learning are considered, but most of our attention is paid to learning with belief levels. We propose an axiom system which describes what we consider to be a human scientist's natural behavior when trying to explore these elementary facts. It is proved that no such system can be complete. However we believe that our axiom system is “practically” complete. Theorems presented in the paper in some sense confirm our hypothesis.     

Miniature in vivo robots for remote and harsh environments

Long-term human space exploration will require contingencies for emergency medical procedures including some capability to perform surgery. The ability to perform minimally invasive surgery (MIS) would be an important capability. The use of small incisions reduces surgical risk, but also eliminates the ability of the surgeon to view and touch the surgical environment directly. Robotic surgery, or telerobotic surgery, may provide emergency surgical care in remote or harsh environments such as space flight, or extremely forward environments such as battlefields. However, because current surgical robots are large and require extensive support personnel, their implementation has remained limited in forward environments, and they would be difficult, or impossible, to use in space flight or on battlefields. This paper presents experimental analysis of miniature fixed-base and mobile in vivo robots to support MIS surgery in remote and harsh environments. The objective is to develop wireless imaging and task-assisting robots that can be placed inside the abdominal cavity during surgery. Such robots will provide surgical task assistance and enable an on-site or remote surgeon to view the surgical environment from multiple angles. This approach is applicable to long-duration space flight, battlefield situations, and for traditional medical centers and other remote surgical locations.     

Modeling wireless fading channels via stochastic differential equations: identification and estimation based on noisy measurements

This paper is concerned with modeling and identification of wireless channels using noisy measurements. The models employed are governed by stochastic differential equations (SDEs) in state space form, while the identification method is based on the expectation-maximization (EM) algorithm and Kalman filtering. The algorithm is tested against real channel measurements. The results presented include state space models for the channels, estimates of inphase and quadrature components, and estimates of the corresponding Doppler power spectral densities (DPSDs), from sample noisy measurements. Based on the available measurements, it is concluded that state space models of order two are sufficient for wireless flat fading channel characterization.     

Reflectarray research at the communications research centre Canada

It has been a decade since a research program began on reflectarray technology at the Communications Research Centre Canada (CRC). This endeavor has demonstrated the advantages and shortcomings of this technology, the issues that ought to be addressed, and future opportunities. This paper summarizes the outcome of this research in the context of projects that have been carried out, and the resulting insight into reflectarray technology. Design methodology, fabrication process, and measurements results will be briefly discussed for each particular development.     

Impact of the addition of an enzyme pool on an activated sludge system treating dairy wastewater under fat shock loads

BACKGROUND: The application of lipase‐rich enzyme pools (such as the crude solid enzymatic preparation (SEP) obtained from Penicillium restrictum solid‐state fermentation of agro‐industrial wastes) to activated sludge systems may be an effective strategy for preventing various operational problems. The continuous addition of SEP to the treatment system can become cost‐prohibitive when in situ production and/or storage are factored in. The application of SEP to high‐fat wastewater treatment would only be justified as an emergency measure, such as a sudden increase in the fat content of the bioreactor influent. Therefore, the primary objective of this work was to investigate the efficiency of a crude SEP during fat shock loads, simulated through the periodic addition of dairy industry waste containing high fat concentrations to the feed stock of an activated sludge system, operated in continuous mode. RESULTS: The test bioreactor exhibited a higher average chemical oxygen demand (COD) removal efficiency than the control bioreactor (83% for control and 90% for test) and the fat accumulation in the biological flocs of the test bioreactor was 3.2 times lower than that in the control bioreactor. Turbidity was also lower in the effluent of the test bioreactor (123 and 66 FTU in control and test, respectively) and it had a shorter recovery time between shock loads, especially when the interval between loads was shorter than one month (biweekly and weekly shock loads). CONCLUSION: The addition of SEP during fat overloads in the reactor feed maintained efficient COD removal in the test bioreactor for 270 days without any operational problems. Copyright © 2008 Society of Chemical Industry     

Effective factors on synthesis of the hematite–silica red inclusion pigment

The work focuses on the synthesis of a red ceramic pigment by inclusion of hematite in a fumed silica matrix with different specific surface areas. Iron(II) sulfate was used as hematite precursor. Mixtures of iron(II) sulfate and fumed silica with different mole ratios were heated at different temperatures from 1000 to 1300 °C for 4 h.     

Identification of the temperature field and stresses in a thermosensitive cylinder according to the surface strains

We identify the time dependence of temperature of a surface of a long hollow thermosensitive cylinder and its thermal and thermal stressed states according to the known temperature and strains on the other surface. The posed problem is reduced to the inverse problem of thermoelasticity. By using the solution of the direct problem of thermoelasticity, we perform the numerical verification of the proposed procedure of solution of the inverse problem. __________ Translated from Fizyko-Khimichna Mekhanika Materialiv, Vol. 43, No. 6, pp. 55–61, November–December, 2007.     

Pre-Attentive and Attentive Detection of Humans in Wide-Field Scenes

We address the problem of localizing and obtaining high-resolution footage of the people present in a scene. We propose a biologically-inspired solution combining pre-attentive, low-resolution sensing for detection with shiftable, high-resolution, attentive sensing for confirmation and further analysis. The detection problem is made difficult by the unconstrained nature of realistic environments and human behaviour, and the low resolution of pre-attentive sensing. Analysis of human peripheral vision suggests a solution based on integration of relatively simple but complementary cues. We develop a Bayesian approach involving layered probabilistic modeling and spatial integration using a flexible norm that maximizes the statistical power of both dense and sparse cues. We compare the statistical power of several cues and demonstrate the advantage of cue integration. We evaluate the Bayesian cue integration method for human detection on a labelled surveillance database and find that it outperforms several competing methods based on conjunctive combinations of classifiers (e.g., Adaboost). We have developed a real-time version of our pre-attentive human activity sensor that generates saccadic targets for an attentive foveated vision system. Output from high-resolution attentive detection algorithms and gaze state parameters are fed back as statistical priors and combined with pre-attentive cues to determine saccadic behaviour. The result is a closed-loop system that fixates faces over a 130 deg field of view, allowing high-resolution capture of facial video over a large dynamic scene.