论文部分内容阅读
来吧，手机＋WAP，上网！
【出 处】
：
新潮电子
【发表日期】
：
2000年7期
其他文献
提出了一种新的指针指向信息的过程间传播方法 ,对过程间指针分析所必须解决的若干重要问题给出了详尽的算法 ,从而形成了一种实用的上下文敏感的过程间指针分析框架 .该方法
规约在软件开发和验证中占有重要地位，对于以一阶逻辑为基础的规约，可以利用有限模型构造技术对其执行并测试，文中研究规约中某些特性的处理，包括存在量词以及二元关系析传递闭包
提出了一种新的能实现多种连续逻辑运算的神经元模型.利用该神经元模型可实现多种逻辑运算,包括一种从min(x,y)连续变化到max(0,x+y-1)的弱T范数簇,从max(x,y)到min(1,x+y)连
该文提出了一个有效的利用电子钱包的公正支付系统.系统中用户只拥有一个银行账号;提款时用户得到一个关于本人身份字的盲签名并向银行提供构造正确的供跟踪的信息;支付时用