Abstract: An adapter for installing a sensor, more particularly designed as a fire alarm, has a sensor housing which can be connected to a building and is designed to accommodate electrical and/or electronic components of the sensor. To simplify and accelerate the installation, an adapter is designed to be connected, by way of a direct installation technique, to the building by means of an adapter top side and to the sensor by means of an adapter bottom side.

Abstract: A device (1) for crimping connection elements (2). The device (1) comprises a machine frame (5), at least one punch, a drive assembly, at least one anvil (17), and a working chamber (31). The punch (3) is preferably arranged in a movable manner in relation to the machine frame (5). The punch (3) contains at least one working surface (4) for deforming a connection element (2). The drive assembly for moving the punch (3) is connected to the punch. The anvil (17) is connected to the machine frame (5) and has a receiving surface (8) for the connection element (2). The working chamber is located between the punch and the anvil and is opened and closed by a relative movement between the punch and the anvil. The device has at least one sonotrode, by which the receiving surface (8) of the anvil (17) is supplied with ultrasound.

Abstract: An adapter for installing a sensor, more particularly designed as a fire alarm, has a sensor housing which can be connected to a building and is designed to accommodate electrical and/or electronic components of the sensor. To simplify and accelerate the installation, an adapter is designed to be connected, by way of a direct installation technique, to the building by means of an adapter top side and to the sensor by means of an adapter bottom side.

Abstract: A cartridge for an aerosol provision device comprises a chamber for containing a liquid from which a flow of aerosol for inhalation by a user is generated. The cartridge comprises a first connector arrangement for releasably connecting the cartridge to a body portion of the device, and a second connector arrangement for releasably connecting to a container for a material. In use, aerosol flows through the material in the container before being inhaled by the user. The first connector arrangement is configurable in a locked configuration and in an un-locked configuration, and the first connector arrangement must be configured in the un-locked configuration for the cartridge to be removeable from the body portion. The first connector arrangement is configurable from the locked configuration to the un-locked configuration while the cartridge remains stationary with respect to the body portion.

Abstract: A device (1) for crimping connection elements (2). The device (1) comprises a machine frame (5), at least one punch, a drive assembly, at least one anvil (17), and a working chamber (31). The punch (3) is preferably arranged in a movable manner in relation to the machine frame (5). The punch (3) contains at least one working surface (4) for deforming a connection element (2). The drive assembly for moving the punch (3) is connected to the punch. The anvil (17) is connected to the machine frame (5) and has a receiving surface (8) for the connection element (2). The working chamber is located between the punch and the anvil and is opened and closed by a relative movement between the punch and the anvil. The device has at least one sonotrode, by which the receiving surface (8) of the anvil (17) is supplied with ultrasound.

Abstract: The invention includes a method and apparatus for managing a system specification. The method includes identifying a first system specification defined at a first refinement level where the first system specification includes specification data, generating a second system specification at a second refinement level where the second system specification inherits the specification data of the first system specification, modifying the inherited specification data of the second system specification, and storing the second system specification including the modified specification data.

Abstract: The invention includes a method and apparatus for displaying a graphical representation of a graph including nodes and edges. A layout of the graph is determined. The layout of the graph is determined by determining respective positions of each of the nodes and edges within the layout. The position of each node is determined using a first model and, optionally, a second force model, wherein the first force model comprises a substantially linear repulsive force in a first region, a substantially exponential repulsive force in a second region, and an attractive force in a third region. In one embodiment, the position of each edge may be determined using the first force model. A graphical representation of the layout is generated. The graphical representation of the layout is displayed to one or more users.

Abstract: The present invention relates to a contact assembly for a relay for switching high load currents having at least one switch contact and a braid having at least one braid end, which are electrically conductively connected to each other by a connection element. Further, the invention relates to a relay for switching high load currents with a contact assembly. Finally, the invention relates to a method for mounting a relay for switching high load currents. For the simple, electrically conductive connection of the braid and the switch contact without the contact assembly produced requiring much space within the relay, it is provided in accordance with the invention that the connection element is equipped with a contact portion directly connected to the switch contact and with a connection strap connected to the braid end, wherein the connection strap is inclined relative to the contact portion.

Abstract: The present invention relates to a contact arrangement for a relay for switching high load currents. Furthermore, the invention relates to a relay for switching high load currents having a contact arrangement. Finally, the invention relates to a method for assembling a relay. In order to be able to assemble the contact arrangement in the relay in an at least partially automated manner, without additional retention devices being required for a cord, there is provision according to theinvention for the cord to be retained in an inherently stable manner owning to its shape as a self-supporting structure and for the method to have a method step in which the cord is shaped to form a self-supporting structure with a bent shape.

