Abstract: A method and system of providing customizable service for an asset. The method including generating a predictive model for each asset of a fleet, each predictive model based on an operational profile for the asset and including a probability density function associated with the operational durability of the asset, establishing a maintenance strategy associated with the asset, and combining each of the predictive models to generate a compound fleet performance model, the fleet performance model including a combined probability density function. The method also includes collecting actual asset performance and maintenance data to generate actual asset metrics, determining a fleet performance profile based on the actual asset metrics indicative of a health assessment of the fleet, comparing the predicted fleet performance with the actual fleet performance, and ascertaining actionable choices for managing the assets based on a deviation of the predicted and actual fleet performance.

Abstract: Methods, systems, and computer program products for generating computer source code products. According to one method, an engineer creating or modifying an implementation of computer source code selects design patterns from a catalog of pre-existing design patterns. The design patterns are known abstractions that solve specific problems of computer program design and implementation. The selected design patterns are then bound to elements within a representation of the implementation known as a model. The model is then converted into a representation using elemental design patterns, and this abstraction model is used to generate the computer source code in any programming language. The abstraction model is also suitable as input for an automated inference engine for validation or verification purposes prior to or after the generation of the computer source code.

Abstract: A method and system for remediating vulnerable code libraries, including open source libraries, in a software application. An application, that uses code libraries, and information regarding known library vulnerabilities are received, then it is determined if one or more libraries in the application are vulnerable based upon the information. For each of the one or more vulnerable libraries, a library version that minimizes risk is determined. The determined library version is incorporated into the application to form a test application, and an application test is performed on the test application. If an application test score on the test application is below a predetermined threshold, the determined library version is incorporated into a final application precursor. A final application can be determined from the final application precursor for each of the one or more vulnerable libraries.

Abstract: Example implementations involve systems and methods which can involve storing interface (I/F) communication activity records of a plurality of simulation engines during execution of a co-simulation, and for a subsequent execution of the co-simulation, replacing one or more of the plurality of simulation engines with a simulation engine repeater configured to reproduce I/F communication activity from the stored I/F communication activity records corresponding to the replaced one or more of the plurality of simulation engines during the subsequent execution of the co-simulation and to log a real time consumed for execution of the reproduced I/F communication activity in the subsequent execution and a simulation time consumed for execution of the reproduced I/F communication activity for each simulation step, the real time determined based on a real time difference between a start of each simulation step and completion of synchronization with a co-simulator bus at an end of each simulation step.

Abstract: Systems and methods of updating firmware in a pair of wireless earbuds including at least a first earbud and a second earbud, may include wirelessly receiving at the first earbud a firmware update transmitted by a computing device; upgrading the first earbud, using the firmware update, during a first upgrade time interval; wirelessly receiving at the second earbud the firmware update; and upgrading the second earbud, using the firmware update, during a second upgrade time interval; wherein the first upgrade time interval and the second upgrade time interval at least partially overlap, resulting in a total firmware upgrade time interval for upgrading the first and the second earbuds being shorter than a sum of the first upgrade time interval and the second upgrade time interval.

Abstract: Techniques are provided for improving quantum computing devices. The technology can facilitate generating a sequence of sparse matrices representing a quantum computing device and a noise model. A system can comprise a memory that can store computer executable components and a processor that can execute the computer executable components stored in the memory. The computer executable components can include a term identifier that can identify a plurality of time-dependent terms in a machine-parseable representation of a quantum computing device. The computer executable components can further include a sparse matrix generator that can generate a first sparse matrix for ones of the plurality of time-dependent terms, resulting in a plurality of first sparse matrices.

Abstract: A knowledge management device stores a first object and a second object. A type of each of the first object and the second object is a software-project package, source code, or a description document. The knowledge management device receives an association command and establishes an association relation between the first object and the second object in response to the association command. The knowledge management device further presents the association relation in a graphical user interface so that a user performs at least one management operation according to the association relation presented.

Abstract: A simulation system includes a storage module comprising a plurality of behaviors and an electronic control unit. The electronic control unit is configured to define an agent for use in a simulation, where the agent comprises one or more of the plurality of behaviors from the storage module and the agent is capable of implementation on a plurality of different simulators, establish a contract with a first simulator and the agent to provide a consistent boundary between the agent and the first simulator, and execute the simulation of a device in a simulation environment with the first simulator and the agent.

Abstract: A circuit health state prediction method and system based on an integrated deep neural network are provided and relates to a technique for predicting a power electronic circuit failure. The invention serves to identify and diagnose a health state of a simulation circuit based on historical data by using an integrated deep neural network, and the method includes: carrying out parameter aging simulation experiments for different devices; extracting a series of time domain features of output signals through a temporal transformation method, and establishing health indices of the devices based on an improved angular similarity; predicting a health state of the simulation circuit in degeneration by using CAE and LSTM-RNN; and predicting validity of the circuit health state prediction method by referring to relevant evaluation indices. The invention is capable of effectively predicting the health state of the simulation circuit and is highly accurate and easy to implement.

Abstract: A hypnotherapy system includes wearable element and non-wearable elements, delivers instructions and media segments, measures state or activity of a subject and provides post hypnotic re-enforcement stimuli to the subject. The system includes a storage unit storing personalized session scripts for hypnotherapy sessions for the subject, where a hypnotherapy session includes dedicated media-based treatment processes to control different stages of hypnosis and follow up posthypnotic re-enforcement suggestions. The system includes a script handler to run the session scripts from the storage unit for a hypnotherapy session selected by the subject, allows the session scripts to be synchronized to different sleep stages and updates the session scripts according to an analysis of readings of the wearable element and non-wearable elements.

