Abstract: A method for formally verifying the equivalence of an architecture description with an implementation description. The method comprises the steps of reading an implementation description, reading an architecture description, demonstrating that during execution of a same program with same initial values an architecture sequence of data transfers described by the architecture description is mappable to an implementation sequence of data transfers implemented by the implementation description, such that the mapping is bijective and ensures that the temporal order of the architecture sequence of data transfers corresponds to the temporal order of the implementation sequence of data transfers, and outputting a result of the verification of the equivalence of the architecture description with the implementation description.

Abstract: A heat exchanger for cooling a hot gas that contains solid particles, comprising heat exchanger tubes through which the hot gas flows, with the tubes being surrounded by a casing, and with ends of the tubes being welded, via weld seams, into bores of respective tube plates disposed at the ends of the casing. A protective layer coats the end face of the gas inlet side tube plate, an inner wall of the bores, the weld seams, and an inlet region of the heat exchanger tubes. The protective layer comprises a metallic adhesive layer, a high temperature and erosion resistant ceramic layer, and a high temperature and erosion resistant metal layer disposed between the adhesive layer and the ceramic layer.

Abstract: A heat exchanger for cooling a hot gas that contains solid particles, comprising heat exchanger tubes through which the hot gas flows, with the tubes being surrounded by a casing, and with ends of the tubes being welded, via weld seams, into bores of respective tube plates disposed at the ends of the casing. A protective layer coats the end face of the gas inlet side tube plate, an inner wall of the bores, the weld seams, and an inlet region of the heat exchanger tubes. The protective layer comprises a metallic adhesive layer, a high temperature and erosion resistant ceramic layer, and a high temperature and erosion resistant metal layer disposed between the adhesive layer and the ceramic layer.

Abstract: A pelletizing die includes a pelletizing die member with a die exit side exposed to cooling fluid and a die entry side for receiving polymer fed thereto. The die member has a plurality of polymer channels and a plurality of extrusion orifices connected to a respective one of the channels to form a extrusion orifice section. A heating medium system has additional heating medium conduits between channels and a supply and intermediate header for heating the channels (radially from each side) and providing once in and once out heating medium flow. The die member may be formed by high temperature brazing of components using coordinated solder (Ni based or gold-nickel) and component heat treatment temperature. A thin hard face coating may be provided on raised extrusion orifice ring faces around each extrusion orifice section.

Abstract: A pelletizing die includes a pelletizing die member with a die exit side exposed to cooling fluid and a die entry side for receiving polymer fed thereto. The die member has a plurality of polymer channels and a plurality of extrusion orifices connected to a respective one of the channels to form a extrusion orifice section. A heating medium system has additional heating medium conduits between channels and a supply and intermediate header for heating the channels (radially from each side) and providing once in and once out heating medium flow. The die member may be formed by high temperature brazing of components using coordinated solder (Ni based or gold-nickel) and component heat treatment temperature. A thin hard face coating may be provided on raised extrusion orifice ring faces around each extrusion orifice section.

Abstract: A joint between a hot and unrefrigerated pipe (1) and a refrigerated pipe (2). The end of the unrefrigerated pipe is bifurcated in cross-section, leaving two sections joined at one end. The exterior section (6) is fastened tight to the refrigerated pipe (2). The interior section (5) extends into the refrigerated pipe leaving a radial and axial gap. The cylindrical space between the interior and the exterior section is full of heat insulation. There is a flexible component, an O ring (13) for instance, between, and resting tight against, the face of the refrigerated pipe and that of the interior section of the unrefrigerated pipe. The insulation comprises an axial series of layers (10, 11, & 12), each with a different heat conductivity.

Abstract: Cephem derivatives of the general formula ##STR1## in which the R.sub.2 O group is in the syn-position, a process for their manufacture and pharmaceutical formulations which are active against bacterial infections and contain these compounds.

Abstract: Cephem derivatives of the general formula ##STR1## in which the R.sub.2 O group is in the syn-position, a process for their manufacture and pharmaceutical formulations which are active against bacterial infections and contain these compounds.

Abstract: A heat exchanger for cooling hot reaction gas with a coolant. It rests on a gas-supply compartment (4) and has gas-conveying pipes (9) inside a jacket (1). It is separated from the gas-supply compartment by a tube sheet (6) that accommodates the gas-conveying pipes (9). The pipes extend loosely through the tube sheet, leaving annular gaps (10) and are connected tightly to the tube sheet on the side where the gas enters. The heat exchanger has at least one line (12) for supplying coolant to the side of the tube sheet that faces away from where the gas enters. The diameter of the tube sheet is shorter than that of the jacket. The tube sheet is connected to the lower edge of the jacket by way of an upward-tapering cone (7). The tube sheet is provided with cooling channels (15) that are open at least at one end and communicate with the lines that supply the coolant.

