论文部分内容阅读
BO过街人人喊杀
【出 处】
：
新潮电子
【发表日期】
：
1999年2期
其他文献
有效的路径查询处理是地理信息系统、系统及计算机网络等高级应用中的一个关键需求，文研究如交通网络和通信网络等节点发大的网络中的最佳路径查询算法，为了保证最佳路径查询的
提出了一种新的指针指向信息的过程间传播方法 ,对过程间指针分析所必须解决的若干重要问题给出了详尽的算法 ,从而形成了一种实用的上下文敏感的过程间指针分析框架 .该方法
规约在软件开发和验证中占有重要地位，对于以一阶逻辑为基础的规约，可以利用有限模型构造技术对其执行并测试，文中研究规约中某些特性的处理，包括存在量词以及二元关系析传递闭包
提出了一种新的能实现多种连续逻辑运算的神经元模型.利用该神经元模型可实现多种逻辑运算,包括一种从min(x,y)连续变化到max(0,x+y-1)的弱T范数簇,从max(x,y)到min(1,x+y)连