摘要:
A method and system for reducing the time required for execution of the dynamic timing simulation for a logic simulator. For a logic circuit simulator having a compilation phase and a runtime phase, a delay assessment is performed during the compilation phase in order to identify storage elements that are exempt from possible timing violations at runtime. The runtime timing checks are removed from the exempt storage elements, thereby reducing the runtime calculation effort. Additionally, combinational portions of the circuit that drive the exempt storage elements are examined for element delays that can be effectively eliminated (e.g., zero delayed) from the runtime calculations, thereby providing a further reduction in the computational overhead via the use of cycle based simulation for these.
摘要:
A sound barrier and method of sound insulation are disclosed. In one aspect of the disclosure, a sound barrier comprises a first, solid medium, such as a viscoelastic solid and a second medium, such as air. At least one of the two media forms a periodic array disposed in the other medium. The solid medium has a speed of propagation of longitudinal sound wave and a speed of propagation of transverse sound wave, the speed of propagation of longitudinal sound wave being at least about 30 times the speed of propagation of transverse sound wave.
摘要:
Described is a technology by which a relay is coupled (e.g., by a wire) to a network and (e.g., by a wireless link) to an endpoint. Incoming data packets directed towards the endpoint are processed by the relay according to an error correction scheme, such as one that replicates packets. The reprocessed packets, which in general are more robust against packet loss, are then sent to the endpoint. For outgoing data packets received from the endpoint, the relay reprocesses the outgoing packets based upon the error correction scheme, such as to remove redundant packets before transmitting them to the network over the wire. Also described are various error correction schemes, and various types of computing devices that may be used as relays. The relay may be built into the network infrastructure, and/or a directory service may be employed to automatically find a suitable relay node for an endpoint device.
摘要:
Chiral 1-(4-methylphenylmethyl)-5-oxo-{N-[(3-t-butoxycarbonyl-aminomethyl)]-piperidin-1-yl}-pyrrolidine-2-carboxamides as inhibitors of collagen induced platelet activation and adhesion The present invention provides chiral (2S)-1-(4-methyl-phenylmethyl)-5-oxo-(3S)—{N-[(3-t-butoxycarbonyl aminomethyl)]-piperidin-1-yl}-pyrrolidine-2-carboxamide, and (2S)-1-(4-methylphenylmethyl)-5-oxo-(3R)—{N-[(3-t-butoxycarbonyl amino methyl)]-piperidin-1-yl}-pyrrolidine-2-carboxamide of formula 6 and 7 respectively. The present invention also relates to use of these moieties as inhibitors of collagen induced platelet adhesion and aggregation mediated through collagen receptors. The present invention provides a process for preparation of chiral carboxamides of formula 6 and 7 using the process which has advantage to avoid any racemization at the a-carboxylic center, during N-alkylation. The reagent LiHMDS is used at low temperatures to furnish methyl N-(p methylphenylmethyl)lpyroglutamate in good chiral purity.
摘要:
One embodiment of the present invention provides systems and techniques to execute a hardware simulation and verification solution on a multiprocessor system. The hardware simulation and verification solution can be partitioned into different modules which can include a simulation kernel to simulate changes in signal values, a value change dump module to store the changes in the signal values on a computer-readable storage medium, a functional coverage module to check functionality, a toggle coverage module to check signal toggling, an assertion engine to check complex behaviors, and a testbench module to generate test scenarios. Embodiments of the present invention can execute different modules on different processors, thereby improving performance.
摘要:
A method for providing applications to one or more requesting devices is provided. The method comprises a step of first receiving an application request from the one or more requesting devices. The method includes extracting details of the request. Further markup language structure for corresponding page of the application is generated. The markup language structure is generated based by invoking page handlers which includes contacting business logic layer to get information required to be embedded in the corresponding page. The output page is then provided to the requesting device.
摘要:
A sound insulation process comprises (a) providing at least one sound barrier comprising a substantially periodic array of structures disposed in a first medium having a first density, the array comprising at least one row of at least two of the structures, the structures being made of a second medium having a second density that is greater than the first density, the second medium being a viscoelastic medium, an elastic medium, or a combination thereof, and the first medium being a gaseous medium; and (b) placing the at least one sound barrier in at least one at least partially enclosed gas stream in a manner such that the row of structures extends in a direction that is perpendicular to the direction of flow of the gas stream.
摘要:
A papermaking fabric having a top layer and a bottom layer of interwoven machine direction (MD) yarns and cross-machine direction (CD) yarns bound together with warp binder yarns. At least some of the CD yarns are made of a material which generates a strong contractive force when returned to room temperature after heat-setting (annealing under MD tension). These CD yarns are positioned such that the strong contractive force offsets tension forces generated when the fabric is placed under load and which typically result in an edge curl. An exemplary material for these CD yarns is polybutylene terephthalate (PBT).
摘要:
A voltage regulator includes an output node and first and second regulator circuits. The first regulator circuit generates a first regulated voltage on the output node when a supply voltage equals or exceeds a predetermined threshold, and the second regulator circuit generates a second regulated voltage on the output node when the supply voltage is less than the predetermined threshold.
摘要:
Service nodes in a service overlay network are selected to provide a service path for a requested service by determining a reduced search space of service nodes in the service overlay network that are operable to provide service components for the requested service. From the reduced search space of service nodes, service nodes are selected to form a service path that satisfies all quality of service constraints for the service.