1410 results about "Software design" patented technology

In accordance with the present invention, a system, method, and computer-readable medium for identifying malware in a request to a Web service is provided. One aspect of the present invention is a computer-implemented method for protecting a computer that provides a Web service from malware made in a Web request. When a request is received, an on-demand compilation system compiles high-level code associated with the request into binary code that may be executed. However, before the code is executed, antivirus software designed to identify malware scans the binary code for malware. If malware is identified, the antivirus software prevents the binary code associated with the request from being executed.

The present invention is directed to a system for managing business knowledge expressed as statements, preferably sentences using a vocabulary, where such statements may be automated by the generation of programming language source code or computer program instructions. As such, the present invention also manages software design specifications that define, describe, or constrain the programming code it generates or programs with which it or the code it generates is to integrate. The present invention facilitates the creation of composite sentences. In one embodiment, the present invention also interprets a composite sentence as a logical formula in first order predicate calculus or similar logic formalism supporting conjunction, disjunction, and negation as well as existentially and universally quantified variables. The invention further interprets natural language, including singular common count noun phrases and connectives, as variables in formal logic. Further, the invention then implements the logical interpretations as rules.

A new approach for software debugging, verification and validation is disclosed. The present invention utilizes a knowledge-based reasoning approach to build a functional model of the software code for identifying and isolating failures in the software code. The knowledge-based reasoning approach of the present invention uses the software design, which is preferably based upon a flow chart or block diagram representation of the software functionality, to build the functional model. The software block diagram contributes to the functional model by defining the inputs and outputs of the various blocks of code, as well as defining data interconnections between the various blocks of code. In accordance with a method of the present invention, test points are strategically inserted throughout the code, and each test point is associated with a corresponding block of code. Expected values of the test points for an expected proper-operation execution of the computer program are generated. The computer program is then executed on a computer, and the actual values of the test points from the program execution are compared with the expected values of the test points. Failed test points which do not agree with corresponding expected values are determined. The functional model, which includes information functionally relating the various test points to one another, is then used to isolate the failed test points to one or more sources of failure in the code.

A digitally-based method is described for the design and production of customized removable dental appliances. The plastic component of custom appliances is designed using software, and milled directly over a plaster model of the dentition. A patient's upper, lower, and bite-registered arches are digitized, registered to a bite or centric occlusion position, and articulated in software using either an average geometry or the geometry of a specific articulator. Appliance design is performed by defining the desired plastic surfaces and margins as dictated by the relative movement and positions of the arches as functionally required for a specific appliance. Standard CAM software is used to read the design file and command a multiaxis machine center to mill the plastic while directly on a plaster model.

A system and methods for managing a patient's medical records and information that use a portable memory device that securely stores the patient's medical records and information. The portable memory device is formatted for designated access by the patient and third parties, wherein access requires authentication and verification by designated persons in non-emergencies, or by security override in emergency situations. The system and methods for managing a patient's medical records and information can be used at a patient's home, at the patient's physician's office, hospital, or pharmacy, and by emergency response team personnel. The system and methods can use home software designed for use on the patient's home computer or a computer designated by the patient for managing the patient's medical records and information. The patient's physician's office, hospital, or pharmacy, and emergency response team personnel use devices designed to interface with the portable storage device to view, print, and update the patient's medical records and information.

An analytical software design system arranged to receive informal system design specifications and to convert them into verified design specifications for use in creating source code and carrying out implementation testing of the source code is described. The system comprises a verified black box specification generator arranged to process the received informal system design specifications to create formal specifications; to generate from the formal specifications mathematical models representing the system behaviour; to analyse the mathematical models to determine if they have the required behaviour; to adjust the formal specifications until the required behaviour is achieved; and to derive the required verified design specifications from the mathematical models.

