【摘 要】
：
该文提出了一个形式系统（formal system）,它基于一阶逻辑,比H.J.OhIbach和J.Koehler提出的算法适用性更大,功能更强;该系统通过定义的“桥函数”,把一阶逻辑推理合并到算术语言
论文部分内容阅读
该文提出了一个形式系统（formal system）,它基于一阶逻辑,比H.J.OhIbach和J.Koehler提出的算法适用性更大,功能更强;该系统通过定义的“桥函数”,把一阶逻辑推理合并到算术语言中,使得在逻辑系统中,当需要解决逻辑推理中的数值计算时,能够直接把问题转化为纯算术系统中的运算;换言之,在Prolog、Datalog等逻辑推理系统中,涉及的数值计算可以自动转化到算术语言（如C/C++等）中执行.该文给出从逻辑推理到算术运算的转换系统所使用的合并语言的形式定义,并论证该形式系统的可靠性与完备性.
其他文献
该文着眼于ERP系统中财务系统的设计和实现,简述了国内外ERP的发展状况和ERP的原理,讨论了ERP的特点：企业组织和业务流程重组性、不同企业多样性、同一企业不同时间可变化性、
该文针对目前电子商务存在的不足,重点对虚拟现实在电子商务中的应用技术进行了研究.论文首先在分析现有电子商店的总体结构的基础上,设计了一个适合虚拟商店的电子商店模型;
该论文详细介绍了小型电话呼叫中心(CallCenter)系统的实现及在武汉供电局110配电故障联动报修系统中的应用.该系统结合供电局实际的需求,按照客户端/服务端的模式进行设计,
量刑过程本身就是一个由抽象到具体、从模糊到精确、不确定变为确定的过程,如何实现这个过程,这正好给了软计算以用武之地.作者在学习了量刑理论之后,分析了目前的一些量刑模
UUHDB系统是针对数据源的异构和分布问题而提出的一种解决方案,系统采用MAS作为结构基础,建立了三种Agent：ANS,IA和ISA,较好的解决了各种数据库系统的异构问题.该文的工作就是
该文首先讨论了设计流程所涉及的主要问题,介绍了VHDrawings对设计流程的定义、约束和监督控制机制,以及设计流程和网络通讯、图档管理的紧密结合.在设计过程中,版本控制是另
该文研究SNMP协议最新的版本SNMPv3和它在IP/TS路由器网络管理上的应用,IP/TS路由器的作用是实现IP数据包与MPEG-2的TS(Transport Stream)数据包的相互转换,从而实现基于TCP/