Abstract: An artifact for radiation therapy is produced by accessing image data comprising images including a target volume inside a patient. A design for the artifact is generated based on the image data. The design is customized to a radiation therapy treatment plan for the patient. A printing plan is generated based on the design. A three-dimensional printer is controlled using the printing plan to build an object that corresponds to the design.

Abstract: In general, the techniques of this disclosure describe a method that includes receiving, by a computing device, a user interaction for identifying one or more undesired features of a software program to be removed. The software program is provisioned on the computing device as a software binary. The method further including identifying, by the computing device, one or more execution paths of the software binary that implement the one or more undesired features. Identifying the one or more execution paths includes outputting an indication directing the user to interact with the one or more undesired features, generating undesired feature information of an execution log, and determining the one or more execution paths using the execution log. The method further includes removing, by the computing device, the one or more execution paths to generate a modified software binary.

Abstract: Embodiments provide systems, apparatus and methods for energy management.

Abstract: A system for manufacturing a composite structure includes a tool with a surface for supporting component elements of the composite structure. The surface is divided into a multi-dimensional array of thermal zones for in-process control of the temperature of a component element (e.g. resin) of the composite structure. The sensors sense a characteristic of the component element and provide sensor data, which is applied to a machine-learning algorithm configured to generate control data to achieve a defined quality goal. A controller then independently controls the thermal zones to locally heat, cool or maintain the temperature of the component element according to the control data to advance the component element or composite structure to the defined quality goal. This may be performed over a plurality of instances during which the machine-learning algorithm learns to increase advancement of the component element or composite structure to the defined quality goal.

Abstract: A technique verifies a compound software code using a modularized architecture. The compound software code may be divided into smaller components or modules that provide various functions (e.g., services) of the code. A set of properties may be defined for the modules, such that the verification technique may be used to verify that the modules manifest those properties, wherein at least one property may be security related and the remaining properties may be related to the services of the modules. The compound software code is divided into smaller modules to facilitate verification of the properties related to the services provided by the modules. Properties of the modules may be verified in accordance with an enhanced verification procedure to demonstrate that the modules manifest those properties and transform those modules into verified code bases (VCBs).

Abstract: A drill guidance device, a method to control a trajectory of a drill, and a non-transitory computer readable medium that determine the corrected drill angle and send an output signal to a drill controller configured to control an angle of a drill. The corrected drill angle is determined by at least one of a slant angle data and a formation property data received from a sensor device. The drill guidance device, the method to control a trajectory of a drill, and the non-transitory computer readable medium can be implemented in a measuring while drilling model to provide live guidance during a drilling operation or a predictive model to plan prior to the start of a drilling operation. The corrected drill angle is acted upon by a drill controller to maximize the productivity of an oil reservoir.

Abstract: This disclosure relates generally to anomaly detection, and more particularly to system and method for detecting anomalies. In one embodiment, the method includes executing at least one thread associated with the application. Executing the at least one thread results in invoking one or more methods associated with the at least one thread. During the execution metrics associated with the one or more methods are captured. The metrics are systematically arranged in a data structure to represent a plurality of thread-method pairs and the metrics corresponding to each of the plurality of thread-method pairs. One or more anomalies associated with the one or more methods are identified from the data structure based on a detection of at least one predetermined condition in the data structure. An anomaly of the one or more anomalies includes one of un-exited anomaly, an exception anomaly and a user-defined anomaly.

Abstract: Embodiments of the invention are directed to techniques for redirecting data streams from a production environment to validate non-production software code. In some embodiments, a front-end computer executing a first version of software can receive a request message from a requesting computer, generate a request payload using the request message, transmit the request payload to a processor computer, receive a response payload from the processor computer, generate a reply message using the response payload, and provide, to a validation computer that is executing a second version of the software, the request message, the request payload, and the response payload. The validation computer can generate a modified request payload using the request message and a modified reply message using the response payload. To detect potential errors in the second version, the modified request payload is compared with the request payload and the modified reply message is compare with the reply message.

Abstract: A control device controls a hydraulic cylinder unit having a piston. The device receives a setpoint variable and an actual variable and determines, based on a difference between the setpoint variable and the actual variable, a preliminary manipulated variable for valves of the hydraulic cylinder unit. The setpoint variable and the actual variable relate to a position of the piston or a force applied by the piston. Linearization factors are determined dynamically as a function of the actual position of the piston and working pressures on both sides of the piston and a hydraulic fluid tank/pump. Definitive manipulated variables to control the valves are determined from the preliminary manipulated variable and the linearization factors. With the linearization factors, a ratio of the piston adjustment speed to the difference between the setpoint variable and the actual variable is independent of the actual position of the piston and the working pressures.

