公开(公告)号：US20110125302A1

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

申请号：US12604449

申请日：2009-10-23

申请人： Nagarajan Sethuraman ,  Jerome O. Schroeder ,  Soumen De ,  Chengyin Yuan ,  Stephan R. Biller ,  Frank Gajor ,  Jeffrey J. Byrnes ,  Narahari K. Hunsur

发明人： Nagarajan Sethuraman ,  Jerome O. Schroeder ,  Soumen De ,  Chengyin Yuan ,  Stephan R. Biller ,  Frank Gajor ,  Jeffrey J. Byrnes ,  Narahari K. Hunsur

IPC分类号： G06F19/00 ,  G06F11/36 ,  G05B9/02

CPC分类号： G05B9/02 ,  G06F11/3604

摘要： A method and system is provided for verifying and certifying the safety logic of a manufacturing automation system including safety logic, where the logic may include one or more safety modules, routines, programs and tasks or a combination thereof; testing specifications corresponding to the safety logic; one or more formal model generators adapted for automatically transforming the safety logic and testing specifications through a logic parser into their respective mathematical models, formatted for example, as a Petri-net or binary decision diagram; a safety logic verifier configured for automatically comparing the safety logic formal model against the testing specification formal model to verify the safety logic model for the purpose of certifying the safety logic. The testing specifications may include testing of safety logic behavior including reaching safe state, remaining in safe state without reset, recovering from safe state with reset and remaining active with false alarm detection.

摘要翻译： 提供了一种用于验证和认证包括安全逻辑的制造自动化系统的安全逻辑的方法和系统，其中逻辑可以包括一个或多个安全模块，例程，程序和任务或其组合; 测试规范对应于安全逻辑; 适用于通过逻辑解析器将安全逻辑和测试规范自动转换成其各自的数学模型的一个或多个形式模型发生器，其格式化为例如Petri网或二进制决策图; 安全逻辑验证器被配置用于自动地将安全逻辑形式模型与测试规范形式模型进行比较，以验证安全逻辑模型以证明安全逻辑。 测试规范可能包括测试安全逻辑行为，包括达到安全状态，保持安全状态，无需重置，从安全状态恢复，并通过虚假警报检测保持活动状态。

公开(公告)号：US20070005166A1

公开(公告)日：2007-01-04

申请号：US11171627

申请日：2005-06-30

申请人： Yilong Chen ,  Fangming Gu ,  David Berger ,  Frank Gajor ,  Joel Bias

发明人： Yilong Chen ,  Fangming Gu ,  David Berger ,  Frank Gajor ,  Joel Bias

IPC分类号： G06F19/00

CPC分类号： H04L12/66 ,  G05B2219/15117

摘要： Provided herein are systems useful in a manufacturing environment for transmitting operational commands to one or more workstations at which a workpiece is being acted upon by one or more pieces of manufacturing process equipment. A system according to the invention utilizes the 802.11a communication standard in conveying command signals wirelessly from a source to a programmable logic controller that is adapted to control the actions of a piece of manufacturing process equipment. A system according to the invention is adaptable to multiple-stage manufacturing operations through use of a plurality of receiving stations which are each equipped with a wireless modem in cooperative connection with a programmable logic controller that controls a particular piece of manufacturing process equipment at each stage. Systems and processes according to the invention are applicable to nearly any manufacturing process, and allow increased flexibility in management and configuration of manufacturing operations, while conferring a high degree of portability in many cases.

摘要翻译： 这里提供了在制造环境中有用的用于将操作命令发送到一个或多个工作站的系统，在该工作站中工件被一个或多个制造工艺设备作用在该工作站上。 根据本发明的系统利用802.11a通信标准来将命令信号从源无线地传送到可编程逻辑控制器，该可编程逻辑控制器适于控制一件制造工艺设备的动作。 根据本发明的系统通过使用多个接收站来适应多级制造操作，所述接收站各自配备有与可编程逻辑控制器协作连接的无线调制解调器，该可编程逻辑控制器控制每个阶段的特定制造过程设备 。 根据本发明的系统和方法适用于几乎任何制造过程，并且允许在制造操作的管理和配置方面增加灵活性，同时在许多情况下赋予高度可移植性。

公开(公告)号：US06443456B1

公开(公告)日：2002-09-03

申请号：US09702171

申请日：2000-10-30

申请人： Frank Gajor

发明人： Frank Gajor

IPC分类号： A63F100

CPC分类号： A63F3/00157 ,  A63F2001/005 ,  A63F2001/008

摘要： The method of the present invention involves card games in which the player plays multiple hands of cards during one play session. The cards are dealt out in horizontal fashion and may include three card, five card, seven card or higer card games. The player may wager on each horizontal row of cards dealt separately and each row of cards will be played as a separate poker game. The player may also make a separate wager (Parlay Wager) that will payoff if multiple winning hands are obtained in one play session. Additional versions of the game also provide for additional wagering. For example in a three card three hand game, the horizontal dealing of the cards are such that each row of cards are situated in sequential order so that first hand is directly over the second hand and the second hand is directly over the third so that a three card by three card matrix is created. In addition to having the ability to wager and win the three hands drawn in horizontal fashion and the parlay wager for multiple winning hands, the player also has the ability to win five additional ways (i.e., three vertical paylines and two diagonal combinations paylines).

摘要翻译： 本发明的方法涉及纸牌游戏，其中玩家在一个游戏过程中玩牌多张牌。 这些卡以水平方式处理，可能包括三张卡，五张卡，七张卡或更高的纸牌游戏。 玩家可以在分别处理的每个水平行卡上下注，并且每排卡将作为单独的扑克游戏来玩。 玩家也可以单独下注（Parlay Wager），如果在一场比赛中获得多次获胜的手牌，该赌注将会获得回报。 游戏的附加版本还提供额外的投注。 例如，在三卡三手游戏中，卡的水平交易使得每行卡片按顺序排列，使得第一只手直接在秒针上，而秒针直接在第三手上，使得 三卡三卡被创建。 除了能够下注并赢得以水平方式绘制的三只手牌和多次获胜手牌的平局下注之外，玩家还具有赢得五种额外方式（即三条垂直支付线和两条对角线组合支付线）的能力。