Abstract: A method and system for translating source code in one logically distinct object oriented language on one platform into another object oriented language on another platform. This includes the translation of the classes and statements in the original source. It also includes the creation of object oriented interfaces for all types and services used in the source code whose definitions are not provided. Once the source code classes are translated, a complete object oriented interface to the target platform is generated. Type inference analysis is performed on the input source code in order to infer types for undeclared services and to infer type hierarchies for undeclared types. Type inference analysis is utilized to generate object oriented interfaces for all types and services used in the source code whose definitions are not available.
Abstract: A system and method are provided for analyzing layout patterns via simulation using a lithography model to characterize the patterns and generate rules to be used in rule-based optical proximity correction (OPC). The system and method analyze a series of layout patterns conforming to a set of design rules by simulation using a lithography model to obtain a partition of the pattern spaces into one portion that requires only rule-based OPC and another portion that requires model-based OPC. A corresponding hybrid OPC system and method are also introduced that utilize the generated rules to correct an integrated circuit (IC) design layout which reduces the OPC output complexity and improves turnaround time.
Abstract: A system and method are provided to receive a search query from a user, typically via a web browser, the Internet, and a web server. A search engine obtains a set of potential search results based on the search query. For each Internet domain or web site mentioned in the search results, a set of data sources is accessed to obtain information concerning the legitimacy of the business associated with the Internet domain or web site. The legitimacy information is used to reorder or to change or to augment the appearance or presentation of the search result for the Internet domain or web site. The processed search results are returned to the user.
Abstract: A high-efficiency motor is disclosed. The motor includes two sets of permanent magnets and further includes electromagnets incorporated to be energized by a control system to provide a variable-speed motor that produces high torque.
Abstract: A system and method for integrated circuit design are disclosed to enhance manufacturability of circuit layouts by applying layout processing to handle imperfections such as jogs in integrated circuit design layouts. The layout processing may be applied to jogs in the original integrated circuit design layout or jogs created post-design by process biases, as well as design rule check and Boolean processes or process compensation.
Abstract: A cooling system for apparatus powered by electricity, that generates a substantial amount of heat during operation, and the heat must be dissipated to avoid failure of electrical and/or electronic components, such as semiconductor devices and integrated circuits, comprising the electrical apparatus. The cooling system employs water impinged on a heat sink thermally coupled with electrical apparatus, at subatmospheric pressure. The attendant phase change of the water to steam at a reduced temperature due to the subatmospheric pressure improves removal of waste heat to prevent failure of the electrical apparatus.
Abstract: A cooling system for apparatus powered by electricity, that generates a substantial amount of heat during operation, and the heat must be dissipated to avoid failure of electrical and/or electronic components, such as semiconductor devices and integrated circuits, comprising the electrical apparatus. The cooling system employs liquid ice impinged on a heat sink thermally coupled with electrical apparatus. The attendant phase changes of the liquid ice first to water and then to steam remove a substantial amount of waste heat to prevent failure of the electrical apparatus.
Abstract: A system for measuring differences in a physical variable, such as temperature or voltage, by utilizing predictable behavior in the relative time drift of offset curves for various circuit elements, including, for example, two sensors coupled to a difference signal amplifier, an ambient condition amplifier, and an analog to digital converter. In an initial calibration mode, the system records several offset curves, stored in memory, correlating ambient condition measurements to offset measurements acquired from the ambient condition amplifier and the difference signal amplifier. Offset curves recorded in the initial calibration mode, correlating ambient condition measurements to measurements from the difference signal amplifier, include one curve recorded with both inputs of the difference signal amplifier held at equal potential and another curve recorded with both sensors held at the same value of the physical variable, over a given ambient condition range.
Abstract: A computer based apparatus and method which provide access to complex technical information employed to maintain and repair complicated equipment, such as aircraft, to enable compliance with regulatory requirements.
Abstract: A method and apparatus for displaying dual texts in a manner to facilitate language learning, by presenting a highly visible “study text,” divided into individual units of thought, or “chunks of meaning,” which are preferably formatted in association with less visible units of a “teach text,” provided in proximity, preferably upon a separate focal plane, thus effecting a bitextual, bifocal presentation. The method and apparatus clearly relate the study text and the teach text, associating their individually related chunks of meaning, storing these associations in computer memory, as “.txt” or “Unicode equivalent” files, which, when organized into folders, allow computer programs to access these associations and automatically produce bitextual, preferably bifocal, presentations.
Type:
Grant
Filed:
June 28, 1999
Date of Patent:
August 20, 2002
Inventors:
Richard Henry Dana Crawford, Urivan A. Saaib
Abstract: A system for measuring differences in a physical variable, such as temperature, by utilizing predictable behavior in the relative time drift of offset curves for various circuit elements, including two sensors connected to a difference signal amplifier, an ambient condition amplifier, and an analog to digital converter. In an initial calibration mode, the system records several offset curves, stored in memory, correlating ambient condition measurements to offset measurements acquired from the ambient condition amplifier and the difference signal amplifier. Offset curves recorded in the initial calibration mode, correlating ambient condition measurements to measurements from the difference signal amplifier, include one curve recorded with both inputs of the difference signal amplifier held at equal potential and another curve recorded with both sensors held at the same value of the physical variable, over a given ambient condition range.
Abstract: A computer based apparatus and method which provide access to complex technical information employed to maintain and repair complicated equipment, such as aircraft, to enable compliance with regulatory requirements.
Abstract: A computer aided hardware design system for enabling design of an actual hardware implementation for a digital circuit using a high-level algorithmic programming language. The system converts an algorithmic representation for a hardware design initially created in the high-level programming language, such as ANSI C, to a hardware design implementation, such as an FPGA or other programmable logic or an ASIC. The C-type program representative of the hardware design is compiled into a register transfer level (RTL) hardware description language (HDL) that can be synthesized into a gate-level hardware representation. The system additionally enables simulation of the HDL design to verify design functionality. Finally, various physical design tools can be utilized to produce an actual hardware implementation. The system also permits the use of other non-C-type high-level programming languages by first translating to a C-type program.
Type:
Grant
Filed:
September 16, 1997
Date of Patent:
May 1, 2001
Assignee:
Synetry Corporation
Inventors:
Yuri V. Panchul, Donald A. Soderman, Denis R. Coleman
Abstract: Applicant's preferred embodiment utilizes municipal waste water effluent to replenish a depleted geothermal field. Condensate produced by expanding steam produced in the geothermal field through a steam turbine-generator is pooled with cooked water collected from the field, and then directed through a penstock from a higher elevation to a lower elevation where further energy is extracted through a traditional hydroelectric generator. The cooked water and condensate may be treated to produce potable water and/or distributed for public consumption either before or after it is directed to the hydroelectric turbine generator. The effluent is pumped up to the geothermal field during off-peak periods of electric consumption, and hydroelectric power generation is accomplished during periods of peak electric demand. A fraction of the effluent may be used as cooling water for the steam turbine and its associated condenser before injection into the geothermal field.
Abstract: A shower drain tool includes a blade for engagement with the ribs on the internal surface of a shower drain. The tool also includes a stabilizer plate connected to the blade to seat the tool on the drain and prevent the tool from falling through the drain into the drain pipe. The tool further includes one of various tool adapters. The tool adapter can be a nut to be spanned by an adjustable or open-end wrench, or a hole into which a socket wrench drive or the tip of a breaker bar or T bar can be inserted, to rotate the tool. The tool adapter can also be a pipe wrench extension so that a pipe wrench can be used to rotate the tool. Alternatively, the tool can include a device, such as a T bar, integral with the stabilizer plate to rotate the tool.
Abstract: A puzzle consists of six or more elongated pieces. Each piece has a polygonal cross-section and a cavity whose dimensions are determined by the polygonal cross-section. The pieces can be arranged in two opposing groups of three or more pieces each, arranged substantially in parallel, and such that the cavity in each piece is filled by portions of other pieces as the groups are advanced toward each other. The pieces can be assembled and disassembled only in such a way that each piece is moved relative to others in a different direction to interlock the pieces in an assembled configuration, and no individual piece can be disengaged from the assembled configuration without disengaging all of the pieces.
Abstract: A computer based apparatus and method which provide access to complex technical information employed to maintain and repair complicated equipment, such as aircraft, to enable compliance with regulatory requirements.