公开(公告)号：US20070237387A1

公开(公告)日：2007-10-11

申请号：US11404257

申请日：2006-04-11

申请人： Shmuel Avidan ,  Qiang Zhu

发明人： Shmuel Avidan ,  Qiang Zhu

IPC分类号： G06K9/00

CPC分类号： G06K9/00369 ,  G06K9/4614 ,  G06K9/4647

摘要： A method and system is presented for detecting humans in images of a scene acquired by a camera. Gradients of pixels in the image are determined and sorted into bins of a histogram. An integral image is stored for each bin of the histogram. Features are extracted fom the integral images, the extracted features corresponding to a subset of a substantially larger set of variably sized and randomly selected blocks of pixels in the test image. The features are applied to a cascaded classifier to determine whether the test image includes a human or not.

摘要翻译： 提出了一种用于在由相机获取的场景的图像中检测人的方法和系统。 确定图像中的像素的渐变并将其分类成直方图的块。 为直方图的每个仓储存积分图像。 提取特征是整体图像，提取的特征对应于测试图像中可变尺寸和随机选择的像素块的基本上较大的集合的子集。 这些特征应用于级联分类器，以确定测试图像是否包含人类。

公开(公告)号：US07373012B2

公开(公告)日：2008-05-13

申请号：US11048536

申请日：2005-02-01

申请人： Shmuel Avidan ,  Qiang Zhu

发明人： Shmuel Avidan ,  Qiang Zhu

IPC分类号： G06K9/40

CPC分类号： G06K9/4609 ,  G06K9/38 ,  G06T7/215

摘要： A computer implemented method models a background in a sequence of frames of a video. For each frame, the method detects static corners using an array of pixels of the frame, and extracts, for each static corner, features from a window of pixels around the static corner. For each static corner, a descriptor is determined from the corresponding features. Each static corner and corresponding descriptor is stored in a memory, and each static corner is classified as a background or foreground according to the descriptor to model a background in the video.

摘要翻译： 计算机实现的方法对视频帧的序列进行建模。 对于每个帧，该方法使用帧的像素数组来检测静态角，并为每个静态角提取来自静态角上的像素窗口的特征。 对于每个静态角，从相应的特征确定描述符。 每个静态角和相应的描述符都存储在一个存储器中，根据描述符将每个静态角分类为背景或前景，以对视频中的背景进行建模。

公开(公告)号：US20060171594A1

公开(公告)日：2006-08-03

申请号：US11048536

申请日：2005-02-01

申请人： Shmuel Avidan ,  Qiang Zhu

发明人： Shmuel Avidan ,  Qiang Zhu

IPC分类号： G06K9/40 ,  G06K9/62

CPC分类号： G06K9/4609 ,  G06K9/38 ,  G06T7/215

摘要： A computer implemented method models a background in a sequence of frames of a video. For each frame, the method detects static corners using an array of pixels of the frame, and extracts, for each static corner, features from a window of pixels around the static corner. For each static corner, a descriptor is determined from the corresponding features. Each static corner and corresponding descriptor is stored in a memory, and each static corner is classified as a background or foreground according to the descriptor to model a background in the video.

摘要翻译： 计算机实现的方法对视频帧的序列进行建模。 对于每个帧，该方法使用帧的像素数组来检测静态角，并为每个静态角提取来自静态角上的像素窗口的特征。 对于每个静态角，从相应的特征确定描述符。 每个静态角和相应的描述符都存储在一个存储器中，并且根据描述符将每个静态角分类为背景或前景，以对视频中的背景进行建模。

公开(公告)号：US08835680B1

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

申请号：US14117343

申请日：2012-05-07

申请人： Qingjun Deng ,  Shaohui Wang ,  Qiang Zhu ,  Taiping Gao ,  Yongsheng Li

发明人： Qingjun Deng ,  Shaohui Wang ,  Qiang Zhu ,  Taiping Gao ,  Yongsheng Li

IPC分类号： C07C61/16 ,  C07C53/134 ,  C07C51/00

CPC分类号： C07C51/00 ,  C07C51/353 ,  C07C403/20 ,  C07C2601/16 ,  C07C59/64

摘要： A stereospecific synthesis process for tretinoin compounds comprises the following steps: using substituted triphenyl phosphine salt and β-formyl crotonic acid as raw material to carry out WITTIG reaction under the action of alkali; then adjusting the pH of the reaction liquid to 5-10; adding palladium compound or rhodium compound to carry out isomerization directly and obtain tretinoin compounds with desired configuration. The product yield of the process is high and the intermediate product in the reaction dose not need to be separated. The process is easy to operate and can save the production cost and as well is suitable for industrial production.