The present invention comprises a rapid and automated creation of a price schedule and / or a “green” schedule comprising steps and an implementation for providing a set of construction (or other) plans created with an architectural, civil, industrial or other software design tool, such as CAD, and optionally a palette of 2-dimensional and / or 3-dimensional architectural parametric symbols that correspond to respective construction plan elements, such as windows, doors, acrylic glass blocks and / or sky lights. At least one parametric symbol corresponding to a construction plan element is preferably inserted into the construction plans. A cost value and a statement indicating whether or not a parametric symbol is “green” for each of the inserted parametric symbols is calculated and / or determined corresponding to respective plan elements. A price schedule, a “green” schedule or both are then created, which can include the total cost for all of the inserted parametric symbols corresponding to respective plan elements, and a statement for each of the inserted symbols indicating whether or not they are certified as being energy efficient or rated “green.”

An apparatus, system, and method are disclosed for scoped management of software objects. The apparatus includes a receive module, an establish module, and a control module. The receive module receives a request to access a scoped resource. The establish module establishes access to the scoped resource accessible by a plurality of independent objects based on a specified scoping scheme. The control module controls access to the scoped resource in accordance with the specified scoping scheme. Additionally, the apparatus may provide an API for a scoping service. The apparatus, system, and method reduce errors and unexpected results in modular software design in a J2EE software environment as well as other software environments in which modular software design is used.

Methods and systems are provided that improve design verification by test generators by delaying assignment of values in the generated stimuli until these values are used in the design. Late binding allows the generator to have a more accurate view of the state of the design, and in order to choose correct values. Late binding can significantly improve test coverage with a reasonable performance penalty as measured by simulation time.

The invention provides a method for preparing parts with high-melting point metal powder and the method combines selective laser fusion rapid prototyping technology with powder sintering and forming technology. The method comprises the following steps: firstly, a three-dimensional modeling software is used to design the CAD models of parts, secondly, a slice processing software is used to generate multilayer slice information to be stored as STL files, the data of the STL files are transmitted to a selective laser melting rapid forming system; then in the selective laser melting rapid forming system, a layer of powder to be processed with the thickness of 0.05-0.2mm is laid on a platform by a powder-sending mechanism, a YAG laser or optical fiber laser with the laser power of more than 200W is used to scan the powder to be processed in a scanning speed of 20-300mm / s; and finally the powder is molten to accumulate the parts. The method does not need moulds and is characterized in that the technology has high controllability, does not adopt post-processing, is simple and practical and can be used to prepare parts with complicated shapes.

A system for monitoring physiological parameters within the stomachs of ruminant animals and including two primary interdependent components. Both components are linked by radio frequency communication and software designed specifically for this application. The first component is a sensing transceiver, battery power and electric components hereafter referred to as the device that is tethered by a cord to a weight in the form of a conventional cow magnet. The second component includes both stationary and portable readers / transmitters capable of initiating radio frequency communication with the device(s) for receiving data from them and sending data to them. Software residing in both components utilizes digitized data and operating commands for transmission between the components, for storing selected data and program commands and manipulating the data for viewing, hearing and related analysis.

An integrated power and clock grid which is capable of being placed and routed using ASIC software design tools. The integrated grid comprises three types of grid unit cells having power rails and clock lines. The power rails and clock lines comprise different orientations in the different grid unit cells.

The invention belongs to the technical field of high-temperature alloy near net shape forming and discloses a method for preparing oxide dispersion strengthened alloy by rapid forming. The method includes: using the mechanical alloying process to obtain oxide dispersion strengthened alloy powder, using CAD (computer-aided design) software to design a three-dimensional solid model of an ODS (oxide dispersion strengthened) alloy part, subjecting the three-dimensional model to layering and slicing to disperse the three-dimensional model into a series of two-dimensional layers, smelting the ODS alloy powder layer by layer according to slicing information to obtain a laser rapidly formed blank in a needed shape, eliminating residue pores in the laser rapidly formed blank by means of hot isostatic pressing, and optimizing structure property by means of subsequent annealing or solid solution and aging heat treatment to obtain an ODS alloy part in a complex shape. Wrap packaging or fixture moulds are not needed, the complexity of shapes of parts is unlimited, and alloy components and structures are easy to control. The prepared ODS alloy is small in oxide dispersed phase, and products are high in compactness and excellent in comprehensive mechanical property.