Abstract: A blockchain test configuration may provide a simple and secure infrastructure for testing applications. One example method of operation may comprise one or more of transmitting a request to a network of nodes to test a test package associated with an application. The method may also include receiving results based on the test of the test package and recording the results in a blockchain.

Abstract: Methods and apparatuses are described for intelligent automation of computer software test scripts and code requirements. A server generates a baseline test script for a plurality of browser-based applications with a sequence of action steps having one or more empty user interface component values. The server performs a first execution of the baseline test script against each of the browser-based applications to extract one or more expected values associated with user interface components that correspond to the empty user interface component values, and stores the expected values. The server performs a second execution of the baseline test script against the browser-based applications to extract one or more actual values associated with user interface components that correspond to the empty user interface component values. The server compares the actual values against the expected values, and if the values do not match, the server generates a message indicating a test failure.

Abstract: In an approach for generating transaction tracking data that is used to simulate a customer environment or test case scenario, a processor receives user input data, wherein the user input data includes, at least, an application topology constructed using a graphical user interface. A processor validates the user input data for, at least, supported environments of components of the application topology. A processor generates transaction tracking data based on, at least, the user input data.

Abstract: A method for managing a software package, including: accessing a request to process one or more package definitions in relation to a data repository which retains package definitions, wherein the one or more package definitions is associated with the software package; determining a status of an assertion that indicates either a completed assertion or an incomplete assertion; if the status is determined to be the incomplete assertion, then determining requirements for the software package to be configured for the hyper-converged appliance; attempting to find a match for the assertion in a pool of known resolvable assertions, wherein the match will allow the assertion to be resolved through accessible provisions and thereby fulfill the requirements; if the match is found, then using the accessible provisions to resolve and thereby complete the assertion; and if the assertion is completed, continuing an installation process of the software package.

Abstract: Methods and systems are described for controlling parameters in a building. According to at least one embodiment, a method for controlling parameters in a building includes using a first sensor type to determine whether the building is occupied and using a second sensor type to determine how reliable the first sensor type determines occupancy.

Abstract: a manufacturing of a printing plate from a thermoplastic porous material comprises a thermal head with a plurality of heater elements, acquire print data of a print pattern including pixel data, with each item of pixel data corresponding to each area of the surface of the porous material partitioned into a lattice shape; identify, print pixel data that is part of the print pattern, and non-print pixel data that is not comprising the print pattern; apply a first heat quantity to a first area corresponding to the non-print pixel data by at least one first heater element, that makes contact with the first area; apply a second heat quantity that is smaller than the first heat quantity to a second area by the second heater element that makes contact with the second area identified by the print pixel data, the second area being where ink readily runs.

Abstract: Described herein is a method for controlling a network-type actuator module, and provides a method for controlling a plurality of network-type actuator modules which are connected to a main controller through a multi-drop scheme including the steps of: the main controller transmitting to the actuator module one instruction packet comprising a plurality of IDs; and an actuator module, which corresponds to the ID, transmitting a status packet to the main controller, wherein the actuator module transmits the status packet according to the order of the ID, which is expressed on the instruction packet. Accordingly, unlimited information required from the plurality of actuators can be read from a single transmission of the packet instruction by flexibly expanding limitations due to limitations on the length of each field in accordance with an instruction set and a definition of a parameter.

Abstract: A predicted outflow rate (Qo) at which gas is discharged from a process chamber 2 via a vacuum pump 3 is computed, and an input flow rate (Qi) is calculated in order to reach a preset target pressure (Psp). The input flow rate (Qi) is calculated, on the basis of the expression Qi=Qo+(?P/?t)V, from a known volume (V) of the process chamber 2 and a pressure change rate (?P/?t) obtained from the current pressure (P1) within the process chamber 2 to reach the target pressure (Psp). A current predicted outflow rate (Qo) is estimated on the basis of the expression Qo(n)=P2*f1(P2), from the current pressure (P2) within the vacuum pump 3 and a known characteristic pumping rate (Sp=f1(P2)) of the vacuum pump 3 under preset pressure.

Abstract: A regional monitoring system can establish and store patterns of signals from sensors or patterns of signals coupled to actuators. Incoming patterns can be compared to pre-stored patterns, and in the presence of a disparity therebetween, a message can be sent wirelessly to a displaced individual associated with the region indicative of the disparity. The individual can override a pre-established action associated with one of the pre-stored patterns. Monitoring systems can include security monitoring systems, fire safety monitoring systems or HVAC-type systems.

Abstract: Disclosed is an event input module, wherein the event input module receives time information which is an IRIG-B signal of a predetermined method from an outside time provider, allocates the time information to a detected event and determines event generation information.

Abstract: A method of performing online diagnostics for a valve includes receiving valve information while the valve is in operation. The valve information includes setpoint data and position data associated with the valve. The method further includes processing the setpoint data and the position data at a plurality of time intervals, and detecting an occurrence of a stick-slip based on the processing.