a constraint solver and its application to path feasibility analysis

Many testing methods are based on program paths. A well-known problem with them is that some paths are infeasible. To decide the feasibility of paths, we may solve a set of constraints. In this paper, we describe constraint-based tools that can be used for this purpose. They accept constraints expressed in a natural form, which may involve variables of different types such as integers, Booleans, reals and fixed-size arrays. The constraint solver is an extension of a Boolean satisfiability checker and it makes use of a linear programming package. The solving algorithm is described, and examples are given to illustrate the use of the tools. For many paths in the testing literature, their feasibility can be decided in a reasonable amount of time.

gcs-ma: a group communication system for mobile agents

Reliable messaging is a key component necessary for mobile agent systems. Current researches focus on reliable one-to-one message delivery to mobile agents. But how to implement a group communication system for mobile agents remains an open issue, which is a powerful block that facilitates the development of fault-tolerant mobile agent systems. In this paper, we propose a group communication system for mobile agents (GCS-MA), which includes totally ordered multicast and membership management functions. We divide a group of mobile agents into several agent clusters,and each agent cluster consists of all mobile agents residing in the same sub-network and is managed by a special module, named coordinator. Then, all coordinators form a ring-based overlay for interchanging messages between clusters. We present a token-based algorithm, an intra-cluster messaging algorithm and an inter-cluster migration algorithm to achieve atomicity and total ordering properties of multicast messages, by building a membership protocol on top of the clustering and failure detection mechanisms. Performance issues of the proposed system have been analysed through simulations. We also describe the application of the proposed system in the context of the service cooperation middleware (SCM) project.

AN INTEGRATED CALCIUM-FLUORIDE CRYSTAL IR THIN-LAYER CELL AND ITS APPLICATION TO IDENTIFICATION OF ELECTROCHEMICAL REDUCTION PRODUCT OF BILIRUBIN

An integrated CaF2 crystal optically transparent infrared (ir) thin-layer cell was designed and constructed without using any soluble adhesive materials. It is suitable for both aqueous and nonaqueous systems, and can be used not only in ir but also in uv-vis studies. Excellent electrochemical and spectroelectrochemical responses were obtained in evaluating this cell by cyclic voltammetry and steady-state potential step measurements for both ir and uv-vis spectrolectrochemistry with ferri/ferrocyanide in aqueous solution, and with ferrocene/ferrocenium in organic solvent as the testing species, respectively. The newly designed ir cell was applied to investigate the electrochemical reduction process of bilirubin in situ, which provided direct information for identifying the structure of the reduction product and proposing the reaction mechanism.

Application of rotifer Brachionus plicatilis in detecting the toxicity of harmful algae

The toxicity of seven major HAB (harmful algal bloom) species/strains, Prorocentrum donghaiense, Phaeocystis globosa, Prorocentrum micans, Alexandrium tamarense (AT-6, non-PSP producer), Alexandrium lusitanicum, Alexandrum tamarense (ATHK) and Heterosigma akashiwo were studied against rotifer Brachionus plicatilis under laboratory conditions. The results show that P. donghaiense, P. globosa, P. micans, A. tamarense (AT-6), or A. lusitanicum could maintain the individual survival and reproduction, as well as the population increase of the rotifer, but the individual reproduction would decrease when exposed to these five algae at higher densities for nine days; H. akashiwo could decrease the individual survival and reproduction, as well as population increase of the rotifer, which is similar to that of the starvation group, indicating that starvation might be its one lethal factor except for the algal toxins; A. tamarense (ATHK) has strong lethal effect on the rotifer with 48h LC50 at 800 cells/mL. The experiment on ingestion ability indicated by gut pigment change shows that P. donghaiense, P. globosa, P. micans, A. tamarense (AT-6) and A. lusitanicum can be taken by the rotifers as food, but A. tamarense (ATHK) or H. akashiwo can be ingested by the rotifers. The results indicate that all the indexes of individual survival and reproduction, population increase, gut pigment change of the rotifers are good and convenient to be used to reflect the toxicities of HAB species. Therefore, rotifer is suggested as one of the toxicity testing organisms in detecting the toxicity of harmful algae.

Application of Neomysis awatschensis as a standard marine toxicity test organism in China

