排序方式: 共有48条查询结果,搜索用时 234 毫秒
1.
2.
提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Herbrand解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。 相似文献
3.
针对后勤信息化建设中数据集成和信息资源规划中面临的问题,提出了基于目录访问协议的统一角色存储、Agent表数据同步和JMS数据发布的用户信息认证机制和信息交换机制,实现了后勤各级用户全网身份数据的统一整合,确保全局数据的一致性,为全网完全统一身份认证提供技术基础。 相似文献
4.
5.
7月19日,兵团上半年经济运行分析电视电话会议召开,利好消息频频传出,一串串飘红的数字令人欣慰:完成生产总值127.94亿元,同比增长14.3%,高于全国同期近3 相似文献
6.
讨论了在VB中直接处理Windows消息的三种方法:编制动态链接库、使用Addressof运算符以及借助消息处理控件,并针对不同的方法分别给出了具体的源程序及说明。 相似文献
7.
结合工程需要设计了消息基器件数据低寄存器定位监视电路,满足了总线和本地CPU对数据低寄存器读写时的时序关系,给出了部分实现电路和状态转移流程图。 相似文献
8.
9.
刘丽等作者在《装甲兵工程学院学报》第19卷第2期中,利用非齐次线性方程组给出了一种身份认证协议和一种消息认证协议。指出了这2个协议在设计上存在的安全缺陷,并给出了几种可能的攻击方法。 相似文献
10.
UDP协议的海量信息快速传输解决方案 总被引:4,自引:0,他引:4
提出了一种在网络上提高大容量信息传输速度的实现方案和算法。它对传统的文件传输方式进行了改进,将点对点的传输转换成多点对一点的传输。对数据源的识别、缓冲区的管理、负载的分配、流量的控制等问题进行了说明。该算法简洁、灵活、高效,具有很强的实用性。最后对实验结果进行了讨论和分析。 相似文献