Abstract: A system for computer vision is disclosed. The system may comprise a processor and a non-transitory computer-readable storage medium coupled to the processor. The non-transitory computer-readable storage medium may store instructions that, when executed by the processor, cause the system to perform a method. The method may comprise obtaining a first and a second images of at least a portion of an object, extracting a first and a second 2D contours of the portion of the object respectively from the first and second images, matching one or more first points on the first 2D contour with one or more second points on the second 2D contour to obtain a plurality of matched contour points and a plurality of mismatched contour points, and reconstructing a shape of the portion of the object based at least in part on at least a portion of the matched points and at least a portion of the mismatched contour points.

Abstract: While the effectiveness of a model inspection method as a means for detecting software defects is known, large-scale software cannot be handled due to great amounts of calculation required for inspection. According to the present invention, after a model inspection problem of software is attributed to be a satisfiability determination problem, the problem is converted to a type that can be solved by a solver used for solving a notification optimization problem having constrained conditions, and the satisfiability is determined in a numerically analytical manner.

Abstract: Disclosed are a fine-grained resource control method and apparatus. The method includes: defining, for a function of which resource usage is needed to be restricted, a license item in a license file, wherein the license item is used for representing a resource restriction number for supporting the function; and judging whether a preferential support command is preset for resources of the function, if presetting, controlling the resources of the function according to the preferential support command, a value of the license item and an actual resource number for supporting the function, otherwise, controlling the resources of the function directly according to the value of the license item and the actual resource number for supporting the function.

Abstract: A method includes generating a delta price and generating a final price using the delta price. A process and system provide an ability to determine a product's final price with a selected set of features in which multiple configurations are to be generated. The ability to determine such final prices can be based on the ability to determine the change in price between one configuration of a product and that of another product configuration (e.g. the product configured with the desired feature(s)). A customer is able to select one or more features, and so view the effect on the product's final price, as well as compare the prices (and incremental price differences) between various configurations of a given product. This increases the likelihood of the purchase being made, because it provides the potential purchaser with the final price earlier in the sales cycle.

Abstract: A storage unit stores a trace file obtained by simulating an operation of an object. A reception unit receives a forward direction reproduction instruction. A reproduction unit reads each piece of trace data from the trace file. The reproduction unit determines a timing for updating a graphic display, based on a new display time corresponding to an occurrence time included in new trace data read this time and an old display time corresponding to an occurrence time included in old trace data read last time. A display unit changes a state of the object displayed by the graphic display to a state indicated by a new state value included in the new trace data, at the determined timing.

Abstract: A method comprising: causing display of a sound-source virtual visual object in a three-dimensional virtual visual space; causing display of a multiplicity of interconnecting virtual visual objects in the three-dimensional virtual visual space, wherein at least some of the multiplicity of interconnecting virtual visual objects interconnect visually a sound-source virtual visual object and a user-controlled virtual visual object, wherein a visual appearance of each interconnecting virtual visual object, is dependent upon one or more characteristics of a sound object associated with the sound-source virtual visual object to which the interconnecting virtual visual object is interconnected, and wherein audio processing of the sound objects to produce rendered sound objects depends on user-interaction with the user-controlled virtual visual object and user-controlled interconnection of interconnecting virtual visual objects between sound-source virtual visual objects and the user-controlled virtual visual obje

Abstract: An optical driver is disclosed, including a PMOS pull-up circuit, an NMOS pull-down circuit, and an inductive circuit. The PMOS pull-up circuit may include a first terminal to receive a first input signal based on a received data signal, and a P output terminal coupled to the inductive circuit. The NMOS pull-down circuit may include a second input terminal to receive a second input signal based on the received data signal, and an N output terminal coupled to the inductive circuit. The inductive circuit may include an L output terminal to output an output signal, a P coil coupled between the P output terminal and the L output terminal, and an N coil coupled between the N output terminal and the L output terminal.

Abstract: Any primitive cells or blocks can be represented physically by a Barycenter compact model (or Barycenter model), and any black box model can also be physically represented by a Barycenter compact model physically. A hierarchical boundary condition between blocks is formulated by the Barycenter compact model. Hierarchical boundary condition problems between blocks can be limited within two levels only if using the Barycenter compact model.

