公开(公告)号：US20120216286A1

公开(公告)日：2012-08-23

申请号：US13030292

申请日：2011-02-18

申请人： Daniel P. Johnson ,  Joe (Joseph) Nutaro

发明人： Daniel P. Johnson ,  Joe (Joseph) Nutaro

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.

摘要翻译： 提供了用于将文件安全地上载到诸如飞机的车辆上的方法和系统。 在一个实施例中，用于将文件发送到远程车辆的系统包括：远程车辆上的通信系统; 耦合到通信系统的远程车辆上的至少一个处理器; 以及包括数据库的至少一个存储设备，所述至少一个存储设备还包括计算机可执行指令，当由所述至少一个处理器执行时，所述计算机可执行指令实现数据检查功能过程，所述数据检查功能过程包括：在远程车辆上从上行文件生成安全文件 由通信系统接收; 使用安全文件验证上行文件的完整性; 当确认上行文件的完整性时，接受上行文件; 并且当上行链路文件的完整性未被确认时，拒绝上行文件。

公开(公告)号：US09366771B2

公开(公告)日：2016-06-14

申请号：US13558611

申请日：2012-07-26

申请人： Saptarshi Dasgupta ,  Norman Ross Hill ,  Daniel P. Johnson

发明人： Saptarshi Dasgupta ,  Norman Ross Hill ,  Daniel P. Johnson

IPC分类号： G01V1/36 ,  G01V1/30

CPC分类号： G01V1/303

摘要： A method of modifying a seismic image of a subsurface region includes identifying a location within the seismic image that includes a distortion, indicating a structural change associated with the distortion, that is selected to at least partially correct for the distortion, identifying a region causing the distortion in which corrections to a velocity model corresponding to the seismic image are to be applied, performing an inversion for the region in accordance with the indicated structural change, updating the velocity model on the basis of the inversion, and producing a modified seismic image on the basis of the updated velocity model.

摘要翻译： 修改地下区域的地震图像的方法包括识别地震图像内的位置，其包括指示与失真相关联的结构变化的失真，所述失真被选择为至少部分地校正失真，识别导致 对要应用对应于地震图像的速度模型进行校正的失真，根据指示的结构变化对该区域进行反演，基于反演更新速度模型，并且生成改进的地震图像 更新速度模型的基础。

公开(公告)号：US08108188B2

公开(公告)日：2012-01-31

申请号：US12261616

申请日：2008-10-30

申请人： Daniel P. Johnson

发明人： Daniel P. Johnson

IPC分类号： G06F17/50

CPC分类号： G06N5/003 ,  G06N3/006

摘要： 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问题优化针对给定混合引导器策略的引导者收益以及给定的固定从属动作 可行区域只包括引发相应追随者行为的混合领导策略。 该方法还包括生成从最佳混合引导策略得到的输出，并且通过改变与接口相关联的物理状态来输出输出。

公开(公告)号：US20100305913A1

公开(公告)日：2010-12-02

申请号：US12474342

申请日：2009-05-29

申请人： Daniel P. Johnson ,  Jeffrey S. Wilson

发明人： Daniel P. Johnson ,  Jeffrey S. Wilson

IPC分类号： G06F17/10

CPC分类号： G06Q10/04

摘要： A method of coupling surface urban heat island measures with socio-economic indicators of vulnerability to create improved spatially specific models to assist public health professionals in predicting extreme heat events mortality in urban environments. The method includes utilizing landsat TM imagery for the measuring of the urban heat island intensity levels and a spatial analysis of the variables in question.

摘要翻译： 将地表城市热岛措施与脆弱性的社会经济指标结合起来，制定改进的空间特异性模型，以协助公共卫生专业人员预测城市环境中的极端热事件死亡率。 该方法包括利用landat TM图像测量城市热岛强度水平，并对所考虑的变量进行空间分析。

公开(公告)号：US06456928B1

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

申请号：US09751420

申请日：2000-12-29

申请人： Daniel P. Johnson

发明人： Daniel P. Johnson

IPC分类号： G06F1900

CPC分类号： F02D35/025 ,  F02B77/08 ,  F02D41/1454 ,  F02D41/22 ,  F02D2041/1432 ,  F02D2200/0404 ,  F02D2200/0408 ,  F02D2200/0606 ,  F02D2200/0614 ,  F02D2200/503 ,  Y02T10/40

摘要： Methods and devices for detecting and predicting parameter deviations and isolating failure modes in systems that are subject to failure. In a preferred embodiment, methods are provided for use with engines, including aircraft, automobile, and industrial combustion engines. However, numerous other applications are contemplated. Such engines may be described as having monitor points having current parameter values, where the monitor points may correspond to single physical sensors or to virtual or inferred monitor points having parameter values derived from multiple sensors. Acceptable ranges, limits, and values for each of the monitor point parameters may be provided for use with the present invention. Parameters lying outside of the acceptable ranges may be said to be in deviation. Ambiguity groups, including one or more failure modes or physical causes of the parameter deviations may also be provided. Parameter deviations, after optional filtering, may generate deviation signals which may be followed by analysis of the ambiguity groups to isolate the failure mode or modes causing the deviation. Courses of engine operation ameliorating the failure mode may be suggested. Methods are also provided for projecting current trends into the future to predict deviations and isolate failure modes early, prior to actual occurrence. One preferred use for the methods is early detection and isolation of faults in aircraft engines, leading to corrective action including early preventative maintenance.

