论文部分内容阅读
本文介绍一种基于表处理知识内部表示方式，用这种方式，不仅可以表示基于逻辑真伪的变量，也可以描述量的量化程度，并为此设计了推理机。
一种基于表处理的知识内部表示及Turbo Prolog实现
【摘 要】
：
本文介绍一种基于表处理知识内部表示方式，用这种方式，不仅可以表示基于逻辑真伪的变量，也可以描述量的量化程度，并为此设计了推理机。
【机 构】
：
天津大学电子系,湖南省经济信息中心
【出 处】
：
计算机研究与发展
【发表日期】
：
1995年8期
其他文献
保育猪是刚刚断奶的仔猪，其生长发育快、对疾病的易感性高。本文主要介绍保育猪在饲养过程中常发的几种疾病，如流行性腹泻、猪水肿病、仔猪副伤寒、气喘病、断奶仔猪衰竭综合征
介绍了定桨失速风电机组的并网软切入控制的目的、性能和方法,对其并网软切入特性做了基于Matlab/Simulink软件的仿真,并分析了软切入控制对传动轴系的影响。
针对饲料配方问题的特殊性和复杂性,结合多Agent系统的特点,提出了基于多Agent系统的饲料配方优化算法,算法采用多Agent协商的方式对原料变量的取值进行多阶段调整.对于有最优解的问题,算法能够逼近最优解;对于没有最优解的问题,算法能够发现并忽略不可满足或相互冲突的约束,一方面避免了人为设定的不足,另一方面所得到的解优于传统目标规划方法得到的解。
本文论述了在多处理机环境下UNIX 文件系统的设计和实现,以保证文件系统运行的正确性和极大限度地开发信息处理的并发性。文中提出多处理机UNIX 文件系统的模型、结构及特点
本文简要地描述了一个多媒体视象输入子系统，它由ＳＢｕｓ上的摄象卡外接标准视采源构成，可用于开发各种视象应用软件。
本文在介绍一般并行程序编程模型的基础上,详细阐述了Mach操作系统在该方面进行的工作,主要包括Mach的调度机制,Mach对分时及用户并发方面的支持及实现技术。
根据平台绞车制动过程中机械能转化成热能的原理,结合特定工况下的热流密度,确定边界条件,采用有限元分析软件分析平台绞车制动过程中制动带不同位置温度场的变化,总结温度场
为进一步对开发聚光热电联供系统提供依据与指导，在槽式聚光器中，设计了槽式单晶硅太阳能电池热电联供测试系统，并在太阳聚光条件下对单晶硅太阳电池进行了伏安特性的测试。测试
本文主要探讨了建造Ａｄａ软件质量保证系统应考虑的技术成分和环境的构成要素，并给出系统的原型框架。