会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 7. 发明申请
    • Methods and systems for automatically generating provably correct computer program code
    • 用于自动生成可证明正确的计算机程序代码的方法和系统
    • US20050137992A1
    • 2005-06-23
    • US10739187
    • 2003-12-19
    • Wolfgang Polak
    • Wolfgang Polak
    • G06N3/00G06F9/44G06F15/18G06N3/12
    • G06N3/126G06F8/30
    • A provably correct computer program can be generated using genetic programming techniques. A desired behavior is used to define a formal specification. An initial population of programs is created where each program has a meaning that can be defined using a formalization technique. A fitness function is applied to measure a distance between the meaning of a program, i.e., its actual behavior, and the specification. Any program having a zero value as the measure of distance between the meaning of the program and the specification is determined to be provably correct. After the fitness of some or all of the programs in the current generation of programs has been computed, a provably correct program has not yet been found in the current generation, mutation and/or crossover techniques are performed on at least some of the fittest individuals in the current generation to create the programs of a next generation.
    • 可以使用遗传编程技术生成可证明正确的计算机程序。 使用期望的行为来定义正式规范。 创建程序的初始种群,其中每个程序具有可以使用形式化技术定义的含义。 应用适应度函数来测量节目的含义之间的距离,即其实际行为和规格。 任何具有零值作为程序含义与规范之间距离的度量的程序被确定为可证明是正确的。 在计算当前一代节目中的部分或全部节目的适应性之后,在当前一代还没有发现可证明正确的节目,在至少一些适合个人的情况下进行突变和/或交叉技术 在当代创造下一代节目。
    • 8. 发明申请
    • System and method for automatic design of component libraries
    • 组件库自动设计的系统和方法
    • US20070100784A1
    • 2007-05-03
    • US11264219
    • 2005-11-01
    • W. Brian ArthurWolfgang Polak
    • W. Brian ArthurWolfgang Polak
    • G06F17/30
    • G06F8/36G06F2217/02
    • Embodiments of the present invention introduce a novel recursive assembly process to automatically create a library of components. It starts with simple components used as building blocks and proceeds by repeatedly combining these randomly into more complex ones. The utility and quality of these random combinations of components are measured against a set of functional goals. Useful combinations then become new components in the library that can be used as building blocks for further random combination. This description is not intended to be a complete description of, or limit the scope of, the invention. Other features, aspects, and objects of the invention can be obtained from a review of the specification, the figures, and the claims.
    • 本发明的实施例引入了一种新的递归组装过程以自动创建组件库。 它以用作构建块的简单组件开始,并将它们随机地重复地组合到更复杂的组件中。 根据一组功能目标来测量这些随机组合的效用和质量。 有用的组合然后成为库中的新组件,可用作进一步随机组合的构建块。 本说明书不是对本发明的完整描述或限制本发明的范围。 本发明的其它特征,方面和目的可以通过对说明书,附图和权利要求的评述来获得。