Abstract: For measuring component utilization in a computing system, a server energy utilization reading of a statistical significant number of servers out of a total number of servers located in the datacenter is obtained by measuring, at predetermined intervals, a collective energy consumed by all processing components within each server. The collective energy is measured by virtually probing thereby monitoring an energy consumption of individual ones of all the processing components to each collect an individual energy utilization reading, where the individual energy utilization reading is aggregated over a predetermined time period to collect an energy consumption pattern associated with the server utilization reading.

Abstract: An Identity Based Behavior Measurement Architecture (such as the BMA) and related technologies are described herein. In an exemplary embodiment, the BMA can be derived from an IMA and use an identity model to express a deterministic measurement value for platform behavior.

Abstract: A system, method, and computer-readable medium are disclosed for performing a validation precomputation operation for use with a configurator, comprising: identifying a plurality of webpages within a configurator, the plurality of webpages allowing a user to configure a system, each webpage of the plurality of webpages enabling the user to select an option from a plurality of options; performing a validation precomputation operation on each of the plurality of webpages, the validation precomputation operation identifying invalid combinations of options from the plurality of options; storing the invalid combinations of options within an array; and, associating the array storing the invalid combinations of options with a respective webpage within the configurator.

Abstract: Systems and methods are described for accurately determining the performance of a networked computing environment relative to the predicted performance of a target computing environment. The computing environment performance for a particular workload are related to each other by determining a coefficient of equivalency. The coefficient of equivalency may be determined based on the time, cost, or other criteria associated with executing the workload, and may be determined by assessing the relative performance of various computing resources (such as central processing units and computer-readable media) in the respective environments and assessing the demand placed upon these resources by the particular workload. The coefficient of equivalency may further be determined based in part on capacity limitations and substitutions of one computing resource for another in the respective computing environments.

Abstract: Methods and systems are provided for determining the surface electromagnetic impedance of a conductive element and applying the diffuse field reciprocity principle using that surface electromagnetic impedance to determine electric fields induced in the conductive element. An exemplary method involves determining a surface electromagnetic impedance matrix for the conductive element based on its physical dimensions and an excitation frequency for an incident electromagnetic wavefield, applying diffuse field reciprocity to determine a metric indicative of an induced field based on the surface electromagnetic impedance matrix and an energy metric for the incident electromagnetic wavefield, and displaying a graphical representation of the metric on a display device.

Abstract: In one embodiment, a graphical user interface (GUI) is established for an Internet of Things (IoT) integrated developer environment (IDE) with one or more visual developer tools. Real and/or virtual nodes are provided within the IoT IDE having connectivity and functionality, and a plurality are connected as a logical and executable graph for a flow-based programming framework virtualized across one or more IoT layers. The nodes may then be programmed based on respective connectivity and functionality, such that the logical and executable graph has real and/or virtual inputs, real and/or virtual processing functions, and real and/or virtual actions. Upon deploying the node programming to one or more corresponding platform emulators configured to execute the node programming, the logical and executable graph may be simulated by executing the node programming to produce the one or more actions based on the one or more inputs and the one or more processing functions.

Abstract: The present disclosure relates to a method for reusing a debugging workspace in an electronic design environment. Embodiments may include performing, using a processor, a verification of an electronic design and identifying at least one triggered property associated with the electronic design. Embodiments may further include identifying at least one fan-in signal associated with the at least one triggered property of the electronic design. Embodiments may also include determining a start point debug location based upon, at least in part, the at least one fan-in signal, wherein the start point debug location includes at least one of signal information, cycle information, and event time information. Embodiments may further include generating a debug workspace, wherein generating includes adding at least one additional debug location and storing a cycle of the additional debug location as a relative cycle that is relative to another debug location associated with the debug workspace.

Abstract: A disclosed system of an emulation environment performs a simulation to construct a waveform of a target signal based on signals traced by an emulator for a time frame including multiple clock cycles. In one embodiment, a simulation is performed in a manner that an input of the logic gate, in a first duration of the time frame at which an output of the logic gate depends on the input, is analyzed to obtain the output, and the input of the logic gate, in a second duration of the time frame at which the output of the logic gate is independent, is omitted. In one aspect, the input of the logic gate is simulated for the first duration based on a periodicity in a waveform of the input in the first duration.

