公开(公告)号：US20060130068A1

公开(公告)日：2006-06-15

申请号：US11009532

申请日：2004-12-10

Applicant: Tom Rohr ,  Jeffrey Russell ,  Martin Pauly

Inventor： Tom Rohr ,  Jeffrey Russell ,  Martin Pauly

IPC: G06F9/46

CPC classification number: G06F9/451

Abstract: Presently disclosed are a method and apparatus for generating graphics in a protected manner by establishing a user graphics partition while in an executive context. Once the user context is established, an operating mode is switched to the user context and then executing a user graphics program while in the user context. The operating mode then reverts to the executive context when the user context expires.

Abstract translation: 目前公开的是一种用于通过在执行上下文中建立用户图形分区来以受保护的方式产生图形的方法和装置。 一旦用户上下文建立，操作模式被切换到用户上下文，然后在用户上下文中执行用户图形程序。 当用户上下文过期时，操作模式将恢复到执行上下文。

公开(公告)号：US06571171B1

公开(公告)日：2003-05-27

申请号：US09391779

申请日：1999-09-08

Applicant: Martin Pauly

Inventor： Martin Pauly

IPC: G01C2100

CPC classification number: G01C23/00

Abstract: An apparatus and method for inserting a waypoint into a preexisting flight plan which includes selecting a waypoint on a graphical display of a portion of the flight plan and automatically generating a proposed changed flight plan based upon inserting the waypoint into the nearest leg of the flight plan.

Abstract translation: 一种用于将航路点插入到现有飞行计划中的装置和方法，其包括在飞行计划的一部分的图形显示上选择航点，并且基于将航点插入飞行计划的最近的一侧而自动生成拟议的改变的飞行计划 。

公开(公告)号：US07782329B2

公开(公告)日：2010-08-24

申请号：US11009532

申请日：2004-12-10

Applicant: Tom C. Rohr ,  Jeffrey D. Russell ,  Martin Pauly

Inventor： Tom C. Rohr ,  Jeffrey D. Russell ,  Martin Pauly

IPC: G06F13/372 ,  G06F13/18 ,  G06F9/46 ,  G06F9/44 ,  G09G5/00

CPC classification number: G06F9/451

Abstract: Presently disclosed are a method and apparatus for generating graphics in a protected manner by establishing a user graphics partition while in an executive context. Once the user context is established, an operating mode is switched to the user context and then executing a user graphics program while in the user context. The operating mode then reverts to the executive context when the user context expires.

Abstract translation: 目前公开的是一种用于通过在执行上下文中建立用户图形分区来以受保护的方式产生图形的方法和装置。 一旦用户上下文建立，操作模式被切换到用户上下文，然后在用户上下文中执行用户图形程序。 当用户上下文过期时，操作模式将恢复到执行上下文。

公开(公告)号：US07675866B1

公开(公告)日：2010-03-09

申请号：US11234458

申请日：2005-09-24

Applicant: Martin Pauly

Inventor： Martin Pauly

IPC: H04L1/00

CPC classification number: G06F11/2247 ,  G06F8/77

Abstract: A method and system for analyzing resource needs for a configurable computing system representing the configuration in a tree structure. The tree structure has a plurality of nodes representing stored data. A first set of the nodes comprises childless nodes and a second set of the nodes comprises parent nodes. Each parent node has at least one child node. The method for analyzing comprises the steps of: (a) determining the worst case resource needs of the childless nodes during an execution cycle by evaluating the worst case values of any selected attributes that the childless node may have; (b) determining the worst case resource needs of the parent nodes during an execution cycle; and, (c) recursively applying the rules used for evaluating the worst case resource needs of the individual nodes, above, starting with a root node of the plurality of nodes, to determine the worst case resource needs of the entire tree structure.

Abstract translation: 用于分析表示树结构中的配置的可配置计算系统的资源需求的方法和系统。 树结构具有表示存储数据的多个节点。 第一组节点包括无子节点，第二组节点包括父节点。 每个父节点至少有一个子节点。 所述分析方法包括以下步骤：（a）通过评估所述无子节点可能具有的任何所选属性的最差情况值来确定执行周期期间所述无子节点的最坏情况资源需求; （b）在执行周期中确定父节点的最坏情况资源需求; 以及（c）从上述多个节点的根节点开始递归地应用用于评估上述各个节点的最坏情况资源需求的规则，以确定整个树结构的最坏情况资源需求。

