排序方式: 共有44条查询结果,搜索用时 31 毫秒
11.
介绍了采用光纤位移传感器测试CD/DVD光学头ACT特性参数方法及LabVIEW环境下的图形化编程软件在参数测试系统中的应用,并对系统的基本功能在软件、硬件方面作了较详细的叙述. 相似文献
12.
Executable structural operational semantics in Maude 总被引:1,自引:0,他引:1
Alberto Verdejo Narciso Martí-Oliet 《The Journal of Logic and Algebraic Programming》2006,67(1-2):226
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where transitions become rewrites and inference rules become conditional rewrite rules with rewrites in the conditions, as made possible by the new features in Maude 2. We validate this technique using it in several case studies: a functional language Fpl (evaluation and computation semantics), an imperative language WhileL (evaluation and computation semantics), Kahn’s functional language Mini-ML (evaluation or natural semantics), Milner’s CCS (with strong and weak transitions), and Full LOTOS (including ACT ONE data type specifications). In addition, on top of CCS we develop an implementation of the Hennessy–Milner modal logic for describing local capabilities of processes, and for LOTOS we build an entire tool where Full LOTOS specifications can be entered and executed (without user knowledge of the underlying implementation of the semantics). We also compare this method based on transitions as rewrites with another one based on transitions as judgements. 相似文献
13.
Young Bong Seo Jae Weon Choi Guang Ren Duan 《Journal of Mechanical Science and Technology》2006,20(7):981-992
In this paper, a lateral vehicle control using the concept of control configured vehicle (CCV) is presented. The control objectives
for the lateral dynamics of a vehicle include the ability to follow a chosen variable without significant motion change in
other specified variables. The analysis techniques for decoupling of the aircraft motions are utilized to develop vehicle
lateral control with advanced mode. Vehicle lateral dynamic is determined to have the steering input and control torque input.
The additional vehicle modes are also defined to using CCV concept. We use right eigenstructure assignment techniques and
command generator tracker to design a control law for an lateral vehicle dynamics. The desired eigenvectors are chosen to
achieve the desired decoupling (i.e., lateral direction speed and yaw rate). The command generator tracker is used to ensure
steady-state tracking of the driver’s command. Finally, the developed design is utilized by using the lateral vehicle dynamic
with four wheel. 相似文献
14.
How do people select among different strategies to accomplish a given task? Across disciplines, the strategy selection problem represents a major challenge. We propose a quantitative model that predicts how selection emerges through the interplay among strategies, cognitive capacities, and the environment. This interplay carves out for each strategy a cognitive niche, that is, a limited number of situations in which the strategy can be applied, simplifying strategy selection. To illustrate our proposal, we consider selection in the context of 2 theories: the simple heuristics framework and the ACT–R (adaptive control of thought—rational) architecture of cognition. From the heuristics framework, we adopt the thesis that people make decisions by selecting from a repertoire of simple decision strategies that exploit regularities in the environment and draw on cognitive capacities, such as memory and time perception. ACT–R provides a quantitative theory of how these capacities adapt to the environment. In 14 simulations and 10 experiments, we consider the choice between strategies that operate on the accessibility of memories and those that depend on elaborate knowledge about the world. Based on Internet statistics, our model quantitatively predicts people's familiarity with and knowledge of real-world objects, the distributional characteristics of the associated speed of memory retrieval, and the cognitive niches of classic decision strategies, including those of the fluency, recognition, integration, lexicographic, and sequential-sampling heuristics. In doing so, the model specifies when people will be able to apply different strategies and how accurate, fast, and effortless people's decisions will be. (PsycINFO Database Record (c) 2011 APA, all rights reserved) 相似文献
15.
This paper examines the economics of urban consolidation, using a case study of an Australian Capital Territory (ACT) Better Cities project. The analysis identifies critical areas of such economic assessments, including land costs and third party costs such as resident dislocation and traffic congestion. The ACT leasehold system highlights an important distributional effect of urban consolidation. This study also exemplifies aspects of the Better Cities program and how city structure affects the economic viability of consolidation. 相似文献
16.
Actin Isovariant ACT7 Modulates Root Thermomorphogenesis by Altering Intracellular Auxin Homeostasis
High temperature stress is one of the most threatening abiotic stresses for plants limiting the crop productivity world-wide. Altered developmental responses of plants to moderate-high temperature has been shown to be linked to the intracellular auxin homeostasis regulated by both auxin biosynthesis and transport. Trafficking of the auxin carrier proteins plays a major role in maintaining the cellular auxin homeostasis. The intracellular trafficking largely relies on the cytoskeletal component, actin, which provides track for vesicle movement. Different classes of actin and the isovariants function in regulating various stages of plant development. Although high temperature alters the intracellular trafficking, the role of actin in this process remains obscure. Using isovariant specific vegetative class actin mutants, here we demonstrate that ACTIN 7 (ACT7) isovariant plays an important role in regulating the moderate-high temperature response in Arabidopsis root. Loss of ACT7, but not ACT8 resulted in increased inhibition of root elongation under prolonged moderate-high temperature. Consistently, kinematic analysis revealed a drastic reduction in cell production rate and cell elongation in act7-4 mutant under high temperature. Quantification of actin dynamicity reveals that prolonged moderate-high temperature modulates bundling along with orientation and parallelness of filamentous actin in act7-4 mutant. The hypersensitive response of act7-4 mutant was found to be linked to the altered intracellular auxin distribution, resulted from the reduced abundance of PIN-FORMED PIN1 and PIN2 efflux carriers. Collectively, these results suggest that vegetative class actin isovariant, ACT7 modulates the long-term moderate-high temperature response in Arabidopsis root. 相似文献
17.
Yuefang Zhao Dr. Congwei Niu Dr. Xin Wen Prof. Dr. Zhen Xi 《Chembiochem : a European journal of chemical biology》2013,14(6):746-752
Acetohydroxyacid synthases (AHASs), which catalyze the first step in the biosynthesis of branched‐chain amino acids, are composed of a catalytic subunit (CSU) and a regulatory subunit (RSU). The CSU harbors the catalytic site, and the RSU is responsible for the activation and feedback regulation of the CSU. Previous results from Chipman and co‐workers and our lab have shown that heterologous activation can be achieved among isozymes of Escherichia coli AHAS. It would be interesting to find the minimum peptide of ilvH (the RSU of E. coli AHAS III) that could activate other E. coli CSUs, or even those of ## species. In this paper, C‐terminal, N‐terminal, and C‐ and N‐terminal truncation mutants of ilvH were constructed. The minimum peptide to activate ilvI (the CSU of E. coli AHAS III) was found to be ΔN14–ΔC89. Moreover, this peptide could not only activate its homologous ilvI and heterologous ilvB (CSU of E. coli AHAS I), but also heterologously activate the CSUs of AHAS from Saccharomyces cerevisiae, Arabidopsis thaliana, and Nicotiana plumbaginifolia. However, this peptide totally lost its ability for feedback regulation by valine, thus suggesting different elements for enzymatic activation and feedback regulation. Additionally, the apparent dissociation constant (Kd) of ΔN14–ΔC89 when binding CSUs of different species was found to be 9.3–66.5 μM by using microscale thermophoresis. The ability of this peptide to activate different CSUs does not correlate well with its binding ability (Kd) to these CSUs, thus implying that key interactions by specific residues is more important than binding ability in promoting enzymatic reactions. The high sequence similarity of the peptide ΔN14–ΔC89 to RSUs across species hints that this peptide represents the minimum activation motif in RSU and that it regulates all AHASs. 相似文献
18.
介绍一种基于USB2.0接口的TI公司DSP仿真器的研制方法。该系统以USB控制器CY7C68013为核心,通过ACT8990实现IEEE1149.1协议,实现PC机对DSP片内数据的读写,从而完成仿真功能。该系统制造简单,成本低。根据本文的方法,DSP开发者可以自行研制仿真器,而不必另外购买。 相似文献
19.
20.
Simulation-based performance evaluation of transport vehicles at automated container terminals 总被引:9,自引:9,他引:0
Significant unproductive and costly waiting occurs during AGV (Automated Guided Vehicle) use, both under the CC (Container Crane) and in the blocks compared to that of a manual yard tractor. A possible solution to this problem is that, in the design of ACT (Automated Container Terminals), ALV (Automated Lifting Vehicles), which can load and unload their own containers, be considered as an alternative. In this paper, the objective is to analyze how increases in the use of ALVs rather than AGVs affects the productivity of ACTs. We derived four inferences regarding the cycle time of vehicles and verified their validity in a simulation. A simulation model of an ACT with perpendicular layout was developed and is described in this paper. From the results of the simulation analysis, we determined the savings effect by cycle time and the required number of vehicles. We demonstrated that the ALV is superior to the AGV in both productivity and efficiency principally because the ALV eliminates the waiting time in the buffer zone.Correspondence to: Yong Seok Choi: 相似文献