摘要翻译： 维A酸化合物的立体特异性合成方法包括以下步骤：使用取代的三苯基膦盐和巴豆酮基巴豆酸作为原料，在碱的作用下进行WITTIG反应; 然后将反应液的pH调节至5-10; 加入钯化合物或铑化合物直接进行异构化，得到具有所需结构的维甲酸化合物。 该方法的产物产率高，反应中的中间产物不需要分离。 该工艺易于操作，可节省生产成本，适用于工业生产。

公开(公告)号：US07937680B2

公开(公告)日：2011-05-03

申请号：US11214848

申请日：2005-08-31

申请人： Qiang Zhu ,  Ryosuke Oishi ,  Tsuneo Nakata ,  Takashi Hasegawa

发明人： Qiang Zhu ,  Ryosuke Oishi ,  Tsuneo Nakata ,  Takashi Hasegawa

IPC分类号： G06F17/50 ,  G06F21/00 ,  G06Q20/00

CPC分类号： G06F8/10 ,  G06Q20/4012

摘要： An apparatus for verifying a specification includes a use-case extracting unit, a first setting unit, an operation extracting unit, a second setting unit, and a determining unit. The use-case extracting unit extracts an unprocessed use case from specification data. The first setting unit sets a condition based on a precondition, a postcondition, and an invariant condition for the use case. The operation extracting unit selects an event flow of an unprocessed path from the specification data and extracts an unprocessed operation (description) from the event flow selected. The second setting unit sets a precondition and a postcondition for the operation based on the extracted operation (description). The determining unit determines whether the invariant condition is valid.

摘要翻译： 用于验证规范的装置包括用例提取单元，第一设置单元，操作提取单元，第二设置单元和确定单元。 用例提取单元从规范数据中提取未处理的用例。 第一设置单元基于用例的前提条件，后置条件和不变条件设置条件。 操作提取单元从指定数据中选择未处理路径的事件流，并从所选择的事件流中提取未处理的操作（描述）。 第二设定单元基于提取的操作（描述）设置操作的前提条件和后置条件。 确定单元确定不变条件是否有效。

公开(公告)号：US07821228B2

公开(公告)日：2010-10-26

申请号：US11946861

申请日：2007-11-29

申请人： Qiang Zhu ,  Shan-Ming Liao

发明人： Qiang Zhu ,  Shan-Ming Liao

IPC分类号： H02J7/00

CPC分类号： H02J7/0054

摘要： A charger includes a battery module, a boosting and charging circuit, a low voltage boosting circuit, and a charging interface. The battery module provides an operating voltage for the boosting and charging circuit and the low voltage boosting circuit. When the operating voltage is greater than a reference voltage of the boosting and charging circuit, the boosting and charging circuit module works and outputs a charging voltage to the charging interface. When the operating voltage is smaller than the reference voltage of the boosting and charging circuit but greater than a starting voltage of the low voltage boosting circuit, the low voltage boosting circuit works and boosts the operating voltage to the boosting and charging circuit, and then the boosting and charging circuit module works and outputs the charging voltage to the charging interface for the mobile phone.

摘要翻译： 充电器包括电池模块，升压和充电电路，低压升压电路和充电接口。 电池模块为升压和充电电路和低压升压电路提供工作电压。 当工作电压大于升压和充电电路的参考电压时，升压和充电电路模块工作并向充电接口输出充电电压。 当工作电压小于升压和充电电路的参考电压但大于低压升压电路的启动电压时，低压升压电路工作并将工作电压升压到升压和充电电路，然后 升压和充电电路模块工作，并将充电电压输出到手机的充电接口。

公开(公告)号：US20090326906A1

公开(公告)日：2009-12-31

申请号：US12372816

申请日：2009-02-18

申请人： Akio MATSUDA ,  Ryosuke Oishi ,  Qiang Zhu

发明人： Akio MATSUDA ,  Ryosuke Oishi ,  Qiang Zhu

IPC分类号： G06F9/44

CPC分类号： G06F11/3608

摘要： A computer-readable recording medium stores therein a verification support program that causes a computer to execute selecting arbitrarily a use case from a use case diagram for a verification target; extracting a precondition and a postcondition of the use case selected at the selecting; and converting, to a Kripke model, a finite state machine model corresponding to the use case selected at the selecting. The verification support program further causes the computer to execute specifying, based on the precondition and the postcondition extracted at the extracting, a Kripke initial state, a Kripke precondition, and a Kripke postcondition of the Kripke model obtained at the converting; and generating, based on the Kripke precondition and the Kripke postcondition specified at the specifying, a Kripke property of the use case selected at the selecting.

