Systems and methods to semantically compare product configuration models. A method includes receiving a first configuration model and a second configuration model. The method includes generating a first order logic (FOL) representation of the first configuration model and an FOL representation of the second configuration model. The method includes performing a satisfiability modulo theories (SMT) solve for nonequivalence satisfiability on the FOL representation of the first configuration model and the FOL representation of the second configuration model. The method includes storing an indication that the first configuration model is equivalent to the second configuration model when the SMT solve for nonequivalence satisfiability is not satisfied.

To provide an information processing apparatus, an information processing method, and a program that make it possible to suitably provide three-dimensional property information. A floor-plan identifying unit that generates floor plan information on the basis of a floor plan image and a model generating unit that generates a three-dimensional model using the floor plan information are included. The floor-plan identifying unit includes: a line-segment detecting unit that detects a line segment corresponding to a wall on a floor plan, a segmentation processing unit that identifies a room region corresponding to a room on the floor plan, a character recognizing unit that recognizes a character string included in the floor plan image, a fixture detecting unit that detects a fixture sign included in the floor plan image, and an integration unit that identifies a type of room of the room region and complements a room structure. The model generating unit includes an estimating unit that estimates a scale of the floor plan and a generating unit that generates a three-dimensional model of the real-estate property on the basis of the floor plan identified from the floor plan information, the scale, and an estimated ceiling height.

To provide an information processing apparatus, an information processing method, and a program that make it possible to suitably provide three-dimensional property information. A floor-plan identifying unit that generates floor plan information on the basis of a floor plan image and a model generating unit that generates a three-dimensional model using the floor plan information are included. The floor-plan identifying unit includes: a line-segment detecting unit that detects a line segment corresponding to a wall on a floor plan, a segmentation processing unit that identifies a room region corresponding to a room on the floor plan, a character recognizing unit that recognizes a character string included in the floor plan image, a fixture detecting unit that detects a fixture sign included in the floor plan image, and an integration unit that identifies a type of room of the room region and complements a room structure. The model generating unit includes an estimating unit that estimates a scale of the floor plan and a generating unit that generates a three-dimensional model of the real-estate property on the basis of the floor plan identified from the floor plan information, the scale, and an estimated ceiling height.

In one embodiment, a guide layout creating apparatus includes a selection module that selects a first point as a point on which a guide to array a plurality of particles in a first array is arranged. The apparatus further includes a calculation module that calculates first free energy when the plurality of particles are arrayed in the first array by the guide arranged on the first point, and second free energy when the plurality of particles are arrayed in a second array by the guide arranged on the first point, a type of the second array being different from a type of the first array. The apparatus further includes a determination module that determines whether the first point is employed as the point on which the guide is arranged on the basis of the first free energy and the second free energy.

In one embodiment, a guide layout creating apparatus includes a selection module that selects a first point as a point on which a guide to array a plurality of particles in a first array is arranged. The apparatus further includes a calculation module that calculates first free energy when the plurality of particles are arrayed in the first array by the guide arranged on the first point, and second free energy when the plurality of particles are arrayed in a second array by the guide arranged on the first point, a type of the second array being different from a type of the first array. The apparatus further includes a determination module that determines whether the first point is employed as the point on which the guide is arranged on the basis of the first free energy and the second free energy.

A system and method including receiving a data model representation of a part, the data model representation including at least one layer of the part and inner and outer contours for the at least one layer; determining a hatch pattern for each layer of the at least one layer of the part, the hatch pattern for each layer being dependent on the inner and outer contours for each respective layer; generating a record of the determined hatch pattern for each layer, the record including locations for the hatch pattern for each layer; and saving the record of the determined hatch pattern for each layer of the part. In some aspects, the record of the determined hatch pattern for each layer of the part may be used in an additive manufacturing process.

A system and method including receiving a data model representation of a part, the data model representation including at least one layer of the part and inner and outer contours for the at least one layer; determining a hatch pattern for each layer of the at least one layer of the part, the hatch pattern for each layer being dependent on the inner and outer contours for each respective layer; generating a record of the determined hatch pattern for each layer, the record including locations for the hatch pattern for each layer; and saving the record of the determined hatch pattern for each layer of the part. In some aspects, the record of the determined hatch pattern for each layer of the part may be used in an additive manufacturing process.

Semiconductor structures involving multiple quantum wells provide increased efficiency of UV and visible light emitting diodes (LEDs) and other emitter devices, particularly at high driving current. LEDs made with the new designs have reduced efficiency droop under high current injection and increased overall external quantum efficiency. The active region of the devices includes separation layers configured between the well layers, the one or more separation regions being configured to have a first mode to act as one or more barrier regions separating a plurality of carriers in a quantum confined mode in each of the quantum wells being provided on each side of the one or more separation layers and a second mode to cause spreading of the plurality of carriers across each of the quantum wells to increase an overlap integral of all of the plurality of carriers. The devices and methods of the invention provide improved efficiency for solid state lighting, including high efficiency ultraviolet LEDs.

A design engine for designing an object using structural analysis. The design engine generates a lattice structure for the object comprising a plurality of nodes and a plurality of lines connecting the nodes. The lattice structure is optimized to remove one or more lines using structural analysis based on at least one load-related design requirement. Several design options are provided for generating and optimizing the lattice structure. The design engine then generates a 3D model of the object by thickening each line of the lattice structure into a pipe volume. The thickness of each pipe is determined using structural analysis based on the at least one load-related design requirement. The 3D model represents the volume of the object and is exportable to a fabrication device.

A design engine for designing an object using structural analysis. The design engine generates a lattice structure for the object comprising a plurality of nodes and a plurality of lines connecting the nodes. The lattice structure is optimized to remove one or more lines using structural analysis based on at least one load-related design requirement. Several design options are provided for generating and optimizing the lattice structure. The design engine then generates a 3D model of the object by thickening each line of the lattice structure into a pipe volume. The thickness of each pipe is determined using structural analysis based on the at least one load-related design requirement. The 3D model represents the volume of the object and is exportable to a fabrication device.