- 王海涛;吴连才;武媛媛;
无中心、自组织和资源受限等特点给无线自组网的安全性带来了新的问题和挑战。通过介绍无线自组网面临的安全问题特殊之处,给出了无线自组网的安全目标和策略。在此基础上,系统归纳和分析了可用于增强无线自组网安全性的各种措施和机制,介绍一种多重安全防御方案,并展望了今后研究工作的方向。
2011年02期 v.31;No.113 87-92页 [查看摘要][在线阅读][下载 191K] [下载次数：477 ] |[网刊下载次数：82 ] |[引用频次：9 ] |[阅读次数：144 ] - 李晓陆;郑晨熹;
提出了一种在正交频分复用(OFDM)系统中同时对载波频偏和时钟采样偏差进行联合估计的算法。该算法仅利用一个前导OFDM符号,通过恰当的选择频点间隔,在接收端FFT处理前加入Hanning窗降低边带能量损失,将载波频偏和时钟采样偏差联合为一个变量。通过对此变量多个估计值的求解,得到载波频偏和采样定时偏差的估计值。
2011年02期 v.31;No.113 93-97页 [查看摘要][在线阅读][下载 262K] [下载次数：57 ] |[网刊下载次数：147 ] |[引用频次：0 ] |[阅读次数：156 ] - 徐春燕;仇洪冰;
宽带地空信道传输环境很复杂,多径衰落、多径时延、衰落速率、波达方向、相干时间等参数都会影响地空通信系统的设计。为了更全面、准确的描述地空信道特性,利用地空椭球信道模型的建模方法,通过实际测量和统计的实测数据获得俯仰角、直射信号的传输时延和在此仰角下的多径信号的最大时延值,计算得到它的随机波达方向和随机时延,将波达方向应用于射线跟踪,进行信道仿真。这种建模方法既减少了计算量,又提高了仿真速度。仿真结果表明,理论分析模型和仿真结果一致,此方法更加接近实际信道。
2011年02期 v.31;No.113 98-102页 [查看摘要][在线阅读][下载 669K] [下载次数：101 ] |[网刊下载次数：89 ] |[引用频次：2 ] |[阅读次数：177 ] - 刘丽群;黄冰;
阐述了G.729.1语音编解码标准的流程,根据DM642的特点对源代码进行了优化,在DSP硬件平台上实时实现了该编解码算法。实验结果表明,优化后的代码在内存占用和预算复杂度方面都达到了预期的目标,话音质量达到通信的要求。
2011年02期 v.31;No.113 103-105页 [查看摘要][在线阅读][下载 224K] [下载次数：45 ] |[网刊下载次数：96 ] |[引用频次：1 ] |[阅读次数：130 ] - 杨元挺;郑继禹;
Chirp-UWB通信技术作为WPAN的无线接入标准而倍受关注,为降低采样率与技术成本,接收时常将GHz频段的Chirp-UWB信号搬移到基带进行匹配滤波或分数阶傅立叶变换(FRFT)处理。通过Chirp信号匹配滤波和FRFT能量聚集效能的简洁推导,分析了零中频变换存在的随机相位抖动对检测性能的影响。为消除频差,提出了一种Chirp信号归载频调制(CRCM)方式,用锁相环(PLL)可提取相干载波,对Chirp-UWB信号做无频差的零中频变换,取得良好的基带处理效果。仿真表明,提出的CRCM调制方式是有效的,提取环路的随机相位抖动对匹配滤波器基带处理有一定影响,而对FRFT的处理没有影响。
2011年02期 v.31;No.113 106-110页 [查看摘要][在线阅读][下载 556K] [下载次数：69 ] |[网刊下载次数：111 ] |[引用频次：1 ] |[阅读次数：179 ] - 王晋;胡觉晖;牛蕴婷;田佳璐;
运用运动光流法提取运动车辆,区分运动的前景及相对运动的背景,获取运动目标的运动参数;运用霍夫变换结合最小二乘法实现道路识别与跟踪。实验结果表明,运动光流法能够准确检测不同运动目标并对其进行跟踪,霍夫变换结合最小二乘法对车道线实现了较好的跟踪与预测,实现了预期目标。
2011年02期 v.31;No.113 111-114页 [查看摘要][在线阅读][下载 506K] [下载次数：291 ] |[网刊下载次数：115 ] |[引用频次：11 ] |[阅读次数：144 ] - 李雅楠;古天龙;常亮;
模型检验的智能规划方法具有较高的求解效率,是当今通用智能规划研究的热点。由于模型检验的命题动态逻辑规划方法无法从拆卸角度求解规划问题,给出了含逆反动作的命题动态逻辑的符号模型检验算法,开发了CPDL符号化模型检验工具;针对一般智能规划问题中的机械装配序列规划问题,从装配体的拆卸出发,给出了基于CPDL模型检验技术的装配序列求解方法,并结合实例验证了该方法的可行性。
2011年02期 v.31;No.113 115-119页 [查看摘要][在线阅读][下载 220K] [下载次数：59 ] |[网刊下载次数：129 ] |[引用频次：0 ] |[阅读次数：196 ] - 李德波;古天龙;常亮;高西;
描述逻辑是语义Web的逻辑基础,已成为当前计算机科学和人工智能研究的热点。鉴于描述逻辑SHOIQ的经典判定算法在处理大规模问题上的不足,以OBDD能很好处理大规模问题为基础,给出了一种基于OBDD的SHOIQ判定算法。该算法利用相关规则和技术将SHOIQ知识库转化为OBDD,在此基础上进行SHOIQ知识库的一致性判定。最后基于该算法开发了推理机DLR_SHOIQ。
2011年02期 v.31;No.113 120-124页 [查看摘要][在线阅读][下载 304K] [下载次数：64 ] |[网刊下载次数：174 ] |[引用频次：0 ] |[阅读次数：236 ] - 王雪红;董荣胜;余兴超;
为了有效地分析实时系统,在原计算模型的基础上,引入了时钟变量,在迁移上增加了时钟约束,扩展了异步扩展层次自动机的语义。运用基于时间扩展的ASEHA,分析了ATM系统,建立了用户和ATM的模型,并使用模型检测工具UPPAAL对模型进行验证,从无死锁、活性及可达性性质出发,验证了ATM系统的安全性。实验表明,提出的基于时间扩展的ASEHA能够降低系统分析的复杂性,有助于实时系统的建模与验证。
2011年02期 v.31;No.113 125-129页 [查看摘要][在线阅读][下载 328K] [下载次数：40 ] |[网刊下载次数：139 ] |[引用频次：0 ] |[阅读次数：204 ] - 胡伟;欧阳一鸣;官骏鸣;
片上系统(SoC)发展到片上网络(NoC),能量消耗逐渐成为芯片设计的首要限制因素。通过建立CMOS电路和网络通讯2个层面不同的功耗模型,从集成电路不同的设计层次、片上网络通讯功耗以及NoC映射问题等方面进行NoC的低功耗设计,综合分析NoC的低功耗设计方法。
2011年02期 v.31;No.113 130-133页 [查看摘要][在线阅读][下载 317K] [下载次数：140 ] |[网刊下载次数：143 ] |[引用频次：3 ] |[阅读次数：166 ] - 倪天龙;
介绍了一种利用BP人工神经网络降低报警系统误报警率的有效方法。以STC89C52RC处理器为平台,在嵌入式系统中应用BP网络先对报警信息进行分析和预处理,再控制报警系统动作。该方法大大降低了报警系统因自然因素导致的误报警概率。采集了100个典型数据对BP网络进行训练,得到了适合应用目标的网络模型,现场实测误报警率几乎为0。该方法的硬件价格便宜,电路简单,是一种降低报警系统误报警率的有效方法。
2011年02期 v.31;No.113 134-137页 [查看摘要][在线阅读][下载 316K] [下载次数：69 ] |[网刊下载次数：114 ] |[引用频次：1 ] |[阅读次数：172 ] - 刘宁;赵建华;
为了解决无线传感器网络的安全性问题,设计了一个基于生物免疫的轻量级入侵检测系统。系统集成了检测器的生成和抗原的检测,采用了疫苗提取和疫苗接种技术,实现了自体、非自体、抗体的动态演化。仿真结果表明,系统具有良好的检测率和较低的能耗。
2011年02期 v.31;No.113 138-141页 [查看摘要][在线阅读][下载 248K] [下载次数：139 ] |[网刊下载次数：131 ] |[引用频次：10 ] |[阅读次数：191 ] - 李亚平;李军;
为提高三河门窗厂生产线的平衡率,首先测量了内开扇的工时,根据流程程序图和工时表分析了内开扇制作过程中存在的原料、人员等的浪费现象,然后利用程序分析和人机操作分析等方法,提出了合理分配人员、改用部分原料、添加辅助工具等改善措施。改善的方案实施后,内开扇批量加工时间由17.15 min减少为10.99 min;产线平衡率由49.6%提高到85.3%,达到了良好状态。
2011年02期 v.31;No.113 142-146页 [查看摘要][在线阅读][下载 342K] [下载次数：321 ] |[网刊下载次数：136 ] |[引用频次：4 ] |[阅读次数：163 ] - 贺丽;曾玲;
研究了模糊环境下库容有限且缺陷产品可修复的经济生产批量问题。在库容有限且缺陷产品可修复条件下,将缺陷率、废品率视为三角模糊数,建立了一个模糊期望值模型,通过求解模型确定最优生产批量及最大缺货量。数值例子表明所建模型是切实可行的。
2011年02期 v.31;No.113 147-150页 [查看摘要][在线阅读][下载 174K] [下载次数：91 ] |[网刊下载次数：95 ] |[引用频次：3 ] |[阅读次数：162 ] - 李斌;丁勇;
对基于双线性对群签名的电子拍卖方案进行优化,在保证相同安全性的情况下,缩短了签名的长度,简化了拍卖的注册和竞拍过程,使得拍卖效率得到较大的提高。此外,由于使用了第二价位拍卖,更加能达到商品最优分配原则。
2011年02期 v.31;No.113 151-154页 [查看摘要][在线阅读][下载 117K] [下载次数：93 ] |[网刊下载次数：131 ] |[引用频次：2 ] |[阅读次数：156 ] - 韦联旺;段复建;
针对蚁群算法搜索时间长、容易陷入局部最优以及参数选择难的缺点,提出了带参数信息素的蚁群算法。该算法使用新的信息素更新机制,使得蚂蚁具有更强的全局搜索能力;同时,算法引入参数信息素,使得蚂蚁能够按概率选择较合适的参数组合,在一定程度上解决了参数选择的困难。对旅行商问题的仿真结果表明,该算法是可行有效的。
2011年02期 v.31;No.113 155-159页 [查看摘要][在线阅读][下载 198K] [下载次数：96 ] |[网刊下载次数：142 ] |[引用频次：7 ] |[阅读次数：193 ] - 曹艳斌;李郴良;
为了提高电磁场数值计算的精度和效率,高阶三棱柱矢量有限元已得到研究。但对三棱柱矢量有限元应用研究有详细论述的只针对一阶情况,而且精度偏低。基于Ahagon等提出的利用节点元推导矢量元的方法,针对一种二阶三棱柱单元模型,从该模型的节点基函数出发,推导该模型的矢量基函数;接着对矢量基函数进行分类,以方便计算2种单元刚度矩阵的积分;将该二阶三棱柱矢量基函数用于腔体问题,比一阶三棱柱矢量元具有更高的精度和更少的计算量。
2011年02期 v.31;No.113 160-162页 [查看摘要][在线阅读][下载 176K] [下载次数：68 ] |[网刊下载次数：119 ] |[引用频次：0 ] |[阅读次数：294 ] - 范京芝;蒋贵荣;韩虎;
脉冲微分动力系统理论上综合了连续和离散系统的特征,但又超出了连续和离散系统的范围。以脉冲微分方程理论为基础,应用动力系统定性分析方法、离散动力系统的分岔理论,研究了一个具有两类脉冲的阶段结构模型的动力学性质,并且这两类脉冲是发生在不同时刻。通过建立一个具有两类脉冲的阶段结构模型,利用离散映射,讨论模型正周期解的存在性和稳定性。利用中心流形定理和分岔理论给出了跨临界分岔发生的条件。通过MATLAB软件,得出相图、周期解和分岔图等数值模拟结果,验证了理论分析结果。
2011年02期 v.31;No.113 163-167页 [查看摘要][在线阅读][下载 254K] [下载次数：93 ] |[网刊下载次数：105 ] |[引用频次：1 ] |[阅读次数：174 ] - 张艳红;王培培;王仲民;倪成员;颜瑞;
利用熔体淬冷法制备出不同速度下的4种合金薄带,研究了快凝对贮氢合金电化学性能的影响。合金的晶体结构采用XRD和SEM进行表征。结果显示,铸态和快凝合金都是单一的CaCu5相结构,快凝后的合金组织变得更加细密,晶粒变小而且更加均匀。电化学实验结果表明,快凝显著提高了合金的稳定性,但是降低了合金的放电容量和高倍率性能,铸态合金和10 m/s速度下的快凝合金综合性能最好。
2011年02期 v.31;No.113 168-172页 [查看摘要][在线阅读][下载 798K] [下载次数：55 ] |[网刊下载次数：64 ] |[引用频次：0 ] |[阅读次数：181 ] 下载本期数据