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

1. 发明授权

US08857315B2 Pressure relief system for espresso maker 有权
标题翻译：浓咖啡压力释放系统
公开(公告)号：US08857315B2
公开(公告)日：2014-10-14
申请号：US13424662
申请日：2012-03-20
申请人： Luke Kelly , Winston Fliess
发明人： Luke Kelly , Winston Fliess
IPC分类号： A47J31/40 , A47J31/46
CPC分类号： A47J31/46 , A47J31/30 , A47J31/462
摘要： A brewing system for brewing a beverage is disclosed having an inlet for receiving fresh water for brewing, and a first solenoid for directing water to a water storage tank when a level in the water storage tank falls below a predetermined level. A pair of pumps direct water from the storage tank to a second solenoid. Two or more brew paths lead away from the second solenoid, each brew path including a heating element to heat the water flowing therethrough. The second prevents overpressurization in the brew paths by routing excess pressurized water from the respective brew path back through the second solenoid and out a drain line leading to a drain, where the path to the drain is not part of the brew path.
摘要翻译：公开了一种用于酿造饮料的冲泡系统，具有用于接收用于酿造的淡水的入口，以及当储水箱中的水位低于预定水平时将水引导到储水箱的第一螺线管。一对泵将水从储罐引导到第二螺线管。两个或多个冲泡路径从第二螺线管引出，每个冲泡路径包括加热元件以加热流过其中的水。第二个通过将来自相应的冲泡路径的多余的加压水通过第二螺线管引出，并排出通向排水管的排水管，从而防止冲泡路径中的过压，其中排出通道不是冲泡路径的一部分。

2. 发明申请

US20120240776A1 PRESSURE RELIEF SYSTEM FOR ESPRESSO MAKER 有权
标题翻译： ESPRESSO制造商的压力救济系统
公开(公告)号：US20120240776A1
公开(公告)日：2012-09-27
申请号：US13424662
申请日：2012-03-20
申请人： Luke Kelly , Winston Fliess
发明人： Luke Kelly , Winston Fliess
IPC分类号： A47J31/46
CPC分类号： A47J31/46 , A47J31/30 , A47J31/462
摘要： A brewing system for brewing a beverage is disclosed having an inlet for receiving fresh water for brewing, and a first solenoid for directing water to a water storage tank when a level in the water storage tank falls below a predetermined level. A pair of pumps direct water from the storage tank to a second solenoid. Two or more brew paths lead away from the second solenoid, each brew path including a heating element to heat the water flowing therethrough. The second prevents overpressurization in the brew paths by routing excess pressurized water from the respective brew path back through the second solenoid and out a drain line leading to a drain, where the path to the drain is not part of the brew path.
摘要翻译：公开了一种用于酿造饮料的冲泡系统，具有用于接收用于酿造的淡水的入口，以及当储水箱中的水位低于预定水平时将水引导到储水箱的第一螺线管。一对泵将水从储罐引导到第二螺线管。两个或多个冲泡路径从第二螺线管引出，每个冲泡路径包括加热元件以加热流过其中的水。第二个通过将来自相应的冲泡路径的多余的加压水通过第二螺线管引出，并排出通向排水管的排水管，从而防止冲泡路径中的过压，其中排出通道不是冲泡路径的一部分。

3. 发明申请

