An algebraic theory of object-oriented systems

The paper presents an algebraic specification of net objects. By net objects we mean those that are defined in object-oriented paradigms and those defined with nested relations in complex database models. An algebraic specification is set up that involves structures of net objects, accesses of net objects, and some features of object-oriented programming, such as multiple inheritance and polymorphism. Objects and their relationships are then characterized formally in the modeling, which utilizes the hierarchical approach in the algebraic theory of abstract data types, and is further developed by adding mechanisms from existing object systems. Categories of net objects are presented with the properties of accesses among them     

Phosphorus Inputs to Lake Simcoe from 1990 to 2003: Declines in Tributary Loads and Observations on Lake Water Quality

Total phosphorus (TP) inputs to Lake Simcoe have led to hypolimnetic dissolved oxygen (DO) depletion and loss of cold water fish habitat. Since 1990, efforts have been made to reduce the total TP input to the lake below a defined target of 75 t/year, which was predicted to lead to reductions in spring TP concentration and improvements in end-of-summer hypolimnetic DO concentrations. The total TP load to the lake during the most recent period of record (1998/99-2003/04) ranged from 53 to 76 t/yr and averaged 67 t/yr, compared to an average of 114 t/yr estimated between 1990/91 and 1997/98 (range 85-157 t/yr). Reductions in TP loads from the catchment via tributary discharge (∼26 t) accounted for the majority of the decrease in total load between the two time periods. Total P concentrations decreased significantly in four out of six long-term monitored tributaries; however, concentrations in all six tributaries remain above the level recommended to avoid nuisance plant growth (30 μg/L). Although TP loads to the lake are currently below the target 75 t/yr, excessive growths of filamentous algae and macrophytes continue to be a problem in the nearshore zone. End-of-summer minimum hypolimnetic DO concentrations (average 4.3 mg/L, 1998/99-2003/04) remain substantially below the level (7 mg/L) that is considered protective of lake trout. Efforts to reduce TP loads to the lake therefore need to continue.     

Bloodmeal digestion in the midgut of Phlebotomus papatasi and Phlebotomus langeroni

Bloodmeal digestion in midguts of the sandflies Phlebotomus papatasi and Phlebotomus langeroni (Diptera: Psychodidae) was investigated in optimized assays to detect general protease, trypsin and aminopeptidase activities using synthetic substrates. Optimal activity occurred at pH 8-9 for all enzymes examined in both species. Protease activity peaked at 24-34 h post human bloodmeal in midguts of P. papatasi and 34-48 h in P. langeroni; all endo- and exoprotease activities were completed by 50 h in P. papatasi compared to 72 h in P. langeroni. Hydrolysis of two chymotrypsin substrates was < 2% of trypsin activity in both species. Aminopeptidase activity was associated mainly with the midgut wall, whereas trypsin activity was confined to the midgut lumen. A feature of digestion in P. langeroni was the high level of aminopeptidase recorded within 10 h of the bloodmeal.     

Automated derivation of time bounds in uniprocessor concurrentsystems

The successful development of complex real-time systems depends on analysis techniques that can accurately assess the timing properties of those systems. This paper describes a technique for deriving upper and lower bounds on the time that can elapse between two given events in an execution of a concurrent software system running on a single processor under arbitrary scheduling. The technique involves generating linear inequalities expressing conditions that must be satisfied by all executions of such a system and using integer programming methods to find appropriate solutions to the inequalities. The technique does not require construction of the state space of the system and its feasibility has been demonstrated by using an extended version of the constrained expression toolset to analyze the timing properties of some concurrent systems with very large state spaces     

Direct Observation of Multilayer Adsorption on Alumina Grain Boundaries

Grain-boundary films 0.6 nm in size have been observed on the grain boundaries of neodymia (Nd₂O₃)-doped alumina (α-Al₂O₃) sintered at 1800°C. Direct observation by high-angle annular dark-field imaging in the aberration-corrected scanning transmission electron microscope shows that this type of grain-boundary structure is the result of multilayer adsorption. Neodymium cations adsorb onto the faces of each of the two grains that comprise the grain boundary by substituting for aluminum cations. The positions of these cations are slightly distorted relative to the perfect lattice, and a third atomic layer in the core of the grain-boundary resides between these two layers. The measurements also confirm that the thickness deduced from high-resolution transmission electron microscopy lattice images are accurate.     

Composite web QoS with workflow conditional pathways using bounded sets

In our previous work (Dillon and Mansour 2009), a stochastic reliability model of atomic web services was proposed. Using the well-known classic two-state bounded set technique, we developed a service-oriented model that dynamically calculates the reliability of composite web services with rollback recovery (Mansour and Dillon in IEEE Trans Serv Comput 4(4), 2011). In order to improve the Quality of Service, fault tolerance techniques have been introduced using recovery block adaptation. Our workflow was based on series-parallel structures that constitute parts of existing structures. It is worth mentioning that major service-oriented systems contain larger and more complex structures than the simple series and parallel ones. This is a limitation in our previous approach. In order to consider more realistic service-oriented systems, other main structures, such as AND, XOR and Loop, should be included into our model. In this article, our previous structures are generalized to include AND, XOR and Loops. In addition to generalized structures, we extended the existing two-state bounded set technique to include three-state systems. This extension was especially motivated by XOR-based structures. A comparative study between bounded set techniques and a new stochastic model is also presented. Our simulation results accurately reflect the performance of the new proposed model and confirm our theoretical studies. Furthermore, Monte Carlos simulations were performed and the results obtained clearly validate our stochastic model.     

Automated speech recognition for spreadsheet tasks: Performance effects for experts and novices

The performance of spreadsheet users was compared for two modes of input to the computer, keyboard and automated speech recognition (ASR). Subjects from both an expert group and a novice group were also classified by decision style. Dependent measures were task completion time, accuracy, keystroke count, correction count, and user confidence. Results for a speaker‐dependent, discrete‐word recognizer showed that, for both simple data input and more complex analytical spreadsheet tasks, neither the experts nor the novices performed more effectively using ASR. However, both groups expressed the desirability of having speech input as an option for desktop computing.     

Privacy Ontology Support for E-Commerce

Privacy is becoming increasingly important due to the advent of e-commerce. E-commerce applications frequently require customers to divulge many personal details about themselves that must be protected carefully in accordance with privacy principles and regulations. Here, the authors define a privacy ontology to support the provision of privacy and help derive the level of privacy associated with e-commerce transactions and applications. The privacy ontology provides a framework against which e-commerce sites can benchmark their privacy policies and implementations.     

Thermal conductivity of Grafoil from 0.2 to 3 K

The thermal conductivity of compressed exfoliated graphite was measured in the directions parallel (K ) and normal (K ) to the rolling plane, in the temperature range of 0.2–3 K. The temperature dependence was determined in both cases. ForK=aT ^b in the temperature range of 0.2–0.7 K we get values forb of 0.95 forK and 1.6 forK ; in the range 0.7–2 K we get 1.6 forK and 2.1 forK ; and in the range 2–3 K we get 1.9 forK . TheK temperature dependence forT<0.7 K is smaller than what would be expected. ForK , evaluations of lattice and electronic contributions show that below 0.7 K the thermal conductivity is basically electronic. Above 2 K, where results are found in the literature, our data are in good agreement with them.