Abstract: A system-level simulation includes generating netlist information including component library information, which describes instances of the hardware components, and component instance information, which describes component dynamic libraries that include models of hardware components. The simulation is generated at simulation run-time based on the netlist information. Component dynamic libraries corresponding to the component library information are loaded based on the component library information. A simulation dynamic library referenced by the component dynamic libraries is loaded. One or more interlibrary adapters corresponding to the component dynamic libraries are loaded to provide compatibility between the component dynamic libraries and an application binary interface of the simulation dynamic library. Instances of hardware components are instantiated based on the component instance information, and the instantiated instances of the hardware components are connected to form the simulation.

Abstract: A method, apparatus and computer readable medium for performing a computer simulation a physical object, includes receiving at least one selection by a user with respect to usage of a simpler model or a more complex model to be used to model at least one attribute of the physical object; performing a computer simulation of the physical object based on the at least one selection received from the user; and rerunning the computer simulation a plurality of times using results obtained from earlier run computer simulations, to obtain an accurate representation of the physical object.

Abstract: A manipulated variable calculator having a plurality of control loops and configured to calculate manipulated variables to be respectively given to a plurality of temperature adjusters includes: a reference model output generator configured to generate a reference model that generates a response output until reaching a temperature setpoint when, in the plurality of control loops, a manipulated variable of a control loop having the slowest response speed is defined as 100%; a simulator configured to sequentially search for a switching time to determine a manipulated variable pattern; a reference model configured to generate a reference model output based on the searched switching time; and a reference model selecting unit configured to select the reference model depending on a heating responsiveness and a cooling responsiveness of the temperature adjusters.

Abstract: An address and command port interface selectively enables JTAG TAP domain operations and Trace domain operations within an IC. The port carries TMS and TDI input and TDO output on a single pin and receives a clock signal on a separate pin. The addressable two pin interface loads and updates instructions and data to the TAP domain within the IC. The instruction or data update operations in multiple ICs occur simultaneously. A process transmits data from an addressed target device to a controller using data frames, each data frame comprising a header bit and data bits. The logic level of the header bit is used to start, continue, and stop the data transmission to the controller. A data and clock signal interface between a controller and multiple target devices provides for each target device to be individually addressed and commanded to perform a JTAG or Trace operation.

Abstract: A three-dimensional optoelectrical simulation includes generating a process simulation result including a doping profile of a silicon substrate of image sensor, a structure simulation result with respect to a back end of line structure, and a merged result generated by merging a process simulation result and a structure simulation result, selectively extending the merged result to an extended result by using a process simulation result or a structure simulation result, generating a segmented result for each pixel based on a merged result or an extended result, an optical crosstalk simulation result of image sensor based on a structure simulation result and an optical mesh, and a final simulation result including an electrical crosstalk simulation result of the image sensor based on a segmented result for each pixel and an optical crosstalk simulation result.

Abstract: Methods, computer-readable media, and computing systems for maintaining a well production model. The method includes receiving an update to a parameter of the model of a well, and updating the model based on the update. The method also includes splitting the model into at least two submodels after updating the model, and running the submodels to obtain results. The method further includes determining that the results obtained by running the submodels do not match, and in response to determining that the results obtained by running the submodels do not match, calibrating the model based on the update.

Abstract: Some embodiments can receive a netlist for the circuit design, wherein the netlist is divided into a set of blocks and a top-level netlist. Next, the embodiments can create (1) a top-level netlist abstraction based on the top-level netlist, and (2) for each block in the set of blocks, create a block abstraction based on a portion of the netlist that is in the block and create virtual pin cells in the block, wherein each virtual pin cell corresponds to a connection that crosses a boundary of the block. The embodiments can then place the top-level netlist abstraction in the layout area, the set of blocks in the layout area, the block abstractions in corresponding blocks, and the virtual pin cells in corresponding blocks. The placed circuit abstraction can then be used to drive standard cell placement in the circuit design.

Abstract: An index generating apparatus acquires values corresponding to a plurality of respective attributes of a number that appears in a piece of target text data. The index generating apparatus then maps the values corresponding to the respective attributes to value ranges of the respective attributes. The index generating apparatus then generates a bitmap index indicating bitmap data in which a position at which the number appears is mapped to each of a plurality of value ranges.

