917 results about "System requirements" patented technology

In some aspects, each cell in the communications system can be designed to operate in accordance with a set of back-off factors that identify the reductions in peak transmit power levels for the channels associated with the back-off factors. The back-off factors are defined to provide the required power to a large percentage of the users while reducing the amount of interference. In some other aspects, the cells operate using an adaptive reuse scheme that allows the cells to efficiently allocate and reallocate the system resources to reflect changes in the system. A reuse scheme is initially defined and resources are allocated to the cells. During operation, changes in the operating conditions of the system are detected and the reuse scheme is redefined as necessary based on the detected changes. For example, the loading conditions of the cells can be detected, and the resources can be reallocated and/or the reuse scheme can be redefined. In yet other aspects, techniques are provided to efficiency schedule data transmissions and to assign channels to users. Data transmissions can be scheduled based on user priorities, some fairness criteria, system requirements, and other factors. Users are assigned to available channels based on a number of channel assignment schemes. Channel metrics are also provided, which can be used to prioritize users and for channel assignments.

A privacy impact assessment is performed to determine and implement privacy requirements for any information resource that uses personal information. Data may be collected and analyzed regarding the information resource and the personal information, and applicable laws, regulations, and policies may be considered to determine privacy requirements. Such requirements may include, for example, access controls, information retention periods, systems requirements, and risk assessments.

An automated software production system is provided, in which system requirements are captured, converted into a formal specification, and validated for correctness and completeness. In addition, a translator is provided to automatically generate a complete, robust software application based on the validated formal specification, including user-interface code and error handling code.

The present invention provides a system, method and computer program for generating a final optimized test data set. An initial test data set, one or more data rules and one or more business rules are provided. The initial test data set is then modified using the one or more data rules. The modified test data set is optimized using an orthogonal array. The final optimized test data set is then generated by applying the one or more business rules to the optimized test data. The present invention can be implemented using a computer program embodied on a computer readable medium wherein each step is executed by one or more code segments. The system used to implement the present invention may include a data storage device, a processor and one or more input/output devices.

The present invention provides an apparatus and method of radio transmission of real-time IP packets using header compression technique. In the present invention, the size of a compressed header of an RTP packet can be adapted to length types required by the system by adding a radio link adaptation unit to the existing PDCP entity. The method comprises header-compressing the RTP packets, to obtain header-compressed RTP packets having a plurality of different header compression lengths; pre-configuring header compression lengths and length types required by the system; and PDU-size adapting the plurality of different header compression lengths of the header-compressed RTP packets, so as to comply with said lengths and length types required by the system.

Systems and methods are described for software-defined approaches to energy communication networks (ECNs). For example, electrical substations typically host many Intelligent Electronic Devices (IEDs) that monitor and/or control the state of the substations' electricity infrastructures. Critical data from the IEDs can be packaged and transmitted between multiple IEDs for proper system monitoring and control. Even modern networks that interconnect IEDs tend to manifest many limitations, ranging from setup complexity to security policies. Embodiments use novel software-defined networking techniques to address these and other limitations. In some embodiments, power system requirements (e.g., data and communications requirements of IEDs) are translated into a set of networking requirements (e.g., as central routing tables). One implementation uses a Ryu-based, software-defined network controller. Embodiments provide features, such as auto-configuration, security management, re-routing, and flexibility to handle rapid evolution of the smart grid.

Systems and methods are provided for the automated development and implementation of software using parameter-based requirements. Such systems and methods may include acquiring terms usable to create a parameter-based requirement, in which each of the terms contains at least one attribute, and storing a glossary containing the terms. The systems and methods may further include collecting a system requirement from a user based on the terms stored in the glossary, generating the parameter-based requirement based on the terms stored in the glossary and the system requirement, and creating an artifact based on the parameter-based requirement.

The invention provides an uplink-downlink configuration method of a TDD system carrier aggregation, comprising the following steps of: independently carrying out uplink-downlink configuration on all member carriers that participate in the aggregation in a cell, and ensuring that at least one same uplink subframe and at least one same downlink subframe exist between at least two member carriers and the configuration of at least one member carrier accords with the uplink-downlink configuration of an R8; and issuing the uplink-downlink configuration of any member carrier and the uplink-downlink configuration of other member carriers of any member carrier aggregation into an LTE-A user terminal UE. The invention also provides an uplink-downlink configuration receiving method of the TDD system carrier aggregation. The invention can realize the uplink-downlink configuration in the LTE-A system so as to be suitable for TDD system requirements.

A method of developing a model of a computer program represents the system requirement conditions and events as a set of positions and transitions, maps the system requirements in a table of positions with position and optionally transition designations, tags one or more significant positions in the including any conditional positions, and creates a reference designation associating alternative conditions with their respective conditional positions. A universal software test development method can be applied to the model by mapping the conditions to a set of positions including a starting position which has no input, a terminal position which has no output, and intermediate positions between the starting position and the terminal position, and generating from the set of positions a table of positions, associating each positions with an expression of the position representing the corresponding system requirements. Both the model development method and the test development method can be implemented automatically by computer software, and the test development method allows for automated development of test documentation. These methods can thus be applied for the verification and validation of computer software.

Trustworthy systems require that code be validated as genuine. Most systems implement this requirement prior to execution by matching a cryptographic hash of the binary file against a reference hash value, leaving the code vulnerable to run time compromises, such as code injection, return and jump-oriented programming, and illegal linking of the code to compromised library functions. The Run-time Execution Validator (REV) validates, as the program executes, the control flow path and instructions executed along the control flow path. REV uses a signature cache integrated into the processor pipeline to perform live validation of executions, at basic block boundaries, and ensures that changes to the program state are not made by the instructions within a basic block until the control flow path into the basic block and the instructions within the basic block are both validated.