摘要翻译： 计算机可读记录介质中存储有一个验证支持程序，该程序使计算机从用于验证目标的用例图中任意选择使用案例; 提取在选择中选择的用例的前提条件和后置条件; 并将Kripke模型转换成与选择时选择的用例对应的有限状态机模型。 验证支持程序进一步使计算机根据在提取时提取的前提条件和后置条件执行指定，该转换时获得的Kripke模型的Kripke初始状态，Kripke前提条件和Kripke后置条件; 并根据指定的Kripke前提条件和Kripke后置条件生成在选择中选择的用例的Kripke属性。

公开(公告)号：US20090160091A1

公开(公告)日：2009-06-25

申请号：US11989271

申请日：2006-06-29

申请人： Qiang Zhu ,  Andrew Phillip Jackson

发明人： Qiang Zhu ,  Andrew Phillip Jackson

IPC分类号： B22D17/00 ,  B29C45/34

CPC分类号： B22C9/06 ,  B22D17/007 ,  B22D17/22 ,  F04D29/284 ,  F05D2220/40

摘要： A method for forming a turbine or compressor wheel from a semi-solid material uses a die assembly that has an inner cartridge made up from a plurality of segments and an outer die. The semi-solid material is injected under pressure and high temperature into the die so that it flows into blade cavities defined between the segments of the cartridge. The cartridge is removed from the outer die and the segments are then separated to release the wheel.

摘要翻译： 用于从半固体材料形成涡轮或压缩机叶轮的方法使用具有由多个段和外模构成的内筒的模组件。 将半固体材料在压力和高温下注入模具中，使其流入限定在盒的段之间的叶片空腔。 将盒从外模上拆下，然后分开该片以释放轮。

公开(公告)号：US20090121105A1

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

申请号：US11953873

申请日：2007-12-11

申请人： Qiang Zhu ,  Jin-Man Chen

发明人： Qiang Zhu ,  Jin-Man Chen

IPC分类号： A47B96/06 ,  G06F1/16

CPC分类号： G06F1/187

摘要： A mounting apparatus is provided to readily fix a data storage device defining at least one hole in place. The mounting apparatus includes a bracket holding the storage device, a securing plate, and a pole coupled to the securing plate. The bracket defines at least one through hole corresponding to the hole of the storage device, and a positioning plate defining a sliding groove extends perpendicularly from the bracket. At least one post extends from the securing plate, and engages in the corresponding hole of the storage device to fasten the storage device. One end of the pole is pivotably mounted on the bracket, and the other end of the pole extends though the sliding groove of the positioning plate, and is slidable in the sliding groove to control the post of the securing plate to engage or disengage the hole of the storage device.

摘要翻译： 提供了一种安装装置，用于容易地将限定至少一个孔的数据存储装置固定到位。 安装装置包括保持存储装置的支架，固定板和联接到固定板的杆。 支架限定与存储装置的孔对应的至少一个通孔，并且限定滑动槽的定位板垂直于支架延伸。 至少一个支柱从固定板延伸，并且接合在存储装置的相应的孔中以紧固存储装置。 杆的一端可枢转地安装在支架上，并且杆的另一端延伸穿过定位板的滑动槽，并且可在滑动槽中滑动以控制固定板的柱接合或脱开孔 的存储设备。

公开(公告)号：US20070261012A1

公开(公告)日：2007-11-08

申请号：US11543025

申请日：2006-10-05

申请人： Akio Matsuda ,  Qiang Zhu ,  Ryosuke Oishi

发明人： Akio Matsuda ,  Qiang Zhu ,  Ryosuke Oishi

IPC分类号： G06F17/50

CPC分类号： G06F17/504

摘要： A method of generating a scenario includes generating a specification model by describing a specification in a predetermined descriptive language, extracting a plurality of operations from the specification model, generating a plurality of operation descriptions, each of which corresponds to one of the operations and includes an operation name and a constraint condition, generating at least one cause-effect graph that combines the operations based on the operation descriptions, and extracting as a scenario a series of operations from the cause-effect graph.

摘要翻译： 一种产生场景的方法包括通过以预定描述语言描述规范来生成规范模型，从规范模型中提取多个操作，生成多个操作描述，每个操作描述对应于一个操作，并且包括 操作名称和约束条件，生成组合基于操作描述的操作的至少一个因果图，并从因果图提取作为场景的一系列操作。