910 resultados para Web Accessibility. Non-functional requirements. Elicitation. Catalog of NFRs. Framework NFR
Resumo:
Insulin secretion from pancreatic β cells plays a central role in the control of blood glucose levels. The amount of insulin released by β cells is precisely adjusted to match organism requirements. A number of conditions that arise during life, including pregnancy and obesity, can result in a decreased sensitivity of insulin target tissues and a consequent rise in insulin needs. To preserve glucose homoeostasis, the augmented insulin demand requires a compensatory expansion of the pancreatic β cell mass and an increase in its secretory activity. This compensatory process is accompanied by modifications in β cell gene expression, although the molecular mechanisms underlying the phenomenon are still poorly understood. Emerging evidence indicates that at least part of these compensatory events may be orchestrated by changes in the level of a novel class of gene regulators, the microRNAs. Indeed, several of these small, non-coding RNAs have either positive or negative impacts on β cell proliferation and survival. The studies reviewed here suggest that the balance between the actions of these two groups of microRNAs, which have opposing functional effects, can determine whether β cells expand sufficiently to maintain blood glucose levels in the normal range or fail to meet insulin demand and thus lead, as a consequence, towards diabetes manifestation. A better understanding of the mechanisms governing changes in the microRNA profile will open the way for the development of new strategies to prevent and/or treat both type 2 and gestational diabetes.
Resumo:
Particulate nanostructures are increasingly used for analytical purposes. Such particles are often generated by chemical synthesis from non-renewable raw materials. Generation of uniform nanoscale particles is challenging and particle surfaces must be modified to make the particles biocompatible and water-soluble. Usually nanoparticles are functionalized with binding molecules (e.g., antibodies or their fragments) and a label substance (if needed). Overall, producing nanoparticles for use in bioaffinity assays is a multistep process requiring several manufacturing and purification steps. This study describes a biological method of generating functionalized protein-based nanoparticles with specific binding activity on the particle surface and label activity inside the particles. Traditional chemical bioconjugation of the particle and specific binding molecules is replaced with genetic fusion of the binding molecule gene and particle backbone gene. The entity of the particle shell and binding moieties are synthesized from generic raw materials by bacteria, and fermentation is combined with a simple purification method based on inclusion bodies. The label activity is introduced during the purification. The process results in particles that are ready-to-use as reagents in bioaffinity. Apoferritin was used as particle body and the system was demonstrated using three different binding moieties: a small protein, a peptide and a single chain Fv antibody fragment that represents a complex protein including disulfide bridge.If needed, Eu3+ was used as label substance. The results showed that production system resulted in pure protein preparations, and the particles were of homogeneous size when visualized with transmission electron microscopy. Passively introduced label was stably associated with the particles, and binding molecules genetically fused to the particle specifically bound target molecules. Functionality of the particles in bioaffinity assays were successfully demonstrated with two types of assays; as labels and in particle-enhanced agglutination assay. This biological production procedure features many advantages that make the process especially suited for applications that have frequent and recurring requirements for homogeneous functional particles. The production process of ready, functional and watersoluble particles follows principles of “green chemistry”, is upscalable, fast and cost-effective.
Resumo:
A healthy and balanced diet can reduce health problems, such as overweight and metabolic syndrome. In general, people have a considerably good knowledge of what constitutes a healthy diet and how they could achieve it with their food choices. Besides, people argue that health is among their top five food choice motives. Nevertheless, the prevalence of overweight is increasing and other food choice motives, such as taste, seem to conflict with the health. Liking for food does not necessarily determine acceptance alone, thus several non-sensory factors, such as brand, country of origin and nutrition claim, can also influence. Moreover, consumers are individuals in how they prioritize sensory and nonsensory factors of foods, but e.g. increasing age, female gender and health concern have been connected to a more health-oriented dietary behaviour. To sum up, identifying different factors that can increase the liking and consumption of healthy food is essential in order to develop more attractive healthful food products. Adding vitamins, minerals, fibre or other ingredients to a food product can be used to enrich the nutritional quality of the products. However, this may be difficult in practice as regards the sensory quality and pleasantness of the foods. Generally, consumers are not willing to compromise on taste in food. On the other hand, consumers are very heterogeneous in their likings, and their personal values and attitudes may interact with preferences for specific sensory characteristics. The aims of this study were to investigate the effects of intrinsic product characteristics on sensory properties and hedonic responses; to determine the impact of few non-sensory factors; and to examine the interaction between sensory and non-sensory factors with consumers’ demographics, values and attitudes in liking of healthy model foods. The results showed that product composition influenced sensory quality and had an effect on hedonic responses. Adding flaxseed to bakery products showed a significant improvement in the nutritional quality without negative effects on sensory properties. On the other hand, the fortification of wellness beverages with vitamins and minerals may impart off-flavours. In general, sweetness of yoghurts, freshness of wellness beverages and low intensity of rye bread flavour appealed to consumers. Information about the domestic origin of yoghurts and claiming a specific function for wellness beverages enhanced liking. However, consumers who were more concerned about their health and considered natural content as an important food choice motive, rated sourer and less sweet yoghurts and wellness beverages as more pleasant. In addition, interest in health increased the consumption of rye breads and other whole grain breads among adolescents. The results showed that the optimal product quality in terms of intrinsic and extrinsic factors differs between individual consumers, and personal values and food choice motives can be connected to preferences for specific sensory characteristics of foods. This indicates that each food product needs to be considered in relation to its specific market niche, and to which segment of consumer will respond most positively to its characteristics.
Resumo:
Research focus of this thesis is to explore options for building systems for business critical web applications. Business criticality here includes requirements for data protection and system availability. The focus is on open source software. Goals are to identify robust technologies and engineering practices to implement such systems. Research methods include experiments made with sample systems built around chosen software packages that represent certain technologies. The main research focused on finding a good method for database data replication, a key functionality for high-availability, database-driven web applications. Research included also finding engineering best practices from books written by administrators of high traffic web applications. Experiment with database replication showed, that block level synchronous replication offered by DRBD replication software offered considerably more robust data protection and high-availability functionality compared to leading open source database product MySQL, and its built-in asynchronous replication. For master-master database setups, block level replication is more recommended way to build high-availability into the system. Based on thesis research, building high-availability web applications is possible using a combination of open source software and engineering best practices for data protection, availability planning and scaling.
Resumo:
Scrum is an agile project management approach that has been widely practiced in the software development projects. It has proven to increase quality, productivity, customer satisfaction, transparency and team morale among other benefits from its implementation. The concept of scrum is based on the concepts of incremental innovation strategies, lean manufacturing, kaizen, iterative development and so on and is usually contrasted with the linear development models such as the waterfall method in the software industry. The traditional approaches to project management such as the waterfall method imply intensive upfront planning and approval of the entire project. These sort of approaches work well in the well-defined stable environments where all the specifications of the project are known in the beginning. However, in the uncertain environments when a project requires continuous development and incorporation of new requirements, they do not tend to work well. The scrum framework was inspiraed by Nonaka’s article about new product developement and was later adopted by software development practitioners. This research explores conditions for and benefits of the application of scrum framework beyond software development projects. There are currently a few case studies on the scrum implementation in non-software projects, but there is a noticeable trend of it in the scrum practitioners’ community. The research is based on the real-life context multiple case study analysis of three different non-software projects. The results of the research showed that in order to succeed within scrum projects need to satisfy certain conditions – necessary and sufficient. Among them the key factors are uncertainty of the project environment, not well defined outcomes, commitment of the scrum teams and management support. The top advantages of scrum implementation identified in the present research include improved transparency, accountability, team morale, communications, cooperation and collaboration. Further researches are advised to be carried out in order to validate these findings on a larger sample and to focus on more specific areas of scrum project management implementation.
Resumo:
PURPOSE: To determine anatomical and functional pelvic floor measurements performed with three-dimensional (3-D) endovaginal ultrasonography in asymptomatic nulliparous women without dysfunctions detected in previous dynamic 3-D anorectal ultrasonography (echo defecography) and to demonstrate the interobserver reliability of these measurements. METHODS: Asymptomatic nulliparous volunteers were submitted to echo defecography to identify dynamic dysfunctions, including anatomical (rectocele, intussusceptions, entero/sigmoidocele and perineal descent) and functional changes (non-relaxation or paradoxical contraction of the puborectalis muscle) in the posterior compartment and assessed with regard to the biometric index of levator hiatus, pubovisceral muscle thickness, urethral length, anorectal angle, anorectal junction position and bladder neck position with the 3-D endovaginal ultrasonography. All measurements were compared at rest and during the Valsalva maneuver, and perineal and bladder neck descent was determined. The level of interobserver agreement was evaluated for all measurements. RESULTS: A total of 34 volunteers were assessed by echo defecography and by 3-D endovaginal ultrasonography. Out of these, 20 subjects met the inclusion criteria. The 14 excluded subjects were found to have posterior dynamic dysfunctions. During the Valsalva maneuver, the hiatal area was significantly larger, the urethra was significantly shorter and the anorectal angle was greater. Measurements at rest and during the Valsalva maneuver differed significantly with regard to anorectal junction and bladder neck position. The mean values for normal perineal descent and bladder neck descent were 0.6 cm and 0.5 cm above the symphysis pubis, respectively. The intraclass correlation coefficient ranged from 0.62-0.93. CONCLUSIONS: Functional biometric indexes, normal perineal descent and bladder neck descent values were determined for young asymptomatic nulliparous women with the 3-D endovaginal ultrasonography. The method was found to be reliable to measure pelvic floor structures at rest and during Valsalva, and might therefore be suitable for identifying dysfunctions in symptomatic patients.
Resumo:
Software is a key component in many of our devices and products that we use every day. Most customers demand not only that their devices should function as expected but also that the software should be of high quality, reliable, fault tolerant, efficient, etc. In short, it is not enough that a calculator gives the correct result of a calculation, we want the result instantly, in the right form, with minimal use of battery, etc. One of the key aspects for succeeding in today's industry is delivering high quality. In most software development projects, high-quality software is achieved by rigorous testing and good quality assurance practices. However, today, customers are asking for these high quality software products at an ever-increasing pace. This leaves the companies with less time for development. Software testing is an expensive activity, because it requires much manual work. Testing, debugging, and verification are estimated to consume 50 to 75 per cent of the total development cost of complex software projects. Further, the most expensive software defects are those which have to be fixed after the product is released. One of the main challenges in software development is reducing the associated cost and time of software testing without sacrificing the quality of the developed software. It is often not enough to only demonstrate that a piece of software is functioning correctly. Usually, many other aspects of the software, such as performance, security, scalability, usability, etc., need also to be verified. Testing these aspects of the software is traditionally referred to as nonfunctional testing. One of the major challenges with non-functional testing is that it is usually carried out at the end of the software development process when most of the functionality is implemented. This is due to the fact that non-functional aspects, such as performance or security, apply to the software as a whole. In this thesis, we study the use of model-based testing. We present approaches to automatically generate tests from behavioral models for solving some of these challenges. We show that model-based testing is not only applicable to functional testing but also to non-functional testing. In its simplest form, performance testing is performed by executing multiple test sequences at once while observing the software in terms of responsiveness and stability, rather than the output. The main contribution of the thesis is a coherent model-based testing approach for testing functional and performance related issues in software systems. We show how we go from system models, expressed in the Unified Modeling Language, to test cases and back to models again. The system requirements are traced throughout the entire testing process. Requirements traceability facilitates finding faults in the design and implementation of the software. In the research field of model-based testing, many new proposed approaches suffer from poor or the lack of tool support. Therefore, the second contribution of this thesis is proper tool support for the proposed approach that is integrated with leading industry tools. We o er independent tools, tools that are integrated with other industry leading tools, and complete tool-chains when necessary. Many model-based testing approaches proposed by the research community suffer from poor empirical validation in an industrial context. In order to demonstrate the applicability of our proposed approach, we apply our research to several systems, including industrial ones.
Resumo:
In a sigma-delta analog to digital (A/D) As most of the sigma-delta ADC applications require converter, the most computationally intensive block is decimation filters with linear phase characteristics, the decimation filter and its hardware implementation symmetric Finite Impulse Response (FIR) filters are may require millions of transistors. Since these widely used for implementation. But the number of FIR converters are now targeted for a portable application, filter coefficients will be quite large for implementing a a hardware efficient design is an implicit requirement. narrow band decimation filter. Implementing decimation In this effect, this paper presents a computationally filter in several stages reduces the total number of filter efficient polyphase implementation of non-recursive coefficients, and hence reduces the hardware complexity cascaded integrator comb (CIC) decimators for and power consumption [2]. Sigma-Delta Converters (SDCs). The SDCs are The first stage of decimation filter can be operating at high oversampling frequencies and hence implemented very efficiently using a cascade of integrators require large sampling rate conversions. The filtering and comb filters which do not require multiplication or and rate reduction are performed in several stages to coefficient storage. The remaining filtering is performed reduce hardware complexity and power dissipation. either in single stage or in two stages with more complex The CIC filters are widely adopted as the first stage of FIR or infinite impulse response (IIR) filters according to decimation due to its multiplier free structure. In this the requirements. The amount of passband aliasing or research, the performance of polyphase structure is imaging error can be brought within prescribed bounds by compared with the CICs using recursive and increasing the number of stages in the CIC filter. The non-recursive algorithms in terms of power, speed and width of the passband and the frequency characteristics area. This polyphase implementation offers high speed outside the passband are severely limited. So, CIC filters operation and low power consumption. The polyphase are used to make the transition between high and low implementation of 4th order CIC filter with a sampling rates. Conventional filters operating at low decimation factor of '64' and input word length of sampling rate are used to attain the required transition '4-bits' offers about 70% and 37% of power saving bandwidth and stopband attenuation. compared to the corresponding recursive and Several papers are available in literature that deals non-recursive implementations respectively. The same with different implementations of decimation filter polyphase CIC filter can operate about 7 times faster architecture for sigma-delta ADCs. Hogenauer has than the recursive and about 3.7 times faster than the described the design procedures for decimation and non-recursive CIC filters.
Resumo:
The main aim of this paper is the development of suitable bases (replacing the power basis x^n (n\in\IN_\le 0) which enable the direct series representation of orthogonal polynomial systems on non-uniform lattices (quadratic lattices of a discrete or a q-discrete variable). We present two bases of this type, the first of which allows to write solutions of arbitrary divided-difference equations in terms of series representations extending results given in [16] for the q-case. Furthermore it enables the representation of the Stieltjes function which can be used to prove the equivalence between the Pearson equation for a given linear functional and the Riccati equation for the formal Stieltjes function. If the Askey-Wilson polynomials are written in terms of this basis, however, the coefficients turn out to be not q-hypergeometric. Therefore, we present a second basis, which shares several relevant properties with the first one. This basis enables to generate the defining representation of the Askey-Wilson polynomials directly from their divided-difference equation. For this purpose the divided-difference equation must be rewritten in terms of suitable divided-difference operators developed in [5], see also [6].
Resumo:
Using the functional approach, we state and prove a characterization theorem for classical orthogonal polynomials on non-uniform lattices (quadratic lattices of a discrete or a q-discrete variable) including the Askey-Wilson polynomials. This theorem proves the equivalence between seven characterization properties, namely the Pearson equation for the linear functional, the second-order divided-difference equation, the orthogonality of the derivatives, the Rodrigues formula, two types of structure relations,and the Riccati equation for the formal Stieltjes function.
Resumo:
The structural, electronic and magnetic properties of one-dimensional 3d transition-metal (TM) monoatomic chains having linear, zigzag and ladder geometries are investigated in the frame-work of first-principles density-functional theory. The stability of long-range magnetic order along the nanowires is determined by computing the corresponding frozen-magnon dispersion relations as a function of the 'spin-wave' vector q. First, we show that the ground-state magnetic orders of V, Mn and Fe linear chains at the equilibrium interatomic distances are non-collinear (NC) spin-density waves (SDWs) with characteristic equilibrium wave vectors q that depend on the composition and interatomic distance. The electronic and magnetic properties of these novel spin-spiral structures are discussed from a local perspective by analyzing the spin-polarized electronic densities of states, the local magnetic moments and the spin-density distributions for representative values q. Second, we investigate the stability of NC spin arrangements in Fe zigzag chains and ladders. We find that the non-collinear SDWs are remarkably stable in the biatomic chains (square ladder), whereas ferromagnetic order (q =0) dominates in zigzag chains (triangular ladders). The different magnetic structures are interpreted in terms of the corresponding effective exchange interactions J(ij) between the local magnetic moments μ(i) and μ(j) at atoms i and j. The effective couplings are derived by fitting a classical Heisenberg model to the ab initio magnon dispersion relations. In addition they are analyzed in the framework of general magnetic phase diagrams having arbitrary first, second, and third nearest-neighbor (NN) interactions J(ij). The effect of external electric fields (EFs) on the stability of NC magnetic order has been quantified for representative monoatomic free-standing and deposited chains. We find that an external EF, which is applied perpendicular to the chains, favors non-collinear order in V chains, whereas it stabilizes the ferromagnetic (FM) order in Fe chains. Moreover, our calculations reveal a change in the magnetic order of V chains deposited on the Cu(110) surface in the presence of external EFs. In this case the NC spiral order, which was unstable in the absence of EF, becomes the most favorable one when perpendicular fields of the order of 0.1 V/Å are applied. As a final application of the theory we study the magnetic interactions within monoatomic TM chains deposited on graphene sheets. One observes that even weak chain substrate hybridizations can modify the magnetic order. Mn and Fe chains show incommensurable NC spin configurations. Remarkably, V chains show a transition from a spiral magnetic order in the freestanding geometry to FM order when they are deposited on a graphene sheet. Some TM-terminated zigzag graphene-nanoribbons, for example V and Fe terminated nanoribbons, also show NC spin configurations. Finally, the magnetic anisotropy energies (MAEs) of TM chains on graphene are investigated. It is shown that Co and Fe chains exhibit significant MAEs and orbital magnetic moments with in-plane easy magnetization axis. The remarkable changes in the magnetic properties of chains on graphene are correlated to charge transfers from the TMs to NN carbon atoms. Goals and limitations of this study and the resulting perspectives of future investigations are discussed.
Resumo:
In this study a minimum variance neuro self-tuning proportional-integral-derivative (PID) controller is designed for complex multiple input-multiple output (MIMO) dynamic systems. An approximation model is constructed, which consists of two functional blocks. The first block uses a linear submodel to approximate dominant system dynamics around a selected number of operating points. The second block is used as an error agent, implemented by a neural network, to accommodate the inaccuracy possibly introduced by the linear submodel approximation, various complexities/uncertainties, and complicated coupling effects frequently exhibited in non-linear MIMO dynamic systems. With the proposed model structure, controller design of an MIMO plant with n inputs and n outputs could be, for example, decomposed into n independent single input-single output (SISO) subsystem designs. The effectiveness of the controller design procedure is initially verified through simulations of industrial examples.
Resumo:
The self-assembly of a peptide based on a sequence from the amyloid beta peptide but incorporating the non-natural amino acid beta-2-thienylalanine (2-Thi) has been investigated in aqueous and methanol solutions. The peptide AAKLVFF was used as a design motif, replacing the phenylalanine residues (F) with 2-Thi units to yield (2-Thi)(2-Thi)VLKAA. The 2-Thi residues are expected to confer interesting electronic properties due to charge delocalization and pi-stacking. The peptide is shown to form beta-sheet-rich amyloid fibrils with a twisted morphology, in both water and methanol solutions at sufficiently high concentration. The formation of a self-assembling hydrogel is observed at high concentration. Detailed molecular modeling using molecular dynamics methods was performed using NOE constraints provided by 2D-NMR experiments. The conformational and charge properties of 2-Thi were modeled using quantum mechanical methods, and found to be similar to those previously reported for the beta-3-thienylalanine analogue. The molecular dynamics simulations reveal well-defined folded structures (turn-like) in dilute aqueous solution, driven by self-assembly of the hydrophobic aromatic units, with charged lysine groups exposed to water.
Resumo:
Hospitals represent complex and difficult contexts for AEC (architecture, engineering and construction) professionals to engage with due to their functional complexity and diversity of stakeholder interests (i.e. patient, visitor, medical specialist). Hospital designers need to take note of changing NHS policy contexts (e.g. the possible empowerment of general practitioners to shape services), technological advances in medical equipment design and the potential health needs of future generations. It is imperative for hospital designers and architects to align their processes and methodologies (e.g. briefing and requirements capture) to the needs and desires of their clients so that a medical facility design is produced which is truly aligned to the requirements of the hospital stakeholders. Semiotics, the “study” or “discipline” of signs aims to investigate the nature of signs (their inception, representation and meaning), whilst semiotics-rooted theories are concerned with investigating how meaning and understanding is mobilized between persons and between organisations. This paper details a semiotics-rooted research approach for investigating the interactions between hospital designers and stakeholders on a forthcoming NHS hospital project in the UK. A semiotics grounded study will potentially provide a deeper understanding of how meaning and understanding is established between hospital project stakeholders and construction professionals.
Resumo:
We present the results of a density functional theory (DFT) investigation of the surfaces of rutile-like vanadium dioxide, VO2(R). We calculate the surface energies of low Miller index planes, and find that the most stable surface orientation is the (110). The equilibrium morphology of a VO2(R) particle has an acicular shape, laterally confined by (110) planes and topped by (011) planes. The redox properties of the (110) surface are investigated by calculating the relative surface free energies of the non-stoichiometric compositions as a function of oxygen chemical potential. It is found that the VO2(110) surface is oxidized with respect to the stoichiometric composition, not only at ambient conditions but also at the more reducing conditions under which bulk VO2 is stable in comparison with bulk V2O5. The adsorbed oxygen forms surface vanadyl species much more favorably than surface peroxo species.