为了使指针逻辑能够验证更大范围的程序,本文提出了针对指针逻辑的框架规则(frame rule)和函数调用规则。此外,本文在原有指针逻辑基础上,扩展源语言和断言语言来支持指针算术,然后在方便模块化实现前提下扩展指针逻...
基于16个网页-相关网页
frame rule for rice planting 插秧用架式尺
Frame-Rule Systems knowledge representation 框架
rule frame spacing 规范肋骨间距
rule-frame 规则框架
rule frame 规则架构
frame and rule set 框架及规则
meaning frame of legal rule 法律规范的意义框架
The description of the process knowledge adopts the method of productive rule and frame in this system. It bases on GT and is done according to parts group.
本系统工艺知识的描述与表达采用了产生式规则法和框架法,以成组技术(GT)为基础,以零件组为基本单元分别进行。
Open High Level Architecture (HLA) composed of HLA frame and rule, interface standard and object model sample plate (OMT).
开放式高层体系结构(HLA)由HLA框架与规则、接口规范和对象模型样板(OMT)构成。
The representation of client requirement knowledge based on frame - rule and its inference process are presented, the product knowledge index and retrieve are analyzed.
提出了客户需求知识的框架-规则表示方法及推理过程,对产品知识索引与检索方式进行分析。
应用推荐