Requirements Verification
Mostrando 1-12 de 27 artigos, teses e dissertações.
-
1. Reliability and geotechnical safety applied to deep foundations in precast concrete piles - case study
Abstract The Brazilian standard pertinent to the design and execution of foundations, NBR 6122/2019, establishes that the safety inspection of foundations of a given project must be conducted based on compliance with specified safety factors. Safety factor verification is imperative to meet regulatory requirements; however, it is not enough to guarantee the
REM, Int. Eng. J.. Publicado em: 2021-01
-
2. Caracterização de painéis de partículas de média densidade feitos com resina poliuretana monocomponente à base de mamona
Resumo Dentre os fatores envolvidos na fabricação dos painéis destaca-se o tipo adesivo, em que o uso de novos pode resultar em boas propriedades aos materiais fabricados. Nesse contexto, esta pesquisa objetivou avaliar propriedades físicas e mecânicas de painéis de partículas fabricados com madeiras de Pinus sp. e de Eucalyptus grandis e unidas com r
Ambient. constr.. Publicado em: 2019-03
-
3. Analytical determination of the critical impact location for wing leading edge under birdstrike
Abstract The wing leading edge is one of the aircraft structures which are vulnerable to birdstrike. Therefore, Federal Aviation Regulation has clear requirements of anti-birdstrike performance for wing leading edge. However, the impact location is not specified in aviation regulation. The forefront of the wing leading edge is selected as a critical location
Lat. Am. j. solids struct.. Publicado em: 04/02/2019
-
4. Multistage axial-flow turbines : design and performance analysis
Plans for developing turbines in Brazil were present on the conception of CTA six decades ago. In this manner highly specialized work teams is needed to carry out such activity. The Center for Reference on Gas Turbine group has been contributing to research activities at CTA taking account of the study of gas turbines both aeronautical and industrial. In ord
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/06/2012
-
5. Gestão da qualidade aplicada à melhoria do processo de produção de carvão vegetal / Quality management applied to improve the production process of charcoal
The forestry sector contributes significantly to the Brazilian Gross Domestic Product (GDP), as well as to generate employment and income. The research for this sector brought numerous technological advances in areas such as forestry, plant breeding, soil management and water resources. However, few studies have studied management, responsible for increasing
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 09/12/2011
-
6. Monitoração dinâmica de asserções para depuração em silício
The increasing demand for shorter time-to-market, combined with increased complexity and performance requirements put a tremendous pressure on post-silicon debug, which is usually the last step prior to chip release. In contrast to pre-silicon techniques, postsilicon debug have two main limitations, controllability and observability, which cause the failure
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 08/08/2011
-
7. Implementação de processador banda base ofdma para downlink lte em fpga
This work treats of an implementation OFDMA baseband processor in hardware for LTE Downlink. The LTE or Long Term Evolution consist the last stage of development of the technology called 3G (Mobile System Third Generation) which offers an increasing in data rate and more efficiency and flexibility in transmission with application of advanced antennas and mul
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 31/03/2011
-
8. Arquitetura modular de processador multicore, flexível, segura e tolerante a falhas, para sistemas embarcados ciberfísicos. / Modular multicore processor architecture, flexible, securi and fault tolerant, to embedded cyber-physical systems.
Cyber-physical Systems (CPS) are systems where there is an union between computing and physics. The CPS will be used in several areas, forming a new era of systems or devices and could be anywhere, being used by anyone and anything. Applications for CPS include highly reliable medical systems and devices, traffic control and security, advanced automotive, pr
Publicado em: 2010
-
9. Uma abordagem baseada em definição de requisitos e em verificação e validação para o processo de monitoração de aquisição de software / Uma Abordagem Baseada em Definição de Requisitos e em Veificação e Validação para o Processo de Monitoração de Aquisição de Software
Organizations have been acquiring software development services with suppliers. The acquisition process approaches are main concerned with activities until the contract signature. In all stages of the procurement process, especially during the acquisition monitoring, the contractor s participation is crucial in the requirements definition and in the verifica
Publicado em: 2009
-
10. Verificação formal de sistemas discretos distribuídos. / Formal verification of distribuited discrete systems.
This work deals with the process of design and verification of complex systems, mainly real time, concurrent and distributed systems. An enumerative technique is proposed for model-checking which is capable of determining both quantitative and qualitative properties. The proposed technique detach the algorithm for labeling the formula being checked from the
Publicado em: 2009
-
11. FAVIHC Framework de Avaliação da Interação Humano-Computador / FAVIHC - Framework de AValiação da Interação Humano Computador
In order to implement a software development process following certain quality constraints, which must be observed by the involved professionals (namely developers, customers, users and designers), it is paramount that those professionals interact. Such an interaction is necessary in order to design, build and evaluate the software. Moreover, the evaluation
Publicado em: 2009
-
12. Uma abordagem Ãgil ao gerenciamento de projetos de software baseada no PMBOK Guide
The high time-to-market exigency makes us rethink about the way of managing projects, in particular those related to software development. Agile management is an alternative for short duration projects, with high change of requirements. There are some approaches to work with Agile Project Management such as: Agile Project Management, Agile Project Management
Publicado em: 2009