面向环境监测的无线传感器网络节点设计

环境监测是无线传感器网络的一个重要应用领域。本文介绍了一种基于JN5121-Z01-M01无线微处理器模块的无线传感器网络终端节点的软硬件设计方案。实验证明：节点工作状况良好,整个网络具有较高的可靠性,可以实现对环境振动信息实时、准确的监测;节点硬件具有很强的通用性,只需要适当的扩展就可以实现对温度、光强等其他信息的采集。     

关系代数派生算子语义表达式间等价性证明

关系代数的派生算子在关系数据库查询语言中得到了广泛应用。它们的语义有两种常见的表示方式,一种是基于原始算子的表达式,一种是基于一阶逻辑的表达式。但有关的文献资料都没有给出这两种表达式等价性的严格证明。文章尝试通过一系列等价变换,证明派生算子语义的这两种表达式间的等价性。从派生算子（主要是除算子）语义的原始算子表达式出发,根据关系代数表达式的特点,通过一步步的等价变换,得到派生算子语义的一阶逻辑表达式。所使用的变换方法能为关系代数表达式的正确性证明打下基础。     

电子月票

提出了一种电子月票系统。用户从银行提取一笔款项后,可在有效次数范围内购买网上的服务,其付费方式不是以购买的信息量的多少进行,而是以购买的次数进行。这样既方便了用户,又方便了网上的服务提供者。     

基于灰色关联度的供应商评价体系研究*

将层次分析法与灰色关联度相结合,提出了一种新的供应商评价方法。针对供应商评价指标间关联性比较强的特点,采用层次分析法确定评价指标权值,以灰色关联度作为评价标准,对复杂多目标的供应商对象进行综合评价,其结果具有良好的性质且方法简单、利于实现。     

干旱地区施工弃渣生态修复工程探究

在西部干旱地区工程项目建设过程中,大规模的开挖、修路等施工会产生大量的弃渣,不仅加剧水土流失,而且造成一系列的生态问题。通过对弃渣状况进行研究,阐述生态修复的工程措施,为干旱地区工程建设项目的弃渣治理提供一定的借鉴意义。     

3-RPS并联机床的标定建模及振动分析

并联机床在标定时所建立的位置参考系与运动参考系不一致产生系统误差,从而影响机床的结构性能。通过改进标定建模方式,将两个参考系统一,并用数值模拟该并联机床的标定过程,对比结果发现,改进后的模型可以完全消除测量时的系统误差对并联机床标定精度的影响。把标定过的模型导入ADAMS进行振动仿真分析,通过对比可以发现标定过模型的各项振动指标明显优于未标定的模型,从而进一步提高并联机床的结构性能。直接提高机械加工精度及安装精度能够提高并联机床的结构参数的精度,但其代价将是极大地增加加工成本,采用运动学标定并联机床的运动学建模的方法则只需要按普通精度要求进行机械加工,这种标定建模方式具有很高的实用价值。     

基于证书的签名方案

在离散对数问题的困难性假设下,提出了基于证书签名方案,并在最强的安全模型下证明了该方案的安全性. 该方案只使用普通的Hash函数,其签名算法和验证算法都不需要复杂的双线性对运算,计算效率高,适用于无线传感器网络等能量受限的系统.     

基于单片机的智能插座的设计与实现

提出一种新型节能插座,该插座能够通过对外界用电情况的智能检测以及外界的控制信号收集实现对电源的控制。智能插座由PIC12F615单片机主控模块、电源稳压模块、浪涌保护模块、红外信号检测模块、按键检测模块与继电器控制模块及电压取样模块组成。通过检测插座回路的微小电流,获知外界用电情况以及通过对外界红外信号的识别和对按键信号的识别控制继电器的开关动作,实现对电源的智能控制。     

公钥不可替换无证书签名方案

基于Al-Riyami框架的无证书签名(CLS)的安全性以密钥分发中心(KGC)不能实施公钥替换攻击为前提,存在能被KGC实施公钥替换攻击这一缺陷。给出公钥不可替换攻击无证书签名体制的定义,提出通过对用户的公钥签名来抵抗任何敌手(包括KGC)实施的公钥替换攻击,以将无证书签名的安全性提升到一个新的级别。基于Al-Riyami的方案给出了新方案的构造实例,基于随机预言机模型证明了公钥签名算法的安全性。该方案构造的对公钥的签名方法适用于所有基于Al-Riyami框架的双线性对无证书签名方案。     

通过"诗歌"加强英语学习的实践与探讨

诗歌以其独特的韵律节奏而易于背诵记忆,英语诗歌也不例外。英语课堂中辅助一些诗歌进行教学,不仅可活跃课堂教学气氛,而且有助于学生记忆英语单词,无疑是英语辅助教学的有效举措。本文就运用诗歌进行教学的益处及具体应用方法进行初步探讨。