会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 6. 发明授权
    • Checking undoability of an API-controlled computing system
    • 检查API控制的计算系统的可撤销性
    • US09519528B2
    • 2016-12-13
    • US14784887
    • 2014-04-14
    • NATIONAL ICT AUSTRALIA LIMITED
    • Hiroshi WadaIngo Weber
    • G06F3/00G06F9/44G06F9/46G06F13/00G06F9/54G06F11/00G06F9/445
    • G06F9/542G06F9/44505G06F11/008
    • The present invention generally relates to an application program interface (API)-controlled computing system (100). A computer-implemented method is proposed for determining undoability of an action to be conducted in the API-controlled computing system (100) represented by a formal domain model. A set of pre-states of the API-controlled computing system (100) for the action are obtained. A set of post-states of the API-controlled computing system (100) corresponding to each pre-state in the set of pre-states for the action are obtained. The method automatically determines if each post-state in each set of post-states of the API-controlled computing system can be undone to its pre-state in the set of pre-states by using a reachability task for the post-state and its pre-state. The action to be conducted in the API-controlled computing system (100) is undoable if each post-state in each set of post-states of the API-controlled computing system (100) can be undone to its pre-state in the set of pre-states.
    • 本发明一般涉及应用程序接口(API)控制的计算系统(100)。 提出了一种计算机实现的方法,用于确定在由正式域模型表示的API控制的计算系统(100)中进行的动作的可撤销性。 获得用于动作的API控制计算系统(100)的一组前置状态。 获得对应于动作的一组前置状态中的每个前置状态的API控制的计算系统(100)的一组后置状态。 该方法通过使用后状态的可达性任务及其后状态来自动确定API控制的计算系统的每组后状态中的每个后状态是否可以在前一组状态中撤销到其前置状态 前状态。 如果API控制的计算系统(100)的每组后状态中的每个后置状态可以被撤销到其在组中的前置状态,则在API控制的计算系统(100)中进行的动作是可撤消的 的州前。
    • 8. 发明申请
    • GEO-LOCATED ACTIVITY VISUALISATION, EDITING AND SHARING
    • 地理位置活动可视化,编辑和共享
    • US20160148418A1
    • 2016-05-26
    • US14898008
    • 2014-07-23
    • NATIONAL ICT AUSTRALIA LIMITED
    • Chris COOPERBill SIMPSON-YOUNG
    • G06T15/20G06F17/30H04N13/02H04N13/04G06T19/00G06T11/60
    • G06T15/20G06F17/30241G06F17/30268G06T11/60G06T19/00G06T19/006H04N13/204H04N13/324H04N13/398
    • This disclosure relates to visualising geographic positions in a three-dimensional virtual environment. A processor receives position data indicative of a geographic position of an object and generates a first image of the virtual environment which represents a view from an initial observation position in the virtual environment in an initial direction based on an initial target position in the virtual environment. The processor then determines an updated target position that is closer to the virtual position of the object than the initial target position and determining an updated observation position that is closer to a desired observation position than the initial observation position. The processor then generates a second image of the virtual environment which represents a view from the updated observation position in the virtual environment in an updated direction based on the updated target position in the virtual environment.
    • 本公开涉及在三维虚拟环境中可视化地理位置。 处理器接收指示对象的地理位置的位置数据,并且基于虚拟环境中的初始目标位置,从初始方向的虚拟环境中的初始观察位置生成表示虚拟环境的第一图像。 然后,处理器确定比初始目标位置更靠近物体的虚拟位置的更新的目标位置,并且确定比初始观察位置更靠近期望的观察位置的更新的观察位置。 然后,处理器基于虚拟环境中的更新的目标位置,生成虚拟环境的第二图像,其中虚拟环境的代表来自虚拟环境中的更新的观察位置的视图在更新的方向上。
    • 9. 发明申请
    • STAY CABLE ASSESSMENT
    • 住电线评估
    • US20160091444A1
    • 2016-03-31
    • US14892165
    • 2014-06-11
    • NATIONAL ICT AUSTRALIA LIMITED
    • Rodney BERRIMANMaximilian OTTPeter RUNCIEMatthias LEITNERPhilipp MAYR
    • G01N27/00
    • G01N27/00E01D19/10E01D22/00G01R31/021G01R31/026
    • The disclosure concerns monitoring cables, such as stay cables used to support bridges. A cable comprises multiple strands which are electrically connected to each other at one or both ends of the cable and insulated from each other between the ends. A cable monitor selectively activates one or more inductive coils, such that electrical signals are 5 suppressed on a first set of the multiple strands and electrical signals are allowed to pass through a second set of the multiple strands. The monitor then applies an electrical stimulus signal to the cable and senses on the cable a reflection signal of the stimulus signal. Finally, the monitor determines based on the reflection signal a continuity of one or more of the second set of the multiple strands. Since reflections 10 are suppressed on some strands by the coils, the sensed reflections can be attributed to the strands without the suppression.
    • 本公开涉及监视电缆,例如用于支撑桥的拉索。 电缆包括在电缆的一端或两端彼此电连接并且在两端之间彼此绝缘的多股线。 电缆监视器选择性地激活一个或多个感应线圈,使得电信号被抑制在第一组多股上,电信号被允许通过第二组多股。 然后,监视器将电刺激信号施加到电缆,并且在电缆上感测刺激信号的反射信号。 最后,监视器基于反射信号确定多股的第二组中的一个或多个的连续性。 由于反射10被线圈抑制在一些股线上,感测到的反射可以归因于没有抑制的股线。