论文部分内容阅读
WinZip7.0步步精通
【出 处】
:
新潮电子
【发表日期】
:
1999年3期
其他文献
提出一种新的了机数据挖掘方法,该方法是一种从数据缩减到数据挖掘的方法,其中概括了传统的关系数据库的超关系被作为挖掘的对象,超关系的集合可以-而然地转换为一个完整的布尔代
有效的路径查询处理是地理信息系统、系统及计算机网络等高级应用中的一个关键需求,文研究如交通网络和通信网络等节点发大的网络中的最佳路径查询算法,为了保证最佳路径查询的
提出了一种新的指针指向信息的过程间传播方法 ,对过程间指针分析所必须解决的若干重要问题给出了详尽的算法 ,从而形成了一种实用的上下文敏感的过程间指针分析框架 .该方法
规约在软件开发和验证中占有重要地位,对于以一阶逻辑为基础的规约,可以利用有限模型构造技术对其执行并测试,文中研究规约中某些特性的处理,包括存在量词以及二元关系析传递闭包