Deriving tabular event-based specifications from goal-oriented requirements models

Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural and operational models of the software and its environment. They also provide various techniques for early analysis, notably, to manage conflicting goals or to anticipate abnormal environment behaviours that prevent goals from being achieved. On the other hand, tabular event-based methods are well-established for specifying operational requirements for control software. They provide sophisticated techniques and tools for late analysis of software behaviour models through simulation, model checking or table exhaustiveness checks. The paper proposes to take the best out of these two worlds to engineer requirements for control software. It presents a technique for deriving event-based specifications, written in the SCR tabular language, from operational specifications built according to the KAOS goal-oriented method. The technique consists of a series of transformation steps each of which resolves semantic, structural or syntactic differences between the KAOS source language and the SCR target language. Some of these steps need human intervention and illustrate the kind of semantic subtleties that need to be taken into account when integrating multiple formalisms. As a result of our technique SCR specifiers may use upstream goal-based processes à la KAOS for the incremental elaboration, early analysis, organization and documentation of their tables, while KAOS modelers may use downstream tables à la SCR for later analysis of the behaviour models derived from goal specifications.     

Aerosol lidar intercomparison in the framework of the EARLINET project. 1. Instruments

In the framework of the European Aerosol Research Lidar Network to Establish an Aerosol Climatology (EARLINET), 19 aerosol lidar systems from 11 European countries were compared. Aerosol extinction or backscatter coefficient profiles were measured by at least two systems for each comparison. Aerosol extinction coefficients were derived from Raman lidar measurements in the UV (351 or 355 nm), and aerosol backscatter profiles were calculated from pure elastic backscatter measurements at 351 or 355, 532, or 1064 nm. The results were compared for height ranges with high and low aerosol content. Some systems were additionally compared with sunphotometers and starphotometers. Predefined maximum deviations were used for quality control of the results. Lidar systems with results outside those limits could not meet the quality assurance criterion. The algorithms for deriving aerosol backscatter profiles from elastic lidar measurements were tested separately, and the results are described in Part 2 of this series of papers [Appl. Opt. 43, 977-989 (2004)]. In the end, all systems were quality assured, although some had to be modified to improve their performance. Typical deviations between aerosol backscatter profiles were 10% in the planetary boundary layer and 0.1 x 10(-6) m(-1) sr(-1) in the free troposphere.     

An interior-point sequential approximate optimization methodology

The use of optimization in a simulation-based design environment has become a common trend in industry today. Computer simulation tools are commonplace in many engineering disciplines, providing the designers with tools to evaluate a designs performance without building a physical prototype. This has triggered the development of optimization techniques suitable for dealing with such simulations. One of these approaches is known as sequential approximate optimization. In sequential approximate minimization a sequence of optimizations are performed over local response surface approximations of the system. This paper details the development of an interior-point approach for trust-region-managed sequential approximate optimization. The interior-point approach will ensure that approximate feasibility is maintained throughout the optimization process. This facilitates the delivery of a usable design at each iteration when subject to reduced design cycle time constraints. In order to deal with infeasible starting points, homotopy methods are used to relax constraints and push designs toward feasibility. Results of application studies are presented, illustrating the applicability of the proposed algorithm.     

Potentiating effect of 5,8,11-eicosatrienoic acid on human platelet aggregation

5,8,11-Eicosatrienoic acid (20∶3ω9), a fatty acid increased in the platelet phospholipids of man and animals fed saturated fats, was either added to human platelets simultaneously with the aggregating agents, or incorporated into the platelet phospholipids by preincubation. 20∶3ω9 markedly increased the response of platelets to all aggregating agents tested when added simultaneously with the agent, but solely to thrombin and ionophore, after incorporation into the platelet phospholipids. The potentiating effects of 20∶3ω9 on thrombin aggregation do not appear to be related to prostaglandin formation, but rather to the production of a monohydroxy derivative through the lipoxygenase pathway.     

Diffraction par le réflecteur secondaire d’une antenne Cassegrain de révolution

