This article uses the nRF905 to realize wireless door access systems.To enhance the safety by using DS1722 for random da......

小金库形式多样，危害严重．阐述了小金库的资金来源，形成原因及治理清查方法，提高在复杂环境中发现和查处小金库的能力，加强从源头上防治......

按照输入量减去输出量等于误差补偿量的原则,对虚拟仪器模拟通道的每个误差补偿量依据校准数据进行数学建模,使用误差回归模型的最......

介绍了公交全承载底架结构的设计原则和材料特征，重点对其结构设计要点和校核要求等进行了阐述。......

对140万t/a重油催化裂化装置利用UOP技术进行技术改造施工过程中在再生器危险段器壁开大型作业孔引出的问题进行技术探讨,通过计算......

以外加预应力加固RC梁挠度计算的工程实例,应用改进一次二阶矩法建立基于挠度计算的极限状态方程,通过四次迭代计算,得到外加预应......

有限元法是一种基于变分原理的把连续体离散化的数值解法,具有适应性强、效能高等优点。应某型船改装需要,依据该船设备加装要求和......

简述了排桩支护的特点,结合苏州税务大厦深基坑工程情况,介绍了排桩支护结构的设计,并对设计结果进行了相关验算,得出了排桩支护设......

Formal methods are the mathematically techniques and tools which are used at early stages of software development lifecy......

In this paper, we present formal analysis of 2CS-WSN collision resolution protocol for wireless sensor networks using pr......