US20090027393A1 IDENTIFYING ASYMPTOTES IN APPROXIMATED CURVES AND SURFACES 失效
标题翻译：在近似的曲线和表面中识别渐近
公开(公告)号：US20090027393A1
公开(公告)日：2009-01-29
申请号：US11782661
申请日：2007-07-25
申请人： Luke Kelly , Jinsong Yu
发明人： Luke Kelly , Jinsong Yu
IPC分类号： G06T11/20
CPC分类号： G06T11/203
摘要： Systems and methods for identifying asymptotes in approximated geometric forms are provided. One disclosed method includes identifying a set of data points that represent an approximated geometric form. The data points may be organized into segments. The method may further include determining a visible range of the geometric form to display. The method may further include looping through successive segments of the approximated geometric form, and on each loop, for a current segment, making a decision whether to draw the current segment based upon a prediction of whether the current segment traverses an asymptote within the visible range. The method may further include displaying on a graphical user interface of a computing device, a graph of the segments of the geometric form in the visible range, the graph not including those segments that were decided not be drawn.
摘要翻译：提供了以近似几何形式识别渐近线的系统和方法。一种公开的方法包括识别表示近似几何形式的一组数据点。数据点可以被组织成段。该方法还可以包括确定要显示的几何形状的可见范围。该方法还可以包括循环通过近似几何形式的连续段，并且在每个循环上循环当前段，基于对当前段是否穿过可见范围内的渐近线进行预测是否绘制当前段。该方法还可以包括在计算设备的图形用户界面上显示几何形式在可见范围内的片段的图形，该图形不包括被决定为不绘制的片段。

4. 发明申请

US20090024366A1 COMPUTERIZED PROGRESSIVE PARSING OF MATHEMATICAL EXPRESSIONS 审中-公开
标题翻译：计算机数学表达式的进化分析
公开(公告)号：US20090024366A1
公开(公告)日：2009-01-22
申请号：US11779860
申请日：2007-07-18
申请人： Seth Atkinson , Luke Kelly , Jinsong Yu , William Kunz
发明人： Seth Atkinson , Luke Kelly , Jinsong Yu , William Kunz
IPC分类号： G06F7/60
CPC分类号： G06F17/2705
摘要： Systems and methods for progressively parsing user input of a mathematical expression are provided. One disclosed method includes looping through characters in an input string, and on each loop, extracting a next token from the input string and determining a current grammar context based on the token or tokens extracted thus far. If it is determined that the current grammar context matches a predetermined condition, then the method may include modifying the tokens extracted from the input string in a predetermined manner associated with the predetermined condition. A parsing result may be obtained based on the modified tokens. The parsing result may be converted to a modified input string.
摘要翻译：提供了用于逐行解析数学表达式的用户输入的系统和方法。一种公开的方法包括循环输入字符串中的字符，并且在每个循环上，从输入字符串中提取下一个标记，并且基于迄今提取的令牌或令牌来确定当前语法上下文。如果确定当前语法上下文与预定条件匹配，则该方法可以包括以与预定条件相关联的预定方式修改从输入串提取的令牌。可以基于修改的令牌获得解析结果。解析结果可以转换为修改的输入字符串。

5. 发明申请

US20090019099A1 MATH CALCULATION IN WORD PROCESSORS 有权
标题翻译：字处理程序中的数学计算
公开(公告)号：US20090019099A1
公开(公告)日：2009-01-15
申请号：US11776566
申请日：2007-07-12
申请人： William B. Kunz , Xin Li , Luke Kelly , Jinsong Yu , Seth R. Atkinson , Murray Sargent
发明人： William B. Kunz , Xin Li , Luke Kelly , Jinsong Yu , Seth R. Atkinson , Murray Sargent
IPC分类号： G06F15/00
CPC分类号： G06F17/215
摘要： Architecture for a word processing application that facilitates operating on mathematical symbols, expressions, and/or equations input to a word processing document, and returning results back to the document. User input to the document in the form of math symbols, expressions or equations is transformed into a format for processing by a math engine. The engine returns one or more operations to the user that can be performed on the input, including calculating mathematical solutions, graphing equations and viewing steps to solving math problems. A user interface allows the user choose from the possible operations and to interactively manipulate input and graphs in the word application. The results can be inserted directly into the document and also be graded automatically.
摘要翻译：用于文字处理应用程序的体系结构，便于操作输入到文字处理文档的数学符号，表达式和/或方程，并将结果返回到文档。以数学符号，表达式或方程式的形式将文档的用户输入转换为数学引擎处理的格式。引擎可以向可以对输入执行的用户返回一个或多个操作，包括计算数学解，绘图方程和查看步骤来解决数学问题。用户界面允许用户从可能的操作中进行选择并交互地操纵单词应用程序中的输入和图形。结果可以直接插入到文档中，也可以自动分级。