Abstract: A method for managing a virtual infrastructure is described. The method includes: generating a configuration information model representing a virtual infrastructure based on known virtual machines and network settings thereon; querying one or more sources of truth other than the known virtual machines, wherein the one or more sources of truth includes a data storage that stores at least one data object that answers a particular question; and comparing the data from the one or more sources of truth with a store of configuration model information, wherein the configuration model information comprises a time stamp and a source identifier; based on the comparing, generates a set of rules; and based on the set of rules, updates the configuration information model.

Abstract: Methods for cleaning a point cloud using an electronic computing device are presented, the method including: causing the electronic computing device to decompose the point cloud into a number of cell voxels; removing a number of outlier cell voxels; subsampling the point cloud; removing a first number of outlier points; removing a number of double surfaces; and removing a second number of outlier points. In some embodiments, method further include outputting a clean point cloud to file. In some embodiments, the causing the electronic computing device to decompose the point cloud further includes: reading into memory a number of points corresponding with the point cloud; specifying a cell voxel size; creating a cell grid to chunk the point cloud into a number of smaller sets; sorting the number of points into the number of cell voxels; and merging all point clouds.

Abstract: A specification editing unit edits a hardware specification file in order to replace a plurality of arrays used in a plurality of processes with a shared array. If a post-edit hardware specification file does not satisfy constraint, a specification transforming unit transforms the hardware specification file so that the plurality of processes are executed in a parallel manner. An architecture generating unit generates an architecture file expressing an architecture of an SoC (System On Chip) having hardware corresponding to the hardware specification file.

Abstract: Market data is recorded from a real live exchange. The recording data can be played back in real time or delayed, in any manner, to simulate the recorded market. Moreover, one or more users can participate in the simulated market just as if they were participating in a real-live market. The system provides a realistic trading environment without the associated risks of trading in a live-market such as losing money and the cost of making trades. The system may be used for training purposes and for purposes of testing and analyzing various trading strategies. Software developers and testers may also utilize the realistic environment to develop trading products or applications. Additionally, the system provides a means for demonstrating trading application products.

Abstract: A method and apparatus for performing a simulation by using a plurality of N processors in parallel include dividing the simulation scenario into N parts to distribute a simulation scenario to each of the processors; performing a high-detail simulation by using a first processor to which a part that includes a beginning part of the divided simulation scenario is distributed, from among the N processors; performing a fast simulation by using each of N?1 processors, other than the first processor; and performing a high-detail simulation based on a snapshot that is generated after the fast simulation is finished, by using each of the N?1 processors.

Abstract: A method for estimating grid properties of a power grid coupled to a generator at a point of common coupling is provided. First, a voltage VPCC at the point of common coupling is measured. Second, a current IPCC at the point of common coupling is measured. Third, the grid properties are estimated by a grid model using as input parameters the measured voltage VPCC at the point of common coupling, the measured current IPCC at the point of common coupling and the determined phase angle. Advantageously, the absolute phases of the voltage and the current at the point of common coupling are not necessary, which makes the present method less prone to errors due to measurement noise. Further, a device and a computer program product are provided.

Abstract: The present disclosure involves systems, software, and computer implemented methods for testing applications on multiple system landscapes. In one example, a method may include identifying instructions to test a plurality of system landscapes, executing a test of a first system landscape from the plurality of system landscapes, validating a response received from the first system landscape by a user associated with the testing, executing tests of at least a subset of the remaining plurality of system landscapes which includes sending requests including the predefined input to the entry point of each of the subset of the remaining plurality of system landscapes, receiving responses from the subset of the remaining plurality of system landscapes, and comparing each received response to the validated response from the first system landscape, and in response to the comparison, generating a result set of the comparison of each received response to the validated response.

Abstract: Assessment of threat risks associated with a given mobile device application (app) on a device type specific basis, so that the threat assessment is specific to a particular device type that is suitable for running the given app. The assessed device-type-specific risk is represented as device-type-specific risk metadata, which is associated as metadata with the given app. For example, the metadata may be stored along with the given app in a common repository that includes many apps. In some embodiments, the device-type-specific risk metadata is generated and stored comprehensively for all apps and device types used in an enterprise. The device-type-specific risk assessment, and corresponding device-type-specific risk metadata, may be based upon run time behavior of the given app on a given device type.

