Abstract: Systems and methods for interacting with and customizing a dynamically extensible and automatically configurable building automation system (BAS). In one embodiment, a graphical user interface (GUI) of the BAS comprises a BAS summary page, at least one building summary page, at least one building space page, at least one end device page, and at least on subsystem page. The invention is also directed to methods for creating pages for a GUI of a BAS.

Abstract: Systems and methods for run-time switching for simulation with dynamic run-time accuracy adjustment. In one embodiment, a computer implemented method performs a simulation of a computer instruction executing on a simulated hardware design by a first simulation model, wherein the first simulation model provides first timing information of the simulation. The first timing information is stored to a computer usable media. A pending subsequent simulation of the instruction is detected. Responsive to the presence of the first timing information in the computer usable media, the computer instruction is simulated by a second simulation model, wherein the second simulation model provides less accurate second timing information of the simulation than the first simulation model. The simulation run time information is updated for the subsequent simulation with the first timing information.

Abstract: A support vector machine with wavelet kernel was developed for accurate modeling of nonlinear systems. A method of providing an optimized model of a nonlinear system includes using a support vector machine (SVM) having a wavelet kernel, where support vectors include a family of multidimensional wavelets. Training the SVM allows optimization of the number of support vectors, the weights of the support vectors, and the translation factors of the support vectors. Use of a novel linear programming approach reduces computational demands required for training, allowing optimized support vectors to give an optimized model of the nonlinear system. Further, on-line retraining is possible, so that the model can be adapted to changing conditions.

Abstract: A method of forming a three-dimensional object using an extrusion-based layered deposition system, the method comprising generating a build path for building a layer of the three-dimensional object, where the build path defines a void region. The method further comprising generating at least one intermediate path in the void region, and generating a remnant path based at least in part on the at least one intermediate path.

Abstract: A process is provided for disposing a sensor in an environment for optimally obtaining characteristic measurements. The process includes modeling covariant sets of environment elements that correspond to conditions of the environment and of sensor elements that correspond to characteristic functionalities of the sensor. The process further includes covariantly coupling the environmental elements with the sensor elements to produce a third set of configuration elements; and combining the configuration elements to obtain a fitness function parameter. The process may additionally include adjusting the environment elements and the sensor elements; repeating operations for covariantly coupling and combining until obtaining the fitness function parameter over a defined region of the environment within a set of fitness function parameters.

Abstract: A design structure which enables e-fuse memory repair. The design structure uses a compressed bit string to generate another bit string based on a select value. The select value provides instructions to an encoding logic element, which generates a second bit string. For example, the select value may instruct the encoding logic to create a duplicate copy of each bit in the compressed bit string to generate a 2n-bit string. Once the fuses are programmed using the second bit string, the fuse values are read out as a third string, which is decoded by a decoding logic element according to the select value, thereby improving memory repair.

Abstract: One method according to the present invention may include defining a first object. The first object may have a unique object identifier. The method may also include defining a second object. The second object may also have a unique object identifier. After the objects have been identified, the method may include receiving a first value and a second value associated with the first object. The method may also include representing either an agreement and a lack of agreement associated with the first object based on a relationship between the first value and the second value. In an alternative embodiment, both an agreement and a disagreement may be represented based on the first value and the second value. In one embodiment of the invention, the representation of an agreement and/or a disagreement may be performed internally, using, for example, hexadecimal or binary representations of agreement or a lack of agreement.

Abstract: A method of designing a validation environment for a service implemented by an embedded electrical system. In the method one or more user requests and system responses are assigned. Next, a behavioral automata is assigned to the service, which fixes the allowed sequencing of the user requests and system responses. Then, a skeleton validation environment is automatically generated for the service. The skeleton validation environment includes testing automata produced from a traversal of the behavioral automata, a model of initial conditions, models of user requests, models of system response accuracy, an environmental model, and the dataflow and control flow assembling these models together. The skeleton validation environment covers all user requests and resultant system responses of the service. The skeleton validation environment is then recorded in a computer readable memory device for use by a design validation tool.

Abstract: A mailing list is created including destination addresses for mailpieces to be submitted to a carrier service for delivery. A unique mailpiece identifier associated with mailpieces on the mailing list is generated by the carrier or other trusted third party. The unique mailpiece identifier is printed on the mailpiece with which it is associated. The mailpieces with the printed unique identifier are submitted to the carrier service. The carrier service obtains the printed unique identifier from the mailpiece. The obtained unique identifier from each said mailpiece is utilized to verify that data associated with the mailpiece has been processed by the carrier or trusted third party. When the unique number has been obtained from the mailpieces, the carrier service, if desired, may note this fact in the carrier records to prevent reuse of the unique identifier.

Abstract: A method of controlling soot blowers near a heat exchange section includes generating models of both the ideal clean operating condition of the section and the dirty operating condition. The current operating condition of the section is used to calculate a reliability parameter that provides an indication of the reliability of the ideal and dirty models. If the reliability parameter indicates that the models are reliable, the models are used to help evaluate the cleanliness status of a particular heat exchange section and assist in making decisions on whether to blow the section or not, and whether to make any necessary adjustments to the operating sequence of the soot blowers. If the reliability parameter indicates that the models are unreliable, the models are regenerated using additional process data.

