Standard cell libraries include one or more standard cells and one or more corresponding standard cell variations. The one or more standard cell variations are different from their one or more standard cells in terms of geometric shapes, locations of the geometric shapes, and/or interconnections between the geometric shapes. The exemplary systems and methods described herein selectively choose from among the one or more standard cells and/or the one or more standard cell variations to form an electronic architectural design for an electronic device. In some situations, some of the one or more standard cells are unable to satisfy one or more electronic design constraints imposed by a semiconductor foundry and/or semiconductor technology node when placed onto the electronic device design real estate. In these situations, the one or more standard cell variations corresponding to these standard cells are placed onto the electronic device design real estate.

A magnetic field analysis device includes a magnetization application unit that divides a virtual space into a plurality of volume elements and applies magnetization to each of the volume elements, and a magnetic field calculation unit that calculates, on each of a plurality of observation points in the virtual space, based on the magnetization applied to a plurality of the volume elements around the observation point, a magnetic field generated at the observation point for each volume element and obtains a magnetic field generated at each of the plurality of the observation points based on a calculation result of each of the plurality of the volume elements.

A system for designing a circuitry configuration of heat-exchanger units includes an interface to acquire design parameters the heat-exchanger units, a memory to store computer-executable programs including a relaxed decision diagram formation module, and a processor, in connection with the memory, configured to perform the computer-executable programs. The computer-executable programs include steps of providing a configuration of the heat-exchanger units, providing the design parameters of the heat-exchanger units acquired via the interface, generating a relaxed decision diagram based on the design parameters, creating constraints with respect to connections of the heat-exchanger units according to the relaxed decision diagram, and generating feasible configurations of the heat-exchanger units by a mixed-integer-programing method using the constraints.

A system for designing a circuitry configuration of heat-exchanger units includes an interface to acquire design parameters the heat-exchanger units, a memory to store computer-executable programs including a relaxed decision diagram formation module, and a processor, in connection with the memory, configured to perform the computer-executable programs. The computer-executable programs include steps of providing a configuration of the heat-exchanger units, providing the design parameters of the heat-exchanger units acquired via the interface, generating a relaxed decision diagram based on the design parameters, creating constraints with respect to connections of the heat-exchanger units according to the relaxed decision diagram, and generating feasible configurations of the heat-exchanger units by a mixed-integer-programing method using the constraints.

A method is provided for determining the shape of a surgical linking device that is to be attached to a bony body structure such as the spinal column based on digitized locations of a plurality of attachment elements engaged to the bony structure. The method is implemented by a computer system through a GUI to generate an initial bend curve to mate with the plurality of attachment elements. The initial bend curve may be simplified based on user input to the GUI to reduce the number of bends necessary to produce a well-fitting linking device and may be altered to help obtain the goals of surgery.

A method is provided for determining the shape of a surgical linking device that is to be attached to a bony body structure such as the spinal column based on digitized locations of a plurality of attachment elements engaged to the bony structure. The method is implemented by a computer system through a GUI to generate an initial bend curve to mate with the plurality of attachment elements. The initial bend curve may be simplified based on user input to the GUI to reduce the number of bends necessary to produce a well-fitting linking device and may be altered to help obtain the goals of surgery.

Systems and methods for creating a geometric design definition for 3D models designed to fit physical or digital template objects is disclosed. The 3D models can transform to fit specific physical or digital objects which are different from but topologically isomorphic to the original template objects based on visual or mathematical inputs. To validate the fit, the generated 3D model can be compared with the specific physical or digital objects for which the 3D model is generated to fit, and the geometry of generated 3D model can be adjusted to improve the fit if the generated 3D model is not validated. The accuracy of the fit of the generated 3D models can be improved iteratively.

Systems and methods for creating a geometric design definition for 3D models designed to fit physical or digital template objects is disclosed. The 3D models can transform to fit specific physical or digital objects which are different from but topologically isomorphic to the original template objects based on visual or mathematical inputs. To validate the fit, the generated 3D model can be compared with the specific physical or digital objects for which the 3D model is generated to fit, and the geometry of generated 3D model can be adjusted to improve the fit if the generated 3D model is not validated. The accuracy of the fit of the generated 3D models can be improved iteratively.

Apparatus and associated methods relate to generating a wiring schema with more than one safety device sharing at least one test signal through one or more external terminal blocks when the number of terminals required by safety devices exceeds the number of available terminals of a safety controller. In an illustrative example, the method may include determining a total number of terminals A of safety devices to be connected to a safety evaluation device having a number of terminals B. If A is greater than B, the method may then include generating a wiring schema that one or more external terminal blocks may show indicia of electrical connections between an identified set of safety devices and a shared terminal of the safety evaluation device associated with that set. Various embodiments may advantageously expand a number of devices to be connected to the safety evaluation device.

The hardware and software properties of a three-dimensional printer can be queried and applied to select suitable directly printable models for the printer, or to identify situations where a new machine-ready model must be generated. The properties may be any properties relevant to fabrication including, e.g., physical properties of the printer, printer firmware, user settings, hardware configurations, and so forth. A printer may respond to configuration queries with a dictionary of capabilities or properties, and this dictionary may be used to select suitable models, or determine when a new model must be created. Similarly, when a printable model is sent to the printer, metadata for the printable model may be compared to printer properties in the dictionary to ensure that the model can be fabricated by the printer.