基于SPIN的地下建筑设备监控系统软件验证

在地下建筑智能化系统中,设备监控系统是基本的组成部分,其软件设计的正确性十分重要。提出了一种基于SPIN的地下建筑设备监控系统软件正确性验证方法。构建了基于iFIX组态软件的设备控制系统软件Promela模型,利用SPIN模型检验方法对其安全性进行了验证。还利用简化模型进行反例追踪,找出了安全性规约中存在的错误。检验结果表明提出的验证方法是有效性。     

基于FPGA的新型高速CCD图像数据采集系统

介绍一种基于Actel公司Fusion StartKit FPGA的线阵CCD图像数据采集系统。以FPGA作为图像数据的控制和处理核心,通过采用高速A/D、异步FIFO、UART以及电平转换、放大滤波、二值化电路和光学系统实现对图像数据的信号处理,并运用Visual Studio C++和Microsoft公司的基本类库MFC实现对采集数据的显示、绘图、传输控制等。利用搭建的系统平台实现对物体尺寸的测量,通过对所得的数据进行分析处理,明确测量的精度和可以达到的水平。对该系统在实时监控中的优点进行分析。     

软件无线电技术在3G系统中的应用

软件无线电技术以现代通信理论为基础,以数字信号处理技术为核心,以计算机软件设计思想、方法为技术改进理念。采用现代科技手段把软件无线电技术应用于第三代通信技术（3G）系统中,可有效地解决3G系统中多频多模及网络互通问题,使3G系统能提供宽带业务实现全球无缝覆盖。     

串口通信与网络通信的应用研究

该文通过可移动摄像头控制系统,探讨了以Windows与Linux平台为基础的两个操作系统之间的串口通信和网络通信,通过基于S3C2410的嵌入式串口通信的实现提出了具体可行的操作。该系统的硬件主体设计以三星S3C2410处理器为核心控制器件,实现在ARM平台上的基本功能。     

一种桌面机器人及其自主地图绘制算法

利用嵌入式技术设计了一种桌面机器人系统,机器人体积不到200 cm3,系统利用全局摄像机采集图像,通过无线通信组件对机器人定位导航,从而进行面向地图绘制的智能行为研究;从桌面机器人系统采集到地图信息,并生成神经网络训练样本,利用可增长自组织特征映射图GSOM(Growing Self-organizing Map)的地图绘制算法,通过不断增加新的神经元实现网络规模的增长,从而生成以少数SOM图神经元分布描述环境特征信息的拓扑地图;在机器人系统上进行了基于GSOM模型的自主地图的绘制实验,并利用所得拓扑地图进行了准确的机器人导航实验.实验结果表明基于GSOM的自主地图绘制方法可行,机器人系统表现出类似生物的自主智能行为.该方法可以应用于大环境下机器人的自主地图测绘与导航.     

企业应用开发上的云计算

在云计算概念普及的今天,我想从两个角度来谈谈云计算对企业应用开发所带来的可能影响。在谈之前,再次说说云计算的定义：云计算就是网格计算面向商业领域的应用,落脚点应在Computing（计算）＋SaaS（商业应用）而不是Cloud（云）上。那么紧接着就会有人问：什么是网格计算？云计算和网格计算以及SaaS的联系与区别是什么？在文章末尾,我会给大家推荐一篇文章,那篇文章讲得很清楚。     

社会网络中基于主题的影响力最大化算法

为了解决现有的影响力最大化研究没有充分考虑主题对影响力节点挖掘的影响而导致特定主题下节点集合的影响范围不大这一问题,本文提出了一种社会网络中基于主题的影响力最大化算法TIM。该算法首先根据主题敏感阈值对初始节点集进行预处理,剔除干扰节点,再在新的节点集合上分两个阶段进行节点挖掘。第一阶段挖掘主题权威性大的节点,第二阶段挖掘主题影响增量最大的节点,最后综合两个阶段的节点作为结果集并进行实验验证。实验结果表明,相比其他算法,TIM算法挖掘的节点集合在特定主题下的影响范围更大,时间复杂度更低。     

声表面波器件的反射特性及性能

为了准确分析反射型声表面波器件参数对其性能的影响,基于耦合模理论和P矩阵方法建立了器件的耦合模模型,分析得到器件的电反射特性即反射系数S11曲线,并在128°Y-X LiNbO3压电基片试制了频率为90 MHz的多种参数的器件,分析与测试结果表明:单个叉指换能器器件的S11中心频率为91.26 MHz,幅值为-20.58 dB,与理论分析结果91.44 MHz和-19.21 dB相近;带有反射栅的器件比单个叉指换能器件在中心频率处S11幅值增大约8.5 dB,谐振峰增多,时域曲线有明显的反射峰信号,验证了反射栅的反射特性;叉指换能器叉指对数减小使器件中心频率处的S11幅值减小,时域中的回波信号更尖锐,信噪比明显增大,表明对数较多的IDT具有较强的反射特性,对回波信号干扰较大,过小的叉指对数对器件声电转换效率影响很大,会使器件性能下降;较大的反射栅指条数对回波信号影响不大,但过小的指条数会降低反射栅反射系数,使得回波信号信噪比减小,纹波增多.     

基于加速度的小波能量特征及样本熵组合的步态分类算法

摘 要： 目的 针对传统的使用小波分解系数作为特征对走路、上楼、下楼进行分类时不能对具有相同强度加速度信号的步态样本进行分类的问题,提出了一种基于样本熵和小波能量相结合作为特征的分类算法。方法 利用三轴加速度传感器采集走路、上楼、下楼三种步态下的上臂加速度信号,将信号进行小波分解,提取能量特征和样本熵特征,构建决策树分类器和贝叶斯分类器。结果 决策树分类器和贝叶斯分类器的总体分类精度分别为75%和78.75%,使用样本熵与小波能量作为特征的分类精度比仅使用小波能量的分类精度提高了15.85%和19.17%。结论 就步态分类精度而言,样本熵与小波能量相结合的方法优于仅使用传统小波能量方法。     

VB中MSFLEXGRID控件网格单元可编辑功能的实现

运用ＶＢ的ＴＥＸＴＢＯＸ控件,对ＭＳＦＬＥＸＧＲＩＤ控作的性能进行了扩展,实现了ＭＳＦＬＥＸＦＧＲＩＤ控件的可编辑功能,并给出用上下箭头键及回车键在ＭＳＦＬＥＸＦＧＲＩＤ的单元格间移动光标的解决方法。