公开(公告)号：US06880147B1

公开(公告)日：2005-04-12

申请号：US09656685

申请日：2000-09-07

Applicant: Martin Pauly

Inventor： Martin Pauly

IPC: G06F7/60 ,  G06F9/44 ,  G06F9/45

CPC classification number: G06F8/10

Abstract: A statechart includes a state having two or more parallel states. The two or more parallel states are ordered to ensure determinism for the system. The statecharts can be modified Harel statecharts. The statecharts can be utilized to generate avionics software.

Abstract translation: 状态图包括具有两个或多个并行状态的状态。 命令两个或多个并行状态来确定系统的确定性。 状态图可以修改Harel状态图。 状态图可用于生成航空电子软件。

公开(公告)号：US06693653B1

公开(公告)日：2004-02-17

申请号：US09667112

申请日：2000-09-19

Applicant: Martin Pauly

Inventor： Martin Pauly

IPC: G09G500

CPC classification number: G06F3/04812

Abstract: A method of assisting movement of a cursor toward a target on a display screen is disclosed. According to the method, an initial cursor movement is detected. It is determined whether the direction of the initial cursor movement includes a component that is directed toward the target. A movement correction is defined as at least a portion of the component when the cursor is within a predetermined distance from the target. The initial cursor movement is combined with the movement correction to create a total cursor movement. The magnitude of the total cursor movement is adjusted to equal the magnitude of the initial cursor movement. If the cursor is within predetermined distances from multiple targets, a movement correction for each target is defined, and the movement corrections for all targets are combined with the initial cursor movement to create a total cursor movement. The magnitude of the total cursor movement is adjusted to equal the magnitude of the initial cursor movement.

Abstract translation: 公开了一种在显示屏幕上辅助光标朝向目标的移动的方法。 根据该方法，检测出初始光标移动。 确定初始光标移动的方向是否包括指向目标的分量。 当光标位于与目标的预定距离内时，运动校正被定义为部件的至少一部分。 初始光标移动与移动校正相结合以创建总光标移动。 总光标移动的大小被调整为等于初始光标移动的大小。 如果光标在距离多个目标的预定距离内，则定义每个目标的移动校正，并且将所有目标的移动校正与初始光标移动相结合以创建总光标移动。 总光标移动的大小被调整为等于初始光标移动的大小。

公开(公告)号：US06573914B1

公开(公告)日：2003-06-03

申请号：US09503564

申请日：2000-02-14

Applicant: Martin Pauly ,  Matthew T. Smith

Inventor： Martin Pauly ,  Matthew T. Smith

IPC: G06F300

CPC classification number: G06F3/0489 ,  G06F3/04847

Abstract: An apparatus and method for entering data into an avionics system which uses a large multi-functional display, with a graphical user interface, which is capable of direct data entry into pre-selected fields and further includes a scratch pad for temporarily storing data prior to entry into a later selected data field. The scratch pad is capable of receiving stacked data items as well as automatically distributing compound data items to their appropriate display fields.

Abstract translation: 一种用于将数据输入到使用大型多功能显示器的航空电子系统的装置和方法，其具有图形用户界面，该图形用户界面能够将数据输入到预先选择的场中，并且还包括用于临时存储数据之前的数据的便笺本 进入稍后选择的数据字段。 便笺本能够接收堆叠的数据项以及将复合数据项自动分配到其适当的显示区域。

公开(公告)号：US06449556B1

公开(公告)日：2002-09-10

申请号：US09552215

申请日：2000-04-19

Applicant: Martin Pauly

Inventor： Martin Pauly

IPC: G01B2100

CPC classification number: G01C23/00 ,  G08G5/003

Abstract: A navigation system such as a flight management system allows operator-defined waypoints to be selected. A pilot waypoint can be selected via an interface which provides a place-bearing-distance label when the waypoint is not on a flight plan. The label is in an along-track-distance format when the waypoint is on the flight plan. The labels provide information in a fashion consistent with Air Traffic Control (ATC) phraseology.

Abstract translation: 诸如飞行管理系统的导航系统允许选择操作者定义的航路点。 当航路点不在飞行计划时，可以通过一个界面选择一个试点航点，该界面提供了一个位置距离标签。 当航路点在飞行计划上时，该标签处于沿轨道距离的格式。 标签以与空中交通管制（ATC）短语相符的方式提供信息。