Abstract: A virtual reality operation platform structure comprises a main virtual frame, a virtual reality operation processing module, a menu module, an output checking module, a clearing module, and an accounting module. The menu module is built-in the main virtual frame and includes a housing menu defaulted a plurality of housings, a motherboard menu defaulted a plurality of motherboards, and a heat dissipation assembly menu defaulted a plurality of elements. Each element is virtually electrically coupled to the motherboard with the virtual reality operation processing module. The output checking module is connected to the menu module for checking an output performance of the motherboard and then generating a performance form. The clearing module is connected to the menu module for processing the re-selection of the menu module. The accounting module is connected to the menu module and generates a list.

Abstract: A metadata management system receives metadata changes and automatically updates a metadata architecture which maps the data. The metadata changes may be received through a simple user interface by a user or administrator. Once received, the system may automatically update schemas and data transformation code to process data according to the new data mapping preference. The system may handle metadata updates in a multi-tenant system having one or more applications per tenant, and may update data for a single tenant and 1 or more tenant applications in a multitenancy.

Abstract: An emulator apparatus that emulates entities included in a microgrid is described herein. The emulator apparatus emulates a load with time-varying inductance/resistance or an energy storage device or combination of energy storage devices. The emulator apparatus is electrically coupled to a system or device that is desirably tested/maintained/designed. The emulator apparatus emulates a particular device, and response of the system of device to the emulated device is monitored for purposes of design, testing, or maintenance.

Abstract: A power mesh-on-die apparatus includes a solder trace that enhances current flow for a power source trace between adjacent power bumps. The solder trace is also applied between power drain bumps on a power drain trace.

Abstract: An aspect includes input/output (I/O) stack modeling. A processor determines a client configuration of a client I/O stack that includes layers with configurable parameters to control storage and retrieval of data between an uppermost layer and lowest layer. A model of the client I/O stack is built on a layer basis that defines input workload characteristics, output workload characteristics, and layer configuration parameters for the layers of the model based on the client configuration. Workload characteristics of the uppermost layer of the client I/O stack are fed to the model. The processor determines a statistical distribution of workload characteristics associated with each of the layers of the client I/O stack. I/O performance results are captured for layers of the model based on feeding the workload characteristics of the uppermost layer.

Abstract: A system and method of operating an audio visual system generating a virtual immersive experience may include an electronic user device in communication with a tracking device that may track a user's physical movement in a real world space and translate the tracked physical movement into corresponding movement in the virtual world generated by the user device. The system may detect when a user and the user device are approaching a boundary of a tracking area and automatically initiate a transition out of the virtual world and into the real world. A smooth, or graceful, transition between the virtual world and the real world as the user encounters this boundary may avoid disorientation which may occur as a user continues to move in the real world, while motion appears to have stopped upon reaching the tracking boundary.

Abstract: A device and methods are provided for determining data points with an integrated radar sensor. In one embodiment, a method includes determining position of a device, scanning one or more objects, wherein scanning includes detecting data points by an integrated radar sensor of the device and capturing image data of the one or more objects, and determining data points for one or more objects based on the scanning. The method may also include correlating data points to one or more portions of the image data, assigning correlated data points to one or more portions of the image data, and storing, by the device, image data with data points. The device and methods may advantageously be employed for one or more of mapping, modeling, navigation and object tracking.

Abstract: Embodiments are disclosed for analyzing data storage devices. The present disclosure employs a “canary” test that selects multiple storage devices and tests the same for a predetermined period of time. By analyzing the statuses of the storage devices monitored and recorded during the applicable tests, the present disclosure can generate an analytical result regarding the characteristics of the storage devices. The analytical result can be presented to an operator in a meaningful way so as to enable him or her to make an informed decision when utilizing a storage device with characteristics similar to the tested storage devices.

Abstract: A mobile application workflow extraction method, system, and computer program product include extracting functional elements from a design file to create a database of design screens, generating a flow graph of the design screens and the functional elements in the design file, creating a transition graph that details how to move from each of the design screens to another, and analyzing, for each of the design screens, a relatability of each design screen to a previously analyzed design screen in the database and generating a tag that represents a workflow.

