Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging

Developing a desirable framework for handling inconsistencies in software requirements specifications is a challenging problem. It has been widely recognized that the relative priority of requirements can help developers to make some necessary trade-off decisions for resolving con- flicts. However, for most distributed development such as viewpoints-based approaches, different stakeholders may assign different levels of priority to the same shared requirements statement from their own perspectives. The disagreement in the local levels of priority assigned to the same shared requirements statement often puts developers into a dilemma during the inconsistency handling process. The main contribution of this paper is to present a prioritized merging-based framework for handling inconsistency in distributed software requirements specifications. Given a set of distributed inconsistent requirements collections with the local prioritization, we first construct a requirements specification with a prioritization from an overall perspective. We provide two approaches to constructing a requirements specification with the global prioritization, including a merging-based construction and a priority vector-based construction. Following this, we derive proposals for handling inconsistencies from the globally prioritized requirements specification in terms of prioritized merging. Moreover, from the overall perspective, these proposals may be viewed as the most appropriate to modifying the given inconsistent requirements specification in the sense of the ordering relation over all the consistent subsets of the requirements specification. Finally, we consider applying negotiation-based techniques to viewpoints so as to identify an acceptable common proposal from these proposals.

Impaired functioning of thermolabile methylenetetrahydrofolate reductase is dependent on riboflavin status: implications for riboflavin requirements.

BACKGROUND: Methylenetetrahydrofolate reductase (MTHFR; EC 1.7.99.5) supplies the folate needed for the metabolism of homocysteine. A reduction in MTHFR activity, as occurs in the homozygous state for the 677C-->T (so-called thermolabile) enzyme variant (TT genotype), is associated with an increase in plasma total homocysteine (tHcy). OBJECTIVE: In vitro studies suggest that the reduced activity of thermolabile MTHFR is due to the inappropriate loss of its riboflavin cofactor. We investigated the hypothesis that MTHFR activity in the TT genotype group is particularly sensitive to riboflavin status. DESIGN: We studied tHcy and relevant B-vitamin status by MTHFR genotype in a cross-sectional study of 286 healthy subjects aged 19-63 y (median: 27 y). The effect of riboflavin status was examined by dividing the sample into tertiles of erythrocyte glutathionine reductase activation coefficient, a functional index of riboflavin status. RESULTS: Lower red blood cell folate (P = 0.0001) and higher tHcy (P = 0.0082) concentrations were found in the TT group than in the heterozygous (CT) or wild-type (CC) groups. However, these expected relations in the total sample were driven by the TT group with the lowest riboflavin status, whose mean tHcy concentration (18.09 micromol/L) was almost twice that of the CC or CT group. By contrast, adequate riboflavin status rendered the TT group neutral with respect to tHcy metabolism. CONCLUSIONS: The high tHcy concentration typically associated with homozygosity for the 677C-->T variant of MTHFR occurs only with poor riboflavin status. This may have important implications for governments considering new fortification policies aimed at the prevention of diseases for which this genotype is associated with increased risk.

Dynamical and steady-state requirements for effective entanglement transfer

Entanglement transfer processes from a continuous-variable (CV) to a qubit system have primary importance in quantum information processing due to some practical implications in the realization of a quantum network. A CV system can propagate entanglement while a qubit system is easy to manipulate. We study conditions to entangle two atomic qubits with a two-mode squeezed field driving two cavities containing the atoms.

Generic Architecture and Semiconductor Intellectual Property Cores for Avanced Encryption Standard Cryptography

A generic architecture for implementing the advanced encryption standard (AES) encryption algorithm in silicon is proposed. This allows the instantiation of a wide range of chip specifications, with these taking the form of semiconductor intellectual property (IP) cores. Cores implemented from this architecture can perform both encryption and decryption and support four modes of operation: (i) electronic codebook mode; (ii) output feedback mode; (iii) cipher block chaining mode; and (iv) ciphertext feedback mode. Chip designs can also be generated to cover all three AES key lengths, namely 128 bits, 192 bits and 256 bits. On-the-fly generation of the round keys required during decryption is also possible. The general, flexible and multi-functional nature of the approach described contrasts with previous designs which, to date, have been focused on specific implementations. The presented ideas are demonstrated by implementation in FPGA technology. However, the architecture and IP cores derived from this are easily migratable to other silicon technologies including ASIC and PLD and are capable of covering a wide range of modem communication systems cryptographic requirements. Moreover, the designs produced have a gate count and throughput comparable with or better than the previous one-off solutions.