基于CK模型的安全节点认证密钥交换协议

基于CK模型的安全节点认证密钥交换协议[通信与网络][通信网络]

无线传感器网络中的节点常常被部署在非安全的环境中，因而容易遭受假冒等安全威胁。为保护可信节点之间数据通信安全，基于计算性DiffieHellman假设，提出一种节点认证与密钥交换协议。推荐方案不仅能实现对参与节点真实身份的鉴别，而且生成一个参与方共享的秘密密钥，为参与方之间的数据交换建立一个安全的通信信道。并证明了推荐方案能实现CK模型下认证和密钥协商的协议的安全目标。此外，对安全属性的分析表明该协议具备前向安全、已知会话密钥安全、抗密钥泄漏假冒及未知密钥共享攻击的能力。

发表于：6/6/2017 11:42:00 AM

面向服务的智能制造资源建模方法研究

面向服务的智能制造资源建模方法研究[嵌入式技术][工业自动化]

在追求制造过程自适应、自组织以及灵活高效的新制造环境下，将Holonic体系与面向服务的结构融合对于创建更加灵活响应的制造系统是一种极具吸引力的解决方式；制造服务作为制造系统间相互交互的主要元素，不同于Web服务，需要新的更合适的模型来描述制造资源。文中提出了一种将面向服务的架构融入到多智能体系统的方法，给出一系列决定如何实现实际生产过程应用中每个制造子体的规则，并将这些规则应用于ISA-95层级活动中。另外，在Web服务技术基础上提出新的制造体系下制造服务的信息模型和面向服务制造过程的设计框架。最后通过制造过程实例说明这种信息模型在实际生产过程中应用的有效性。

发表于：6/6/2017 11:22:00 AM

基于B/S架构的家居环境远程监测系统设计与实现

基于B/S架构的家居环境远程监测系统设计与实现[通信与网络][通信网络]

伴随着物联网技术的快速发展，传感器网络、无线通信、嵌入式智能设备和大数据在智能家居上的结合正在成为一个不可逆转的趋势。针对传统C/S(Client/Server)架构环境监测数据远程监测困难、系统安装复杂、系统平台要求较高、后期维护成本高等缺点，提出了一种基于B/S（Browser/Server）架构的家居环境无线远程监测方案，设计了一套用于多个环境参数实时监测并通过ZigBee低功耗局域网协议进行无线传输的远程家居环境监测系统。用户可以从移动端或PC端通过网页直接查看多个房间内的温度、湿度、PM2.5浓度、甲醛浓度、CO浓度等空气状​态信息。该系统设计功耗低、成本低、结构简单、安装方便。

发表于：6/6/2017 12:20:00 AM

Proteus仿真软件在电类专业课程中的应用研究

Proteus仿真软件在电类专业课程中的应用研究[EDA与制造][汽车电子]

针对目前Proteus仿真软件在电类专业课程中应用研究单一的现状和问题，提出应强调Proteus仿真软件在电类专业课程中的相互融合与促进，提升学生对所学相关课程知识的理解和相互贯通，不再局限与某一门课程。在结合理论分析的基础上，首先用Proteus对模拟电子技术中直流稳压电路进行仿真，然后使用Proteus对数字电子技术中模数转换电路进行硬件仿真，最后将直流稳压电路和模数转换电路应用到单片机系统中，使用Proteus软件进行联合仿真测试。实践教学结果表明，这种方法能更好地帮助学生理解和认识所学电类专业课程，在很大程度上提高了学生对电类专业课程的兴趣和积极性。

发表于：6/6/2017 12:12:00 AM

NIOS下实现存储速度可调的SD卡FAT文件系统

NIOS下实现存储速度可调的SD卡FAT文件系统[嵌入式技术][其他]

由于NIOS下自带的SPI控制器，一旦建立，SPI clock(SCLK)的频率在使用过程中是不允许被修改的，即SPI的读取速度是不可改变的，这在很大程度上限制了SD卡的使用性能，因为在卡初始化的时候，SCLK时钟最大不能超过400 kHz。使用软件模拟SPI，通过示波器调试时序，并且移植了FATFS文件系统实现SD的存储管理。最后通过存储文件测试在不同速度下的存储时间。

发表于：6/6/2017 12:06:00 AM

FPGA在物理实验中的应用

FPGA在物理实验中的应用[嵌入式技术][其他]

大学物理实验是几乎所有工科学生在大学阶段的必修课，然而目前的物理实验仪器很多过于陈旧，实验手段较为落后，跟不上现代化技术发展水平。FPGA作为新型的可编程器件与原有的物理实验仪器相结合，可以极大地提升实验的自动化程度，改善测量精确度，同时还能拓展学生思维，提高学生兴趣，为相关专业学生打下社会实践基础。

发表于：6/5/2017 11:58:00 PM

基于收益最大化的三支决策中不承诺决策转化

基于收益最大化的三支决策中不承诺决策转化[嵌入式技术][其他]

三支决策是对传统二支决策的推广，它在原有的二支决策中增加了不承诺域，避免了直接做出接受决策或拒绝决策所需承担的风险。但是，从效果上看，不承诺决策和拒绝决策是相同的，不承诺决策同样需要承担风险。基于收益最大化原则的转化方法给出了三支决策中不承诺决策的转化模型，并且比较了收益最大化原则和转化代价最小原则在不同情景中决策上的相同和差异，最后通过实例证明了模型的正确性和可行性。

发表于：6/5/2017 11:51:00 PM

基于压缩感知的微弱信号检测方法

基于压缩感知的微弱信号检测方法[通信与网络][信息安全]

提出了一种利用压缩感知原理测量微弱信号的方法，测量信号由伪随机序列调制，应用改造的测量矩阵，在一次测量基础上进行二次测量，利用压缩感知的恢复算法可以精确地确定信号在字典中的位置并且得到其幅度值。仿真实验证明本文方法可以用于检测信噪比高于-20 dB的微弱信号，将信号较完整地从噪声干扰中恢复出来，信号幅度误差很小。

发表于：6/5/2017 11:43:00 PM

基于计数器原理的调频信号解调方法

基于计数器原理的调频信号解调方法[嵌入式技术][工业自动化]

提出了一种基于计数器原理的调频信号解调方法，该方法以FPGA为核心，结合放大整形电路、高频振荡器电路以及DAC，完成对超声以及以下频率的调频信号解调。该方法通过对信号周期计数，然后用计数值检索存储有信号幅度值的存储器，最后经过DAC得到调制信号。

发表于：6/5/2017 11:32:00 PM

基于超宽带的移动机器人室内定位系统设计

基于超宽带的移动机器人室内定位系统设计[嵌入式技术][工业自动化]

针对目前移动机器人室内定位方式灵活性差和精度不高的问题，设计了一种基于超宽带（UWB）的高精度移动机器人室内定位系统。系统以UWB射频模块组成无线传感器网络，包括基站(Anchor)和安装在移动机器人顶端的标签(Tag)。采用非对称双边双向测距技术（ADS-TWR）获得标签到各基站之间的距离信息，无需基站与标签、基站与基站之间的时钟同步。距离信息通过WiFi由基站传输到上位机，利用卡尔曼滤波算法对距离信息进行优化后进行定位。测试结果表明，该系统具有布设简单、高精度、高实时性的特点，定点定位误差在13 cm以内，动态点定位误差小于20 cm。

发表于：6/5/2017 2:00:00 PM