The small mysid crustacean Neomysis awatschensis was collected in the west coast of Jiaozhou Bay, Qingdao, China in 1992 and acclimated and cultured in laboratory conditions since then. Standard acute toxicity tests using 4-6 d juvenile mysids of this species were conducted and the results were compared with Mysidopsis bahia, a standard toxicity test organism used in the US in terms of their sensitivities to reference toxins, as well as their taxonomy, morphology and geographic distributions. Because of its wide distribution along the Chinese coast, similar sensitivity to pollutants as M. bahia, short life history, small size and the case of handling, this study intended to use N. awatschensis as one of the standard marine organisms for toxicity testing in China. The species were applied to acute toxicity evaluations of drilling fluid and its additives I organotin TPT and toxic algae, and to chronic ( life cycle) toxicity assays of organotin TPT and a toxic dinofalgellate Alexandrium tamarense, respectively. Using N, awatschensis as a standard toxicity testing organism in marine pollution assessment in China is suggested.

2-(2-Phenyl-1H-phenanthro-[9,10-d]imidazole-1-yl)-acetic acid (PPIA) and its application for determination of amines by high performance liquid chromatography with fluorescence detection and identification with mass spectroscopy/atmospheric pressure chemical ionization

A simple, sensitive, and mild method for the determination of amino compounds based on a condensation reaction with 1-ethyl-3-(3-dimethylaminopropyl)-carbodiimide hydrochloride (EDC-HCI) as the dehydrant with fluorescence detection has been developed. Amines were derivatized to their acidamides with labeling reagent 2-(2-phenyl-1H-phenanthro-[9,10-d]imidazole-1-yl)-acetic acid (PPIA). Studies on derivatization conditions indicated that the coupling reaction proceeded rapidly and smoothly in the presence of a base catalyst in acetonitrile to give the corresponding sensitively fluorescent derivatives with an excitation maximum at lambda(ex) 260nm and an emission maximum at lambda(em) 380nm. The labeled derivatives exhibited high stability and were enough to be efficiently analyzed by high-performance liquid chromatography. Identification of derivatives was carried out by online post-column mass spectrometry (LC/APCI-MS/MS) and showed an intense protonated molecular ion corresponding m/z [MH](+) under APCI in positive-ion mode. At the same time, the fluorescence properties of derivatives in various solvents or at different temperature were investigated. The method, in conjunction with a gradient elution, offered a baseline resolution of the common amine derivatives on a reversed-phase Eclipse XDB-C-8 column. LC separation for the derivatized amines showed good reproducibility with acetonitrile-water as mobile phase. Detection limits calculated from 0.78 pmol injection, at a signal-to-noise ratio of 3, were 3.1-18.2 fmol. The mean intra- and inter-assay precision for all amine levels were < 3.85% and 2.11%, respectively. Excellent linear responses were observed with coefficients of > 0.9996. The established method for the determination of aliphatic amines from real wastewater and biological samples was satisfactory. (c) 2006 Elsevier B.V. All rights reserved.

Stabilization of Dynamic Systems for Multiple Omni-Directional Mobile Robots

本文考虑了由2个全方位移动机器人组成的混合动力学系统的协调拟镇定问题.利用机器人位置之间的向量与机器人目标之间向量的内积,设计了多步拟镇定律,该控制律能够在避碰后按指数速率运动到目标点,且在整个过程中两机器人之间的距离不小于避碰的安全距离.最后对2个全方位移动机器人进行了仿真,验证了所给方法的有效性。

New method for analysis of Chinese herbal complex prescription and its application

Traditional Chinese medicine (TCM) is a great treasure of China, the analysis of which is an arduous task. The viewpoint that all chemical constituents of Chinese herbal complex prescription should be analyzed as a black box is elucidated for the first time. Intelligent multi-mode multi-column chromatographic system (IMMCC) with its hybrids is the basic method and HPLC Unified Method is the breakthrough for the black box analysis. Dang-Gui-Bu-Xue-Tang was selected as a typical TCM and a systematic separation method from non-aqueous mobile phase to pure water mobile phase was put forward in order to convert unknown sample to known sample. The a, c values and UV spectra of 66 components of Astragalus, 78 components of Angelica and 71 components of Dang-Gui-Bu-Xue-Tang were obtained. Intelligent optimization and peak identification method and software for complex samples were developed and the optimum multi-step multi-binary gradient curve of mobile phase for Astragalus was ascertained. The maximum error and minimum error of predicted retention time for all components of Astragalus are 8.62% and 0.05% respectively. All components of Astragalus were compared with those of Angelica and it is found that many components of Astragalus are the same as those of Angelica, while the contents of these components are different. Many components of Dang-Gui-Bu-Xue-Tang are also the same as those of Astragalus and Angelica with different contents.

Redundant Sensors for Mobile Robot Navigation

