会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 3. 发明申请
    • SEPARABLE INTEGRATION VIA HIGHER-ORDER PROGRAMMING
    • 通过高级编程可分离整合
    • US20090030659A1
    • 2009-01-29
    • US11781519
    • 2007-07-23
    • Brian C. BeckmanHenricus Johannes Maria Meijer
    • Brian C. BeckmanHenricus Johannes Maria Meijer
    • G06F17/10
    • G06F17/5009
    • Separable integration is provided for simulation contexts where modeling and integration can be considered separately when programmatically implementing the simulations, for example. Thus, modeling concepts can be defined relating to the simulation, and integration of the modeling concept can happen separately to provide more variety to meet modeling specifications. In one embodiment, a state-space form equation can be computed for a modeling concept equation (an equation of motion, for example) and an integration scheme can be applied to the state-space form equation regardless of the modeling equation from which it was computed. In this regard, integration can be focused on to provide a plurality of schemes for different contexts, for example.
    • 提供了可分离的集成,用于模拟上下文,例如,当以编程方式实现模拟时,可以单独考虑建模和集成。 因此,可以定义与模拟相关的建模概念,并且建模概念的集成可以单独发生,以提供更多种类以满足建模规范。 在一个实施例中,可以针对建模概念方程(例如运动方程)计算状态空间形式方程,并且可以将积分方案应用于状态空间形式方程,而不管其是哪个建模方程 计算。 在这方面,例如,集成可以集中于为不同的上下文提供多个方案。
    • 6. 发明授权
    • Embedding expressions in XML literals
    • 在XML文字中嵌入表达式
    • US08533693B2
    • 2013-09-10
    • US12955680
    • 2010-11-29
    • Henricus Johannes Maria MeijerDavid N. SchachAvner Y. AharoniPeter F. DraytonBrian C. BeckmanAmanda SilverPaul A. Vick
    • Henricus Johannes Maria MeijerDavid N. SchachAvner Y. AharoniPeter F. DraytonBrian C. BeckmanAmanda SilverPaul A. Vick
    • G06F9/45G06F9/44
    • G06F17/2247G06F8/41G06F17/272
    • An architecture that that extends conventional computer programming languages that compile into an instance of an extensible markup language (XML) document object model (DOM) to provide support for XML literals in the underlying programming language. This architecture facilitates a convenient short cut by replacing the complex explicit construction required by conventional systems to create an instance of a DOM with a concise XML literal for which conventional compilers can translate into the appropriate code. The architecture allows these XML literals to be embedded with expressions, statement blocks or namespaces to further enrich the power and versatility. In accordance therewith, context information describing the position and data types that an XML DOM can accept can be provided to the programmer via, for example, an integrated development environment. Additionally, the architecture supports escaping XML identifiers, a reification mechanism, and a conversion mechanism to convert between collections and singletons.
    • 一种将常规计算机编程语言扩展到可扩展标记语言(XML)文档对象模型(DOM)的实例的体系结构,以便为底层编程语言中的XML文字提供支持。 该架构通过替代传统系统所需的复杂显式构造来简化方便的快捷操作,以创建具有简洁XML文字的DOM实例,常规编译器可将其转换为适当的代码。 该架构允许这些XML文字嵌入表达式,语句块或命名空间,以进一步丰富功能和多功能性。 根据此,可以通过例如集成开发环境向程序员提供描述XML DOM可以接受的位置和数据类型的上下文信息。 另外,该架构支持转义XML标识符,一个验证机制,以及一个在集合和单例之间进行转换的转换机制。