LOGIC CIRCUIT MODEL VERIFYING METHOD AND APPARATUS
    1.
    发明申请
    LOGIC CIRCUIT MODEL VERIFYING METHOD AND APPARATUS 审中-公开
    逻辑电路模型验证方法和装置

    公开(公告)号:US20100175036A1

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

    申请号:US12725709

    申请日:2010-03-17

    IPC分类号: G06F17/50

    CPC分类号: G06F17/5022 G01R31/318502

    摘要: To a logic circuit model, a test pattern by a combination of a first logical value A representing 0 or 1 and a second logical value B representing 1 or 0 as an inverse value corresponding to the first logical value A is given to calculate an output of the logic circuit model with a logical operation and, when the output is compared with an expected value for the test pattern and they are equal to each other, it is determined that the operation of the logic circuit model is correct. With the second logical value B representing 1 when the first logical value represents 0 and the second logical value B representing 0 when the first logical value A represents 1, a logical operation of the logic circuit model is performed.

    摘要翻译: 对于逻辑电路模型,给出通过组合表示0或1的第一逻辑值A和表示1或0的第二逻辑值B作为对应于第一逻辑值A的反向值的测试模式来计算输出 具有逻辑运算的逻辑电路模型,并且当将输出与测试模式的期望值进行比较并且它们彼此相等时,确定逻辑电路模型的操作是正确的。 当第一逻辑值表示0时第二逻辑值B表示1,当第一逻辑值A表示1时第二逻辑值B表示0,则执行逻辑电路模型的逻辑运算。

    Integrated circuit designing system, method and program
    3.
    发明授权
    Integrated circuit designing system, method and program 有权
    集成电路设计系统,方法和程序

    公开(公告)号:US07260791B2

    公开(公告)日:2007-08-21

    申请号:US10972412

    申请日:2004-10-26

    IPC分类号: G06F17/50

    CPC分类号: G06F17/5022

    摘要: When a simulation model generation unit converts logic on the gate level into a basic primitive which can be executed by a simulator to generate a simulation model, for the basic primitives a degeneracy processing unit determines and deletes a gate which can be deleted and which will not affect the delay stage count. The degeneracy processing unit is provided with a constant gate degeneracy unit which puts a plurality of constant gates together, a buffer degeneracy unit which deletes fan-out-free buffers and an identical fan-in gate degeneracy unit which puts identical fan-in gates together.

    摘要翻译: 当仿真模型生成单元将门级上的逻辑转换为可以由模拟器执行以生成模拟模型的基本原语时,对于基本原语,简并处理单元确定并删除可以被删除的门,哪些不会 影响延迟阶段计数。 简并处理单元设置有将多个恒定门放在一起的恒定栅极简并单元,一个删除无扇出缓冲器的缓冲器简并单元和将相同的扇入栅极放在一起的相同的扇入栅极简并单元 。

    MICROSCOPE AND METHOD FOR CONTROLLING MICROSCOPE
    4.
    发明申请
    MICROSCOPE AND METHOD FOR CONTROLLING MICROSCOPE 有权
    显微镜和控制微阵列的方法

    公开(公告)号:US20110058253A1

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

    申请号:US12946067

    申请日:2010-11-15

    IPC分类号: G02B21/06

    CPC分类号: G02B21/06

    摘要: A microscope includes a microscope main unit including a stage on which a specimen is to be placed; and a light source provided on the microscope main unit and emitting illumination light for illuminating the specimen. The microscope also includes a main power supply operable to be turned on and off; a sensor that senses the presence or absence of a subject in a front or side area of the microscope main unit; a determining unit that determines based on a result of the sensing whether the subject moves; and a control unit that turns on the light source when the main power supply is turned on, maintains the light source in an ON state when the determining unit determines that the subject moves, and turns off the light source when the determining unit determines that the subject does not move and a predetermined period of time passes.

    摘要翻译: 显微镜包括显微镜主单元,其包括待放置样本的载物台; 以及设置在显微镜主单元上并发射用于照射样本的照明光的光源。 显微镜还包括可操作以打开和关闭的主电源; 检测显微镜主单元的正面或侧面的被检体的存在或不存在的传感器; 确定单元,其基于所述感测的结果来确定所述被摄体是否移动; 以及控制单元,当所述主电源接通时接通所述光源,当所述确定单元确定所述被摄体移动时,将所述光源保持在ON状态,并且当所述确定单元确定所述光源 被摄体不移动并且经过预定的时间段。

    Electronic imaging apparatus provided with a dustproof member
    5.
    发明授权
    Electronic imaging apparatus provided with a dustproof member 有权
    具有防尘构件的电子摄像装置

    公开(公告)号:US07852397B2

    公开(公告)日:2010-12-14

    申请号:US11591865

    申请日:2006-11-02

    IPC分类号: H04N5/225

    摘要: An image pickup apparatus has an image sensor recording image information; a dustproof glass for keeping hermeticity of the periphery of the image sensor, placed in front of the image sensor; an optical filter removably placed in front of the dustproof glass; and a camera mount placed in front of the optical filter. The image pickup apparatus further has a parfocal adjusting device in which a focal position where the optical filter is demounted can be adjusted so as to be nearly equal to the focal position where the optical filter is mounted.

    摘要翻译: 图像拾取装置具有图像传感器记录图像信息; 用于保持图像传感器的周边的气密性的防尘玻璃,放置在图像传感器的前面; 可拆卸地放置在防尘玻璃前面的滤光器; 以及放置在滤光器前面的相机安装座。 图像拾取装置还具有其中可以将滤光器被拆卸的焦点位置调整为几乎等于安装有滤光器的焦点位置的对焦调整装置。

    Examination apparatus, fluoroscopy apparatus, examination method, and experimental method
    6.
    发明授权
    Examination apparatus, fluoroscopy apparatus, examination method, and experimental method 有权
    检查仪器,荧光透视仪,检查方法和实验方法

    公开(公告)号:US07589839B2

    公开(公告)日:2009-09-15

    申请号:US10594311

    申请日:2005-03-29

    IPC分类号: G01N21/64

    CPC分类号: G01N21/6458 G02B21/248

    摘要: A microscope examination apparatus is provided that includes a light source for emitting excitation light or illumination light to a specimen placed on a stage; an objective lens opposing the stage and capable of focusing fluorescence or reflected light from the specimen; an image-forming lens for forming an image of the specimen obtained by the objective lens; and an image-capturing unit for capturing the image of the specimen forming by the image-forming lens, wherein a plurality of the objective lenses having different magnifying powers is provided, and an objective-lens switching mechanism for switching among the objective lenses is provided, and wherein a plurality of the image-forming lenses having different magnifying powers is provided, and an image-forming-lens switching mechanism for switching among the image-forming lenses is provided.

    摘要翻译: 本发明提供一种显微镜检查装置,其包括:向放置在台架上的试样发射激发光或照明光的光源; 与舞台相对并且能够聚焦来自样本的荧光或反射光的物镜; 用于形成由所述物镜获得的所述样本的图像的图像形成透镜; 以及图像捕获单元,用于捕获由图像形成透镜形成的样本的图像,其中提供具有不同放大倍率的多个物镜,并且提供用于在物镜之间切换的物镜切换机构 并且其中提供了具有不同放大倍率的多个图像形成透镜,并且提供了用于在成像透镜之间切换的图像形成透镜切换机构。

    Total internal reflection fluorescence microscope
    7.
    发明授权
    Total internal reflection fluorescence microscope 有权
    全内反射荧光显微镜

    公开(公告)号:US07385758B2

    公开(公告)日:2008-06-10

    申请号:US10816489

    申请日:2004-03-31

    IPC分类号: G02B21/06

    摘要: A condenser lens is disposed in a position facing an objective lens via a specimen, a reflection mirror is movably disposed in the vicinity of an outermost part of a transmitted illuminative light path on the side of a transmitted illuminative light source from the condenser lens, and a laser beam output from a laser oscillation unit is reflected by the reflection mirror and is incident upon the condenser lens.

    摘要翻译: 聚光透镜通过试样设置在面向物镜的位置,反射镜可移动地设置在透镜照明光路的从聚光透镜侧透射的照明光源侧的最外部附近,以及 从激光振荡单元输出的激光束被反射镜反射并入射到聚光透镜。

    Image pickup apparatus
    9.
    发明申请
    Image pickup apparatus 有权
    摄像设备

    公开(公告)号:US20070229696A1

    公开(公告)日:2007-10-04

    申请号:US11591865

    申请日:2006-11-02

    IPC分类号: H04N5/225

    摘要: An image pickup apparatus has an image sensor recording image information; a dustproof glass for keeping hermeticity of the periphery of the image sensor, placed in front of the image sensor; an optical filter removably placed in front of the dustproof glass; and a camera mount placed in front of the optical filter. The image pickup apparatus further has a parfocal adjusting device in which a focal position where the optical filter is demounted can be adjusted so as to be nearly equal to the focal position where the optical filter is mounted.

    摘要翻译: 图像拾取装置具有图像传感器记录图像信息; 用于保持图像传感器的周边的气密性的防尘玻璃,放置在图像传感器的前面; 可拆卸地放置在防尘玻璃前面的滤光器; 以及放置在滤光器前面的相机安装座。 图像拾取装置还具有其中可以将滤光器被拆卸的焦点位置调整为几乎等于安装有滤光器的焦点位置的对焦调整装置。

    Exhaust-gas muffler
    10.
    发明授权
    Exhaust-gas muffler 有权
    废气消声器

    公开(公告)号:US09062581B2

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

    申请号:US13364319

    申请日:2012-02-02

    摘要: An exhaust-gas muffler includes a casing and a relief valve. The relief valve is provided to open when a pressure of an upstream exhaust-gas chamber is equal to or higher than a predetermined value. The relief valve includes a shutter, a spring, and a seal member. The shutter member is provided to face an open end of a gas passage provided between an upstream exhaust-gas chamber and a downstream exhaust-gas chamber. The spring is to bias the shutter member in a direction in which the gas passage is closed. The seal member is disposed on a downstream side of the gas passage. The seal member is made of a metal mesh material and has a disc shape to cover the open end of the gas passage.

    摘要翻译: 排气消声器包括壳体和安全阀。 当上游排气室的压力等于或高于预定值时,安全阀被设置成打开。 安全阀包括挡板,弹簧和密封构件。 挡板部件设置成面对设置在上游排气室和下游排气室之间的气体通道的开口端。 弹簧是沿着气体通道关闭的方向偏压挡板部件。 密封构件设置在气体通道的下游侧。 密封构件由金属网材料制成,并且具有覆盖气体通道的开口端的盘形状。