排序方式: 共有34条查询结果,搜索用时 359 毫秒
1.
提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Herbrand解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。 相似文献
2.
针对C~3I 系统工程对文电作业处理的实用需求,重点对其中的软件模块组织和硬件支撑环境等基本技术进行了综合性阐述。本文可对文电系统总体设计提供参考。 相似文献
3.
针对后勤信息化建设中数据集成和信息资源规划中面临的问题,提出了基于目录访问协议的统一角色存储、Agent表数据同步和JMS数据发布的用户信息认证机制和信息交换机制,实现了后勤各级用户全网身份数据的统一整合,确保全局数据的一致性,为全网完全统一身份认证提供技术基础。 相似文献
4.
针对多核集群系统所表现出的新的性能特征,提出了面向多核集群系统消息传递应用程序的并行模拟模型并设计、实现了一个并行模拟器MCPSim(Multi-core Cluster Parallel Simulator),MCPSim在功能模型和性能模型上体现了片内核间、结点内片间以及结点间等三个层次上消息通信的特点,同时支持对应用的消息数量、通信量等的百分比分布的profiling功能,采用PRIMEJ、acobi3D、NPB IS以及HPL等Benchmark程序对MCPSim进行了测试,结果表明MCPSim性能预测的精度优于BigSim,同时能够广泛应用于针对多核集群系统消息传递应用程序的性能分析中。 相似文献
5.
研究新公布的北斗民用导航电文中的两类历书与北斗二号导航电文历书的差异,对比分析各类历书对接收机首次定位时间的影响。利用实际的历书数据,比较不同历书类型的用户算法,分析不同龄期数据对接收机首次定位性能的影响。结果表明,高精度历书在1周的数据龄期内性能较为稳定,中等精度历书精度稍逊于高精度历书,但由于简化了电文空间,能接近高精度历书性能。简约历书进一步简化了参数数目和电文空间,尽管位置误差达到了数百千米,但却能在数月之后保持相应精度,有利于缩短接收机首次定位时间。 相似文献
6.
结合工程需要设计了消息基器件数据低寄存器定位监视电路,满足了总线和本地CPU对数据低寄存器读写时的时序关系,给出了部分实现电路和状态转移流程图。 相似文献
7.
刘丽等作者在《装甲兵工程学院学报》第19卷第2期中,利用非齐次线性方程组给出了一种身份认证协议和一种消息认证协议。指出了这2个协议在设计上存在的安全缺陷,并给出了几种可能的攻击方法。 相似文献
8.
UDP协议的海量信息快速传输解决方案 总被引:4,自引:0,他引:4
提出了一种在网络上提高大容量信息传输速度的实现方案和算法。它对传统的文件传输方式进行了改进,将点对点的传输转换成多点对一点的传输。对数据源的识别、缓冲区的管理、负载的分配、流量的控制等问题进行了说明。该算法简洁、灵活、高效,具有很强的实用性。最后对实验结果进行了讨论和分析。 相似文献
9.
多载波码分多址是移动通信重要的多址技术之一,传统方法将扩频序列的构造和多用户检测单独考虑,未能做到发射机和接收机的一体化设计。受到低密度奇偶校验码的启发,基于图论建立多载波码分多址收发机模型,采用二分图定义码片和数据符号间的扩频关系。在此基础上,利用适合低密度二分图的消息传递算法完成多用户迭代检测,推导并分析洪水消息传递和串行消息传递两种检测机制。仿真结果表明,当传统的多载波码分多址系统陷入严重过载而不能正常通信的情况下,基于低密度二分图的多载波码分多址系统依然能够达到理想的传输性能,为下一代移动通信系统的设计提供了有益的参考。 相似文献
10.