Abstract: A method is provided for simulating a complex system including a scheduler hierarchy. The complex system includes at least one processor that executes a set of functions under the control of a hierarchical group of schedulers. The method includes a step of constructing an architectural model of the complex system comprising a hierarchical group of components, each of said components comprising an instance of an object class belonging to the group containing: a first class, known as the Processor class, which represents an abstract model of any processor included in the complex system, a second class, known as the Function class, which represents an abstract model of any function executed by the complex system; and a third class, known as the Scheduler class, which represents an abstract model of any scheduler. Each instance is initialized with at least one attribute that characterizes the behavior desired therefrom.

Abstract: Methods and systems for providing a synchronous model in a modeling environment are disclosed. The predetermined operations of the model, such as a transition to a state in a state-based modeling environment, are implicitly synchronized with a signal selected by users, such as a clock signal. The predetermined operations of the model may be synchronized on a rising and/or falling edge of the clock signal. The synchronization of the operations is guarded in which the predetermined operation of the model occurs only on the synchronization signal selected by the users while other operations may occur at any time when the model is activated.

Abstract: Asynchronous behavior of a circuit is emulated by modifying a netlist to insert additional logic at a driving element such as a latch. The additional logic outputs one of (i) a present output from the driving element, (ii) a delayed output from the driving element, or (iii) a random value, which drives downstream logic. The output of the additional logic is selectively responsive to a user-controlled skew enable input. The invention allows for simpler data skew logic transformations which are applicable to both latches and primary inputs, with no dependencies on any clock net.

Abstract: An apparatus, system, and method are disclosed for simulating multiple hosts. An object module creates a plurality of host object instances. Each host object instance simulates a host to a storage device connection. In addition, each host object instance includes a unique identifier. A traffic generator serially establishes communications between each host object instance and a storage device using the unique identifier. The traffic generator serially establishes communications until a number of host object instances in communication with the storage device is greater than a host threshold. A verification module verifies that the storage device established communications with each host object instance according to a specified connection protocol. The verification module communicates a pass if each host object instance communication is verified.

Abstract: Methods and data processing systems are provided to share a common pin between two circuits in microcontroller unit (MCU). Signals are received at a common pin included in the MCU. If the first circuit has been enabled, then the received signals are analyzed to determine whether the signals are valid command signals for the first circuit. If the signals are not a valid command signal, then a second circuit is performed. If the first circuit has not been enabled, then an alternate function is performed. One of the operations performed by the alternate function is to determine whether to enable the first function. In one embodiment, the first circuit is a background debug controller of the MCU and the second circuit is a reset circuit.

Abstract: A method to aid designing flexible packaging for wrapping around a solid object and finalizing the packaging. The method includes accepting a description of the surface of a sheet of packaging material after wrapping around the solid object and finalizing, using a mapping of points in the 2D plane of the sheet of the packaging material to the corresponding points in the 3D surface of the wrapped and finalized packaging. The method further includes displaying the surface of the wrapped and finalized packaging or displaying graphic elements on the surface of wrapped and finalized packaging. A version includes pre-distorting graphics to correct for any distortions to graphics that occur during the wrapping and finalizing process, and generating press-ready graphics from the pre-distorted graphics for printing onto the surface of the sheet of packaging material.

Abstract: The method for 4-D inversion of geophysical data for calculating distribution of subsurface material properties from geophysical data includes (a) defining measured data into space-time coordinates, and defining a reference space-time model vector (U) composed of many reference space model vectors (U) for a plurality of pre-selected reference times to simulate a space-time model vector (P) that is a geologic structure continuously changing in time; (b) approximating a numerical modeling for a geologic structure space model at an arbitrary time using Taylor series of numerical modeling for the reference space models, defining an objective inversion function to constrain each inversion in space and time domains, and obtaining a reference space-time model vector (U) from the measured data defined in space-time coordinates using the objective inversion function; and (c) obtaining a space-time model vector (P) from the reference space-time model vector (U) to calculate distribution of subsurface material propertie

Abstract: A robot simulation apparatus (10) capable of creating and executing a robot program includes a virtual space creating unit (31) for creating a virtual space (60), a workpiece model layout unit (32) for automatically arranging at least one workpiece model (40) in an appropriate posture at an appropriate position in a workpiece accommodation unit model (24) defined in the virtual space, a virtual camera unit (33) for acquiring a virtual image (52) of workpiece models existing in the range of a designated visual field as viewed from a designated place in the virtual space, a correcting unit (34) for correcting the teaching points in the robot program based on the virtual image, and a simulation unit (35) for simulating the operation of the robot handling the workpieces, and as a result, interference between the robot and the workpieces can be predicted while at the same time accurately determining the required workpiece handling time.

Abstract: In a method for reducing vibration in an electronic system, at least one component of interest that is subject to vibration is identified, at least one component that is a source of the vibration is identified, a resonant frequency of the at least one component of interest is determined, and the at least one source component is operated at a first frequency other than the resonant frequency during run time of the system.

Abstract: The invention provides a method of analyzing a building made from a core of foam plastic which is coated on the inside and outside with a strengthening coating. The building is designed in a CAD program. Then, the building surfaces are meshed in an automeshing program as one piece. Plates are added to the inner, outer and edge surfaces of the core by using copying at zero distance. The core is Solid Meshed. The boundary conditions are chosen for the boundary nodes. Appropriate characteristics of the EPS and GFRC have been assigned to the core and plates. A FEA analysis can be run.