Abstract: Cephem derivatives of the general formula ##STR1## in which the R.sub.2 O group is in the syn-position, a process for their manufacture and pharmaceutical formulations which are active against bacterial infections and contain these compounds.

Abstract: What are disclosed are pyrrolidinylsulfamoylbenzoic acid compounds of the formula ##STR1## in which R.sup.1 and R.sup.2 denote C.sub.1 -C.sub.4 alkyl and one of the radicals R.sup.1 or R.sup.2 may be hydrogen, R.sup.3 and R.sup.3' denote hydrogen or C.sub.1 -C.sub.4 alkyl or together denote a C--C linkage, R.sup.4 and R.sup.4' denote hydrogen, halogen, CF.sub.3, alkyl or C.sub.1 -C.sub.2 alkoxy, hydroxy, amino or dimethylamino in the various positions of the aryl nucleus, or together denote 3,4-methylenedioxy, R.sup.5 and R.sup.6 denote hydrogen, C.sub.1 -C.sub.4 alkyl or benzyl, Ar denotes phenyl or a 5-membered or 6-membered heteroaromatic ring containing a O, S or N atom and X is omitted or denotes oxygen, sulfur, NH, or CH.sub.2, and their pharmaceutically acceptable salts with bases or acids. The compounds and salts have a salidiuretic action and can be used for the treatment of edematous diseases.

Abstract: The invention provides thienylbenzoic acid derivatives of the formula I ##STR1## in which R.sup.1 is an alkyl radical having from 1 to 3 carbon atoms, a phenyl, thienyl or furyl radical optionally substituted by halogen, CF.sub.3, CH.sub.3 or OCH.sub.3 ; R.sup.2 is hydrogen, halogen or CH.sub.3 ; R.sup.3 is hydrogen or alkyl having from 1 to 4 carbon atoms or benzyl; and n is 1 or 2; and the pharmaceutically tolerable salts thereof with acids or bases.

Abstract: What is disclosed are cephalosporin compounds of the formula ##STR1## pharmaceutical preparations having an action against bacterial infections and containing such cephem compounds, a process for the manufacture of the cephem compounds and of pharmaceutical preparations containing the same, and the use of the cephem compounds to combat bacterial infections.

Abstract: Cephem derivatives of the general formula ##STR1## in which the R.sub.2 O group is in the syn-position, a process for their manufacture and pharmaceutical formulations which are active against bacterial infections and contain these compounds.

Abstract: Novel stable crystalline hydrate of D form of the syn isomer of sodium 3-acetoxymethyl-7-[2-(2-amino-4-thiazolyl)-2-methoxyimino-acetamido]-ceph- 3-eme-4-carboxylate having the formula ##STR1## which has excellent antibiotic activity against both gram negative and gram positive bacteria and a process for its preparation.

Abstract: Cephem derivatives of the formula ##STR1## in which R.sup.1 denotes hydrogen or low-molecular alkoxy, R.sup.2 denotes hydrogen, optionally substituted alkyl, phthalide or a cation, X denotes sulfur, oxygen or CH.sub.2 and A denotes hydrogen, alkoxy, halogen or a group --CH.sub.2 Y, in which Y represents hydrogen, acyloxy, alkoxy, optionally substituted carbamoyloxy or a group --SR.sup.3, in which R.sup.3 can represent acyl, alkyl or an optionally substituted 5-membered or 6-membered heterocyclic structure are disclosed as valuable antibiotics which are well suited for combating Gram-positive and in particular Gram-negative infections and also have an unexpectedly good action against penicillinase-forming staphylococci.

Abstract: Salidiuretically-active 3-pyrrolo-5-sulfamoylbenzoic acids having a methylphenoxy or chlorophenoxy group substituted in the 4-position, and alkyl esters thereof, are disclosed, as are methods of making and using the same.

Abstract: 5-Sulfamoylbenzoic acids substituted in 4-position by various substituents and in 3-position by a cyclic amino group having sali-diuretic properties.

Abstract: A process is disclosed for preparing 5-sulfamoylbenzoic acid derivatives substituted in 4-position by various substituents and in 3-position by a cyclic amino group and having sali-diuretic properties. Novel intermediate compounds are also disclosed.

Abstract: Cephem derivatives of the general formula ##STR1## is which the R.sub.2 O group is in the syn-position, a process for their manufacture and pharmaceutical formulations which are active against bacterial infections and contain these compounds.