6. 发明授权

US08939065B2 Brew chamber packet ejector 有权
标题翻译：酿酒室包装喷射器
公开(公告)号：US08939065B2
公开(公告)日：2015-01-27
申请号：US13424624
申请日：2012-03-20
申请人： Luke Kelly
发明人： Luke Kelly
IPC分类号： A47J31/00 , A47J31/06
CPC分类号： A47J31/0678 , A47J31/3638
摘要： A brew basket for a brewing apparatus is disclosed having a housing adapted to couple the brew basket to a brewing apparatus and a platform extending from the housing, the platform including a brewing chamber defined by a continuous peripheral wall and a perforated floor. The perforated floor is coupled to a vertically reciprocating member at a first end for raising and lowering the perforated floor of the brew basket with respect to the continuous peripheral wall, the vertically reciprocating member extending below a lowermost surface of the platform so that it can be raised by lowering the platform onto a flat surface.
摘要翻译：公开了一种用于酿造设备的冲泡篮，其具有适于将冲泡篮连接到冲泡设备的壳体和从壳体延伸的平台，该平台包括由连续周边壁和多孔底板限定的冲泡室。穿孔的地板在第一端处连接到垂直往复运动的构件，用于相对于连续的周壁升高和降低冲泡篮的多孔底板，垂直往复构件在平台的最下表面下延伸，使得其可以通过将平台降低到平坦的表面上而升高。

7. 发明申请

US20090018979A1 MATH PROBLEM CHECKER 失效
标题翻译：数学问题检查
公开(公告)号：US20090018979A1
公开(公告)日：2009-01-15
申请号：US11776565
申请日：2007-07-12
申请人： Jinsong Yu , Seth R. Atkinson , Luke Kelly , William B. Kunz , Larry J. Israel , Xin Li
发明人： Jinsong Yu , Seth R. Atkinson , Luke Kelly , William B. Kunz , Larry J. Israel , Xin Li
IPC分类号： G06F15/18 , G06F3/048 , G09B23/02
CPC分类号： G09B7/02 , G09B19/025
摘要： A problem checker architecture that monitors user progress during a problem-solving process and assists the user through the process (e.g., when requested) using common human methods of solving the problem. Assistance can be in the form of detecting errors during the process, and providing context-sensitive help information when the user gets stuck or makes a mistake. The problem checker can walk the user through the process of solving a math problem one step at a time allowing the user to learn to solve math problems according to a number of different methods. Rather than simply calculating and displaying the answer, the problem checker allows the user to attempt to solve math problems, providing direction only when asked and correction only when required. The problem checker can recognize multiple solution methods for many common math problems and guide the user to the solution via any of the methods.
摘要翻译：一种在问题解决过程中监视用户进度的问题检查器体系结构，并且通过使用常见的解决问题的人的方法来帮助用户完成该过程（例如，当被请求时）。援助可以是在过程中检测错误的形式，并且在用户被卡住或犯错误时提供上下文相关的帮助信息。问题检查器可以使用户逐步解决数学问题的过程，一次允许用户根据多种不同的方法学习解决数学问题。问题检查器不是简单地计算和显示答案，而是允许用户尝试解决数学问题，仅在需要时询问和更正方面提供方向。问题检查器可以识别许多常见数学问题的多种解决方法，并通过任何方法指导用户解决方案。

8. 发明授权

