Abstract: A system and method for software verification provides a lifting dictionary for each desired computer architecture. The lifting dictionary is used to translate native machine language instructions into descriptive intermediate language instructions. Each descriptive intermediate language instruction is atomic, in that, each descriptive intermediate language instruction changes at most one state of the emulated system. An emulator then runs the descriptive intermediate language instructions with tools that show each change of state after each DIL is emulated.

Abstract: The electrical connector unit includes a first connector electrically coupled to a component to define a path for electrical supply therethrough for an activation and a deactivation of the component. The first connector includes a body, electrical contacts, and an opening. The body includes a surface that defines an array of electrical contact locations including one or more first electrical contact locations and a second electrical contact location. The electrical contacts extend correspondingly from the first electrical contact locations. The opening extends from the second electrical contact location to fluidly couple with an interior of an enclosure encasing the component. The first connector is configured to receive a second connector configured to facilitate passage of a fluid through the opening to create a pressure differential between the interior of the enclosure and an exterior of the enclosure for performing a leak testing of the enclosure.

Abstract: A playbook execution architecture used to efficiently execute playbooks by distributing the execution of playbook function blocks to multiple independent “worker” sub-processes is described. Each worker process hosts an independent execution environment used to execute playbook function blocks independently from other worker processes, where each worker process can host an execution environment that is the same as or different from execution environments hosted by other work processes, enabling the playbook execution engine to support function blocks written in multiple different programming language versions or programming languages entirely.

Abstract: Artificial intelligence based document analysis systems and methods are disclosed. Embodiments of document analysis systems may allow the manipulation of datasets and associated codes by determining representations for these codes or datasets based on a machine learning model. The codes or datasets can then be manipulated using the associated representations.

Abstract: Embodiments as disclosed may generate an organizational hierarchy based on embeddings of portions of documents. Embeddings resulting from the embedding of the portions of the documents can be clustered using a hierarchical clustering mechanism to segment the portion space into a set of hierarchical clusters. Documents can be assigned to these clusters based on the presence of a portion of a document within a cluster. In this manner, the documents may themselves be clustered based on the clusters created from portions across the documents of the corpus. The clusters to which a document is assigned may also be ranked with respect to that document. Similarly, documents assigned to cluster can be ranked within the cluster to which they are assigned. Additionally, in certain embodiments, names or snippets for the clusters of the hierarchy may be derived from the portions comprising that cluster.

Abstract: Artificial intelligence based document analysis systems and methods are disclosed. Embodiments of document analysis systems may allow the manipulation of datasets and associated codes by determining representations for these codes or datasets based on a machine learning model. The codes or datasets can then be manipulated using the associated representations.

Abstract: Described herein are improvements for generating courses of action for an information technology (IT) environment. In one example, a method includes identifying a first course of action for responding to an incident type in an information technology environment and generating a simulated incident associated with the incident type. The method further includes initiating performance of the first course of action based on the generation of the simulated incident. The method also includes, upon reaching a particular step of the first course of action that prevents the performance of the first course of action from proceeding, providing a first simulated result that allows the performance of the first course of action to proceed.

Abstract: Embodiments as disclosed may generate an organizational hierarchy based on embeddings of portions of documents. Embeddings resulting from the embedding of the portions of the documents can be clustered using a hierarchical clustering mechanism to segment the portion space into a set of hierarchical clusters. Documents can be assigned to these clusters based on the presence of a portion of a document within a cluster. In this manner, the documents may themselves be clustered based on the clusters created from portions across the documents of the corpus. The clusters to which a document is assigned may also be ranked with respect to that document. Similarly, documents assigned to cluster can be ranked within the cluster to which they are assigned. Additionally, in certain embodiments, names or snippets for the clusters of the hierarchy may be derived from the portions comprising that cluster.

Abstract: Embodiments as disclosed may generate an organizational hierarchy based on embeddings of portions of documents. Embeddings resulting from the embedding of the portions of the documents can be clustered using a hierarchical clustering mechanism to segment the portion space into a set of hierarchical clusters. Documents can be assigned to these clusters based on the presence of a portion of a document within a cluster. In this manner, the documents may themselves be clustered based on the clusters created from portions across the documents of the corpus. The clusters to which a document is assigned may also be ranked with respect to that document. Similarly, documents assigned to cluster can be ranked within the cluster to which they are assigned. Additionally, in certain embodiments, names or snippets for the clusters of the hierarchy may be derived from the portions comprising that cluster.

Abstract: Described herein are improvements for generating courses of action for an information technology (IT) environment. In one example, a method includes identifying a first course of action for responding to an incident type in an information technology environment and generating a simulated incident associated with the incident type. The method further includes initiating performance of the first course of action based on the generation of the simulated incident. The method also includes, upon reaching a particular step of the first course of action that prevents the performance of the first course of action from proceeding, providing a first simulated result that allows the performance of the first course of action to proceed.

