Pressure sensor and method for fabricating the same
    41.
    发明申请
    Pressure sensor and method for fabricating the same 有权
    压力传感器及其制造方法

    公开(公告)号:US20050172722A1

    公开(公告)日:2005-08-11

    申请号:US10507367

    申请日:2003-03-27

    摘要: A pressure sensor comprising a plurality of sensor parts arranged in matrix. A first electrode being connected with first wiring and a second electrode being connected with second wiring are disposed oppositely through a cavity part in the sensor part. The second electrode bends to the first electrode side in response to a pressure from a specimen and touches the first electrode upon application of a pressure of a specified level or above. When the specimen is pressed against a pressure detecting region, both electrodes touch each other at a sensor part corresponding to a protrusions of the specimen and are separated at a sensor part corresponding to a recess. When a scanning signal is fed from a scanning circuit to one wiring and presence of a signal flowing through the second wiring is detected by a sensing circuit, a pressure being applied to each sensor part can be detected. Furthermore, the shape is detected by feeding the scanning signal from the scanning circuit to each first wiring sequentially and scanning the pressure detecting region generally.

    摘要翻译: 一种压力传感器,包括排列成矩阵的多个传感器部件。 与第一布线连接的第一电极和与第二布线连接的第二电极相对设置在传感器部分中的空腔部分中。 第二电极响应于来自试样的压力而弯曲到第一电极侧,并且在施加指定水平或更高的压力时接触第一电极。 当样本被压在压力检测区域上时,两个电极在对应于样本的突起的传感器部分处彼此接触并且在与凹部对应的传感器部分处分离。 当扫描信号从扫描电路馈送到一个布线并且通过感测电路检测到流过第二布线的信号的存在时,可以检测施加到每个传感器部分的压力。 此外,通过将扫描电路的扫描信号顺序地馈送到每个第一布线来检测形状,并且一般扫描压力检测区域。

    Femtocell channel assignment and power control for improved femtocell coverage and efficient cell search
    42.
    发明授权
    Femtocell channel assignment and power control for improved femtocell coverage and efficient cell search 有权
    毫微微小区信道分配和功率控制,用于改进的毫微微小区覆盖和有效的小区搜索

    公开(公告)号:US08280387B2

    公开(公告)日:2012-10-02

    申请号:US12463307

    申请日:2009-05-08

    IPC分类号: H04W40/00 H04B7/00 H04B15/00

    摘要: A method and a communication system including femtocells within a macrocell efficiently manage interference between the different femtocells, and between each femtocell and a macrocell. An efficient frequency assignment scheme for the femtocells minimizes interference between a femtocell and a macrocell and among different femtocells using a spectrum-sensing technique carried out by the femtocells. The frequency assignment scheme selects a suitable channel from a set of candidate channels and ensures that the femtocell has an acceptable coverage area even when it is close to the macrocell base station (BS). The frequency assignment scheme favors a co-channel implementation to take advantage of the hand-off and cell search characteristics of the co-channel implementation. In one embodiment, a joint power control and frequency band assignment technique is used, which partitions the coverage area of the macrocell into an inner region, a power control region, and an outer region. Depending on a femtocell's location, it is assigned a certain power level and a frequency band. Power control may be used within the power-control region while, in the other regions, a fixed transmission power may be used.

    摘要翻译: 包括宏小区内的毫微微小区的方法和通信系统有效地管理不同毫微微小区之间以及每个毫微微小区与宏小区之间的干扰。 毫微微小区的有效的频率分配方案使用由毫微微小区执行的频谱感测技术来最小化毫微微小区和宏小区之间以及不同毫微微小区之间的干扰。 频率分配方案从一组候选信道中选择一个合适的信道,并确保毫微微小区即使在接近宏小区基站(BS)时也具有可接受的覆盖区域。 频率分配方案有利于共同信道实现来利用同频道实现的切换和小区搜索特性。 在一个实施例中,使用联合功率控制和频带分配技术,其将宏小区的覆盖区域划分为内部区域,功率控制区域和外部区域。 根据毫微微小区的位置,它被分配一定的功率电平和频带。 功率控制可以在功率控制区域内使用,而在其它区域中可以使用固定的发射功率。

    DIRECTED TESTING FOR PROPERTY VIOLATIONS
    43.
    发明申请
    DIRECTED TESTING FOR PROPERTY VIOLATIONS 有权
    针对物业违例的指示性测试

    公开(公告)号:US20110072417A1

    公开(公告)日:2011-03-24

    申请号:US12722404

    申请日:2010-03-11

    IPC分类号: G06F9/44

    CPC分类号: G06F11/3676

    摘要: A method and apparatus is disclosed herein for automated testing of an application. A processing system executes the application using test input values that are generated for testing the application with respect to a property of interest. During execution, constraints among symbolic variables of the application are collected. Property state is collected and is used to determine whether a branch in the application is relevant to the property. Based on the collected constraints and branch relevancy, new test input values are generated. The process is repeated until all paths in the application corresponding to relevant branches have been explored.

    摘要翻译: 本文公开了一种用于应用的自动化测试的方法和装置。 处理系统使用针对感兴趣的属性测试应用而生成的测试输入值来执行应用。 在执行期间,收集应用程序的符号变量之间的约束。 收集财产状态,并用于确定应用程序中的分支是否与该属性相关。 基于收集的约束和分支相关性,生成新的测试输入值。 重复该过程,直到已经探索到与相关分支相对应的应用中的所有路径。

    MODULE SYSTEM FOR POLYMORPHIC PI-CALCULUS
    44.
    发明申请
    MODULE SYSTEM FOR POLYMORPHIC PI-CALCULUS 审中-公开
    多元PI-CALCULUS的模块系统

    公开(公告)号:US20100223604A1

    公开(公告)日:2010-09-02

    申请号:US12683930

    申请日:2010-01-07

    IPC分类号: G06F9/45

    CPC分类号: G06F8/314

    摘要: A method and apparatus is disclosed herein for using a module system for polymorphic π-calculus. In one embodiment, the method comprises receiving a formal specification of a software program; and performing automatic analysis on the formal specification using a module system fitted with processes of the polymorphic π-calculus processes.

    摘要翻译: 本文公开了一种使用多态性和积分的模块系统的方法和装置。 在一个实施例中,该方法包括接收软件程序的正式规范; 并使用配有多态性和积分过程的过程的模块系统对形式规范进行自动分析。

    Communication control method and system
    45.
    发明授权
    Communication control method and system 失效
    通信控制方法和系统

    公开(公告)号:US07764613B2

    公开(公告)日:2010-07-27

    申请号:US10915449

    申请日:2004-08-10

    IPC分类号: H04L12/26 H04L12/56

    摘要: A transmitter device 20, in transmitting a predetermined number of data blocks out of a plurality of data blocks to a receiver device 10 via a relay device 40, divides and writes into data blocks transmitted in succession, a request code for requesting relay device 40 to relay remaining data blocks. Relay device 40, in the case of accepting the request shown in the request code that is divided and written in the data blocks transmitted from transmitter device 20, notifies the acceptance of the request to transmitter device 20. Transmitter device 20, upon receiving the notification, then transmits the remaining data blocks in succession to relay device 40.

    摘要翻译: 发送装置20在经由中继装置40向接收装置10发送多个数据块中的规定数量的数据块的情况下,分割并写入依次发送的数据块,请求中继装置40的请求码 继电器剩余数据块。 在接受请求代码中所示的分配并写入从发送机装置20发送的数据块中的请求的情况下,中继装置40向发送装置20通知对该请求的接受。发送装置20在收到通知后 ,然后将剩余的数据块相继发送到中继装置40。

    LANGUAGE FRAMEWORK AND INFRASTRUCTURE FOR SAFE AND COMPOSABLE APPLICATIONS
    46.
    发明申请
    LANGUAGE FRAMEWORK AND INFRASTRUCTURE FOR SAFE AND COMPOSABLE APPLICATIONS 审中-公开
    语言框架和基础设施安全和可复合应用

    公开(公告)号:US20090125977A1

    公开(公告)日:2009-05-14

    申请号:US12252229

    申请日:2008-10-15

    IPC分类号: G06F9/46 G06F21/00

    摘要: A method and apparatus is disclosed herein for using a language framework for composable programs. In one embodiment, the method comprises accessing active content having a software component embedded therein, where the software component has a plurality of components that together implement a work flow of a sequence of activities, the plurality of components representing one or more external services, one or more user interface controls and one or more inputs and output; executing the software component, including mediating communication between components using an information flow-based security model.

    摘要翻译: 本文公开了一种使用可组合程序的语言框架的方法和装置。 在一个实施例中,该方法包括访问具有嵌入其中的软件组件的活动内容,其中软件组件具有多个组件,这些组件一起实现一系列活动的工作流,多个组件表示一个或多个外部服务,一个 或更多的用户界面控制和一个或多个输入和输出; 执行软件组件,包括使用基于信息流的安全模型来调用组件之间的通信。

    METHOD AND SYSTEM OF THRESHOLD SELECTION FOR RELIABLE RELAY STATIONS GROUPING FOR DOWNLINK TRANSMISSION
    47.
    发明申请
    METHOD AND SYSTEM OF THRESHOLD SELECTION FOR RELIABLE RELAY STATIONS GROUPING FOR DOWNLINK TRANSMISSION 审中-公开
    用于下行链路传输分组的可靠继电器的阈值选择方法和系统

    公开(公告)号:US20090116419A1

    公开(公告)日:2009-05-07

    申请号:US12257325

    申请日:2008-10-23

    IPC分类号: H04H20/71

    摘要: A relaying selection and cooperative communications method provides a threshold selection criterion for forming a reliable group of relay stations (RSs) based on one or more design criteria. Possible design criteria include an outage probability constraint and a throughput constraint. The threshold value is selected according to, for example, transmission paths (e.g., line-of-sight, obstructed-light-of-sight, non-light-of-sight) or channel conditions (e.g., signal-to-noise-ratio) between the base station (BS) and the RSs (i.e., BS-RSs link) and between the RSs and the mobile station (MS) (i.e., RSs-MS link), respectively.

    摘要翻译: 中继选择和协作通信方法基于一个或多个设计标准提供用于形成可靠的中继站组(RS)的阈值选择准则。 可能的设计标准包括中断概率约束和吞吐量约束。 根据例如传输路径(例如,视线,被遮蔽的视野,不可见光)或信道条件(例如,信噪比)来选择阈值, 基站(BS)和RS(即BS-RS链路)之间以及RS和移动台(MS)之间的RS(比例)比率)(即,RSs-MS链路)。

    METHOD FOR TEST SUITE REDUCTION THROUGH SYSTEM CALL COVERAGE CRITERION
    48.
    发明申请
    METHOD FOR TEST SUITE REDUCTION THROUGH SYSTEM CALL COVERAGE CRITERION 审中-公开
    通过系统呼叫覆盖标准测试套件减少的方法

    公开(公告)号:US20090070746A1

    公开(公告)日:2009-03-12

    申请号:US12204654

    申请日:2008-09-04

    IPC分类号: G06F11/36

    CPC分类号: G06F11/3676

    摘要: A method and apparatus is disclosed herein for determining whether a test case is to be included in a test suite. In one embodiment, the method comprises executing an application with test inputs of a test case during performance of software application testing and using a Finite State Machine (FSM) model of observable events generated from execution of other test cases in the test suite to determine whether to include the test case in the test suite for use in future testing of the application.

    摘要翻译: 本文公开了一种用于确定测试案例是否包括在测试套件中的方法和装置。 在一个实施例中,该方法包括在执行软件应用测试期间使用测试用例的测试输入执行应用,并且使用由测试套件中的其他测试用例的执行产生的可观察事件的有限状态机(FSM)模型来确定是否 将测试用例包含在测试套件中,以供将来测试应用。