A method of compensating for shrinking and distortion of an object resulting from a manufacturing process. A scan is performed of an object following a manufacturing process to produce scan data. The scan data is aligned to a part mesh of the object. The part mesh is adjusted to substantially coincide with the scan data by moving part mesh vertices. Delta vectors are computed by subtracting initial part mesh vertex positions from final part mesh vertex positions. The inverse of the delta vectors are applied to the preprocessed part mesh to give a scan adjusted pre-processed shape.

Described a computer-implemented method for the automated design of a mechanical actuator by using metamaterials. The method comprises: defining an initial lattice model of the metamaterial, constituted by the repetition of basic geometric elements formed by a plurality of nodes connected by a plurality of beams; defining several groups of nodes; and iterating a series of steps, including: modifying a current test lattice, on the basis of a pseudo-random decision determined by means of a computational algorithm; simulating, by means of computational simulation, the mechanical response of the modified test lattice; calculating a figure of merit of the modified test lattice on the basis of positions of input and output nodes in presence of an input mechanical stimulus; either accepting or rejecting the modified test lattice; and finally defining the current test lattice for the subsequent iteration is as the initial lattice at the first iteration.

A method implemented by a computing system that facilitates formation of an object from a material comprises receiving an object model that specifies a top surface and a side surface connected to an edge of the top surface via a fillet that extends along the edge. At a particular region along the edge, adjacent planar regions of the side surface define an obtuse angle therebetween. The fillet is adjusted along the edge to have a first radius at a particular distance from the particular region and to have a second radius, smaller than the first radius, proximate the particular region. Output data associated with an adjusted model is communicated to equipment configured to form a mandrel that facilitates formation of the object. Adjusting the fillet to have a smaller radius proximate the particular region facilitates elimination of wrinkles in the material when draped over the mandrel to form the object.

A method of designing an integrated circuit (IC) chip is discloses. The method includes designing a higher level comprising a plurality of outputs configured to be connected to inputs in a previously-designed macro level, wherein each input in the macro level includes a configurable filler cell. The method also includes calculating if each input includes an antenna violation based on the higher level and the macro level, and configuring each of the filler cells, wherein each filler cell associated with an antenna violation is configured as an antenna diode.

A method, a structure, and a computer system for enabling telemedicine using printed devices. Exemplary embodiments may include receiving a design for a device and printing the device based on the design using a printer. The exemplary embodiments may further include combining the device with a smart device and utilizing the device to collect data during a telemedicine session administered on the smart device.

A non-transitory computer-readable recording medium storing a timing library creation program of causing a computer to execute processing, the processing including: extracting, from a delay variation database that stores delay variation values of gates included in circuit design data, a delay variation value, out of the delay valuation values matching to characteristics which are characteristics of one of signal paths in the circuit design data and which include a threshold voltage, a drive force, and a number of gate stages of the signal path; calculating an extended delay variation coefficient based on the extracted delay variation value and the characteristics; and creating, based on a basic timing library in which the delay variation value is not reflected and the extended delay variation coefficient, an extended timing library in which the delay variation value is reflected.

A hardware monitor arranged to assess performance of a hardware design for an integrated circuit to complete a task. The hardware monitor includes monitoring and counting logic configured to count a number of cycles between start and completion of the symbolic task in the hardware design; and property evaluation logic configured to evaluate one or more formal properties related to the counted number of cycles to assess the performance of the hardware design in completing the symbolic task. The hardware monitor may be used by a formal verification tool to exhaustively verify that the hardware design meets a desired performance goal and/or to exhaustively identify a performance metric (e.g. best case and/or worst case performance) with respect to completion of the task.

A data processing apparatus in which a trade-off between over-learning prevention and calculation load prevention is eliminated when creating a model formula is provided. The data processing apparatus includes: a recording unit that records electronic data; and a computing unit that performs computing using the electronic data, in which the computing unit includes a feature amount selection unit used for computing, and the feature amount selection unit performs feature amount selection including: a first step (S101) of ranking feature amounts and rearranging the feature amounts from top; a second step (S103) of creating a plurality of data groups using only a part of the feature amounts according to the order; a third step (S104) of calculating a value that is an index for evaluating prediction performance of a regression or classification problem using each of the data groups using only a part of the feature amounts; a fourth step (S105) of deleting feature amounts based on the calculated prediction performance index; and a fifth step (S106) of updating the order of the feature amounts, which are feature amounts other than the deleted feature amount, using the prediction performance index, in which the second step to the fifth steps are iterated (S102) until an optimal value of the prediction performance index calculated in the third step is no longer updated.

A method for forming a multi-material mechanical functional member in additive manufacturing. The method includes the following steps: S1: dividing an object to be formed into a plurality of portions, analyzing and measuring mechanical properties of each portion, and constructing a unit cell library; S2: forming a lattice structure by using a unit cell structure in the unit cell library to obtain the lattice structure corresponding to each portion; S3: selecting a raw material of the lattice structure, measuring and comparing mechanical properties of each lattice structure with the mechanical properties of each portion of the object to be formed, where when the mechanical properties of each portion are satisfied, the lattice structure is the required lattice structure, otherwise, step S2 is repeated; and S4: forming a three-dimensional model by a method of additive manufacturing to accordingly obtain the required object to be formed.

The temperature distribution estimating method of the disclosure includes a building operation to build a numerical model for a form and thermal behavior of a substrate; a setting operation to set a regularization parameter to adjust noises of a temperature of the substrate measured by a temperature sensor; a generating operation to generate a sensitivity coefficient matrix that estimates a heat source received by the substrate from a plurality of heaters; a condensing operation to condense the sensitivity coefficient matrix based on a power ratio input in the heaters respectively; and estimating operation to estimate an entire temperature distribution of the substrate based on the numerical model, the regularization parameter, and the condensed sensitivity coefficient matrix, when predetermined temperature data are input.