Abstract: Search Engine with automated blockchain-based smart contracts. In an embodiment, a user may utilize a search engine to search properties, select a property, and accept an agreement related to the property. After the agreement is approved, a smart contract, representing the agreement, may be automatically generated from a template, compiled, and deployed to a blockchain. The smart contract may be generated to comprise functions that enable the user to add properties to the agreement by sending different types of crypto tokens to the smart contract as transactions on the blockchain.

Abstract: A diagnostic system for use in troubleshooting malfunctions in an aircraft engine control system receives sensor data obtained during a flight. The sensor data is supplemented by signals indicative of the operation of the engine control system's computer. The combined data is downloaded to the diagnostic system. Included in the diagnostic system is an inference engine and knowledge database. The diagnostic system includes a computer for executing a plurality of algorithms by means of the inference engine using the downloaded data and knowledge database as input to aid the technician in correctly determining the source of malfunctions in a minimum of time. The diagnostic system is capable of processing "unknown" responses to diagnostic system inquiries and can retrocede a step or steps during the execution of diagnostic system algorithms.

Abstract: An improved marine drilling barge for use in ice-covered water is disclosed. The barge has, besides a conventional moon pool through which conventional marine drilling operations can proceed, a roughly circular polygonal hull plan, with an elevation of two truncated pyramid sections joined through their theoretical apices by a vertical walled matching polygonal section. The flat bottom of the hull, to or through which mooring lines are attached to anchor the barge, has an exterior guard member fastened thereto and surrounding the points at which the mooring lines attach or come closest to the hull. The barge is ballasted to achieve downward breaking action by the hull on the ice cover as the latter encroaches on the barge. The proportions of the hull combine with those of the guard member to ensure that the ice broken from the ice cover is deflected to avoid fouling the mooring lines while the maximum draft of the barge is no greater than 20 meters.