-
公开(公告)号：US20070083352A1
公开(公告)日：2007-04-12
申请号：US11237028
申请日：2005-09-28
申请人： Vijay Raghavan , Ebrahim Mestchian
发明人： Vijay Raghavan , Ebrahim Mestchian
IPC分类号： G06F17/50
CPC分类号： G06F8/10
摘要： The present invention provides a method and system for stage evaluation of a state machine model. Two types of transitions are used: first-stage transitions and second-stage transitions for a two-stage evaluation. In one embodiment, top-down processing and bottom-up processing may be combined using a two-stage evaluation. First-stage transitions are used with top-down processing while second-stage transitions are used with bottom-up processing. Certain conditions are used to determine if a switch from one type of stage processing to another type of stage processing is needed.
摘要翻译： 本发明提供了一种用于状态机模型的阶段评估的方法和系统。 使用两种类型的转换：用于两阶段评估的第一阶段转换和第二阶段转换。 在一个实施例中，自顶向下处理和自底向上处理可以使用两阶段评估来组合。 第一级转换用于自顶向下处理，而第二级转换用于自下而上处理。 使用某些条件来确定是否需要从一种类型的级处理到另一种级处理的切换。
-
公开(公告)号：US20060184514A1
公开(公告)日：2006-08-17
申请号：US11184040
申请日：2004-07-22
申请人： Weiyi Meng , Vijay Raghavan , Zonghuan Wu , Clement Yu
发明人： Weiyi Meng , Vijay Raghavan , Zonghuan Wu , Clement Yu
CPC分类号： G06F16/951
摘要： A large-scale metasearch engine is provided. The engine has three main components. A discovery component examines web page content to discover and identify search engines. A connection component connects the metasearch engine to each search engine that has been identified. A search result extraction component extracts useful information from each result page returned from said search engines for any particular query. A method for a query of internet pages by use of the novel metasearch engine is also provided.
摘要翻译： 提供了大型元搜索引擎。 发动机有三个主要部件。 发现组件检查网页内容以发现和识别搜索引擎。 连接组件将元搜索引擎连接到已识别的每个搜索引擎。 搜索结果提取组件从针对任何特定查询的所述搜索引擎返回的每个结果页面中提取有用信息。 还提供了一种通过使用新颖的元搜索引擎查询互联网页面的方法。
-
公开(公告)号：US08826255B1
公开(公告)日：2014-09-02
申请号：US11820058
申请日：2007-06-18
申请人： Srinath Avadhanula , Vijay Raghavan
发明人： Srinath Avadhanula , Vijay Raghavan
IPC分类号： G06F9/45
CPC分类号： G06F8/433
摘要： A control flow graph may be generated from a model. The control flow graph may be restructured by converting at least one cyclical unstructured region of a control flow graph into a structured region. The restructuring may involve introducing loop head and/or bottom nodes, serving as incident nodes for loop entry or exit, correspondingly. Loop back-edges may be re-routed to loop entry nodes, while all exit nodes may be re-rerouted to loop exit nodes, as long as the control flow within the loop is properly directed using control flow constructs.
摘要翻译： 可以从模型生成控制流程图。 可以通过将控制流程图的至少一个循环非结构化区域转换成结构化区域来重构控制流程图。 重组可以包括引入循环头部和/或底部节点，作为循环进入或退出的入口节点。 循环后沿可以重新路由到循环入口节点，而所有出口节点可以被重新路由到循环退出节点，只要循环内的控制流程使用控制流构造正确地定向。
-
公开(公告)号：US08214783B2
公开(公告)日：2012-07-03
申请号：US13106951
申请日：2011-05-13
CPC分类号： G06F8/10
摘要： The present invention provides a method and system for stage evaluation of a state machine model. Two types of transitions are used: first-stage transitions and second-stage transitions for a two-stage evaluation. In one embodiment, top-down processing and bottom-up processing may be combined using a two-stage evaluation. First-stage transitions are used with top-down processing while second-stage transitions are used with bottom-up processing. Certain conditions are used to determine if a switch from one type of stage processing to another type of stage processing is needed.
摘要翻译： 本发明提供了一种用于状态机模型的阶段评估的方法和系统。 使用两种类型的转换：用于两阶段评估的第一阶段转换和第二阶段转换。 在一个实施例中，自顶向下处理和自底向上处理可以使用两阶段评估来组合。 第一级转换用于自顶向下处理，而第二级转换用于自下而上处理。 使用某些条件来确定是否需要从一种类型的级处理到另一种级处理的切换。
-
公开(公告)号：US20110296435A1
公开(公告)日：2011-12-01
申请号：US13117531
申请日：2011-05-27
摘要： A system and method may generate executable block diagrams in which at least some of the blocks run in accordance with message-based execution semantics. A message may include an input data payload that does not change over time, and the message may persist for only a determined time interval during execution of block diagram. A message-based execution engine may control execution of message-based blocks in which a source block may generate a message at a particular point in time, the message may be sent to one or more destination blocks triggering execution of those blocks, and the message may be destroyed on or after a determined time interval. Other execution domains, such as a time-based or state-based execution domain, may be provided, and the system may implement a hybrid execution model. A verification engine may provide one or more tools for evaluating and verifying operation of message-based blocks. The verification engine may support one or more verification blocks that may be added to the block diagram and associated with the diagram's message-based blocks. The verification blocks may capture and present messages exchanged among the message-based blocks. The verification blocks may also specify an expected interaction of messages, and determine whether the actual messages are equivalent to the expected interaction. If not, the verification block may perform one or more predefined actions, such as suspending further execution of the block diagram.
摘要翻译： 系统和方法可以生成可执行框图，其中至少一些块根据基于消息的执行语义运行。 消息可以包括不随时间改变的输入数据有效载荷，并且消息可以在执行框图期间仅持续确定的时间间隔。 基于消息的执行引擎可以控制基于消息的块的执行，其中源块可以在特定时间点生成消息，该消息可以被发送到触发这些块的执行的一个或多个目的地块，并且消息 可能在确定的时间间隔之后或之后销毁。 可以提供其他执行域，例如基于时间或状态的执行域，并且系统可以实现混合执行模型。 验证引擎可以提供用于评估和验证基于消息的块的操作的一个或多个工具。 验证引擎可以支持一个或多个可以被添加到框图并与图的基于消息的块相关联的验证块。 验证块可以捕获并呈现在基于消息的块之间交换的消息。 验证块还可以指定消息的预期交互，并确定实际消息是否等同于预期的交互。 如果不是，验证块可以执行一个或多个预定义的动作，诸如挂起框图的进一步执行。
-
公开(公告)号：US07877245B1
公开(公告)日：2011-01-25
申请号：US12627836
申请日：2009-11-30
申请人： Vijay Raghavan , Jay Ryan Torgerson
发明人： Vijay Raghavan , Jay Ryan Torgerson
CPC分类号： G06F8/34
摘要： A method, system and computer program product to define and utilize functions graphically is provided which may be used in the simulation of finite state machines. The functions may combine mathematical, logical, non-linear and comparative operations. The graphical elements of the function may be hidden for ease of display of various portions of a model.
摘要翻译： 提供了一种用于定义和利用图形化功能的方法，系统和计算机程序产品，可用于有限状态机的仿真。 这些功能可以组合数学，逻辑，非线性和比较操作。 功能的图形元素可以被隐藏以便于显示模型的各个部分。
-
公开(公告)号：US07503027B1
公开(公告)日：2009-03-10
申请号：US11394541
申请日：2006-03-31
申请人： Zhihong Zhao , Aditya Agrawal , Beth Cockerham , Vijay Raghavan
发明人： Zhihong Zhao , Aditya Agrawal , Beth Cockerham , Vijay Raghavan
IPC分类号： G06F17/50
CPC分类号： G06F17/5045 , G01R31/31726 , G01R31/318328 , G01R31/318357
摘要： The present invention provides a state diagramming environment in a computing device that enables the conversion of a state diagram into a hardware description language. To achieve this conversion, the present invention generates an intermediate representation of the state diagram. The intermediate representation is checked against a set of predefined restrictions for compliance. The state diagramming environment converts the intermediate representation of the state diagram into a hardware description language, such as VHDL or Verilog.
摘要翻译： 本发明提供一种能够将状态图转换为硬件描述语言的计算设备中的状态图示环境。 为了实现该转换，本发明生成状态图的中间表示。 根据一组预定义的约束条件检查中间表示。 状态图表环境将状态图的中间表示转换为硬件描述语言，例如VHDL或Verilog。
-
公开(公告)号：US07500209B2
公开(公告)日：2009-03-03
申请号：US11237028
申请日：2005-09-28
IPC分类号： G06F17/50
CPC分类号： G06F8/10
摘要： The present invention provides a method and system for stage evaluation of a state machine model. Two types of transitions are used: first-stage transitions and second-stage transitions for a two-stage evaluation. In one embodiment, top-down processing and bottom-up processing may be combined using a two-stage evaluation. First-stage transitions are used with top-down processing while second-stage transitions are used with bottom-up processing. Certain conditions are used to determine if a switch from one type of stage processing to another type of stage processing is needed.
摘要翻译： 本发明提供了一种用于状态机模型的阶段评估的方法和系统。 使用两种类型的转换：用于两阶段评估的第一阶段转换和第二阶段转换。 在一个实施例中，自顶向下处理和自底向上处理可以使用两阶段评估来组合。 第一级转换用于自顶向下处理，而第二级转换用于自下而上处理。 使用某些条件来确定是否需要从一种类型的级处理到另一种级处理的切换。
-
公开(公告)号：US20090006067A1
公开(公告)日：2009-01-01
申请号：US11841743
申请日：2007-08-20
IPC分类号： G06F17/50
CPC分类号： G06F8/10
摘要： The present invention provides a method a system for facilitating enhanced processing of state diagrams in a state diagram environment. The method may include top-down processing a current state in a state diagram environment; determining whether processing of the current state results in an exception event; and passing the exception event to a superstate that includes the current state when it is determined that the current state results in an exception event. The superstate may be made the current state and it may be determined whether the current state can handle the exception event. When it is determined that the current state cannot handle the exception event, it may be determined whether the current state has a second superstate that includes the current state. An error event may be output from the state diagram environment when it is determined that the current state does not have a second superstate.
摘要翻译： 本发明提供了一种用于在状态图环境中促进状态图的增强处理的系统的方法。 该方法可以包括在状态图环境中自顶向下处理当前状态; 确定当前状态的处理是否导致异常事件; 并且当确定当前状态导致异常事件时，将异常事件传递给包括当前状态的超状态。 可以将超状态设置为当前状态，并且可以确定当前状态是否可以处理异常事件。 当确定当前状态不能处理异常事件时，可以确定当前状态是否具有包括当前状态的第二超状态。 当确定当前状态不具有第二超状态时，可以从状态图环境输出错误事件。
-
公开(公告)号：US07433808B1
公开(公告)日：2008-10-07
申请号：US11329588
申请日：2006-01-10
CPC分类号： G06F8/44 , G06F8/34 , G06F9/4498
摘要： In an embodiment, a computer-implemented method for modeling a system using a finite state machine representation is presented. An event-driven temporal logic operator may be associated with a first, active state in the finite state machine representation. A value of the temporal logic operator may be determined by a number of occurrences of an event during an existing activation of the first state associated with the temporal logic operator. A state transition from the first state to a second state may be executed based on the value of the temporal logic operator. The second state may be set as the active state.
摘要翻译： 在一个实施例中，呈现了使用有限状态机表示对系统建模的计算机实现的方法。 事件驱动的时间逻辑运算符可以与有限状态机表示中的第一活动状态相关联。 时间逻辑运算符的值可以由与时间逻辑运算符相关联的第一状态的现有激活期间的事件的出现次数来确定。 可以基于时间逻辑运算符的值来执行从第一状态到第二状态的状态转换。 可以将第二状态设置为活动状态。
-
-
-
-
-
-
-
-
-
搜索结果
52 条记录 (耗时 0.048 秒)