Abstract: A reconfigurable hardware architecture, in the form of a System-on-Chip 1, includes an ASIC (19) and an embedded FPGA (18) which define static and reconfigurable parts of an IC architecture (15) respectively. Incoming Ethernet, or other format, packets are applied to a packet filter (14), which detects those packets containing reconfiguration data. The reconfiguration data is used to update the FPGA (18).

Abstract: A reconfigurable hardware architecture, in the form of a System-on-Chip 1, includes an ASIC (19) and an embedded FPGA (18) which define static and reconfigurable parts of an IC architecture (15) respectively. Incoming Ethernet, or other format, packets are applied to a packet filter (14), which detects those packets containing reconfiguration data. The reconfiguration data is used to update the FPGA (18).

Abstract: The invention relates to a contact arrangement (1) for a relay for switching high load currents. Furthermore, the invention relates to a relay (43) for switching high load currents having a contact arrangement (1). Finally, the invention relates to a method for assembling a relay. In order to be able to assemble the contact arrangement (1) in the relay in an at least partially automated manner, without additional retention devices being required for a cord (4), there is provision according to the invention for the cord (4) to be retained in an inherently stable manner owing to its shape as a self-supporting structure and for the method to have a method step in which the cord (4) is shaped to form a self-supporting structure with a bent shape.

Abstract: The present invention relates to a contact assembly for a relay for switching high load currents having at least one switch contact and a braid having at least one braid end, which are electrically conductively connected to each other by a connection element. Further, the invention relates to a relay for switching high load currents with a contact assembly. Finally, the invention relates to a method for mounting a relay for switching high load currents. For the simple, electrically conductive connection of the braid and the switch contact without the contact assembly produced requiring much space within the relay, it is provided in accordance with the invention that the connection element is equipped with a contact portion directly connected to the switch contact and with a connection strap connected to the braid end, wherein the connection strap is inclined relative to the contact portion.

Abstract: A method for testing hardware and software system design. An abstract system description is used to design hardware/software systems and generated test cases are reused to verify the correctness of the implementation.

Abstract: The invention includes a method and apparatus for managing a system specification. The method includes identifying a first system specification defined at a first refinement level where the first system specification includes specification data, generating a second system specification at a second refinement level where the second system specification inherits the specification data of the first system specification, modifying the inherited specification data of the second system specification, and storing the second system specification including the modified specification data.

Abstract: The invention includes a method and apparatus supporting system specification creation by providing descriptor management functions. A method according to one embodiment of the invention includes receiving a request for descriptor information maintained in a descriptor dictionary comprising a plurality of descriptor entries defining a respective plurality of descriptors, determining a context associated with the request for descriptor information, retrieving a subset of the descriptor entries of the descriptor dictionary according to the determined context, and inserting into a presentation data stream imagery associated with the subset of descriptor entries to enable selection of one or more of the descriptor entries for insertion of the corresponding descriptor within a worksheet.

Abstract: The invention includes a method and apparatus for displaying a graphical representation of a graph including nodes and edges. A layout of the graph is determined. The layout of the graph is determined by determining respective positions of each of the nodes and edges within the layout. The position of each node is determined using a first model and, optionally, a second force model, wherein the first force model comprises a substantially linear repulsive force in a first region, a substantially exponential repulsive force in a second region, and an attractive force in a third region. In one embodiment, the position of each edge may be determined using the first force model. A graphical representation of the layout is generated. The graphical representation of the layout is displayed to one or more users.

Abstract: For connecting flexible corrugated hoses, which are not provided with fittings, for transporting preferably gaseous media in connection with high-pressure applications, a holder 3 is provided, which receives an exposed end of the corrugated pipe 6 of the flexible corrugated hose 2 and is pressed together with it to form a metallic seal. The metallic seal is achieved by the surface pressure between the interior wall 18 of an element 16 of the holder and the ribs 8 of the corrugated pipe 6. Elastomeric seals 24, 25, as well as a soldering joint 34, if desired, can be provided as aids. However, in connection with a preferred embodiment the required sealing is already achieved by the strong pressure against each other of the metallic exterior of the corrugated pipe 6 and the metallic interior of the element 16.

Abstract: A method is provided for generating test cases automatically using an abstract system description in combination with a model-checking tool. The abstract system description can be used to design hardware/software systems and the generated test cases can be reused to verify the correctness of the implementation.