Abstract: A management server and method for performing resource management operations in a distributed computer system takes into account information regarding multi-processor memory architectures of host computers of the distributed computer system, including information regarding Non-Uniform Memory Access (NUMA) architectures of at least some of the host computers, to make a placement recommendation to place a client in one of the host computers.

Abstract: Electrical component location is provided. Employed location techniques may include providing a cycling signal, having components to be located sense the cycling signal at the same time, report back the sensed signal, and determining relative locations for one or more of the components using the sensed signals reported by the components.

Abstract: In an approach for determining voltage and frequency pairs, the computer identifies an integrated circuit design. The computer identifies a timing model associated with the identified integrated circuit design. The computer identifies at least a nominal voltage, a nominal clock signal, and a voltage range associated with the integrated circuit design. The computer receives a number n that defines the number of at least one alternate voltage within the voltage range. The computer analyzes the identified integrated circuit based on the received number n for each number n for at least one alternate voltage within the voltage range. The computer calculates a nominal slack. The computer calculates one or more clock periods based on the calculated nominal slack. The computer provides a report based on the calculated one or more clock periods.

Abstract: A motor control wizard implements a simple workflow for creating an application-specific program for operation of a motor control system. The wizard prompts for selection of an application area, which sensitizes the system to tune certain motor control parameters in accordance with the demands of the selected application area. The wizard also prompts for selection of a target devices, such as a particular type of motor with a set of basic operating parameters. With the target device and application area known, the wizard runs an automatic adaptation step without requiring additional user-settable parameters. The adaptation step yields an adapted motor control program based characteristics of the motor control system obtained via the adaptation step. The wizard then confirms operation of the motor using the adapted program. Additional features allow the user to fine tune parameters beyond this set of initial configuration parameters.

Abstract: In an approach for determining voltage and frequency pairs, the computer identifies an integrated circuit design. The computer identifies a timing model associated with the identified integrated circuit design. The computer identifies at least a nominal voltage, a nominal clock signal, and a voltage range associated with the integrated circuit design. The computer receives a number n that defines the number of at least one alternate voltage within the voltage range. The computer analyzes the identified integrated circuit based on the received number n for each number n for at least one alternate voltage within the voltage range. The computer calculates a nominal slack. The computer calculates one or more clock periods based on the calculated nominal slack. The computer provides a report based on the calculated one or more clock periods.

Abstract: The present embodiments relate to methods for simulating the behavior of an IP core that has an encrypted simulation model. The encrypted simulation model of the IP core may include a plurality of probes, which a debug option may activate selectively, if desired. The encrypted simulation model may collect data during a simulation as selected by the activated probes of the plurality of probes. The encrypted simulation model may perform smart diagnosis of the collected data based on a set of rules and generate feedback messages that may suggest corrective action in the event of a simulation failure.

Abstract: In an approach for determining voltage and frequency pairs, the computer identifies an integrated circuit design. The computer identifies a timing model associated with the identified integrated circuit design. The computer identifies at least a nominal voltage, a nominal clock signal, and a voltage range associated with the integrated circuit design. The computer receives a number n that defines the number of at least one alternate voltage within the voltage range. The computer analyzes the identified integrated circuit based on the received number n for each number n for at least one alternate voltage within the voltage range. The computer calculates a nominal slack. The computer calculates one or more clock periods based on the calculated nominal slack. The computer provides a report based on the calculated one or more clock periods.

Abstract: A photovoltaic power generation system includes at least one photovoltaic power generation microgrid and a central server configured to communicate with the photovoltaic power generation microgrid via Internet.

Abstract: A model checking apparatus able to reduce redundant search in a model checking is provided. The model checking apparatus is configured to: accept verification information representing a state transition model and a verification content; obtain an execution path by causing a transition in the state transition model; analyze, between transitions on the execution path, a dependence relation relating to data set determination processing for determining a data set being a set of representative values of data used in a transition with data use; perform a re-search using a data set in which data already used in a previous search in the transition is excluded from the data set obtained by the data set determination processing, when performing a re-search from a backtrack point based on the dependence relation relating to the data set determination processing; and provide a verification result of the verification content based on the search result.