Redundant sensors are needed on a mobile robot so that the accuracy with which it perceives its surroundings can be increased. Sonar and infrared sensors are used here in tandem, each compensating for deficiencies in the other. The robot combines the data from both sensors to build a representation which is more accurate than if either sensor were used alone. Another representation, the curvature primal sketch, is extracted from this perceived workspace and is used as the input to two path planning programs: one based on configuration space and one based on a generalized cone formulation of free space.

Exploring the relationship between impulsivity and decision-making on mobile devices.

Mobile devices offer a common platform for both leisure and work-related tasks but this has resulted in a blurred boundary between home and work. In this paper we explore the security implications of this blurred boundary, both for the worker and the employer. Mobile workers may not always make optimum security-related choices when ‘on the go’ and more impulsive individuals may be particularly affected as they are considered more vulnerable to distraction. In this study we used a task scenario, in which 104 users were asked to choose a wireless network when responding to work demands while out of the office. Eye-tracking data was obtained from a subsample of 40 of these participants in order to explore the effects of impulsivity on attention. Our results suggest that impulsive people are more frequent users of public devices and networks in their day-to-day interactions and are more likely to access their social networks on a regular basis. However they are also likely to make risky decisions when working on-the-go, processing fewer features before making those decisions. These results suggest that those with high impulsivity may make more use of the mobile Internet options for both work and private purposes but they also show attentional behavior patterns that suggest they make less considered security-sensitive decisions. The findings are discussed in terms of designs that might support enhanced deliberation, both in the moment and also in relation to longer term behaviors that would contribute to a better work-life balance.

Work on the Move: mobile and nomadic working methodologies.

‘Work on the move’ is a design, process-driven methodology, which uses multiple locations within an outdoors setting and movement between locations, all of which function as learning places, confined to a specified time period. Between 2012 and 2015, a team of international Higher Education product design educators (all members of Carousel, a co-operation of Erasmus members in Zwolle, Edinburgh, Nantes, Rome, Kortrijk and Oslo), industry professionals and product design students developed and tested four case studies. Each case study was conducted in a different international location and was constructed with a different focus, to help define and refine a definitive working methodology. ‘Work on the move’ explores the influence of ‘place’ upon design, in terms of the impact it has on productivity and creative problem-solving, when working away from the traditional studio/office-based environment. It also explores the significance of shared place, when working directly with a client in situ, and experiencing the place-based influences upon their businesses. While identifying location as part of the design process, the study also seeks to understand the effects of time restriction and working in transit upon creativity and productivity, within the context of specific projects.

Service Provisioning in Mobile Networks Through Distributed Coordinated Resource Management

The pervasiveness of personal computing platforms offers an unprecedented opportunity to deploy large-scale services that are distributed over wide physical spaces. Two major challenges face the deployment of such services: the often resource-limited nature of these platforms, and the necessity of preserving the autonomy of the owner of these devices. These challenges preclude using centralized control and preclude considering services that are subject to performance guarantees. To that end, this thesis advances a number of new distributed resource management techniques that are shown to be effective in such settings, focusing on two application domains: distributed Field Monitoring Applications (FMAs), and Message Delivery Applications (MDAs). In the context of FMA, this thesis presents two techniques that are well-suited to the fairly limited storage and power resources of autonomously mobile sensor nodes. The first technique relies on amorphous placement of sensory data through the use of novel storage management and sample diffusion techniques. The second approach relies on an information-theoretic framework to optimize local resource management decisions. Both approaches are proactive in that they aim to provide nodes with a view of the monitored field that reflects the characteristics of queries over that field, enabling them to handle more queries locally, and thus reduce communication overheads. Then, this thesis recognizes node mobility as a resource to be leveraged, and in that respect proposes novel mobility coordination techniques for FMAs and MDAs. Assuming that node mobility is governed by a spatio-temporal schedule featuring some slack, this thesis presents novel algorithms of various computational complexities to orchestrate the use of this slack to improve the performance of supported applications. The findings in this thesis, which are supported by analysis and extensive simulations, highlight the importance of two general design principles for distributed systems. First, a-priori knowledge (e.g., about the target phenomena of FMAs and/or the workload of either FMAs or DMAs) could be used effectively for local resource management. Second, judicious leverage and coordination of node mobility could lead to significant performance gains for distributed applications deployed over resource-impoverished infrastructures.

A cycle route planner mobile-app for Dublin city

