APPARATUS AND METHOD FOR TESTING COMPUTER PROGRAM IMPLEMENTATION AGAINST A DESIGN MODEL
    4.
    发明申请
    APPARATUS AND METHOD FOR TESTING COMPUTER PROGRAM IMPLEMENTATION AGAINST A DESIGN MODEL 有权
    用于测试计算机程序实现设计模型的装置和方法

    公开(公告)号:US20170068609A1

    公开(公告)日:2017-03-09

    申请号:US15118755

    申请日:2015-02-24

    IPC分类号: G06F11/36 G06F9/44

    摘要: A method of testing a computer program implementation according to a predefined design model, the program implementation having at least one method under test, employs a computer to generate a post-method corresponding to the method under test. A computer is further used to automatically generate a set of test cases. Then, using the automatically generated set of test cases, the computer explores different execution paths of the computer program implementation, by applying those test cases to both the method under test and the generated post-method, to reveal behavior that is not consistent with the behavior specified by the design model.

    摘要翻译: 一种根据预定义的设计模型测试计算机程序实现的方法,所述程序实现具有至少一种被测方法,使用计算机生成与所述被测方法对应的后方法。 计算机进一步用于自动生成一组测试用例。 然后,使用自动生成的一组测试用例,计算机探索计算机程序实现的不同执行路径,通过将这些测试用例应用于被测方法和生成的后期方法,以显示与 设计模式规定的行为。

    HELMET IMPACT MONITORING SYSTEM
    5.
    发明申请
    HELMET IMPACT MONITORING SYSTEM 有权
    HELMET IMPACT监测系统

    公开(公告)号:US20160050999A1

    公开(公告)日:2016-02-25

    申请号:US14830297

    申请日:2015-08-19

    摘要: An impact sensing system includes a first impact sensor having a flexible dielectric layer, a first printed electrode on a first side of the layer, and a second printed electrode on a second side of the layer. The second printed electrode overlies and is moveable toward and away from the first electrode by deformation of the flexible dielectric layer. Further, the layer maintains a capacitance between to the first electrode and the second electrode that changes with a movement of the second electrode toward or away from the first electrode. The system further includes a first readout circuit electronically coupled with the first and second electrodes to measure a change in the capacitance and output a corresponding voltage.

    摘要翻译: 冲击感测系统包括具有柔性电介质层的第一冲击传感器,该层的第一侧上的第一印刷电极以及该层的第二侧上的第二印刷电极。 第二印刷电极通过柔性介电层的变形而覆盖并且能够朝向和远离第一电极移动。 此外,该层保持第一电极和第二电极之间的电容,其随着第二电极朝向或远离第一电极的移动而变化。 该系统还包括与第一和第二电极电连接以测量电容变化并输出相应电压的第一读出电路。

    SELECTIVE EXTRACTION OF ANIONS FROM SOLUTION
    6.
    发明申请
    SELECTIVE EXTRACTION OF ANIONS FROM SOLUTION 有权
    从溶液中选择性提取阴离子

    公开(公告)号:US20150151275A1

    公开(公告)日:2015-06-04

    申请号:US14402833

    申请日:2013-05-21

    发明人: Gellert Mezei

    IPC分类号: B01J20/22 C02F1/26 C02F1/42

    摘要: A method of selectively extracting anions from an aqueous solution using an anion encapsulating aggregate formed upon the addition of a solvent, a copper contributor, a hydroxide contributor, a counterion contributor, and pyrazole to an aqueous solution containing the anions, or upon the addition of a solvent, a polymeric chain of [CuII(μ-OH)(μ-pz)]∞ and a counterion contributor to the aqueous solution. The aggregates include compounds of the formula cis CuIIx(OR1)y(R2pz)z, where R1 is H or an alkyl group, R2 is H, or an alkyl group or a charged group, pz is pyrazolate and each of x, y, and z is an integer between about 1 and about 40. In addition, ligand-containing anion encapsulating aggregates can be formed by synthesis with a lig-and-bound pyrazole or by substituting the ligand-bound pyrazole for the pyrazole incorporated in the aggregate.

    摘要翻译: 或者在向含有阴离子的水溶液中添加溶剂时形成的阴离子封装聚集体,铜贡献者,氢氧化物贡献者,抗衡离子贡献者和吡唑的水溶液中选择性提取阴离子的方法, 溶剂,[CuII(μ-OH)(μ-pz)]∞的聚合物链和水溶液的抗衡离子贡献者。 聚集体包括式为顺式CuIIx(OR1)y(R2pz)z的化合物,其中R1为H或烷基,R2为H,或烷基或带电基团,pz为吡唑并且x,y, z是约1至约40的整数。另外,通过用结合结合的吡唑合成或通过用配体结合的吡唑代替掺入聚集体中的吡唑,可以形成包含配体的阴离子聚集体。

    METHOD AND DEVICE FOR POWER GENERATION
    7.
    发明申请
    METHOD AND DEVICE FOR POWER GENERATION 有权
    用于发电的方法和装置

    公开(公告)号:US20130076036A1

    公开(公告)日:2013-03-28

    申请号:US13681000

    申请日:2012-11-19

    发明人: Tianshu Liu

    IPC分类号: F03D7/00

    CPC分类号: F03D7/00 F03D3/068 Y02E10/74

    摘要: A fluid flow-powered generator and a method for using the same are described herein. The generator has a rotatable frame, with a first wing and a second wing. The first wing and second wing are pivotally mounted to the frame to allow the angle of attack to be adjusted. A controller is also provided to direct adjustment of the angle of attack of the first wing and the second wing in a coordinated manner while the fluid flow-powered generator is in use. In certain embodiments, the fluid flow-powered generator is operable as an oscillating generator and in other embodiments, the fluid flow-powered generator is operable as a rotating generator. The rotating generator can be arranged along a horizontal axis or a vertical axis. Additionally, certain horizontally oriented generators may be operated as either oscillating generators or rotating generators.

    摘要翻译: 本文描述了流体流动发电机及其使用方法。 发电机具有可旋转的框架,其具有第一翼和第二翼。 第一翼和第二翼被枢转地安装到框架以允许调整迎角。 还提供控制器以在流体动力发电机使用的同时以协调的方式直接调整第一机翼和第二机翼的迎角。 在某些实施例中,流体动力发电机可操作为振荡发生器,并且在其它实施例中,流体动力发电机可操作为旋转发电机。 旋转发生器可以沿水平轴线或垂直轴线布置。 另外,某些水平取向的发电机可以作为振荡发电机或旋转发电机操作。

    Selective extraction of anions from solution

    公开(公告)号:US09901901B2

    公开(公告)日:2018-02-27

    申请号:US14402833

    申请日:2013-05-21

    发明人: Gellert Mezei

    摘要: A method of selectively extracting anions from an aqueous solution using an anion encapsulating aggregate formed upon the addition of a solvent, a copper contributor, a hydroxide contributor, a counterion contributor, and pyrazole to an aqueous solution containing the anions, or upon the addition of a solvent, a polymeric chain of [CuII(μ-OH)(μ-pz)]∞ and a counterion contributor to the aqueous solution. The aggregates include compounds of the formula cis CuIIx(OR1)y(R2pz)z, where R1 is H or an alkyl group, R2 is H, or an alkyl group or a charged group, pz is pyrazolate and each of x, y, and z is an integer between about 1 and about 40. In addition, ligand-containing anion encapsulating aggregates can be formed by synthesis with a lig-and-bound pyrazole or by substituting the ligand-bound pyrazole for the pyrazole incorporated in the aggregate.