搜索资源列表
lunwen
- 针对基于原型的单继承面向对象模型，通过扩展库的形式实现了Lua对契约式开发的支持，包括原型不变式、 函数前后置断言。利用了语言提供的动态元机制在运行期改变某些语法构造的原始语义。最后分析了该实现方法的弱点 和改进思路。-Single inheritance for prototype-based object-oriented model, achieved by extending the database in the form of a Lua development of con
jun02
- 国外游戏开发者杂志2002年第六期配套代码，包含Emil Dotchevski演示他在C 脚本系统中使用的断言表达式的代码--Code of game development magazine in 2002 the sixth issue, contains code that Emil Dotchevski`s demonstration how to use assertion expression in the C scr ipt system
nov00
- 国外游戏开发者杂志2000年第十一期配套代码，包含Herb Marselas的为他的断言系统写的类似于3d stduio的界面--Code of game development magazine in 2000 the 11th issue, contains Herb Marselas writes interface similar 3d stduio that for hisassertion system
zzbds
- 本文目标 如何使用本教程 正则表达式到底是什么？ 入门 测试正则表达式 元字符 字符转义 重复 字符类 反义 替换 分组 后向引用 零宽断言 负向零宽断言 注释 贪婪与懒惰 处理选项 平衡组/递归匹配 还有些什么东西没提到 联系作者 最后,来点广告... 一些我认为你可能已经知道的术语的参考 网上的资源及本文参考文献 更新说明 -In this p
OVL
- OVL——基于断言的verilog验证 Verilog数字系统设计:RTL综合、测试平台与验证-OVL- assertion-based verification of Verilog Verilog digital system design: RTL synthesis, test and verification platform
cuo-wu-he-yi-chang
- 说明 ~~~~~~~~~~~~~~~ 第8章“错误和异常”中的全部示例代码。包括： 目录 描述 ------------------------------------------------------------------------------ Assert 使用断言做Logger系统的一个公用单元。 Error 一个跳过系统错误，并继续执行其后代码的技巧示例。 ExcRecheck 用于说明异常类型检测的依赖性所导致的问题。 Excep
openws-1.3.0-bin.tar
- SAML（Security Assertion Markup Language，安全断言标记语言）是由OASIS管理，得到各主流IT厂商支持和部署最广泛的网站SSO标准。它提供了一个安全且可扩展的数据格式集，在各种环境下交换数据和身份识别信息。-The OpenWS library provides a growing set of tools to work with web services at a low level. These tools include classes for cr
tongxunlu
- C语言编写的通讯录 1.问题分析和任务定义：根据设计题目的要求，充分地分析和理解问题，明确问题要求做什么，（而不是怎么做）限制条件是什么。 2.概要设计：对问题描述中涉及的操作对象确定相应的数据类型，定义主程序模块和各抽象数据类型。逻辑设计的结果应写出主模块的算法，并画出模块程序流程图； 3.详细设计：写出伪码算法。在这个过程中，要综合考虑系统功能，使得系统结构清晰、合理、简单和易于调试， 4.程序编码：把详细设计的结果进一步求精为程序设计语言程序。同时加入一些注解和断言，
SYMBIAN2
- Symbian C++高效编程：本书旨在帮助读者编写良好的基于Symbian OS的C++程序。全书共分为21章，分别介绍了Symbian OS中的类命名约定、异常退出、清除栈、两段构造、描述符、良好的描述符风格、动态的数组与缓冲区、使用活动对象的事件驱动多任务、活动对象、Symbian OS的线程与进程、客户/服务器原理、客户/服务器框架实践、二进制类型、ECOM、严重错误、用断言发现bug、调试宏与测试类、兼容性、轻量级模板、API、良好的编码风格等内容。 本书适合于使用Symbia
DebugDemo
- vc 使用断言宏检测程序的运行状态\DebugDemo的程序源码，很不错的demo-vc assert macro tests using the operational status of \ DebugDemo the program source code, very good demo
sva
- sva断言，Assertions on overlapping behaviour with SVA-Assertions on overlapping behaviour with SV
DebugDemo
- vc——使用断言宏检测程序的运行状态\DebugDemo-vc- use assert macro testing process running \ DebugDemo
DebugDemo
- vc——使用断言宏检测程序的运行状态\DebugDemo的程序源码,值得一看！-vc- use assert macro testing process running \ DebugDemo the program source code, worth a visit!
DebugDemo
- 使用断言宏检测程序的运行状态\DebugDemo\DebugDemo.rar,很不错的vc源码，希望对大家有所帮助。-Assert macro tests using the operational status of \ DebugDemo \ DebugDemo.rar, very good vc source, we want to help.
Kernel-for-Relation-Extraction
- 最短的路径依赖关系提取 我们提出了一个新颖的方法来提取关系，根据观察断言之间的关系之间的两个命名实体在同一个句子1所需的信息通常是由两个实体之间的依赖关系图中的最短路径捕获。实验上提取的ACE（自动内容抽取）报纸语料表明，新的最短路径依赖内核外执行最近的做法，根据去依赖树内核顶层的关系-We present a novel approach to relation extraction, based on the observation that the information requir
find_if
- 所谓断言函数，就是返回bool值的函数。-The assertion function, the return the bool value the function.
AnimalsRecognition(JAVA)
- 动物识别系统实验 1.基于规则产生式系统结构： 基于规则的产生式系统一般由规则库（知识库）、综合数据库和推理引擎（推理机）三部分组成，规则库中它的基本组成框架如下图1所示。 知识库由谓词演算事实和有关讨论主题的规则构成，综合库又称为上下文，用来暂时存储推理过程中的结论和数据。推理机是用规则进行推理的过程和行为。知识采集系统是领域专家把相关领域的知识表示成一定的形式，并输入到知识库中。解释系统通过用户输入的条件来分析被系统执行的推理结构，并将专家知识以易理解的方式并把知识解释给用户。 2. 简单动
CPP(BackwardReasoning)
- 动物识别系统实验 1.基于规则产生式系统结构： 基于规则的产生式系统一般由规则库（知识库）、综合数据库和推理引擎（推理机）三部分组成，规则库中它的基本组成框架如下图1所示。 知识库由谓词演算事实和有关讨论主题的规则构成，综合库又称为上下文，用来暂时存储推理过程中的结论和数据。推理机是用规则进行推理的过程和行为。知识采集系统是领域专家把相关领域的知识表示成一定的形式，并输入到知识库中。解释系统通过用户输入的条件来分析被系统执行的推理结构，并将专家知识以易理解的方式并把知识解释给用户。 2. 简单动
C(Forwardreasoning)
- 动物识别系统实验 1.基于规则产生式系统结构： 基于规则的产生式系统一般由规则库（知识库）、综合数据库和推理引擎（推理机）三部分组成，规则库中它的基本组成框架如下图1所示。 知识库由谓词演算事实和有关讨论主题的规则构成，综合库又称为上下文，用来暂时存储推理过程中的结论和数据。推理机是用规则进行推理的过程和行为。知识采集系统是领域专家把相关领域的知识表示成一定的形式，并输入到知识库中。解释系统通过用户输入的条件来分析被系统执行的推理结构，并将专家知识以易理解的方式并把知识解释给用户。 2. 简单动
SystemVerilog断言及其应用
- 该书用来阐述如何使用断言，以及断言的语法和示例(The book is devoted to the use of assertions, as well as to the syntax and examples of assertions)