Assessing the expectations associated with pharmaceutical pill colour and shape

Two experiments are reported in which people’s sensory, hedonic, and efficacy expectations associated with pharmaceutical pills of differing colour and shape were assessed. In Experiment 1, 101 participants from the USA viewed online photos of tablets having one of 7 colours and 3 shapes. The participants had to arrange the 21 tablets based on the expectations generated solely by the tablets’ visual properties. The results revealed that the colour of the tablets influenced expected bitterness, expected alertness, and expected efficiency in combating headaches, whereas the shape of the tablets influenced the expected difficulty of swallowing. In Experiment 2, the major findings of Experiment 1 were replicated while using a greater variety of colours, in 358 participants from China, Colombia, and the USA. Importantly, the results revealed some shared expectations across cultures, such as the high expected efficacy of white tablets in combating headaches, or the high expected difficulty of swallowing the diamond-shaped tablets. The results also revealed some differences among the three groups, such as that the colour of the pills influenced how difficult the Chinese participants (but not the other two groups) expected the pills would be to swallow. These findings clearly demonstrate that the differing colours and shapes of pharmaceutical pills set-up significantly different expectations which likely play an important role in terms of people’s subsequent experience.     

Road Extraction from High Resolution Remote Sensing Image based on Shape Analysis with Gestalt Theory

Simulating the psychological experience of human vision，a road extraction model based on the format tower is proposed to extract the road in the high resolution remote sensing image from the perspective of morphology.Firstly，based on the spectral and texture information，the suspected road targets are extracted by using segmentation technology.Then these targets are classified according to their reliability and extract the road targets for each category.Finally，three types of identified road information are verified and merged，and the continuous smooth road extraction results are obtained.Experiments on real high resolution images show that the results are consistent with the visual perception of the human eye，and the overall classification accuracy is higher，indicating that the algorithm is effective and feasible and has good use value.     

Optimal Control of the Primary Drying Stage of Freeze Drying of Solutions in Vials Using Variational Calculus

The problem of operating freeze drying of pharmaceutical products in vials placed in trays of a freeze dryer to remove free water (in frozen state) at a minimum time was formulated as an optimal control problem. Two different types of freeze dryer designs were considered. In type I freeze dryer design, upper and lower plate temperatures were controlled together, while in type II freeze dryer design, upper and lower plate temperatures were controlled independently. The heat input to the material being dried and the drying chamber pressure were considered as control variables. Constraints were placed on the system state variables by the melting and scorch temperatures during primary drying stage. Necessary conditions of optimality for the primary drying stage of freeze drying process in vials are derived and presented. Furthermore, an approach for constructing the optimal control policies that would minimize the drying time for the primary drying stage was given. In order to analyze optimal control policy for the primary drying stage of the freeze-drying process in vials, a rigorous multi-dimensional unsteady state mathematical model was used. The theoretical approach presented in this work was applied in the freeze drying of skim milk. Significant reductions in the drying times of primary drying stage of freeze drying process in vials were obtained, as compared to the drying times obtained from conventional operational policies.     

On the determination of optimal transition profile of a stepped bar in tension or in torsion by BEM

The objective is to have uniformly distributed tangential stresses on the transition profile of a stepped bar subjected to tensile and torsional loading using an axisymmetric boundary element formulation. The transition curve is represented by the Langragian interpolation polynomial with progressive degrees to avoid shape distortion during the optimization procedure. The calculated result is compared with that obtained by fluid dynamics given in the literature. It is seen that the transition curve obtained in this paper is reasonable.     

Shallow Linear Action Graphs and their Embeddings

Action calculi, which generalise process calculi such as Petri nets, π-calculusand ambient calculus, have been presented in terms of action graphs. We here offer linear action graphs as a primitive basis for action calculi. This paper presents the category of embeddings of undirected linear action graphs without nesting, using a novel form of graphical reasoning which simplifies some otherwise complex manipulations in regular algebra. The results are adapted in a few lines to directed graphs. This work is part of a long-term search for a uniform behavioural theory for process calculi. Received October 2000 / Accepted in revised form April 2001     

Multiplicative cases from additive cases: Extension of Kolmogorov–Feller equation to parametric Poisson white noise processes

In this paper the response of nonlinear systems driven by parametric Poissonian white noise is examined.As is well known, the response sample function or the response statistics of a system driven by external white noise processes is completely defined. Starting from the system driven by external white noise processes, when an invertible nonlinear transformation is applied, the transformed system in the new state variable is driven by a parametric type excitation. So this latter artificial system may be used as a tool to find out the proper solution to solve systems driven by parametric white noises. In fact, solving this new system, being the nonlinear transformation invertible, we must pass from the solution of the artificial system (driven by parametric noise) to that of the original one (driven by external noise, that is known). Moreover, introducing this invertible nonlinear transformation into the Itô’s rule for the original system driven by external input, one can derive the Itô’s rule for systems driven by a parametric type excitation, directly. In this latter case one can see how natural is the presence of the Wong–Zakai correction term or the presence of the hierarchy of correction terms in the case of normal and Poissonian white noise, respectively. Direct transformation on the Fokker–Planck and on the Kolmogorov–Feller equation for the case of parametric input are found.     

A Refinement Calculus for Shared-Variable Parallel and Distributed Programming

Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. Moreover, a large variety of very different parallel architectures exists. Porting an implementation from one machine to another may require substantial changes. This paper addresses some of these problems by developing a formal basis for the design of parallel programs in the form of a refinement calculus. The calculus allows the stepwise formal derivation of an abstract, low-level implementation from a trusted, high-level specification. The calculus thus helps structuring and documenting the development process. Portability is increased, because the introduction of a machine-dependent feature can be located in the refinement tree. Development efforts above this point in the tree are independent of that feature and are thus reusable. Moreover, the discovery of new, possibly more efficient solutions is facilitated. Last but not least, programs are correct by construction, which obviates the need for difficult debugging. Our programming/specification notation supports fair parallelism, shared-variable and message-passing concurrency, local variables and channels. The calculus rests on a compositional trace semantics that treats shared-variable and message-passing concurrency uniformly. The refinement relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality. The calculus straddles both concurrency paradigms, that is, a shared-variable program can be refined into a distributed, message-passing program and vice versa. Received July 2001 / Accepted in revised form May 2002