-
公开(公告)号：US08667332B2
公开(公告)日：2014-03-04
申请号：US11739372
申请日：2007-04-24
IPC分类号： G06F11/00
CPC分类号： G06N5/04 , G05B17/02 , G05B23/0229 , G05B23/0251 , G05B23/0283 , G05B23/0297 , G06N5/045
摘要： A method for optimizing a diagnostic reasoner model, for use in connection with a diagnostic system for testing a system under test of an aircraft, includes the steps of querying for a plurality of primary indicators, further querying for a plurality of supplemental indicators, and updating the diagnostic reasoner model based at least in part on the supplemental indicators. The primary indicators identify one or more potential faults in the system under test. Each supplemental indicator provides information either validating or invalidating a particular primary indicator or association of primary indicators.
摘要翻译： 用于优化诊断推理器模型的方法，用于与用于测试飞机测试的系统的诊断系统结合使用，包括以下步骤：查询多个主要指示符，进一步查询多个补充指示符，以及更新 诊断推理器模型至少部分基于补充指标。 主要指标识别被测系统中的一个或多个潜在故障。 每个补充指标提供信息，以验证或使某一特定主要指标或主要指标的关联无效。
-
公开(公告)号：US20100114541A1
公开(公告)日：2010-05-06
申请号：US12261616
申请日：2008-10-30
申请人： Daniel P. Johnson
发明人： Daniel P. Johnson
摘要： One embodiment is directed to an approach to solving a leader-follower problem in which a leader has a set of leader actions and a follower has a set of follower actions. The approach includes receiving an expression of the leader-follower problem as a normal form Stackelberg game. The approach further includes, for each possible follower action, solving a linear program (LP) problem to determine a respective optimal mixed leader strategy, wherein the LP problem optimizes a leader payoff for a given mixed leader strategy and a given fixed follower action over a feasible region that includes only mixed leader strategies that provoke that respective follower action. The approach further includes generating an output derived from the optimal mixed leader strategies, and outputting the output by changing a physical state associated with an interface.
摘要翻译： 一个实施例涉及一种解决领导者跟随者问题的方法，其中领导者具有一组领导者动作并且跟随者具有一组从动件。 该方法包括将领导者跟随者问题的表达作为Stackelberg游戏的正常形式。 该方法还包括针对每个可能的跟随器动作，求解线性程序（LP）问题以确定相应的最佳混合引导器策略，其中所述LP问题优化针对给定混合引导器策略的引导者收益以及给定的固定从属动作 可行区域只包括引发相应追随者行为的混合领导策略。 该方法还包括生成从最佳混合引导策略得到的输出，并且通过改变与接口相关联的物理状态来输出输出。
-
公开(公告)号：US07505827B1
公开(公告)日：2009-03-17
申请号：US09188399
申请日：1998-11-06
申请人： Mark S. Boddy , Daniel P. Johnson
发明人： Mark S. Boddy , Daniel P. Johnson
IPC分类号： G06F19/00
CPC分类号： G06Q10/08 , G06Q10/06 , G06Q10/087
摘要： A scheduler for a finite capacity process provides a schedule based on an integrated assessment of both discrete and continuous constraints. Given a list of products to be provided, the scheduler generates a set of activities required to produce the products and identifies resources required and the discrete and continuous constraints related to such resources. Activities are resized, and timelines are established for the activities as a function of deadlines for the product delivery for which the activities are related. Resource balancing heuristics are used to redistribute resource utilization to prevent bottlenecks. Data structures are used to keep track of constraints. Both discrete and continuous constraints are defined. Separate solver engines for the discrete and continuous constraint problems modify the constraints. The data structures are used to share and propagate constraints between the two engines. Infeasibilities of meeting product delivery times are detected during the scheduling and backtracking and rescheduling of resources based on under and over utilization and availability of equivalent resources is performed.
摘要翻译： 用于有限容量过程的调度器基于离散和连续约束的综合评估来提供调度。 给定要提供的产品的列表，调度器生成产生产品所需的一组活动并且识别所需的资源以及与这些资源相关的离散和连续约束。 活动调整大小，为活动确定时间表，作为与活动相关的产品交付期限的功能。 资源平衡启发式用于重新分配资源利用率以防止瓶颈。 数据结构用于跟踪约束。 定义离散和连续约束。 用于离散和连续约束问题的单独求解器引擎修改约束。 数据结构用于在两个引擎之间共享和传播约束。 在资源的调度和回溯和重新安排的过程中，根据资源利用率不足和等效资源的可用性来检测满足产品交付时间的不可行性。
-
公开(公告)号：US07370833B2
公开(公告)日：2008-05-13
申请号：US11256414
申请日：2005-10-20
IPC分类号： B64G1/28
CPC分类号： B64G1/286 , G05D1/0883
摘要： A method for avoiding singularities in the movement of a set of collinear CMGs in an array of CMGs in a spacecraft is provided. First, a command to adjust an orientation of the spacecraft is received. Then, the momentum needed from the set of collinear CMGs is determined. A dynamic control that determines a momentum path and avoids singularities by rotating the singularities out of the momentum path is used and a required gimbal movement for each of the CMGs in the set of collinear CMGs from the momentum path is calculated.
摘要翻译： 提供了一种用于避免航天器中的一组CMG阵列中的一组共线CMG的运动中的奇点的方法。 首先，接收到调整航天器方向的命令。 然后，确定一组共线CMG所需的动量。 使用确定动量路径并通过将奇异点离开动量路径来避免奇异点的动态控制，并且计算来自动量路径的一组共线CMG中的每个CMG的所需的万向运动。
-
公开(公告)号：US06363778B1
公开(公告)日：2002-04-02
申请号：US09213502
申请日：1998-12-17
申请人： R. Andrew Wood , Ulrich Bonne , Daniel P Johnson
发明人： R. Andrew Wood , Ulrich Bonne , Daniel P Johnson
IPC分类号： G01M1900
CPC分类号： G01M15/11 , G01M15/108
摘要： A misfire monitor for detecting cylinder misfires in an internal combustion engine. The monitor has a light detector that senses infrared light signals emerging from combustion gases through a window inserted on an exhaust pipe or manifold. Characteristics of a detected light signal indicate whether there is a firing or a misfire in any cylinder. Other information about the engine is deduced with processing of the detected signals and misfire counts. The detection is real time and functions well at all normal engine speeds and operating conditions.
摘要翻译： 用于检测内燃机中气缸失火的失火监视器。 监视器具有光检测器，其通过插入在排气管或歧管上的窗口感测从燃烧气体出来的红外光信号。 检测到的光信号的特征指示是否在任何气缸中发射或失火。 关于发动机的其他信息是通过处理检测到的信号和失火计数得出的。 检测是实时的，并且在所有正常的发动机速度和操作条件下都能很好地起作用。
-
公开(公告)号：US08881294B2
公开(公告)日：2014-11-04
申请号：US13030292
申请日：2011-02-18
申请人： Daniel P. Johnson , Joseph Nutaro
发明人： Daniel P. Johnson , Joseph Nutaro
CPC分类号： H04L63/0876 , G06F9/445 , G06F21/64 , H04L9/3242 , H04L63/123 , H04L67/12 , H04L2209/84
摘要： Methods and systems for securely uploading files onto a vehicle such as an aircraft are provided. In one embodiment, a system for transmitting files to a remote vehicle comprises: a communication system onboard the remote vehicle; at least one processor onboard the remote vehicle coupled to the communication system; and at least one storage device comprising a database, the at least one storage device further comprising computer executable instructions which when executed by the at least one processor implement a data checking functionality process comprising: generating a security file at the remote vehicle from an uplinked file received by a communication system; verifying integrity of the uplinked file using the security file; when integrity of the uplinked file is confirmed, accepting the uplinked file; and when integrity of the uplinked file is not confirmed, rejecting the uplinked file.
摘要翻译： 提供了用于将文件安全地上载到诸如飞机的车辆上的方法和系统。 在一个实施例中，用于将文件发送到远程车辆的系统包括：远程车辆上的通信系统; 耦合到通信系统的远程车辆上的至少一个处理器; 以及包括数据库的至少一个存储设备，所述至少一个存储设备还包括计算机可执行指令，当由所述至少一个处理器执行时，所述计算机可执行指令实现数据检查功能过程，所述数据检查功能过程包括：在远程车辆上从上行文件 由通信系统接收; 使用安全文件验证上行文件的完整性; 当确认上行文件的完整性时，接受上行文件; 并且当上行链路文件的完整性未被确认时，拒绝上行文件。
-
公开(公告)号：US20120216286A1
公开(公告)日：2012-08-23
申请号：US13030292
申请日：2011-02-18
IPC分类号： G06F21/20
CPC分类号： H04L63/0876 , G06F9/445 , G06F21/64 , H04L9/3242 , H04L63/123 , H04L67/12 , H04L2209/84
摘要： Methods and systems for securely uploading files onto a vehicle such as an aircraft are provided. In one embodiment, a system for transmitting files to a remote vehicle comprises: a communication system onboard the remote vehicle; at least one processor onboard the remote vehicle coupled to the communication system; and at least one storage device comprising a database, the at least one storage device further comprising computer executable instructions which when executed by the at least one processor implement a data checking functionality process comprising: generating a security file at the remote vehicle from an uplinked file received by a communication system; verifying integrity of the uplinked file using the security file; when integrity of the uplinked file is confirmed, accepting the uplinked file; and when integrity of the uplinked file is not confirmed, rejecting the uplinked file.
摘要翻译： 提供了用于将文件安全地上载到诸如飞机的车辆上的方法和系统。 在一个实施例中，用于将文件发送到远程车辆的系统包括：远程车辆上的通信系统; 耦合到通信系统的远程车辆上的至少一个处理器; 以及包括数据库的至少一个存储设备，所述至少一个存储设备还包括计算机可执行指令，当由所述至少一个处理器执行时，所述计算机可执行指令实现数据检查功能过程，所述数据检查功能过程包括：在远程车辆上从上行文件生成安全文件 由通信系统接收; 使用安全文件验证上行文件的完整性; 当确认上行文件的完整性时，接受上行文件; 并且当上行链路文件的完整性未被确认时，拒绝上行文件。
-
公开(公告)号：US20120066751A1
公开(公告)日：2012-03-15
申请号：US12915769
申请日：2010-10-29
申请人： Joseph Nutaro , Daniel P. Johnson , Robert Olson
发明人： Joseph Nutaro , Daniel P. Johnson , Robert Olson
IPC分类号： G06F21/00
CPC分类号： H04W12/06 , G06F21/606 , G06F21/64 , H04L63/123
摘要： Methods and apparatus are provided for securing the transfer of data over the internet from malicious interference. The apparatus comprises a computing device and a data storage device in operable communication with the computing device. The apparatus also includes a set of high assurance security instructions resident on the data storage device and executing within the computing device and at least one input/output interface. The method comprises receiving data via a first communication interface and storing the data in a memory device and initiating an unsecured data indication. The method also provides for receiving an authentication code via the first communication interface and decoding the authentication code and determining the authenticity of the data. If the authentication code fails to indicate authenticity then the data is deleted. If the authentication code indicates authenticity, then the data is transferred to a destination device via a second communication interface.
摘要翻译： 提供了用于确保互联网上的数据传输免受恶意干扰的方法和装置。 该装置包括与计算设备可操作地通信的计算设备和数据存储设备。 该装置还包括驻留在数据存储设备上并在计算设备内和在至少一个输入/输出接口中执行的一组高保证安全性指令。 该方法包括经由第一通信接口接收数据并将数据存储在存储器设备中并启动不安全的数据指示。 该方法还提供经由第一通信接口接收认证码并解码认证码并确定数据的真实性。 如果验证码无法指示真实性，则数据将被删除。 如果认证码表示真实性，则通过第二通信接口将数据传送到目的设备。
-
9.发明授权Method for determining ranges for algorithmic variables for a processor that uses fixed point arithmetic 有权用于确定使用定点算术的处理器的算法变量范围的方法公开(公告)号：US07958500B2
公开(公告)日：2011-06-07
申请号：US11533175
申请日：2006-09-19
IPC分类号： G06F9/45
CPC分类号： G06F8/433
摘要： A method of determining ranges for algorithmic variables for a processor that uses fixed point arithmetic is provided. The method comprises expressing overflow requirements of processor instructions as inequalities. The method also expresses precision requirements and expressiveness requirements as inequalities and merit functions. A global constraint and optimizer tool is used to find ranges for algorithmic variables based on the inequalities and the merit functions. The use of constraint equation solving and optimization finds optimal algorithmic ranges that provide overflow-free arithmetic as well as optimal expressiveness and precision.
摘要翻译： 提供了一种确定使用定点算术的处理器的算法变量范围的方法。 该方法包括将处理器指令的溢出要求表示为不等式。 该方法也将精确要求和表现力要求表示为不等式和优点函数。 全局约束和优化器工具用于基于不等式和优点函数来查找算法变量的范围。 使用约束方程求解和优化找到最优的算法范围，提供无溢出算术以及最优表达和精度。
-
公开(公告)号：US09426652B2
公开(公告)日：2016-08-23
申请号：US12915769
申请日：2010-10-29
申请人： Joseph Nutaro , Daniel P. Johnson , Robert Olson
发明人： Joseph Nutaro , Daniel P. Johnson , Robert Olson
CPC分类号： H04W12/06 , G06F21/606 , G06F21/64 , H04L63/123
摘要： Methods and apparatus are provided for securing the transfer of data over the internet from malicious interference. The apparatus comprises a computing device and a data storage device in operable communication with the computing device. The apparatus also includes a set of high assurance security instructions resident on the data storage device and executing within the computing device and at least one input/output interface. The method comprises receiving data via a first communication interface and storing the data in a memory device and initiating an unsecured data indication. The method also provides for receiving an authentication code via the first communication interface and decoding the authentication code and determining the authenticity of the data. If the authentication code fails to indicate authenticity then the data is deleted. If the authentication code indicates authenticity, then the data is transferred to a destination device via a second communication interface.
摘要翻译： 提供了用于确保互联网上的数据传输免受恶意干扰的方法和装置。 该装置包括与计算设备可操作地通信的计算设备和数据存储设备。 该装置还包括驻留在数据存储设备上并在计算设备内和在至少一个输入/输出接口中执行的一组高保证安全性指令。 该方法包括经由第一通信接口接收数据并将数据存储在存储器设备中并启动不安全的数据指示。 该方法还提供经由第一通信接口接收认证码并解码认证码并确定数据的真实性。 如果验证码无法指示真实性，则数据将被删除。 如果认证码表示真实性，则通过第二通信接口将数据传送到目的设备。
-
-
-
-
-
-
-
-
-
搜索结果
23 条记录 (耗时 0.021 秒)