US08727788B2 Memorization optimization platform 有权
标题翻译：记忆优化平台
公开(公告)号：US08727788B2
公开(公告)日：2014-05-20
申请号：US12147538
申请日：2008-06-27
申请人： Luke Kelly , Robert Dietz
发明人： Luke Kelly , Robert Dietz
IPC分类号： G09B3/00
CPC分类号： G09B7/00
摘要： A method and system for optimizing memorization of stored content. One or more discrete units of content selected for memorization are obtained. The units of content as displayed to the user according to a pre-determined order. Feedback is received from the user indicating the level of memorization achieved by the user corresponding to the displayed units of content. The subsequent order to display content is adjusted to achieve an optimized order for memorization based on the feedback received.
摘要翻译：一种用于优化存储内容存储的方法和系统。获得选择用于存储的一个或多个离散的内容单元。根据预定的顺序向用户显示的内容单位。从用户接收到反馈，指示用户对应于所显示的内容单元实现的记忆水平。调整显示内容的后续顺序，以便根据收到的反馈来实现记忆优化顺序。

9. 发明授权

US07574465B2 Displaying variables stored in calculators 有权
标题翻译：显示存储在计算器中的变量
公开(公告)号：US07574465B2
公开(公告)日：2009-08-11
申请号：US11171150
申请日：2005-06-29
申请人： Jinsong Yu , William Ben Kunz , Robert Scott Dietz , Luke Kelly
发明人： Jinsong Yu , William Ben Kunz , Robert Scott Dietz , Luke Kelly
IPC分类号： G06F3/02
CPC分类号： G06F17/10
摘要： A centralized view and management of stored variables for calculators and pieces of software emulating calculators is provided. Users can glance at the status bar and know what variables are stored. A single click then brings up a window within which a list of the stored variables and their values is shown. In this window users can clear individual variables or the entire variable list. Users can be reminded that their calculations contain stored variables by displaying the stored variable names in one or more different colors so that errors can be easily detected and corrected.
摘要翻译：提供了用于计算器和仿真计算器软件的存储变量的集中视图和管理。用户可以浏览状态栏并知道存储哪些变量。单击然后打开一个窗口，在该窗口中显示存储的变量及其值的列表。在此窗口中，用户可以清除单个变量或整个变量列表。通过以一种或多种不同的颜色显示存储的变量名称，可以提醒用户可以计算其存储的变量，以便容易地检测和更正错误。

10. 发明申请

US20090017427A1 Intelligent Math Problem Generation 审中-公开
标题翻译：智能数学问题生成
公开(公告)号：US20090017427A1
公开(公告)日：2009-01-15
申请号：US11776564
申请日：2007-07-12
申请人： William B. Kunz , Timothy J. Hoffman , Luke Kelly , Jinsong Yu , Larry J. Israel
发明人： William B. Kunz , Timothy J. Hoffman , Luke Kelly , Jinsong Yu , Larry J. Israel
IPC分类号： G09B19/02
CPC分类号： G09B7/00 , G09B19/025
摘要： A problem generator that takes an input as a math problem, analyzes the math problem, and intelligently spawns similar example problem types. The output is a set of math problems based on the conditions set during analysis and customization. For example, if the original problem deals with linear equations, this will be detected during analysis and used to spawn other linear equations as problems. Moreover, if the answer to the original problem is in integer format, so will the answers to the spawned problems. A customizable UI is designed to allow further customization of problem conditions to generate an accurate set of problems based on the initial input. Problem generator templates can be created, shared and modified for distribution and/or future use. Additionally, problem generation APIs can be extended for external code to automate and consume generated math problems.
摘要翻译：将输入作为数学问题的问题生成器，分析数学问题，并智能地生成类似的示例问题类型。输出是基于分析和定制期间设置的条件的一组数学问题。例如，如果原始问题涉及线性方程，则在分析过程中会检测到这一点，并将其用作产生其他线性方程作为问题。此外，如果原始问题的答案是整数格式，那么对于产生的问题的答案也是如此。可定制的UI被设计为允许进一步定制问题条件以基于初始输入生成准确的问题集。可以创建，共享和修改问题生成器模板，以便分发和/或将来使用。此外，问题生成API可以扩展为外部代码，以自动化并消耗生成的数学问题。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式