专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20080312890A1 SPECIFICATION VERIFICATION PROGRAM, COMPUTER-READABLE STORAGE MEDIUM STORING SPECIFICATION VERIFICATION PROGRAM, SPECIFICATION VERIFICATION APPARATUS, AND SPECIFICATION VERIFICATION METHOD 有权
标题翻译：规格验证程序，计算机可读存储介质存储规范验证程序，规范验证设备和规范验证方法
公开(公告)号：US20080312890A1
公开(公告)日：2008-12-18
申请号：US12136378
申请日：2008-06-10
申请人： Qiang ZHU , Hiroaki Iwashita , Koichiro Takayama , Tsuneo Nakata
发明人： Qiang ZHU , Hiroaki Iwashita , Koichiro Takayama , Tsuneo Nakata
IPC分类号： G06G7/48
CPC分类号： G06F8/10
摘要： Conditions necessary to be satisfied for execution of each use case from a use case description indicative of a requirements specification of the design object are acquired. Then a state satisfying the conditions, from among a set of states represented in a finite state machine model indicative of a design specification of the design object are detected. A presence or absence of an undetected state in the set of states in accordance with the detection is determined and output.
摘要翻译：获取从指示设计对象的要求规范的用例描述中执行每个用例所需要的条件。然后，检测从表示设计对象的设计规格的有限状态机模型中表示的一组状态中满足条件的状态。确定并输出根据检测的状态集合中的未检测状态的存在或不存在。

2. 发明申请

US20130306601A1 VACUUM ARC EXTINGUISHING CHANGE-OVER SELECTOR 有权
标题翻译：真空灭弧室更换选择器
公开(公告)号：US20130306601A1
公开(公告)日：2013-11-21
申请号：US13793720
申请日：2013-03-11
申请人： Qiang ZHU , Yiming YU , Chengbao WANG
发明人： Qiang ZHU , Yiming YU , Chengbao WANG
IPC分类号： H01H33/666
CPC分类号： H01H33/6661 , H01H9/0016 , H01H9/0038
摘要： Disclosed is a change-over selector with a vacuum arc extinguishing circuit, including a central shaft, a moving contact driven by the central shaft to rotate, and a first static contact and a second static contact circularly arranged on insulation laths of a cage body of the change-over selector, where the moving contact is driven by the central shaft to rotate to switch between the first static contact and the second static contact, the moving contact and the first and second static contacts form a change-over selection main-circuit, a vacuum arc extinguishing sub-circuit including a vacuum tube is connected in parallel to the change-over selection main-circuit, the vacuum tube is opened after the moving contact is separated from the first static contact, and the vacuum tube is closed before the moving contact is electrically connected to the second static contact.
摘要翻译：公开了一种具有真空灭弧电路的切换选择器，包括中心轴，由中心轴驱动旋转的活动触点，以及第一静触头和第二静触头，该第一静触头和第二静触头圆周地布置在保持架主体的绝缘板条上所述转换选择器，其中所述可动触点由所述中心轴驱动以旋转以在所述第一静触头和所述第二静触头之间切换，所述移动触头和所述第一和第二静触头形成转换选择主电路包括真空管的真空灭弧子回路与转换选择主回路并联连接，在动触头与第一静触头分离之后，真空管打开，真空管在之前关闭移动触头电连接到第二静触头。

3. 发明申请

US20120330632A1 METHOD FOR PREDICTING OPTIMIZED CRYSTAL STRUCTURES 有权
标题翻译：预测优化晶体结构的方法
公开(公告)号：US20120330632A1
公开(公告)日：2012-12-27
申请号：US13534861
申请日：2012-06-27
申请人： Artem R. OGANOV , Andriy O. LYAKHOV , Qiang ZHU
发明人： Artem R. OGANOV , Andriy O. LYAKHOV , Qiang ZHU
IPC分类号： G06G7/58 , G06F17/10
CPC分类号： G06N3/126 , G06F19/704 , G06F19/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算法从第一代晶体结构中选择最佳的晶体结构组和晶体结构的母体组。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式