Abstract: A device for completing a social network using an artificial neural network includes: a neural network unit configured to receive a target network having unrevealed missing nodes as input, infer the connections of the missing nodes with a neural network, and output multiple candidate complete networks according to various node sequences; and a selection unit configured to select one of the candidate complete networks outputted by the neural network unit, where the neural network unit outputs the candidate complete networks by using weights of a graph-generating neural network that has learned graph structures of reference networks having attributes similar to those of the target network, and the selection unit uses connection probability vectors obtained from the learned graph-generating neural network to select the candidate complete network probabilistically having a structure closest to that of the target network based on the connection probability vectors.

Abstract: A technique for downgrading applications to placeholder applications in order to free up storage space in a user device. Based on a variety of heuristics, a number of installed applications are identified as candidates for a downgrade. The downgrading of the identified applications involves creating a placeholder application for each of the identified applications. The identified applications are temporarily deleted while keeping the user data associated with the identified applications intact and the placeholder applications are installed.

Abstract: Operations include obtaining a first patch that corrects a first error in a first buggy code snippet of first source code based on the first buggy code snippet and a first repaired code snippet. The operations also include generating a second patch based on the first patch and a bug pattern of a bug scenario that corresponds to the first error. In addition, the operations include generating a third patch based on the second patch, the bug pattern, and a second buggy code snippet of second source code, the third patch correcting a second error in the second buggy code snippet. Moreover, the operations include performing one or more repair operations with respect to the second buggy code snippet based on the third patch.

Abstract: Techniques for automated generation of inputs for testing microservice-based applications. In one example, a computer-implemented method includes: traversing, by a system operatively coupled to a processor, a user interface of a microservices-based application by performing actions on user interface elements of the user interface; and generating, by the system, an aggregated log of user interface event sequences and application program interface call sets based on the traversing. The computer-implemented method also includes: determining, by the system, respective user interface event sequences that invoke the application program interface call sets; and generating, by the system, respective test inputs based on the respective user interface event sequences that invoke the application program interface call sets.

Abstract: Three-dimensional master equation modeling for disordered semiconductor devices is provided. Charge transport is modeled as incoherent hopping between localized molecular states, and recombination is modeled as a nearest-neighbor process where an electron at a first location and a hole at a second location can recombine at either the first location or the second location. Here the first and second locations are any pair of nearest neighbor locations. We have found that this nearest neighbor recombination model performs substantially better than the conventional local recombination model where an electron and a hole must be at the same location to recombine. The recombination rate is modeled as a product of a prefactor ?, hopping rates and state occupancies. Importantly, we have found that sufficient simulation accuracy can be obtained by taking ? to be given by an empirically derived analytic expression.

Abstract: A system and method are provided for simulating circuits that transmit bidirectional signals between some ports using simulators designed originally for electrical circuits and systems, that eliminate the need for different port interfaces. The system and method can be applied to simulate photonic circuits either standalone or integrated with electrical circuits and systems. In one method implemented by the system potential and flow representations, available for example in Verilog-A simulators, are used to create bidirectional signals on a single bus line to transmit optical signals. In another method implemented by the system, the system auto-configures each optical port type as left or right at runtime or during a pre-simulation initialization to allow for bidirectional signals with a single port interface.

Abstract: Model elements of an executable model, representing a physical system, are partitioned into one or more linear portions and one or more nonlinear portions. Simulating behavior of the physical system, by executing the model, includes, for each of multiple simulation time intervals, for a first nonlinear portion, computing a correlation matrix characterizing noise associated with one or more ports of the model. A scattering matrix corresponds to a portion of the physical system represented by the first nonlinear portion without accounting for any noise within the portion of the physical system. The correlation matrix is derived from the scattering matrix based on noise within the portion of the physical system. Noise sources representing noise within the portion of the physical system are identified based on the correlation matrix. At least one characteristic of noise associated with each noise source is computed, and noise characteristics are output at selected ports.

Abstract: A method for testing software applications in a system under test (SUT) includes building a reference model of the SUT that defines a computer-based neural network. The method includes training the reference model using input data and corresponding output data generated by the SUT, selecting an output value within a domain of possible output values of the SUT representing an output that is not represented in the output data used to train the reference model, applying the selected output value to the reference model, and tracing the selected output through the reference model to identify test input values that when input to the reference model, produce the selected output value. The method can further include using the identified test input values to test the system under test.

Abstract: System and method for processing applications, interfacing between the applications and operating systems, executing an application without full installation, and extracting graphical user interface (GUI) contents of the application to make the GUI contents indexed and searchable. The system includes a computer system to execute the applications in a progressive, installation-free, and/or searchable manner.

Abstract: A design engine generates a configuration option that includes a specific arrangement of interconnected mechanical elements adhering to one or more design constraints. Each element within a given configuration option is defined by a set of design variables. The design engine implements a parametric optimizer to optimize the set of design variables associated with each configuration option. For a given configuration option, the parametric optimizer discretizes continuous equations governing the physical dynamics of the configuration. The parametric optimizer then determines the gradient of an objective function based on the discretized equations the gradient of objective and constraint functions based on discrete direct differentiation method or discrete adjoint variable method derived directly from the discretized motion equations. Then, the parametric optimizer traverses a design space where the configuration option resides to reduce improve the objective function, thereby optimizing the design variables.