This paper presents a project undertaken for the European Space Agency (ESA). The project is developing a knowledge based system for planning and scheduling of activities for spacecraft assembly, integration and verification (AIV). The system extends to the monitoring of plan execution and the plan repair phases.
The objectives of the contract are to develop an operational kernel of a planning, scheduling and plan repair tool, called OPTIMUM-AIV, and to provide facilities which will allow individual projects to customize the kernel to suit its specific needs. The kernel shall consist of a set of software functionalities for assistance in the initial specification of the AIV plan, in the verification and generation of valid plans and schedules for the AIV activities, and in interactive monitoring and execution problem recovery for the detailed AIV plans. Embedded in OPTIMUM-AIV are external interfaces which allow integration with alternative scheduling systems and project databases.
The current status of the OPTIMUM-AIV project, as of May 1991, is that the architectural design of the system has been agreed on by ESTEC/ESA and detailed design and implementation is now underway, expecting a final delivery in October of 1991. 相似文献
In this work the A-site deficiency limit for undoped SrTiO3, calcined in air or reducing atmosphere, was investigated. XRD and SEM analyses showed that when using the solid-state synthesis route it was difficult to achieve any A-site deficiency. Even very small deviations from unity in the Sr/Ti-ratio resulted in impurity phases. The effects of Sr/Ti-ratio on the performance of SrTiO3 anodes for solid oxide fuel cells (SOFCs) was investigated by impedance spectroscopy with cone-shaped electrodes. The electrocatalytic activity of the SrTiO3 cone samples, with various amount of reduced titanium dioxide phases (Magnéli phases), was investigated for oxidation of H2 at 700 °C. High temperature treatment at 1000 °C, between the measurements at 700 °C, showed that high content of Magnéli phases leads to faster degradation of the activity. The suitability for using cone-shaped electrodes as a tool for investigating electrode materials is discussed. 相似文献
Four types of cellulose, in particular carboxy methyl cellulose (CMC), are tested as potential binding materials in graphitic anodes for lithium ion batteries. It is shown that a minimum content of a cellulose which gives acceptable anode properties (reversible capacity>300 mA h g−1 during the first 10 cycles, irreversible loss<20%) is about 2 wt.%, which is less than in the case of conventional polymeric binders (5-10 wt.%). Kinetics of insertion-deinsertion and passivation processes seem not to be affected by the presence of cellulose. Explanation for the electrode failure at cellulose contents lower than 1 wt.% is given based on X-ray diffraction and microscopy investigations. Finally, the structure (distribution) of cellulose in the composite anode material is discussed and (indirectly) checked with a series of experiments. Most results are compared with the corresponding results obtained either with gelatin or conventional polymeric binders or both. 相似文献
The aim of this study was to determine the role of the formation of radicals and hydrogen peroxide in the viscosity loss of beta-glucan extracts from oat and barley. Radicals derived from endogenous H2O2 were formed spontaneously in all extracts. The decomposition of H2O2 by catalase had little or no effect on the viscosity, and the radical formation detected and measured by electron spin resonance (ESR) spectroscopy did not predict the shelf life of crude beta-glucan extracts. The addition of FeSO4 accelerated the radical formation and viscosity loss, revealing the sensitivity of the extract viscosity towards catalysts for oxidation. Using 50% cadoxen in the extracts slowed down the viscosity loss in all extracts but still led to a 10–70% decrease of the initial viscosities during 4 weeks of storage. The results suggest that the viscosity loss may be a result from multiple mechanisms including chemical reactions during storage as well as aggregation and conformational changes. 相似文献
The technical feasibility of roll motion control devices has been amply demonstrated for over 100 years. Performance, however, can still fall short of expectations because of difficulties associated with control system designs, which have proven to be far from trivial due to fundamental performance limitations and large variations of the spectral characteristics of wave-induced roll motion. This tutorial paper presents an account of the development of various ship roll motion control systems together with the challenges associated with their design. It discusses the assessment of performance and the applicability of different mathematical models, and it surveys the control methods that have been implemented and validated with full scale experiments. The paper also presents an outlook on what are believed to be potential areas of research within this topic. 相似文献
Electrical transport properties of molecular junctions are fundamentally affected by the energy alignment between molecular frontier orbitals (highest occupied molecular orbital (HOMO) or lowest unoccupied molecular orbital (LUMO)) and Fermi level (or work function) of electrode metals. Dithiafulvene (DTF) is used as substituent group to the oligo(phenylene ethynylene) (OPE) molecular wires and different molecular structures based on OPE3 backbone (with linear to cruciform framework) are achieved, with viable molecular orbitals and HOMO–LUMO energy gaps. OPE3, OPE3–DTF, and OPE3–tetrathiafulvalene (TTF) can form good self‐assembled monolayers (SAMs) on Au substrates. Molecular heterojunctions based on these SAMs are investigated using conducting probe–atomic force microscopy with different tips (Ag, Au, and Pt) and Fermi levels. The calibrated conductance values follow the sequence OPE3–TTF > OPE3–DTF > OPE3 irrespective of the tip metal. Rectification properties (or diode behavior) are observed in case of the Ag tip for which the work function is furthest from the HOMO levels of the OPE3s. Quantum chemical calculations of the transmission qualitatively agree with the experimental data and reproduce the substituent effect of DTF. Zero‐bias conductance, and symmetric or asymmetric couplings to the electrodes are investigated. The results indicate that improved fidelity of molecular transport measurements may be achieved by systematic studies of homologues series of molecular wires applying several different metal electrodes. 相似文献
The industrial demand for micro mechanical components has surged in the later years with the constant introduction of more integrated products. The micro bulk forming process holds a promising pledge of delivering high quality micro mechanical components at low cost and high production rates. This work describes a number of prototype system units, which collectively form a desktop sized micro forming production system. The system includes a billet preparation module, an integrated transfer system, a temperature controlled forming tool, including process simulation, and a dedicated micro forming press. The system is demonstrated on an advanced micro forming case where a dental component is formed in medical grade Titanium. 相似文献
The tcc paradigm is a formalism for timed concurrent constraint programming. Several tcc languages differing in their way of expressing infinite behavior have been proposed in the literature. In this work we study the expressive power of some of these languages. In particular, we show that: (1) recursive procedures with parameters can be encoded into parameterless recursive procedures with dynamic scoping, and viceversa. (2) replication can be encoded into parameterless recursive procedures with static scoping, and viceversa. (3) the languages from (1) are strictly more expressive than the languages from (2). Furthermore, we show that behavioral equivalence is undecidable for the languages from (1), but decidable for the languages from (2). The undecidability result holds even if the process variables take values from a fixed finite domain.(Joint work with Mogens Nielsen and Frank D. Valencia) 相似文献
The general aim of this paper is to find a theory of concurrency combining the approaches of Petri and Scott (and others).In part I we introduce our formalisms. To connect the abstract ideas of events and domains of information, we show how casual nets induce certain kinds of domains where the information points are certain sets of events. This allows translations between the languages of net theory and domain theory. Following the idea that events of causal nets are occurrences, we generalise causal nets to occurrence nets, by adding forwards conflict. Just as infinite flow charts unfold finite ones, so transition nets can be unfolded into occurrence nets. Next we extend the above connections between nets and domains to these new nets. Event structures which are intermediate between nets and domains play an important part in all our work. Finally, as an example of how concepts translate from one formalism to the other, we show how Petri's notion of confusion ties up with Kahn and Plotkin's concrete domains.In part II we shall continue the job of connecting up notions within net theory and the theory of domains. In particular, we shall examine the idea of states of computations. 相似文献
The perovskites (La0.85Sr0.15)0.98CoO3 – and (La0.85Sr0.15)1.00CoO3 – have been investigated using x-ray diffraction (XRD), scanning electron microscopy (SEM) and electrical conductivity relaxation (ECR). This system was chosen in order to investigate the influence of cation vacancies on the transport properties in the materials. From ECR-measurements it is concluded that no difference in the chemical diffusion coefficient for oxide ions between the two samples can be found. The activation energy for the chemical diffusion coefficient has been found to be 107 ± 5 kJ mol– 1. However, the surface exchange coefficient differs between the two samples. The Co-rich sample has a significantly higher surface exchange coefficient than the A/B-stoichiometric sample. For both samples the surface exchange coefficient was almost independent of the temperature. At all temperatures the Co-rich sample had a significantly higher electrical conductivity. The difference in electrical conductivity between the two samples diminished when going to higher temperatures. Both materials can be assigned to a single phase hexagonal perovskite. An annealed sample of (La0.85Sr0.15)0.98CoO3 – did however contain an unidentified secondary phase on the surface. 相似文献