摘要:
The present invention extends to methods, systems, and computer program products for managing software lifecycle. Based on declarative models and knowledge of their interpretation, embodiments of the present invention facilitate lifecycle management for model-based software applications. Lifecycle models, such as, for example, lifecycle state machine models are stored in a shared repository such that executive services can determine how software application lifecycles are to be managed and transitioned. Software lifecycle activities can verify that a transition is possible and identify any errors preventing a lifecycle transition. Model-based error handling and error recovery mechanisms can be used to correct any identified errors.
摘要:
Enabling and processing events. To enable events, an application model correlated to an application is declaratively defined. The application model describes operations of the application. One or more event models correlated to the application model are declaratively defined. The event models describe application execution locations where events are desired to be emitted in the execution of the application. Based on the correlation of the event models to the application models, the applications are instrumented with instrumentation code to cause the application to emit events at the execution locations. To process events an application model is defined. The application model includes one or more observation models. The observation models include a correlation of events to the observation model by defining instrumentation models in the application model. An event is received. The event is applied to the observation model based on the correlation. The event is processed according to the observation model.
摘要:
Abstracting communication with a plurality of containers. Each container encapsulates or hosts a module (e.g., a web service, a database, etc.) associated with a distributed application. A meta-container communicates with drivers that interface with each of the containers. The meta-container represents an abstraction and a virtualization of the containers in the hierarchy. Each container may also be a meta-container for other containers. The recursion and layered hierarchy provide flexible, extensible, and efficient management of the distributed application.
摘要:
The stability of a recursive estimator process (e.g., a Kalman filter is assured for long time periods by periodically resetting an error covariance P(tn) of the system to a predetermined reset value Pr. The recursive process is thus repetitively forced to start from a selected covariance and continue for a time period that is short compared to the system's total operational time period. The time period in which the process must maintain its numerical stability is significantly reduced as is the demand on the system's numerical stability. The process stability for an extended operational time period To is verified by performing the resetting step at the end of at least one reset time period Tr whose duration is less than the operational time period To and then confirming stability of the process over the reset time period Tr. Because the recursive process starts from a selected covariance at the beginning of each reset time period Tr, confirming stability of the process over at least one reset time period substantially confirms stability over the longer operational time period To.
摘要:
Spacecraft attitude is efficiently controlled by utilizing spatial noise and temporal noise in the calculation of gains to a Kalman filter. Spatial noise is modeled in a dynamic fashion so as to provide optimal spatial noise attenuation.
摘要:
A shoe warning light device comprises: a fastening seat having a holding space and disposed in a shoe midsole such that the front wall of the fastening seat is exposed; a luminous body fastened to the front wall of the fastening seat and provided with two polar feet extending into the holding space to form two conducting connections; a housing mounted detachably in the holding space and provided in the top wall thereof with a U-shaped slot forming a flexible tongue; two conducting pieces provided respectively with one end forming a power source connection engageable with one of the two conducting connections, with one of the two conducting pieces extending downwards to locate over the bottom wall of the housing, and with another one of the two conducting pieces extending upwards to locate under the tongue; and a battery disposed in the housing such that it is in contact with one of the two conducting pieces.
摘要:
Methods and techniques of using 3D printers to create physical models from image data are discussed. Geometric representations of different physical models are described and complex data conversion processes that convert input image data into geometric representations compatible with third party 3D printers are disclosed. Printing templates are used to encapsulate complex geometric representations and complicated data conversion processes from users for fast and simple 3D physical model printing applications.
摘要:
Methods and techniques of using 3D printers to create physical models from image data are discussed. Geometric representations of different physical models are described and complex data conversion processes that convert input image data into geometric representations compatible with third party 3D printers are disclosed. Printing templates are used to encapsulate complex geometric representations and complicated data conversion processes from users for fast and simple 3D physical model printing applications.
摘要:
The present invention provides a high-speed blending, heating and temperature sensing structure of an electric blender. The blender includes a temperature transducer installed at the bottom of a mixing cup, and the temperature transducer has a temperature sensing head extended into the mixing cup and an upper connector coupled to the bottom of the temperature transducer and installed at the bottom of the mixing cup, and a temperature sensing signal is coupled between the temperature sensing head and the upper connector. A hidden temperature sensing connector seat is disposed at the top of the base and has a lower connector corresponding to the upper connector at the bottom of the mixing cup, and both upper and lower connectors are coupled with each other when the mixing cup and the base are combined, and the lower connector is coupled to a display screen and a touch control switch on the base through a signal line. Therefore, the temperature of a food material in the mixing cup of the blender mixing cup can be displayed on the display screen by coupling the upper and lower connectors, and the touch control switch is provided for setting the temperature of heating the food material in the mixing cup.
摘要:
The present invention extends to methods, systems, and computer program products for processing model based commands for distributed applications. Embodiments facilitate execution of model-based commands, including software lifecycle commands, using model-based workflow instances. Data related to command execution is stored in a shared repository such that command processors can understand their status in relationship to workflow instances. Further, since the repository is shared, command execution can be distributed and balanced across a plurality of different executive services. Embodiments also include model-based error handling and error recovery mechanisms.