Broadening field specialization
    81.
    发明授权

    公开(公告)号:US10365900B2

    公开(公告)日:2019-07-30

    申请号:US14968296

    申请日:2015-12-14

    摘要: Three extensions to the conventional field specialization process are disclosed. The first extension is cross-application value flows, where a value transfers out of one application and subsequently into another application. The second extension is an inter-application analysis. Static and dynamic analysis is performed by a Spiff Toolset not just on the source code of a single application, but also across the data read and written by that application. The third extension is invariant cross-application termination, verifying the possibility of an invariant originating in an application and terminating in a specialization opportunity in a separate application. An ecosystem specification is disclosed to enable such field specialization broadening. This specification states which applications are involved, what input data sources are read, what intermediate and final data products are produced, and what services are invoked, thereby providing valuable information on how intermediate results are communicated among the various applications.

    SMART FLOATING PLATFORMS
    84.
    发明申请

    公开(公告)号:US20190109558A1

    公开(公告)日:2019-04-11

    申请号:US16154394

    申请日:2018-10-08

    摘要: Disclosed are modular floating platforms configured to be joined together to form a cover over surfaces of natural and artificial bodies of water and other liquids, for reducing evaporation and other purposes. The floating platforms may be motorized and provided with remote control systems, so that the platforms may be assembled together on command to provide uniform coverage of the surface of the body of water. The floating platforms are optionally capable of solar and wind power collection. The platforms are useful for covering mining tailing storage ponds.