The present invention provides methods for preventing low train voltages and managing interference, thereby improving the efficiency, reliability, and passenger comfort associated with commuter trains. An algorithm implementing neural network technology is used to predict low voltages before they occur. Once voltages are predicted, then multiple trains can be controlled to prevent low voltage events. Further, algorithms for managing inference are presented in the present invention. Different types of interference problems are addressed in the present invention such as “Interference During Acceleration”, “Interference Near Station Stops”, and “Interference During Delay Recovery.” Managing such interference avoids unnecessary brake/acceleration cycles during acceleration, immediately before station stops, and after substantial delays. Algorithms are demonstrated to avoid oscillatory brake/acceleration cycles due to interference and to smooth the trajectories of closely following trains. This is achieved by maintaining sufficient following distances to avoid unnecessary braking/accelerating. These methods generate smooth train trajectories, making for a more comfortable ride, and improve train motor reliability by avoiding unnecessary mode-changes between propulsion and braking. These algorithms can also have a favorable impact on traction power system requirements and energy consumption.

A method is provided for generating a graph data representation having a plurality of nodes corresponding to respective systems engineering requirements. The method includes accessing a first data representation of a collection of systems requirements and relationships therebetween and generating a second data representation of the collection of systems requirements. The generating the second data representation includes accessing respective systems requirements of the collection of systems requirements; creating a node to correspond to each accessed systems requirement if a node corresponding to the accessed systems requirement does not exist; and creating an edge between the created or pre-existing node and each node corresponding to a systems requirement having a relationship with the accessed systems requirement. Each node of the second data representation is a node of said graph data representation and corresponds to a different systems requirement of the collection of systems requirements.

The present invention provides a bootstrapper and download manager for handling the download and installation of one or more software products to a computer. The invention determines system requirements and whether any prerequisite software is required by a software product to be downloaded. Any necessary prerequisite software is installed on the computer and if more than one software product has a shared prerequisite, then the invention recognizes that and prevents downloading multiple ones of the shared prerequisites. Also, in the event of an interruption or error during download, the invention can resume downloading or installation based on the download successfully stored on the local machine without requiring the download all over again. This saves considerable time during the download and install process and enhances user productivity and experience. A download manager provides a user interface to efficiently select from multiple software products for download and negotiate issues such as multiple and different product licenses.

A multi-processor system has a tubelike computer module including plural mother boards configured onto plural side walls of a rack body to form a unitary, continuous and non-segment airflow channel. The airflow channel of the tubelike computer module has larger space and fewer barriers to allow the airflow passing through smoothly, and to reduce wind noises or turbulences. Therefore, the system achieves optimum heat-dissipation efficiency and noise reduction by means of specific space arrangement and less cooling system requirement.

A novel reagent system for use with automated and semi-automated hematology analyzers including an essentially isotonic blood diluting reagent, a blood cell lysing and hemoglobin conversion reagent, and a second lysing reagent for differentiating white blood cells into classes by size and functional characteristics. The diluent reagent enhances properties for counting and sizing blood specimens, while stabilizing cellular volume and cellular integrity for many hours. The blood cell lysing reagent removes red blood cells and enables subsequent enumeration of white blood cells and simultaneous determination of hemoglobin without use of the toxic cyanide anion. The third lysing reagent and a companion quenching differentiates blood cells into classes by size and functional characteristics, based on d.c. impedance volume, conductivity/opacity and light scatter measurements. The companion quenching reagent adjusts pH and conductivity of the final measurement solution to match the analyzer system requirements. Novel methods for use of the reagents with automated and semi-automated hematology analyzers are also provided.</PTEXT>

A tool is described to aid in the design and verification of multi-input, multi-output power supply systems. The designer describes the system requirements and constraints to the tool, which allows an iterative exploration of various alternative designs that satisfy the requirements and constraints. Alternative designs may comprise different power supply topologies, multiple controllers or multi-controllers, or configurable controllers that implement the power supply system. The tool generates a design for a power supply system that is reconfigurable to allow for performance optimization. The power supply system is configurable automatically according to a digital control signal. The digital control signal comprises configuration data which establishes the structure of the power supply system, and which determines the output power conditions of the power source. The different conditions generated by configuration data comprise output voltage, sequencing information, current, topology, and other operational conditions such as overload protection.

The invention discloses flywheel based attitude maneuvering control device and method for successive approaching of a satellite rounding an instantaneous Euler shaft and relates to control device and method for satellite attitude adjustment. The invention is provided for solving the problems of great fuel consumption, short service life of a satellite, complex configuration of an air injecting control system and difficult reduction of size and weight of the satellite existing in the realization of satellite wide-angle attitude maneuvering by adopting air injecting control. The method comprises the following steps of: setting a parameter of the control device according to the system requirement of the control device and obtaining attitude deviation angular velocity according to a motion equation; and expressing a relationship of the instantaneous Euler shaft and a deviation angle of the current attitude and a target attitude of the satellite by an attitude error quaternion to obtain a control signal, calculating to obtain a flywheel control input moment vector calculated by a satellite controller, to be used as a data control command as a basis for generating moment by a back action flywheel. The invention does not consume other resources on the satellite or consume fuel, prolongs the service life of the satellite and can be widely suitable for various satellites needing attitude maneuvering.