908 resultados para Design criteria
Resumo:
Perante diversas situações da engenharia são utilizadas formulações empíricas de dimensionamento baseadas em dados de campo e experiência profissional que definem muito o caráter subjetivo da metodologia padrão de projeto. O presente trabalho de pesquisa aborda os diversos métodos de obtenção dos esforços gerados em dutos enterrados submetidos a cargas dinâmicas e estáticas e sua posterior reavaliação através de modelagem numérica com o programa Plaxis 3D. Os métodos analíticos não convencionais foram comparados com o método padrão de cálculo sendo que o mesmo demonstrou ter uma boa precisão mesmo sem considerar outros fatores importantes como a parcela de resistência devida à coesão do solo e sua deformabilidade. A modelagem numérica demonstrou o conservadorismo do método de Marston e o subdmensionamento do espraiamento em prisma devido aos efeitos locais ocasionados pela adoção do recobrimento mínimo e sobrecarga dinâmica elevada. Também se observou, através da modelagem 3D, que a utilização dos dois métodos clássicos favorecem a obtenção de resultados dentro da razoabilidade.Verificou-se também, como resultado desta pesquisa, que a proposta de um método clássico modificado permite uma melhor aproximação da carga que atinge o duto.
Resumo:
Atmospheric effects can significantly degrade the reliability of free-space optical communications. One such effect is scintillation, caused by atmospheric turbulence, refers to random fluctuations in the irradiance and phase of the received laser beam. In this paper we inv stigate the use of multiple lasers and multiple apertures to mitigate scintillation. Since the scintillation process is slow, we adopt a block fading channel model and study the outage probability under the assumptions of orthogonal pulse-position modulation and non-ideal photodetection. Assuming perfect receiver channel state information (CSI), we derive the signal-to-noise ratio (SNR) exponents for the cases when the scintillation is lognormal, exponential and gammagamma distributed, which cover a wide range of atmospheric turbulence conditions. Furthermore, when CSI is also available at the transmitter, we illustrate very large gains in SNR are possible (in some cases larger than 15 dB) by adapting the transmitted power. Under a long-term power constraint, we outline fundamental design criteria via a simple expression that relates the required number of lasers and apertures for a given code rate and number of codeword blocks to completely remove system outages. Copyright © 2009 IEEE.
Resumo:
The design and construction of deep excavations in urban environment is often governed by serviceability limit state related to the risk of damage to adjacent buildings. In current practice, the assessment of excavation-induced building damage has focused on a deterministic approach. This paper presents a component/system reliability analysis framework to assess the probability that specified threshold design criteria for multiple serviceability limit states are exceeded. A recently developed Bayesian probabilistic framework is used to update the predictions of ground movements in the later stages of excavation based on the recorded deformation measurements. An example is presented to show how the serviceability performance for excavation problems can be assessed based on the component/system reliability analysis. © 2011 ASCE.
Resumo:
The heavy ion linac in Lanzhou is designed as a future injector for the Cooling Storage Ring (CSR). In order to keep the total machine within 40 meters, the IH (Interdigital H-type) structure is adopted for its higher acceleration gradient compared with the traditional DTL structure. The designed minimum charge over mass ratio is 1/6, the output energy is 16MeV/u and the beam current is 1A.mu A. The RFQ and the first DTL tank will work at 100MHz, and the other DTL tanks will work at the double frequency. The design criteria, main parameters and the detailed beam dynamic design are introduced in this paper.
Resumo:
以利用线加速度传感器实际测量转动关节的加速度为基础 ,分析了机器人关节加速度反馈控制的开环模型 ,以及影响其闭环稳定性的主要因素 ;提出了闭环控制策略的设计准则 .在一台三自由度直接驱动机器人上的实验结果证明了该文分析的正确性 ,与不具备加速度反馈控制时的实验结果相比较 ,显示出这种方法的有效性
Resumo:
Presenting a complete guide for the planning, design and implementation of solar PV systems for off-grid applications, this book features analysis based on the authors’ own laboratory testing as well as their in the field experiences. Incorporating the latest developments in smart-digital and control technologies into the design criteria of the PV system, this book will also focus on how to integrate newer smart design approaches and techniques for improving the efficiency, reliability and flexibility of the entire system. The design and implementation of India’s first-of its-kind Smart Mini-Grid system (SMG) at TERI premises, which involves the integration of multiple renewable energy resources (including solar PV) through smart controllers for managing the load intelligently and effectively is presented as a key case study. Maximizing reader insights into the performance of different components of solar PV systems under different operating conditions, the book will be of interest to graduate students, researchers, PV designers, planners, and practitioners working in the area of solar PV design, implementation and assessment.
Resumo:
In research areas involving mathematical rigor, there are numerous benefits to adopting a formal representation of models and arguments: reusability, automatic evaluation of examples, and verification of consistency and correctness. However, broad accessibility has not been a priority in the design of formal verification tools that can provide these benefits. We propose a few design criteria to address these issues: a simple, familiar, and conventional concrete syntax that is independent of any environment, application, or verification strategy, and the possibility of reducing workload and entry costs by employing features selectively. We demonstrate the feasibility of satisfying such criteria by presenting our own formal representation and verification system. Our system’s concrete syntax overlaps with English, LATEX and MediaWiki markup wherever possible, and its verifier relies on heuristic search techniques that make the formal authoring process more manageable and consistent with prevailing practices. We employ techniques and algorithms that ensure a simple, uniform, and flexible definition and design for the system, so that it easy to augment, extend, and improve.
Resumo:
In research areas involving mathematical rigor, there are numerous benefits to adopting a formal representation of models and arguments: reusability, automatic evaluation of examples, and verification of consistency and correctness. However, accessibility has not been a priority in the design of formal verification tools that can provide these benefits. In earlier work [30] we attempt to address this broad problem by proposing several specific design criteria organized around the notion of a natural context: the sphere of awareness a working human user maintains of the relevant constructs, arguments, experiences, and background materials necessary to accomplish the task at hand. In this report we evaluate our proposed design criteria by utilizing within the context of novel research a formal reasoning system that is designed according to these criteria. In particular, we consider how the design and capabilities of the formal reasoning system that we employ influence, aid, or hinder our ability to accomplish a formal reasoning task – the assembly of a machine-verifiable proof pertaining to the NetSketch formalism. NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch is conceived to assist system integrators in two types of activities: modeling and design. It provides capabilities for compositional analysis based on a strongly-typed domain-specific language (DSL) for describing and reasoning about constrained-flow networks and invariants that need to be enforced thereupon. In a companion paper [13] we overview NetSketch, highlight its salient features, and illustrate how it could be used in actual applications. In this paper, we define using a machine-readable syntax major parts of the formal system underlying the operation of NetSketch, along with its semantics and a corresponding notion of validity. We then provide a proof of soundness for the formalism that can be partially verified using a lightweight formal reasoning system that simulates natural contexts. A traditional presentation of these definitions and arguments can be found in the full report on the NetSketch formalism [12].
Resumo:
In college courses dealing with material that requires mathematical rigor, the adoption of a machine-readable representation for formal arguments can be advantageous. Students can focus on a specific collection of constructs that are represented consistently. Examples and counterexamples can be evaluated. Assignments can be assembled and checked with the help of an automated formal reasoning system. However, usability and accessibility do not have a high priority and are not addressed sufficiently well in the design of many existing machine-readable representations and corresponding formal reasoning systems. In earlier work [Lap09], we attempt to address this broad problem by proposing several specific design criteria organized around the notion of a natural context: the sphere of awareness a working human user maintains of the relevant constructs, arguments, experiences, and background materials necessary to accomplish the task at hand. We report on our attempt to evaluate our proposed design criteria by deploying within the classroom a lightweight formal verification system designed according to these criteria. The lightweight formal verification system was used within the instruction of a common application of formal reasoning: proving by induction formal propositions about functional code. We present all of the formal reasoning examples and assignments considered during this deployment, most of which are drawn directly from an introductory text on functional programming. We demonstrate how the design of the system improves the effectiveness and understandability of the examples, and how it aids in the instruction of basic formal reasoning techniques. We make brief remarks about the practical and administrative implications of the system’s design from the perspectives of the student, the instructor, and the grader.
Resumo:
In work that involves mathematical rigor, there are numerous benefits to adopting a representation of models and arguments that can be supplied to a formal reasoning or verification system: reusability, automatic evaluation of examples, and verification of consistency and correctness. However, accessibility has not been a priority in the design of formal verification tools that can provide these benefits. In earlier work [Lap09a], we attempt to address this broad problem by proposing several specific design criteria organized around the notion of a natural context: the sphere of awareness a working human user maintains of the relevant constructs, arguments, experiences, and background materials necessary to accomplish the task at hand. This work expands one aspect of the earlier work by considering more extensively an essential capability for any formal reasoning system whose design is oriented around simulating the natural context: native support for a collection of mathematical relations that deal with common constructs in arithmetic and set theory. We provide a formal definition for a context of relations that can be used to both validate and assist formal reasoning activities. We provide a proof that any algorithm that implements this formal structure faithfully will necessary converge. Finally, we consider the efficiency of an implementation of this formal structure that leverages modular implementations of well-known data structures: balanced search trees and transitive closures of hypergraphs.
Resumo:
Closing feedback loops using an IEEE 802.11b ad hoc wireless communication network incurs many challenges sensitivity to varying channel conditions and lower physical transmission rates tend to limit the bandwidth of the communication channel. Given that the bandwidth usage and control performance are linked, a method of adapting the sampling interval based on an 'a priori', static sampling policy has been proposed and, more significantly, assuring stability in the mean square sense using discrete-time Markov jump linear system theory. Practical issues including current limitations of the 802.11 b protocol, the sampling policy and stability are highlighted. Simulation results on a cart-mounted inverted pendulum show that closed-loop stability can be improved using sample rate adaptation and that the control design criteria can be met in the presence of channel errors and severe channel contention.
Resumo:
In the early 19th century the requirement for clear span industrial buildings brought about the development of a variety of timber truss types. The Belfast truss was introduced circa 1860 to meet the demand for efficient wide span industrial buildings. It has essentially a bow-string configuration with a curved top chord, straight horizontal bottom chord and close-spaced lattice web. Several thousand still exist in Ireland, many in buildings of historic significance. This paper sets out to demonstrate the efficiency of the Belfast truss and to show that, by modern structural design criteria, the concept, member sizes and joint details were well chosen. Trusses in historic buildings can be replicated almost exactly as originally fabricated. Results of a theoretical study are compared with the experimental behaviour of two full-scale trusses: one a replacement truss, tested in the laboratory; the other an 80-year-old truss tested on site. In addition, experimental results from a manufacturers archive material of full-scale truss tests carried out about 100 years ago are compared with theoretical models. As well as considering their significance in building conservation the paper proposes that Belfast trusses are an attractive sustainable alternative to other roof structures. The analysis, design, fabrication and testing of trusses have resulted in a better understanding of their behaviour which is not only of historic interest and fundamental to the repair/restoration of existing trusses, but also relevant to the design of modern timber trusses and the promotion of a sustainable form of roof construction.
Resumo:
Email
Print
Request Permissions
A new type of microwave demultiplexer is proposed which combines an arrayed waveguide grating (AWG) and a Rotman lens. The dispersion property of an AWG is employed to produce different phase slope responses for different frequencies, while the Rotman lens routes the frequency components onto different ports. To optimize isolation performance, the design constraints of both the AWG and the Rotman lens are re-examined and new design criteria elaborated. The optimized design is demonstrated of being capable of achieving 15 dB channel isolation over a 25% band range centered at 10 GHz. While a design based on a conventional Rotman lens yields isolation level of around 6 dB over a 9% band range centered at 10GHz.
Resumo:
Glued-in rods (GiR) have been successfully used for both constructing new and strengthening existing timber structures. The research and development of connecting and strengthening timber structural elements with GiR has been going on since the 1980s. However, agreement regarding design criteria for these applications has not been reached. Today, some few technical approvals for specific adhesives suitable to GiR exist, but an approach for the design of connections or reinforcement with GiR has not been included in the European design code EN 1995 so far. Therefore, it is desired to gather the current state of knowledge to enable application in practice of the existing and documented knowledge and experience. This state-of-the-art review (STAR) summarises results from research done regarding connections and reinforcement with GiR. The review considers manufacturing methods, mechanisms and parameters governing the performance and strength of GiR, theoretical approaches and existing design recommendations. For GiR applied as reinforcement similar rules and requirements apply as for GiR being used as connectors.