说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 符号回溯验证
1)  Symbolic Backward Justification
符号回溯验证
2)  symbolic verification
符号验证
3)  regress argument
回溯论证
4)  symbolic model checking
符号模型验证
5)  quote symbol
引证符号
6)  symbolic regression
符号回归
1.
Research on symbolic regression based on genetic programming;
基于遗传规划的符号回归研究
2.
Application of genetic programming in symbolic regression;
遗传规划在符号回归中的应用
3.
Research and Applications of GEP in Symbolic Regression;
基因表达式程序设计在符号回归中的应用研究
补充资料:回溯情报检索
      对检索系统已存储的全部情报,或其中一定时间范围的情报,按照特定主题范围(用户课题)进行文献普查。回溯情报检索,不仅要查找最新情报,而且要追溯查找过去年代已存储的所有情报。通常所说的文献检索,即指这类检索。例如,申请专利为查证新颖性而进行的文献普查,科研人员从事新的课题研究之前为了了解国内外已有成果而进行的文献普查,都是回溯情报检索。回溯情报检索可以采用脱机(成批)处理,也可采用联机处理,但前者只是早期的计算机情报检索采用,现在的回溯情报检索几乎均采用联机处理方式,因此联机检索和回溯检索具有同样的含义。另外,回溯情报检索也可用于定题情报检索。回溯情报检索,可以采用磁带存储介质,也可采用磁盘存储介质,但前者处理效率很低,实际上不具有实用价值,实用的回溯情报检索大都采用大容量的磁盘作为存储介质。提供回溯情报检索服务,首先要求处理并存储大量有用的情报,建立一定规模的数据库,目前国外提供的回溯情报检索,一般可回溯10~20年的范围。其次,要求系统具备大容量的磁盘空间和通讯设备。此外,从检索技术上,要求建立各种倒排档并采用联机对话的方式,允许用户反复试错,修改检索提问,以提高检索速度和效率。正因为回溯情报检索需要这些技术条件,通常只有专门的情报中心提供这类服务。而SDI 检索,要求条件较低,则容易普及采用。在中国,少数系统已对 GRA、WPI、INSPEC 等文献数据库,提供10~20年的回溯情报检索,对国产文献数据库提供回溯情报检索,尚未正式提供服务。中国科学院、海洋局情报研究所等,已对科学数据的数值型数据库提供回溯情报检索。
  

说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条