The invention discloses an integral rapid manufacturing method of a hot isostatic pressing metal sheath, comprising the steps: (1) a CAD three-dimensional model of the metal sheath is designed by adopting three-dimensional molding software, and is then processed by slicing software and saved as an STL file, and the data information of the STL file is transmitted to an SLM rapid forming machine; (2) a forming chamber is vacuumized; (3) a metal powder layer is spread on a work platform flatly; (4) a semiconductor pumping YAG laser or a fiber laser is adopted to scan the metal powder positioned at the boundary of the slice layer, and the powder material at the boundary is melted; and (5) the step (3) and the step (4) are repeated until the compact sheath is manufactured. Powder inlet holes can be reserved on the sheath when designing the three-dimensional model of the sheath, so as to facilitate the subsequent processes such as powder filling, compaction by vibration, vacuum pumping and encapsulation. The sheath is compact and has a controllable shape, and can form parts with any complex shapes and structures, and can realize the high utilization rate of material.

The present invention permits a speech application design tool to dynamically acquire information for runtime components, such as Reusable Dialog Components (RDCs). More specifically, a user can identify a library available to the runtime environment that includes runtime speech components. Runtime components can be imported into an integrated development environment (IDE) that includes the software design tool. The tool can discover configuration grammars, audio, and data models associated with the imported components. When previously developed application code has been loaded into the tool, versions of components associated with the previously developed application will be compared and synchronized with the library components. Differences can be flagged by the tool, which facilitates a component upgrading process. Otherwise, a palette within the tool will be populated with the imparted components, which can be used when authoring a new application.

A behavioral abstraction is, in an abstract sense, a generalization of an event cluster. Behavioral abstraction is a technique where a predetermined behavioral sequence is automatically recognized by the simulator in a concurrent stream of system events. A behavioral sequence is at its most basic level a partial order of events. However, the events considered in a behavioral sequence are subject to configuration-based filtering and clustering. This allows a designer to create a model for a particular behavior and then set up a tool to find instances of the particular behavior in an execution trace. Behavior models are representations of partially ordered event sequences and can include events from several components.

An innovative hardware / software design tool provides four modes of operation for converting an electronic design specification and zero or more technology specifications into realization of the electronic design in computer hardware, software and firmware. The first mode of operation compiles design and logic technology specifications into a model which can be utilized for behavioral analysis (such as simulation or formal verification) of logical characteristics (the model). The second mode of operation translates (compiles) partitions of the design and one or more logic technologies into one or more processor intermediates or binaries (embedded binary) suitable for execution on multi-purpose processing units (embedded or general purpose processors). The third mode of operation translates (synthesizes) partitions of the design and logic technology into a collection of cells and interconnects (net-list implementation) suitable for input to physical design processes such as is required to target a field-programmable logic array (FPGA), application specific integrated circuit (ASIC), system-on-a-chip (SOC) or custom logic). The fourth mode of operation analyzes (verifies) behavior of the embedded binaries running on processing units and implementations augmented by additional physical technology and parameters, yielding a more detailed (accurate) prediction of the resulting hardware / software system behavior when realized through manufacturing. Critically, the design specification, logic specifications, physical specifications and definition of each multi-purpose processing unit may be defined external to the hardware / software design tool using an innovative augmentation of standard hardware description or programming languages taught in this patent application. In the prior art, specification of the logic technology, physical technology and embedded or general purpose processor architecture are either incorporated directly into the design tool by the tool developer or are maintained entirely external to the design tool (such as an encapsulated component model or intermediate code interpreter). The present invention is an innovative and valuable improvement over prior art in that design specifications are combined by the tool from distinct specification(s) of generalized logic, physical and processor technology, leading to more efficient behavioral design, opportunities for third parties to add functionality by incorporating generalized logic and physical technology modules into the analysis and synthesis process and opportunities for semi-automatic, goal-directed optimization through application of various logic, physical and processor technologies by the design tool.