Diffraction by the subreflector of a revolution dual reflector antenna is studied as contribution to the side-lobe radiation of the antenna; a better knowledge of this sidelobe radiation is necessary in order to satisfy more and more difficult specifications. Calculation of the subreflector diffracted field is made with geometrical theory of diffraction and more precisely with the uniform asymptotic theory. The antenna is made of two revolution surfaces generated by two meridian curves which are not necessarily the set hyperbola-parabola of the classical Cassegrainian antenna. Computation results are compared to measurements made on the subreflector of an existing antenna. The agreement is satisfying particularly in the angular zone corresponding to the primary feed spill-over.     

Invariant representation of facial expressions for blended expression recognition on unknown subjects

Facial expressions analysis plays an important part in emotion detection. However, having an automatic and non-intrusive system to detect blended facial expression is still a challenging problem, especially when the subject is unknown to the system. Here, we propose a method that adapts to the morphology of the subject and that is based on a new invariant representation of facial expressions. In our system, one expression is defined by its relative position to 8 other expressions. As the mode of representation is relative, we show that the resulting expression space is person-independent. The 8 expressions are synthesized for each unknown subject from plausible distortions. Recognition tasks are performed in this space with a basic algorithm. The experiments have been performed on 22 different blended expressions and on either known or unknown subjects. The recognition results on known subjects demonstrate that the representation is robust to the type of data (shape and/or texture information) and to the dimensionality of the expression space. The recognition results on 22 expressions of unknown subjects show that a dimensionality of the expression space of 4 is enough to outperform traditional methods based on active appearance models and accurately describe an expression.     

Ruthenium‐Catalyzed One‐Pot Tandem Isomerization–Transfer Hydrogenation Reactions of γ‐Trifluoromethylated Allylic Alcohols and β‐Trifluoromethylated Enones

The ruthenium–2‐propanol combination was found to transform γ‐trifluoromethylated allylic alcohols and β‐trifluoromethylated enones into the corresponding saturated alcohols in excellent yields via a one‐pot tandem process involving isomerization and transfer hydrogenation(s). High stereospecificity was demonstrated and evidence for two mechanistic pathways is provided. The method was applied to a rapid synthesis of trifluoromethylated citronellol.     

Total lipid content, fatty acids and 4-desmethylsterols accumulation in developing fruit of Pistacia lentiscus L. growing wild in Tunisia

This research has determined oil, fatty acid and sterol contents of the Tunisian Pistacialentiscus (Lentisc) fruits during maturation. Low oil accumulation was observed during the first 35 days after the fruiting (DAF) date (from 1.83% to 2.57%). After that, two phases were distinguished (35th until the 60th and 105th to the 145th DAF), where the rate of oil accumulation increased significantly. At the last stage of maturation, the lentisc fruits had the highest percentage of lipid content, 42.54%. The changing profile of fatty acids during maturation had been marked mainly by an increase in oleic acid content (from 19.49% to 50.72%) paralleling a decrease in linoleic acid content (from 42.5% to 21.75%). At the 15th DAF, the alpha-linolenic acid was found with a maximum of 13.81%. At full maturity, the main fatty acids were oleic acid, followed by palmitic and linoleic acid. Other fatty acids were present in trace proportions, such as palmitoleic, stearic, linolenic, gadoleic and arachidic acid. In all stages of ripening only four sterols were identified and quantified. β-Sitosterol was the major 4-desmethylsterol in samples tested, followed by campesterol. Cholesterol and stigmasterol were detected in trace amounts. During the first stage of ripening, the amount of total sterols was about 5.19/100 g of oil. It decreased to 0.43/100 g in the last stage. Sitosterol and campesterol showed nearly the same profile during the ripening of P. lentiscus fruit which could be linked to the relation between these compounds during their biosynthesis.     

A prismoid framework for languages with resources

Inspired by the Multiplicative Exponential fragment of Linear Logic, we define a framework called the prismoid of resources where each vertex is a language which refines the λ-calculus by using a different choice to make explicit or implicit (meta-level) the definition of the contraction, weakening, and substitution operations. For all the calculi in the prismoid we show simulation of β-reduction, confluence, preservation of β-strong normalisation and strong normalisation for typed terms. Full composition also holds for all the calculi of the prismoid handling explicit substitutions. The whole development of the prismoid is done by making the set of resources a parameter of the formalism, so that all the properties for each vertex are obtained as a particular case of the general abstract proofs.