会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 5. 发明授权
    • Automata unit, a tool for designing checker circuitry and a method of manufacturing hardware circuitry incorporating checker circuitry
    • 自动机单元,一种用于设计检查器电路的工具,以及一种制造结合校验电路的硬件电路的制造方法
    • US08024691B2
    • 2011-09-20
    • US11864030
    • 2007-09-28
    • Zeljko ZilicMarc Boulé
    • Zeljko ZilicMarc Boulé
    • G06F17/50
    • G06F17/504
    • The present invention relates to an automata unit, a tool for designing circuitry and/or checker circuitry, and a method for manufacturing hardware circuitry. The automata unit includes an input unit for receiving assertions using Boolean expressions, an automata generator for translating the assertions into automata, and an automata adaptor. The automata generator uses a dual layer symbolic alphabet for representing the assertions, and the automata adaptor adapts automata algorithms so as to support the symbolic alphabet in the generated automata. The tools for designing circuitry and checker circuitry rely on the automata unit, and further include an assertion unit and either a circuit generator or a checker generator.
    • 本发明涉及自动机单元,用于设计电路和/或检查器电路的工具,以及用于制造硬件电路的方法。 自动机单元包括用于使用布尔表达式接收断言的输入单元,用于将断言转换为自动机的自动机发生器和自动机适配器。 自动机发生器使用双层符号字母表来表示断言,并且自动机适配器适应自动机算法,以支持生成的自动机中的符号字母表。 用于设计电路和检查电路的工具依赖于自动机单元,并且还包括断言单元和电路发生器或检验发生器。
    • 6. 发明申请
    • Energy and Food Consumption Tracking for Weight and Blood Glucose Control
    • 能量和食物消耗跟踪重量和血糖控制
    • US20160166195A1
    • 2016-06-16
    • US14570070
    • 2014-12-15
    • Katarzyna RadeckaZeljko Zilic
    • Katarzyna RadeckaZeljko Zilic
    • A61B5/00G09B19/00A61B5/11
    • A61B5/486A61B5/112A61B5/4866A61B5/743A61B5/7475G06F19/3475G06F19/3481G09B19/0092
    • The present invention relates to the area of lifestyle devices and applications, particularly to daily trackers of activities, such as pedometers used for exercise monitoring, and working in collaboration with tools analyzing and planning the food intake and amount of exercises to keep or obtain the desired weight. This invention aims at better controlling: fitness level, food consumption, blood glucose level and weight of a person throughout the day. For daily and weekly tracking of the weight, the ingested and expended calories are reported. Calories meal goals are adjusting daily reflecting the over the goal exercise levels as well as mismatch in food consumed and meal goals. The method for better blood glucose control predicts the effects of the food ingested on raising a post-meal blood glucose level, and suggests a suitable timing and the duration of the exercise following the food intake to minimize a post-meal blood glucose peak.
    • 本发明涉及生活方式装置和应用的领域,特别是涉及活动的日常跟踪器,例如用于运动监测的计步器,以及与分析和规划食物摄取量和锻炼量的工具协同工作以保持或获得期望的 重量。 本发明旨在更好地控制一天中的健身水平,食物消耗,血糖水平和体重。 对于每天和每周的重量跟踪,报告摄入和消耗的卡路里。 卡路里膳食目标每天都在调整,反映了目标运动水平以及食物消耗和膳食目标的不匹配。 用于更好的血糖控制的方法预测摄入的食物对提高餐后血糖水平的影响,并且建议适当的时间和食物摄入后的运动持续时间以使餐后血糖峰值最小化。
    • 7. 发明申请
    • Accurate Step Counting Pedometer for Children, Adults and Elderly
    • 儿童,成人和老年人的精确步数计步器
    • US20160001131A1
    • 2016-01-07
    • US14324055
    • 2014-07-03
    • Katarzyna RadeckaZeljko Zilic
    • Katarzyna RadeckaZeljko Zilic
    • A63B24/00G01C22/00
    • G01C22/006A61B5/1118G06F19/3481
    • The present invention related to the area of lifestyle devices, particularly to pedometers used for exercise tracking. This invention aims at accurate recording of steps, speeds, distances, type of motion (walk and run) and calories expenditure, independently of the personal characteristics (age, gender, weight and height). The invention uses sub-band decomposition filters that produce non-distorted sine wave regardless of personal traits and the type of walking or running. Low-complexity zero-crossing step detection is subsequently applied, and the step length and energy expenditure information is then extracted. The method for goals tracking is included for independent types of goals: steps, energy, distance and duration.
    • 本发明涉及生活方式装置的面积,特别是涉及用于锻炼跟踪的计步器。 本发明旨在精确地记录步骤,速度,距离,运动类型(步行和跑步)和卡路里消耗,独立于个人特征(年龄,性别,体重和身高)。 本发明使用产生非扭曲正弦波的子带分解滤波器,而不管个人特征和步行或跑步的类型。 随后应用低复杂度零交叉步骤检测,然后提取步长和能量消耗信息。 针对目标跟踪的方法包括用于独立类型的目标:步骤,能量,距离和持续时间。
    • 8. 发明申请
    • AUTOMATA UNIT, A TOOL FOR DESIGNING CHECKER CIRCUITRY AND A METHOD OF MANUFACTURING HARDWARE CIRCUITRY INCORPORATING CHECKER CIRCUITRY
    • AUTOMATA UNIT,用于设计检查电路的工具和制造检查电路的硬件电路的制造方法
    • US20080082946A1
    • 2008-04-03
    • US11864030
    • 2007-09-28
    • Zeljko ZilicMarc Boule
    • Zeljko ZilicMarc Boule
    • G06F17/50
    • G06F17/504
    • The present invention relates to an automata unit, a tool for designing circuitry and/or checker circuitry, and a method for manufacturing hardware circuitry. The automata unit includes an input unit for receiving assertions using Boolean expressions, an automata generator for translating the assertions into automata, and an automata adaptor. The automata generator uses a dual layer symbolic alphabet for representing the assertions, and the automata adaptor adapts automata algorithms so as to support the symbolic alphabet in the generated automata. The tools for designing circuitry and checker circuitry rely on the automata unit, and further include an assertion unit and either a circuit generator or a checker generator.
    • 本发明涉及自动机单元,用于设计电路和/或检查器电路的工具,以及用于制造硬件电路的方法。 自动机单元包括用于使用布尔表达式接收断言的输入单元,用于将断言转换为自动机的自动机发生器和自动机适配器。 自动机发生器使用双层符号字母表来表示断言,并且自动机适配器适应自动机算法,以支持生成的自动机中的符号字母表。 用于设计电路和检查电路的工具依赖于自动机单元,并且还包括断言单元和电路发生器或检验发生器。