词汇 | example_english_operational |
释义 | Examples of operationalThese examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. Since the latter typically begins during the third year of life, the implication is that countering processes must be operational by then. The issue of operational correctness is largely ignored in functional programs and remains an open problem. In order to compare his results with ours, we present a brief account of an operational semantics for annotated terms. If only computable domain-theoretic primitives are used, a simple operational semantics results as a by-product of the design process. The operational semantics of expressions is given by a reduction relation i-> on descriptions (denned below). A refinement of operational equivalence is defined and shown to be the maximum comparison relation. Our approach to the operational semantics follows the idea of semantics-based translation. Narrowing as the operational semantics of functional languages. All semantics are formalized as big-step operational semantics. Rather than enter into the issues raised by those papers, we take an operational approach sufficient for the programs appearing in this paper. Operational definitions of lexical knowledge might be represented on a single dimension, but lexical knowledge itself cannot be. Their techniques are those of denotational semantics, completely different from the operational techniques of this paper. The operational semantics is designed to permit a type erasure interpretation. Operational semantics is biased towards the user of the language, hence is sufficient in the spirit of this work. We use the reduction rules that reflect the difference between fields and methods as an introduction to our structured operational semantics. The operational and denotational semantics of terms do not depend upon this definition. The acidic dissolutions had become a new operational means of chemical practice resulting in new ends. Regarding the operational trajectories, they can either be pre-planned or generated on-line. In the absence of this knowledge, this proposal is not operational. We here attempt to explore in detail operational changes in regulatory and institutional mechanisms that affect the development of a private sector. Another implication is that both public and private sectors should emphasize evidence-based assessments and the development of cost-effectiveness as an operational, too. The operational semantics of this class of languages is given via a sequent-calculi presentation of the corresponding fragment of linear logic. The operational semantics we propose consists of a goal-independent bottomup evaluation of programs. Opposition to the operational destructor demonstrated that the effort to remove one environmental problem might introduce another. In this section, we define two operational semantics (the second simpler than the first) for the extended logic programs defined in the last section. In section 4, we present a first operational semantics for the extended programs. The judgements of the operational semantics contain goal stack elements and results. We define trees to formalise the operational semantics. We define operational, model theoretic and fixpoint semantics and establish various relationships between them. In this way, we obtain an operational framework in which different combinations of operators result in different formal properties. The operational methods additionally prove some properties of the operational semantics, which are outside of the scope of our approach. Obviously, when such properties are of interest, operational methods are indispensable. In this case we show that the operational approach is strictly weaker than that presented here, when declarative properties are of interest. Then we briefly discuss completeness of the method and provide a comparison with an operational proof method. The relationship between the operational and fixpoint semantics is stated below. From the operational semantics, a formal description of the monitor, and a program, they derive an instrumented executable file that performs the specified monitoring activity. The alternative possible choices performed during such exploration (points of non-determinism) can be easily converted into parallelism without radically modifying the overall operational semantics. To date, the procedure is not operational yet. The second book is written from an operational rather than an academic perspective, and has distinctly polemic character. Radicalized pragmatism is simply the operational ideology of this practice-challenging practice. On the other hand, these reports may merely illustrate the lack of established operational strategies and accountability. Intermediary waste collection points were almost always covered, and the only operational rubbish tip was located offshore. A list of the variables and their operational definitions has been published previously (6). Spatial clusters of suspected cases are of considerable operational interest. We briefly review the syntax and the operational semantics of the -calculus. Effects of filtering operational velocity set-points issued from joystick. The party's corporatist structure contrasts with its flexible operational choices. An operational definition of importance and relevance of unimportant law analysis will be explained in the following data subsections. The operational range of the study is most impressive, with a particularly valuable consideration of the logistical dimension. In addition, government may conceive of its own business in a way that makes nonpartisanship and noninvolvement impossible on an operational level. The global language system is presented as a subset of the international system, yet the latter is notoriously vague and lacking in operational impor tance. The operational semantics is self-application, that is, the current object is substituted for self in the body of the method which is invoked. The next stage is to translate the identified factors into operational indices. A range of scientific and operational expertise was recruited in the development of the indicators and refinement of the associated data. However, scores averaged across two tasks and double ratings were not reliable enough for operational use. The first bundle of eight beams will be operational by summer 2001. Unless a building generates ample power for its own consumption on site, it is still relevant to reduce operational energy needs to minimum levels. A more optimistic answer, however, is that despite the ongoing debate, there are a variety of architectures that constitute operational models for implemented agent languages. Documentation produced by the four local authorities that was reviewed included policy statements, official papers to social services committees and operational guidelines. We define the machines using a small step operational semantics, by formally describing for each machine instruction the state transition produced by it. Among its operational properties there is a standardisation theorem that formally establishes the adequacy of implementation in functional programming languages. By the end of 1995 it was fully operational with three respite beds, day-care, community-care and bereavement-care services, educational provision and a welfare rights service. Consider the formal definition of an operational semantics for a nontrivial computing machine. Note the objectives of facilitation roles are mainly directed to handle requests from operational roles. The next chapter is devoted to operational semantics, this time only big-step structural operational semantics, but with variants for call-by-value and call- by-name. Safety is guaranteed by the separation between this operational kernel and the high-level descriptive formalism. If operational definitions of recovery are associated with predictive, moderating and mediating variables - such as neurocognition - various directions of empirical research could be opened. Two classes of operational semantics are considered, each with a call-by-value and a call-by-name variant, differing in their treatment of polymorphic abstraction and instantiation. Of course there were newly developed and operational tools (radio telescopes) designed to detect these signals. Different mounting operations require robots designed with attention on load capacity, service range, and operational tasks. We then develop a series of operational characterizations of answer sets in terms of operators on partial colorings. Among others, we distinguish unicoloring and support-driven operational characterizations. To a turn, we build upon these basic graph-theoretical characterizations for developing an operational framework for non-deterministic answer set formation. In this section we present an operational technique that captures the intended semantics faithfully. In this paper we shall describe a working system which is capable of supporting all of the operational modes of this conceptual model. The operational semantics of operating instructions is then naturally defined and is used by rational agents for practical reasoning. In search of operational definitions, the published literature on independence in older age was reviewed. The basis of this tutorial paper were operational interpretations of some variants of default logic. With simple models, existing interpretations can be confirmed and, in addition, explanations for the operational behavior can be found. Again, the general concepts are introduced in the first chapter, and the operational behaviour described in the second. Of the 118 eligible facilities where contact was established, 111 participated in the study (78% of operational facilities). In addition, there are limited data on the full costs of damage caused by security weaknesses and on the operational costs of specific control techniques. The actual operations of these strategies in specific social settings tend to differ to the extent that the cultures operational in those settings differ. The cells suggest sixteen possible contexts for prevention, though not each cell has equal operational purchase on policy or practice. They draw on the information they need, tailoring and applying it to their operational needs. Operational units, including armed forces of different socialist countries, can be created to conduct joint operations in military theatres. Since 1985 he has been dedicated to the development and implementation of practical/operational expert systems for different sectors of industry including aerospace. The initial phase of the wartime operational expert system was completed towards the end of 1987. While the subject matter of the projects can cover a wide range, the examples quoted in interviews tended to be of an operational nature. The operational effect is rather narrow; it operates on a limited group of people who are in a state of physical decline. Thirdly, most countries' residents have no knowledge of the existence or operational aspects of these markets. Such actions, however, require rigorous operational standards and huge investments, even if undertaken within hours after pest introduction and detection. In this study, for example, operational definitions of anger and positive emotion were nonoverlapping. At an operational level, we are seeking to determine whether a change in the connectivity of the amygdala might be associated with the behavioral alterations. If these differing notions of sustainability are to have operational consequences, then measures of progress towards sustainable development are required. These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。