In a road network, cyclists are the group exposed to the maximum amount of risk. Route choice of a cyclist is often based on level of expertise, perceived or actual road risks, personal decisions, weather conditions and a number of other factors. Consequently, cycling tends to be the only significant travel mode where optimised route choice is not based on least-path or least-time. This paper presents an Android platform based mobile-app for personalised route planning of cyclists in Dublin. The mobile-app, apart from its immediate advantage to the cyclists, acts as the departure point for a number of research projects and aids in establishing some critical calibration values for the cycling network in Dublin. 

The formulation, testing and stability of 16% fat cream liqueurs

Cream liqueurs manufactured by a one-step process, where alcohol was added before homogenisation, were more stable than those processed by a two -step process which involved addition of alcohol after homogenisation. Using the one-step process, it was possible to produce creaming-stable liqueurs by using one pass through a homogeniser (27.6 MPa) equipped with "liquid whirl" valves. Test procedures to characterise cream liqueurs and to predict shelf life were studied in detail. A turbidity test proved simple, rapid and sensitive for characterising particle size and homogenisation efficiency. Prediction of age thickening/gelation in cream liqueurs during incubation at 45 °C depended on the age of the sample when incubated. Samples that gelled at 45 °C may not do so at ambient temperature. Commercial cream liqueurs were similar in gross chemical composition, and unlike experimentally produced liqueurs, these did not exhibit either age-gelation at ambient or elevated temperatures. Solutions of commercial sodium caseinates from different sources varied in their calcium sensitivity. When incorporated into cream liqueurs, caseinates influenced the rate of viscosity increase, coalescence and, possibly, gelation during incubated storage. Mild heat and alcohol treatment modified the properties of caseinate used to stabilise non-alcoholic emulsions, while the presence of alcohol in emulsions was important in preventing clustering of globules. The response to added trisodium citrate varied. In many cases, addition of the recommended level (0.18%) did not prevent gelation. Addition of small amounts of NaOH with 0.18 % trisodium citrate before homogenisation was beneficial. The stage at which citrate was added during processing was critical to the degree of viscosity increase (as opposed to gelation) in the product during 45 °C incubation. The component responsible for age-gelation was present in the milk-solids non fat portion of the cream and variations in the creams used were important in the age-gelation phenomenon Results indicated that, in addition to possibly Ca++, the micellar casein portion of serum may play a role in gelation. The role of the low molecular weight surfactants, sodium stearoyl lactylate and monodiglycerides in preventing gelation, was influenced by the presence of trisodium citrate. Clustering of fat globules and age-gelation were inhibited when 0.18 % citrate was included. Inclusion of sodium stearoyl lactylate, but not monodiglycerides, reduced the extent of viscosity increase at 45 °C in citrate containing liqueurs.

Examining the post-adoptive infusion of mobile technology in a healthcare domain: determinants and outcomes

The healthcare industry is beginning to appreciate the benefits which can be obtained from using Mobile Health Systems (MHS) at the point-of-care. As a result, healthcare organisations are investing heavily in mobile health initiatives with the expectation that users will employ the system to enhance performance. Despite widespread endorsement and support for the implementation of MHS, empirical evidence surrounding the benefits of MHS remains to be fully established. For MHS to be truly valuable, it is argued that the technological tool be infused within healthcare practitioners work practices and used to its full potential in post-adoptive scenarios. Yet, there is a paucity of research focusing on the infusion of MHS by healthcare practitioners. In order to address this gap in the literature, the objective of this study is to explore the determinants and outcomes of MHS infusion by healthcare practitioners. This research study adopts a post-positivist theory building approach to MHS infusion. Existing literature is utilised to develop a conceptual model by which the research objective is explored. Employing a mixed-method approach, this conceptual model is first advanced through a case study in the UK whereby propositions established from the literature are refined into testable hypotheses. The final phase of this research study involves the collection of empirical data from a Canadian hospital which supports the refined model and its associated hypotheses. The results from both phases of data collection are employed to develop a model of MHS infusion. The study contributes to IS theory and practice by: (1) developing a model with six determinants (Availability, MHS Self-Efficacy, Time-Criticality, Habit, Technology Trust, and Task Behaviour) and individual performance-related outcomes of MHS infusion (Effectiveness, Efficiency, and Learning), (2) examining undocumented determinants and relationships, (3) identifying prerequisite conditions that both healthcare practitioners and organisations can employ to assist with MHS infusion, (4) developing a taxonomy that provides conceptual refinement of IT infusion, and (5) informing healthcare organisations and vendors as to the performance of MHS in post-adoptive scenarios.