The present invention comprises a method and system for a rapid and automated creation of a price schedule comprising steps and an implementation for providing a set of construction (or other) plans created with an architectural, civil, industrial or other software design tool, such as CAD, and optionally a palette of 2-dimensional and / or 3-dimensional architectural parametric symbols that correspond to respective construction plan elements, such as windows, doors, acrylic glass blocks and / or sky lights. At least one parametric symbol corresponding to a construction plan element is preferably inserted into the construction plans. A cost value for each of the inserted parametric symbols is preferably calculated corresponding to respective plan elements. A price schedule is then optionally created which includes the total cost for all of the inserted parametric symbols corresponding to respective plan elements.

A method of generating a high level design of a distributed system test bed comprising the steps of defining a meta-model of the test bed; defining at least two architecture modelling elements within the meta-model to form an architecture model associated with the meta-model; defining at least one relationship between a pair of architecture modelling elements; defining properties associated with at least one of the architecture modeling elements; and storing the high level design in computer memory.

A computer based simulation system for virtual training for vehicle crews is disclosed. The vehicle crew training system (VCTS) simulates crew positions for different military vehicles. Two or more crewman modules are networked together to support a partial or full vehicle crew. The crewman modules are self-contained devices that are modular in hardware and software design, easily reconfigurable, and that require minimal facility space, allowing use in restricted environments such as trailers. The VCTS is modular at the crew position level; crewman modules are added or deleted as required to meet a particular training need. One of the crewman modules can be a gunner module, which provides an unrestricted view of the simulated environment to the gunner by means of a display and a simulated vehicle-mounted weapon.

The invention relates to a method and device based on reverse engineering for automatically generating software documents. The method and device based on the reverse engineering for automatically generating the software documents comprises scanning source programs, obtaining function comments, function detail information and a mutual call relation and a mutual inclusion relation among functions, identifying and abstracting function information of functions through a natural language, generating a global function call relation graph and a global function inclusion relation graph respectively based on the function information of the functions and the mutual call relation and mutual inclusion relation among functions, automatically generating software design description documents based on the function information of the functions, the function detail information and the global function call relation graph, generating a system function graph based on the function information of the functions and the global function inclusion relation graph, and generating software requirement specification documents automatically based on the system function graph. According to the method and device based on the reverse engineering for automatically generating the software documents, the software requirement specification documents and the software design description documents are generated automatically, the reverse engineering from codes to documents is achieved, and the method and device based on the reverse engineering for automatically generating the software documents is wide in application and strong in adaptability.

The present invention relates to a communication device (9) and a method that are capable of downloading and upgrading terminal software of the device (9) over-the-air in a efficient and fail-safe manner. The method for providing such a communication device (9) with radio software from a server (1) via a wireless network (19) including a number of access networks (5, 7) comprises the steps of: initiating a download of radio software of a first radio access technology (15, 17) of the communication device (9); selecting a radio access technology (15, 17) of the communication device (9) for downloading the software; downloading the radio software via the available radio access technology (15, 17), wherein the radio software designed for the first radio access technology (15, 17) is stored in a memory space of the storing means (13). Furthermore, the present invention relates to a system in a wireless network (19) including such a communication device and a computer readable medium comprising instructions for executing the method according to the present invention.

The present invention provides alternative scroll-type yarn feed attachments for tufting machines characterized by independent servo-motor control of sets of yarn feed rolls, and a software design system to facilitate use of the attachment to produce novel patterns and photo images.