非常抱歉，我们暂时无法提供预览，您可以试试： 免费下载 KS X ISO/IEC 13568-2019 前三页，或者稍后再访问。
您也可以尝试购买此标准，
点击右侧 “立即购买” 按钮开始采购（由第三方提供）。
从SP推出的SP公式和SP演算，用于程序的语义计算和语义综合，可借助符号处理工具完成程序正确性证明。”袁崇义表示，一旦开发出相应的符号处理系统，测试就不再是编程必要的一步。SP公式和SP演算还适用于描述程序规范和规范分析。 同时，袁崇义尝试SP和A用于C语言指针的语义处理，提出了指针的语义公理，表明OESPA可以用于传统语言程序的语义形式化处理。...
这些结果表明，人类大脑中可能拥有动物不具备的计算系统，该系统能让人类在归纳学习中通过压缩信息而高效地进行序列表征。 综上，基于现有的实验数据，研究组提出了新的语言演化假说：猕猴的大脑可能并不存在阻碍其学习超正则语法结构的先天结构缺陷，甚至可能不存在影响其掌握包括语言在内的高级认知能力的缺陷，习得超正则结构的能力上并非人类所独有。...
污水处理故障诊断专家系统的难点在于知识的获取和表达。 (1)知识的获取。故障诊断专家系统的知识获取主要研究如何将用于求解专门领域问题的知识(包括概念、事实、关系和方法等)，从专家头脑或外部知识源(如文献、书 籍、资料)中提取总结出来，并转换为特定的知识表示形式编人专家系统的知识库中。 生活污水处理故障检测专家系统获取的知识主要包括活性污泥法污水处理工艺流程的故障 信息和相关的运行参数两部分。...
Copyright ©2007-2022 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证：京ICP证110310号