共查询到9条相似文献,搜索用时 0 毫秒
1.
2.
首先分别介绍了文件I/O和标准I/O库的相关函数和实现细节,提出了一系列有关文件读写效率的猜想,然后基于Linux平台设计实验并验证了提出的猜想,最后比较了文件I/O函数和标准I/O库函数,并总结了各自的适用场合。 相似文献
3.
分析了I^2C总线的工作原理及其数据传输时的总线规范,采用CPLD实现I^2C总线控制器各模块功能,模拟I^2C总线器件和处理器之间的数据通讯,仿真结果表明其能满足I2C总线的电气特性及传输规范要求。 相似文献
4.
5.
本研究对象为并行计算机的I/O性能,利用负载平衡算法将任务分发给不同的处理结点。通过进程间的相互协调、有序合作完成任务。在完成任务的过程中,通过记录I/O时间与计算时间,求出I/O性能与计算性能,通过分析比较数据从而认识I/O性能的重要性。研究计算机的I/O性能对于如何进一步改进系统以及提高资源利用率具有重要意义。 相似文献
6.
本文主要分析了在双CPU的双向CAN总线和PROFIBUS_DP总线网关的实现,讲述了它的基本结构和原理,并介绍了在该网关在软件和硬件的设计方案和原理,通过实验证明,该双CPU结构中的两个CPU能够单独进行工作,两者也能做到互不干扰,系统运行良好,可靠性也具有很好的优势。 相似文献
7.
8.
物联网服务的建模和验证是物联网研究中的重要问题。文中对混成自动机进行了扩展,提出了具有位置驱动特点的时空I/O混成自动机。文中提出了基于时空I/O混成自动机的物联网服务建模与验证框架。在框架中,首先对物联网服务进行了描述,并使用时空I/O混成自动机对物联网服务进行建模。这些时空I/O混成自动机形成一个网络,刻画完整的物联网服务的通信并行过程。文中采用的形式化验证方法为微分动态逻辑(Differential Dynamic Logic,DL),其操作模型为HP(Hybrid Program)。利用DL可以将所建模型转换为对应的HP。结合得到的HP对验证的物联网服务性质进行规约,最后使用定理证明器KeYmaera验证物联网服务的正确性。 相似文献