会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 3. 发明授权
    • Method and apparatus for verifying specification, and computer product
    • 用于验证规格的方法和装置以及计算机产品
    • US07937680B2
    • 2011-05-03
    • US11214848
    • 2005-08-31
    • Qiang ZhuRyosuke OishiTsuneo NakataTakashi Hasegawa
    • Qiang ZhuRyosuke OishiTsuneo NakataTakashi Hasegawa
    • G06F17/50G06F21/00G06Q20/00
    • G06F8/10G06Q20/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.
    • 用于验证规范的装置包括用例提取单元,第一设置单元,操作提取单元,第二设置单元和确定单元。 用例提取单元从规范数据中提取未处理的用例。 第一设置单元基于用例的前提条件,后置条件和不变条件设置条件。 操作提取单元从指定数据中选择未处理路径的事件流,并从所选择的事件流中提取未处理的操作(描述)。 第二设定单元基于提取的操作(描述)设置操作的前提条件和后置条件。 确定单元确定不变条件是否有效。
    • 4. 发明授权
    • Mobile phone charger
    • 手机充电器
    • US07821228B2
    • 2010-10-26
    • US11946861
    • 2007-11-29
    • Qiang ZhuShan-Ming Liao
    • Qiang ZhuShan-Ming Liao
    • H02J7/00
    • 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.
    • 充电器包括电池模块,升压和充电电路,低压升压电路和充电接口。 电池模块为升压和充电电路和低压升压电路提供工作电压。 当工作电压大于升压和充电电路的参考电压时,升压和充电电路模块工作并向充电接口输出充电电压。 当工作电压小于升压和充电电路的参考电压但大于低压升压电路的启动电压时,低压升压电路工作并将工作电压升压到升压和充电电路,然后 升压和充电电路模块工作,并将充电电压输出到手机的充电接口。
    • 5. 发明申请
    • VERIFICATION SUPPORT APPARATUS, VERIFICATION SUPPORT METHOD, AND COMPUTER PRODUCT
    • 验证支持设备,验证支持方法和计算机产品
    • US20090326906A1
    • 2009-12-31
    • US12372816
    • 2009-02-18
    • Akio MATSUDARyosuke OishiQiang Zhu
    • Akio MATSUDARyosuke OishiQiang Zhu
    • G06F9/44
    • 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属性。
    • 7. 发明申请
    • MOUNTING APPARATUS FOR DATA STORAGE DEVICE
    • 数据存储设备的安装设备
    • US20090121105A1
    • 2009-05-14
    • US11953873
    • 2007-12-11
    • Qiang ZhuJin-Man Chen
    • Qiang ZhuJin-Man Chen
    • A47B96/06G06F1/16
    • 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.
    • 提供了一种安装装置,用于容易地将限定至少一个孔的数据存储装置固定到位。 安装装置包括保持存储装置的支架,固定板和联接到固定板的杆。 支架限定与存储装置的孔对应的至少一个通孔,并且限定滑动槽的定位板垂直于支架延伸。 至少一个支柱从固定板延伸,并且接合在存储装置的相应的孔中以紧固存储装置。 杆的一端可枢转地安装在支架上,并且杆的另一端延伸穿过定位板的滑动槽,并且可在滑动槽中滑动以控制固定板的柱接合或脱开孔 的存储设备。
    • 9. 发明授权
    • Method for predicting optimized crystal structures
    • 预测优化晶体结构的方法
    • US09009009B2
    • 2015-04-14
    • US13534861
    • 2012-06-27
    • Artem R. OganovAndriy O. LyakhovQiang Zhu
    • Artem R. OganovAndriy O. LyakhovQiang Zhu
    • G06F7/50G06N3/12G06F19/00
    • G06N3/126G06F19/704G06F19/707
    • Disclosed is a method and system for prediction of an optimized crystal structure using an evolutionary algorithm that includes inputting characterization information of a chemical structure and input parameters, generating a first generation of crystal structures from the characterization information using symmetrical initialization, optimizing the chemical structure of the first generation of crystal structures according to the input parameters, inputting the optimized first generation of crystal structures into a niching algorithm, producing a child group of crystal structures from the parent group of crystal structures using a variation operator, and adding the child group of crystal structures to an optimal group of crystal structures to form a next generation, with the niching algorithm selecting an optimal group of crystal structures and a parent group of crystal structures from the first generation of crystal structures.
    • 公开了一种使用进化算法预测优化晶体结构的方法和系统,其包括输入化学结构和输入参数的表征信息,使用对称初始化从表征信息产生第一代晶体结构,优化化学结构的化学结构 根据输入参数的第一代晶体结构,将优化的第一代晶体结构输入到niching算法中,使用变异算子从母体晶体结构组中产生一组晶体结构,并添加子组 晶体结构到最佳组的晶体结构以形成下一代,其中niching算法从第一代晶体结构中选择最佳的晶体结构组和晶体结构的母体组。