Abstract: Embodiments as disclosed may generate an organizational hierarchy based on embeddings of portions of documents. Embeddings resulting from the embedding of the portions of the documents can be clustered using a hierarchical clustering mechanism to segment the portion space into a set of hierarchical clusters. Documents can be assigned to these clusters based on the presence of a portion of a document within a cluster. In this manner, the documents may themselves be clustered based on the clusters created from portions across the documents of the corpus. The clusters to which a document is assigned may also be ranked with respect to that document. Similarly, documents assigned to cluster can be ranked within the cluster to which they are assigned. Additionally, in certain embodiments, names or snippets for the clusters of the hierarchy may be derived from the portions comprising that cluster.

Abstract: Described herein are improvements for generating courses of action for an information technology (IT) environment. In one example, a method includes identifying a first course of action for responding to an incident type in an information technology environment and generating a simulated incident associated with the incident type. The method further includes initiating performance of the first course of action based on the generation of the simulated incident. The method also includes, upon reaching a particular step of the first course of action that prevents the performance of the first course of action from proceeding, providing a first simulated result that allows the performance of the first course of action to proceed.

Abstract: The present application provides a method of repairing a turbine blade. The method may include the steps of removing an existing tip cap from the turbine blade in whole or in part, machining the turbine blade to form a machined groove, positioning an insert in the machined groove, welding the insert to the turbine blade, and brazing the turbine blade.

Abstract: Platform cooling arrangements in a turbine rotor blade include a feedhole that extends from the suction side slash face to the interior cooling passage, and, one or more branch holes that each extends from the feedhole to the suction side slash face such that coolant flows from the interior cooling passage, through the feedhole to the one or more branch holes and exits the platform along the suction side slash face.

Abstract: A method of selectively applying an overlay coating to a coated article and a selectively treated coated article are provided. The method includes the steps of providing the coated article having a treatment region that includes a bond coat and a thermal barrier coating and selectively applying an overlay coating to the treatment region without stripping the treatment region from the coated article. The bond coat of the coated article which has been exposed to an operational temperature includes a first volume fraction of a ?-phase microstructure that is less than a second volume fraction of a ?-phase microstructure of a comparable bond coat of a comparable article which has not been exposed to the operational temperature. A coated article including an overlay coating selectively applied over a treatment region is also disclosed.

Abstract: A system for adaptively machining a shroud of a blade used in a turbomachine is provided. The system may include a computer system including a module(s) configured to: extract geometric location data from a 3D model of the shroud after use in the turbomachine, the 3D model created by digitizing using a digitizing device. The geometric location data includes geometric location data of a hard face plane of the shroud exposed to wear during turbomachine operation and of a non-worn surface adjacent to the hard face plane substantially unexposed to wear during turbomachine operation. Comparing the geometric location data of the non-worn surface from the three-dimensional model to a manufacturing model of the blade determines a change in position of the non-worn surface from use of the blade in the turbomachine. The change in position is used to modify a machining instruction used by a machining device to repair the hard face plane.

Abstract: The present application provides a method of repairing a turbine blade. The method may include the steps of removing an existing tip cap from the turbine blade in whole or in part, machining the turbine blade to form a machined groove, positioning an insert in the machined groove, welding the insert to the turbine blade, and brazing the turbine blade.

Abstract: A process for forming a thermal barrier coating system on a substrate is disclosed including preparing a slurry including a donor powder, an activator powder, and a binder. The donor powder includes a metallic aluminum alloy having a melting temperature higher than aluminum, and the binder includes at least one organic polymer gel. The process further includes applying the slurry to the substrate, heating the slurry to form an aluminide bond coating including an additive aluminide layer and an aluminide interdiffusion zone disposed between the substrate and the additive aluminide layer, and applying a thermal barrier coating to the aluminide bond coating. The thermal barrier coating may be a dense vertically-cracked thermal barrier coating, and the substrate may be a gas turbine component. Thermal barrier coating systems formed by the process are also disclosed.

Abstract: A modification process and modified article are disclosed. The modification process includes locating an area in an article, removing the area by machining to form a machined region, inserting a modification material into the machined region, securing the modification material to the article, machining the modification material flush with a geometry of the article, and applying a coating over at least a portion of the article. Another modification process includes locating an area under a suction side leading edge tip shroud fillet of an airfoil, removing the area by machining to form a hole, inserting a modification material having improved material properties as compared to an original base material into the hole, securing the modification material in place, machining the modification material and the airfoil to form a new fillet contour, and applying a coating over at least a portion of the airfoil. Also disclosed is the modified article.

Abstract: A system for adaptively machining a shroud of a blade used in a turbomachine is provided. The system may include a computer system including a module(s) configured to: extract geometric location data from a 3D model of the shroud after use in the turbomachine, the 3D model created by digitizing using a digitizing device. The geometric location data includes geometric location data of a hard face plane of the shroud exposed to wear during turbomachine operation and of a non-worn surface adjacent to the hard face plane substantially unexposed to wear during turbomachine operation. Comparing the geometric location data of the non-worn surface from the three-dimensional model to a manufacturing model of the blade determines a change in position of the non-worn surface from use of the blade in the turbomachine. The change in position is used to modify a machining instruction used by a machining device to repair the hard face plane.