摘要翻译： 用于检测和预测系统中失效的参数偏差和隔离故障模式的方法和设备。 在优选实施例中，提供了与包括飞行器，汽车和工业燃烧发动机在内的发动机一起使用的方法。 然而，考虑了许多其它应用。 这样的引擎可以被描述为具有当前参数值的监视点，其中监视点可以对应于单个物理传感器或具有从多个传感器导出的参数值的虚拟或推断的监视点。 可以提供用于每个监测点参数的可接受范围，限值和值用于本发明。 位于可接受范围之外的参数可以说是偏离的。 也可以提供歧义组，包括一个或多个故障模式或参数偏差的物理原因。 可选滤波后的参数偏差可能产生偏差信号，后者可以通过分析歧义组来隔离导致偏差的故障模式或模式。 可以提出改善故障模式的发动机操作的课程。 还提供了用于将当前趋势投射到未来以预测偏差并在实际发生之前早期分离故障模式的方法。 该方法的一个优选用途是早期检测和分离飞机发动机中的故障，导致纠正措施，包括早期预防性维护。

公开(公告)号：US08881294B2

公开(公告)日：2014-11-04

申请号：US13030292

申请日：2011-02-18

申请人： Daniel P. Johnson ,  Joseph Nutaro

发明人： Daniel P. Johnson ,  Joseph Nutaro

IPC分类号： G06F21/64 ,  H04L29/06 ,  H04L29/08 ,  G06F9/445

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.

摘要翻译： 提供了用于确保互联网上的数据传输免受恶意干扰的方法和装置。 该装置包括与计算设备可操作地通信的计算设备和数据存储设备。 该装置还包括驻留在数据存储设备上并在计算设备内和在至少一个输入/输出接口中执行的一组高保证安全性指令。 该方法包括经由第一通信接口接收数据并将数据存储在存储器设备中并启动不安全的数据指示。 该方法还提供经由第一通信接口接收认证码并解码认证码并确定数据的真实性。 如果验证码无法指示真实性，则数据将被删除。 如果认证码表示真实性，则通过第二通信接口将数据传送到目的设备。

公开(公告)号：US07958500B2

公开(公告)日：2011-06-07

申请号：US11533175

申请日：2006-09-19

申请人： James C. Carciofini ,  Daniel P. Johnson ,  Erik Lindquist

发明人： James C. Carciofini ,  Daniel P. Johnson ,  Erik Lindquist

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

IPC分类号： G06F21/00 ,  H04W12/06 ,  G06F21/60 ,  G06F21/64 ,  H04L29/06

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.

摘要翻译： 提供了用于确保互联网上的数据传输免受恶意干扰的方法和装置。 该装置包括与计算设备可操作地通信的计算设备和数据存储设备。 该装置还包括驻留在数据存储设备上并在计算设备内和在至少一个输入/输出接口中执行的一组高保证安全性指令。 该方法包括经由第一通信接口接收数据并将数据存储在存储器设备中并启动不安全的数据指示。 该方法还提供经由第一通信接口接收认证码并解码认证码并确定数据的真实性。 如果验证码无法指示真实性，则数据将被删除。 如果认证码表示真实性，则通过第二通信接口将数据传送到目的设备。

公开(公告)号：US20140281529A1

公开(公告)日：2014-09-18

申请号：US13846176

申请日：2013-03-18

申请人： Edward C. Epp ,  Zhaohui Yan ,  Daniel P. Johnson

发明人： Edward C. Epp ,  Zhaohui Yan ,  Daniel P. Johnson

IPC分类号： H04L29/06

CPC分类号： H04L63/0428 ,  H04L9/0822 ,  H04L9/0891 ,  H04L63/061 ,  H04L2209/60

摘要： Encryption logic to identify a particular session key, where the particular session key is one of a plurality of session keys for use in encrypting content to be sent from a first device. The encryption logic is to encrypt particular content with the particular session key to obtain encrypted particular content. I/O logic is provided that can cause the particular content to be sent with a key refresh structure, where the key refresh structure is to identify that the particular session key was used to encrypt the particular content.

摘要翻译： 用于识别特定会话密钥的加密逻辑，其中特定会话密钥是用于加密要从第一设备发送的内容的多个会话密钥之一。 加密逻辑是用特定会话密钥加密特定内容以获得加密的特定内容。 提供I / O逻辑，其可以使得特定内容以密钥刷新结构发送，其中密钥刷新结构用于标识特定会话密钥用于加密特定内容。