期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
INCAPS:一个交互式计算机辅助定理证明系统
1
作者 黎仁蔚 《计算机学报》 EI CSCD 北大核心 1989年第12期881-891,共11页
本文提出了一个具有自然演绎特色的一阶时序逻辑系统——FOTL系统,并且已用ML语言表示出F0TL系统,从而得到了一个在证明风格和实现技术上类似于Edinburgh LCF的计算机辅助定理证明系统——INCAPS系统.INCAPS系统与Edinbursh LCF的区别... 本文提出了一个具有自然演绎特色的一阶时序逻辑系统——FOTL系统,并且已用ML语言表示出F0TL系统,从而得到了一个在证明风格和实现技术上类似于Edinburgh LCF的计算机辅助定理证明系统——INCAPS系统.INCAPS系统与Edinbursh LCF的区别主要在于它们所支持的逻辑不同:FOTL系统不含有高阶类型的项,而PPλ中没有时序连接词。INCAPS系统主要可用于程序及动态信息系统的描述与验证。 展开更多
关键词 时序逻辑 定理 incaps系统 计算机
下载PDF
证明策略及其有效性问题
2
作者 何锫 《软件学报》 EI CSCD 北大核心 1991年第4期23-30,共8页
INCAPS(INteractiv Computer-Aided Proving System)是一个面向时序逻辑的交互式计算机辅助证明系统。本文简要介绍了其证明策略(tactics,tacticals)的类别、结构,并在引入证明策略的层次数、函数树及树上B函数等新概念前提下,深入探讨... INCAPS(INteractiv Computer-Aided Proving System)是一个面向时序逻辑的交互式计算机辅助证明系统。本文简要介绍了其证明策略(tactics,tacticals)的类别、结构,并在引入证明策略的层次数、函数树及树上B函数等新概念前提下,深入探讨和证明了IN-CAPS证明策略的有效性问题。 展开更多
关键词 证明策略 有效性 incaps 计算机
下载PDF
催化设计知识库系统的构造
3
作者 膝至阳 《东南大学学报(自然科学版)》 EI CAS CSCD 1991年第3期51-57,共7页
把催化设计分割成5个易于求解的子问题,并提出一个用于催化活性模式综合的加权经验评估模型,据此开发了催化成份选择用知识库系统INCAP(Integration of Ca talyst Activity Pattern)。INCAP应用于乙苯氧化脱氢催化设计,通过知识库推理... 把催化设计分割成5个易于求解的子问题,并提出一个用于催化活性模式综合的加权经验评估模型,据此开发了催化成份选择用知识库系统INCAP(Integration of Ca talyst Activity Pattern)。INCAP应用于乙苯氧化脱氢催化设计,通过知识库推理获得了与实验相一致的结果。本文还从设计型专家系统角度剖析了INC八P的特点。 展开更多
关键词 催化剂设计 计算机化学 INCAP
下载PDF
Old, Diseased and Unfit to Drive a Motor Vehicle? An Evidence-Based View on Risk Factors among Senior Drivers in Germany
4
作者 Thomas Wagner Thomas Friedrich Anne Voigt 《Journal of Traffic and Transportation Engineering》 2021年第1期8-18,共11页
The present study aimed to identify risk factors among older adult drivers from realistic data in order to stimulate the development of appropriate safety measures in the future.For this purpose,N=400 archived case fi... The present study aimed to identify risk factors among older adult drivers from realistic data in order to stimulate the development of appropriate safety measures in the future.For this purpose,N=400 archived case files from the driving authority in Dresden(Germany),were systematically analysed.The risk criterion was the outcome of the fitness to drive(FTD)assessment required by the authority.The results show that there are several significant risk factors(aged over 80,dementia,multi-morbidity and involvement into complex accidents)that can serve as cues for being unfit to drive.The practical measures for enhancing traffic safety are discussed. 展开更多
关键词 Older adult drivers FTD impaired drivers driver assessment risk factors incapability
下载PDF
Land husbandry:an agro-ecological approach to land use and management Part 1:Considerations of landscape conditions
5
作者 Francis Shaxson John Alder +1 位作者 Timothy Jackson Nigel Hunter 《International Soil and Water Conservation Research》 SCIE 2014年第3期22-35,共14页
In this,the first of two papers,the roles of key features of any landscape in determining potentials for erosional losses of soil and water are considered from an agro-ecological viewpoint.In this light,the effectiven... In this,the first of two papers,the roles of key features of any landscape in determining potentials for erosional losses of soil and water are considered from an agro-ecological viewpoint.In this light,the effectiveness of past commonly-accepted approaches to soil and water conservation are often found to have been inadequate.In many cases they have tackled symptoms of land degradation without appreciating fully the background causes,which often relate to inadequate matching of land-use/land-management with features of the landscape.A number of reasons for this mismatch are suggested.Understanding the ecological background to land husbandry(as defined below)will improve the effectiveness of attempts to tackle land degradation.In particular,an ecologically based approach to better land husbandry helps to foresee potential problems in some detail,so that appropriate forward planning can be undertaken to avoid them.This paper describes some practical ways of undertaking an appropriate survey of significant landscape features,enabling the definition and mapping of discrete areas of different land-use incapability classes.This is accompanied by an example of how the outcome was interpreted and used to guide the selection of appropriate areas which were apparently suitable for growing flue-cured tobacco within an area of ca.140 km^(2) in Malawi.This process relied on knowledge and experience in various disciplines(interpretation of air-photos,topographic survey,soil survey,vegetation analysis,hydrology,soil&water conservation,geology,agronomy)so as to ensure that the mapping process was based on the principles of better land husbandry. 展开更多
关键词 AGRO-ECOLOGY Soil&water conservation Land-use incapability FORESIGHT
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部