-
公开(公告)号：US08166456B2
公开(公告)日：2012-04-24
申请号：US12324247
申请日：2008-11-26
申请人： Charles J. Devane
发明人： Charles J. Devane
IPC分类号： G06F9/45
摘要： A programming language type system includes, in a memory, a set of numeric type including integer types, fixed-point types and floating-point types, a set of type propagation rules to automatically determine result types of any combination of integer types, fixed-point types and floating-point types, constant annotations to explicitly specify a result type of a literal constant, context-sensitive constants whose type is determined from a context of a constant according to the set of type propagation rules, an assignment operator to explicitly specify a type of a value or computation, and operator annotations to explicitly specify a result type of a computation.
摘要翻译： 一种编程语言类型系统在存储器中包括一组数字类型，包括整数类型，定点类型和浮点类型，一组类型传播规则，用于自动确定整数类型的任何组合的结果类型， 点类型和浮点类型，常量注释以明确指定文字常量的结果类型，上下文相关常数，其类型根据类型传播规则集合的常量的上下文确定，明确指定的分配运算符 一种值或计算的类型，以及明确指定计算结果类型的操作符注释。
-
2.发明授权Extensible internal representation of systems with parallel and sequential implementations 有权具有并行和顺序实现的系统的可扩展内部表示公开(公告)号：US08984496B2
公开(公告)日：2015-03-17
申请号：US11130476
申请日：2005-05-16
IPC分类号： G06F9/45
CPC分类号： G06F8/41
摘要： The present invention provides systems and methods which allow the translation of a first representation into an intermediate representation and then into a target representation. The first representation can take numerous forms, including a system model that contains hardware components, software components or some combination thereof. Additionally, the target representation can be in the form of a desired system implementation. The intermediate representation generated from the first representation can include both parallel and serial processes from the first representation. This intermediate representation then uses both serial and parallel processing techniques operating on the system model from within a single intermediate representation to translate the system model of the first representation into a target representation. The target representation may be in a format that is readily used in the creation of a system implementation by a user.
摘要翻译： 本发明提供允许将第一表示转换成中间表示然后转换成目标表示的系统和方法。 第一种表示可以采取多种形式，包括包含硬件组件，软件组件或其组合的系统模型。 另外，目标表示可以是期望的系统实现的形式。 从第一表示生成的中间表示可以包括来自第一表示的并行和串行过程。 该中间表示然后使用在单个中间表示内在系统模型上操作的串行和并行处理技术来将第一表示的系统模型转换为目标表示。 目标表示可以是在用户创建系统实现中容易使用的格式。
-
公开(公告)号：US5548719A
公开(公告)日：1996-08-20
申请号：US422742
申请日：1995-04-14
CPC分类号： G06F11/3466 , G06F11/25 , G06F11/321
摘要： A system and method for analyzing large logic traces, with the system having an input for regular expressions, a generator for receiving the regular expressions and generating finite automata which use arithmetic/logic expressions that permit the use of a substantially infinite alphabet, an input for a large trace array, and an analyzer for searching the large trace array with the finite automata, with the analyzer producing results of the search.
摘要翻译： 一种用于分析大逻辑轨迹的系统和方法，系统具有用于正则表达式的输入，用于接收正则表达式的生成器，并且生成使用允许使用基本无限字母表的算术/逻辑表达式的有限自动机，输入 一个大的跟踪阵列，以及一个用有限自动机搜索大轨迹的分析仪，分析仪产生搜索结果。
-
公开(公告)号：US08839193B1
公开(公告)日：2014-09-16
申请号：US13356912
申请日：2012-01-24
IPC分类号： G06F9/44
CPC分类号： G06F8/35
摘要： A technical computing environment may include a modeling component to facilitate construction of a model and a code generation component. The modeling component may include an input component to receive one or more input signals through an interface protocol, and one or more components to receive one or more parameters, corresponding to the input signals received using the interface protocol, and to operate on the one or more parameters. The code generation component may include a code generator to generate, from the model, programming code compatible with a target environment, and an output interface to output the programming code.
摘要翻译： 技术计算环境可以包括建模部件以便于构建模型和代码生成部件。 建模组件可以包括输入组件，以通过接口协议接收一个或多个输入信号，以及一个或多个组件来接收与使用接口协议接收的输入信号相对应的一个或多个参数，并且在一个或多个 更多的参数。 代码生成组件可以包括代码生成器，用于从模型生成与目标环境兼容的编程代码以及用于输出编程代码的输出接口。
-
公开(公告)号：US20090077353A1
公开(公告)日：2009-03-19
申请号：US12324247
申请日：2008-11-26
申请人： CHARLES J. DEVANE
发明人： CHARLES J. DEVANE
IPC分类号： G06F9/302
摘要： A programming language type system includes, in a memory, a set of numeric type including integer types, fixed-point types and floating-point types, a set of type propagation rules to automatically determine result types of any combination of integer types, fixed-point types and floating-point types, constant annotations to explicitly specify a result type of a literal constant, context-sensitive constants whose type is determined from a context of a constant according to the set of type propagation rules, an assignment operator to explicitly specify a type of a value or computation, and operator annotations to explicitly specify a result type of a computation.
摘要翻译： 一种编程语言类型系统在存储器中包括一组数字类型，包括整数类型，定点类型和浮点类型，一组类型传播规则，用于自动确定整数类型的任何组合的结果类型， 点类型和浮点类型，常量注释以明确指定文字常量的结果类型，上下文相关常数，其类型根据类型传播规则集合的常量的上下文确定，明确指定的分配运算符 一种值或计算的类型，以及明确指定计算结果类型的操作符注释。
-
6.发明授权System and method for analyzing complex sequences in trace arrays using multiple finite automata 失效使用多个有限自动机分析跟踪数组中的复杂序列的系统和方法
公开(公告)号：US5299206A
公开(公告)日：1994-03-29
申请号：US781889
申请日：1991-10-24
CPC分类号： G06F11/25
摘要： A system and method for analyzing complex overlapping sequences of events in trace arrays, with the system having an input for receiving regular expressions that have been grouped in a predetermined manner, a generator for receiving the grouped regular expressions and generating multiple finite automata based on the groupings of regular expressions, with each finite automaton being generated using arithmetic/logic expressions to permit the use of a substantially infinite alphabet, an input for the trace array, and an analyzer for searching the trace array simultaneously with the multiple finite automata and providing a way by which the multiple finite automata may communicate with one another during searching, with the analyzer further outputting the results of the search.
摘要翻译： 一种用于分析跟踪阵列中的复杂重叠事件序列的系统和方法，系统具有用于接收以预定方式分组的正则表达式的输入，用于接收分组的正则表达式并基于 正则表达式的分组，其中使用算术/逻辑表达式生成每个有限自动机，以允许使用基本上无限的字母表，跟踪数组的输入，以及用于与多个有限自动机同时搜索跟踪数组的分析器，并提供一个 多重有限自动机在搜索期间可以彼此通信的方式，分析器进一步输出搜索结果。
-
公开(公告)号：US5187676A
公开(公告)日：1993-02-16
申请号：US724531
申请日：1991-06-28
申请人： Charles J. DeVane
发明人： Charles J. DeVane
IPC分类号： G06F7/58
CPC分类号： G06F7/586
摘要： A high-speed pseudo-random number generator comprising a first shift register with p stages for storing and shifting a value with the least significant bit being adjacent an output terminal; a second shift register with b stages for storing and shifting a pre-loaded value with the least significant bit of the pre-loaded value being stored in the bth stage; a serial adder having at least l input taps with the serial adder adding the two values shifted out of the first and second shift registers and loading the sum output of the serial adder into the first shift register; and a controller for controlling clocking of the first and second shift registers and the serial adder, controlling pre-loading of the pre-load value into the second shift register, and clearing the serial adder.
摘要翻译： 一种高速伪随机数发生器，包括具有p级的第一移位寄存器，用于存储和移位最低有效位邻近输出端的值; 第二移位寄存器，其具有用于存储和移位预载值的第二移位寄存器，其中所述预加载值的最低有效位被存储在第b级中; 串行加法器具有至少一个输入抽头，串行加法器将从第一和第二移位寄存器移出的两个值相加，并将串行加法器的和输出加载到第一移位寄存器中; 以及用于控制第一和第二移位寄存器和串行加法器的时钟的控制器，控制预加载值预加载到第二移位寄存器中，以及清除串行加法器。
-
公开(公告)号：US07885800B1
公开(公告)日：2011-02-08
申请号：US10921579
申请日：2004-08-18
IPC分类号： G06F17/50
CPC分类号： G06F17/5045 , G06F17/5031 , G06F2217/84
摘要： Methods and systems for providing a synchronous model in a modeling environment are disclosed. The predetermined operations of the model, such as a transition to a state in a state-based modeling environment, are implicitly synchronized with a signal selected by users, such as a clock signal. The predetermined operations of the model may be synchronized on a rising and/or falling edge of the clock signal. The synchronization of the operations is guarded in which the predetermined operation of the model occurs only on the synchronization signal selected by the users while other operations may occur at any time when the model is activated.
摘要翻译： 公开了在建模环境中提供同步模型的方法和系统。 模型的预定操作，诸如向基于状态的建模环境中的状态的转换，与诸如时钟信号之类的用户选择的信号隐含地同步。 模型的预定操作可以在时钟信号的上升沿和/或下降沿同步。 保护操作的同步，其中模型的预定操作仅在用户选择的同步信号上发生，而在模型被激活的任何时候可能发生其他操作。
-
公开(公告)号：US5228066A
公开(公告)日：1993-07-13
申请号：US871938
申请日：1992-04-22
申请人： Charles J. DeVane
发明人： Charles J. DeVane
CPC分类号： G06F11/3419 , G01P3/489 , G06F1/14 , G06F11/348 , G06F2201/88
摘要： A circuit that may be implemented in a computer system that will measure the maximum and minimum time intervals for system elements to respond to a request for data or information. The circuit includes control logic that controls operation of the circuit, an up-counter and a down-counter that are used together for measuring the maximum or minimum response time interval, and a display for displaying the maximum or minimum response time interval that is measured during a test period.
摘要翻译： 可以在计算机系统中实现的电路，该电路将测量系统元件响应数据或信息请求的最大和最小时间间隔。 该电路包括控制电路操作的控制逻辑，用于一起用于测量最大或最小响应时间间隔的上计数器和递减计数器以及用于显示被测量的最大或最小响应时间间隔的显示器 在测试期间。
-
公开(公告)号：US09774699B2
公开(公告)日：2017-09-26
申请号：US11231387
申请日：2005-09-20
摘要： A mechanism for converting a graphical model of a system into an intermediate representation (IR) of a model is discussed. The mechanism alters the IR, and uses the altered IR to create a new or updated graphical model of the system that may be viewed and simulated by a user. Once the user is satisfied with the alterations to the IR, the IR or the graphical model may be used to generate code in a target language to enable the building of the physical system being designed. The use of the altered IR to generate a new or updated graphical model allows a more efficient and customizable design and simulation process than is typically found by simulating code that has been converted to target languages. The generation of the graphical model based on the altered IR allows a user to visually inspect the changes to the system, and the simulation of the graphical model based on the altered IR allows corrective action to be taken to account for any changes that occurred during the transformation of the model.
-
-
-
-
-
-
-
-
-
搜索结果
13 条记录 (耗时 0.014 秒)
