- 叶进;邱珊;
在无线Mesh网络中,不同跳数的TCP流会引发严重的不公平性。搭建一个无线Mesh网络的实验床,并在该实验床上测试了基于跳数的TCP不公平性现象,从MAC层、队列管理机制、TCP拥塞控制机制等3个方面对产生这种基于跳数不公平性现象的原因进行了分析。同时对提出的几种典型的解决方案进行了仿真分析,仿真结果表明,这些方案提升了跳数不同的数据流之间的公平性,并从部署的代价、总的吞吐量影响、公平性改善情况、参数的设置等方面分析比较了这几种方案的优势和劣势。
2011年03期 4-7页 [查看摘要][在线阅读][下载 217K] [下载次数：41 ] |[网刊下载次数：0 ] |[引用频次：2 ] |[阅读次数：36 ] - 李碧青;姜兴;
研究了一种适用于MIMO系统的宽带小型化天线单元。天线采用单层介质板结构,椭圆天线槽形式,两端口采用不同馈电方式。该天线单元结构简单,厚度小,利于与移动端设备共形。天线单元的-10 dB带宽可达到570 MHz,带宽范围内两极化端口隔离度优于-25 dB。
2011年03期 8-11页 [查看摘要][在线阅读][下载 736K] [下载次数：131 ] |[网刊下载次数：0 ] |[引用频次：2 ] |[阅读次数：41 ] - 李创辉;赵涛;
利用COSMIC掩星观测获得的电离层电子密度数据,对2009年不同季节的电离层F2层峰电子密度分布特征进行了研究。采用人工神经网络插值技术,以世界时、地理经度、纬度、F2层峰电子密度及地磁活动指数Kp作为人工神经网络输入层的5个神经元,以NmF2作为输出层神经元,获取全球分布的NmF2。结果显示,位于南半球的威德尔海异常从春季开始出现,夏季最为明显,并持续到秋季,这一变化过程与已有的TEC研究结果相似;在赤道异常区,NmF2随经度、纬度及季节有明显的变化。
2011年03期 12-15页 [查看摘要][在线阅读][下载 543K] [下载次数：67 ] |[网刊下载次数：0 ] |[引用频次：1 ] |[阅读次数：50 ] - 李晓陆;王云飞;郑晨熹;
为提高变长时隙下Turbo码的抗干扰传输能力,提出一种将Turbo码的编码符号通过跳间交织分散到时隙各个数据跳中的改进算法。算法提高了接收灵敏度,实现信息的无差错接收。通过实际系统验证了该改进算法性能优良。
2011年03期 16-19页 [查看摘要][在线阅读][下载 461K] [下载次数：27 ] |[网刊下载次数：0 ] |[引用频次：0 ] |[阅读次数：36 ]
- 张勇;王卫东;
为实现开关电流振荡器,采用将2个开关电流双线性积分器级联的方法,其中,开关电流双线性积分器由增加了电压反转跟随器电路(FVF)的开关电流存储单元组成。将设计好的开关电流振荡器在Cadence Spectre下仿真,使用SMIC 0.18μm工艺,电源电压为1.8 V,仿真结果表明该振荡器性能良好,频率可调,当开关电流存储单元的时钟采样频率为5 MHz时,仅需8.8μs振荡波形即可达到稳定。实现的开关电流振荡器具有结构简单、起振时间短、精确度高和振荡频率可调的优点。
2011年03期 20-23页 [查看摘要][在线阅读][下载 409K] [下载次数：41 ] |[网刊下载次数：0 ] |[引用频次：0 ] |[阅读次数：35 ] - 李超;黄桂敏;宾辰忠;
针对当前P2P缓存系统中存在缓存污染的问题,提出了一种新的缓存系统。在该系统中,网络边缘部署了超级跟踪服务器,根据用户对资源的访问特点,设定缓存优先级,对资源进行有选择的缓存,进而减少P2P缓存系统中的缓存污染。根据资源当前的热度,对LRU替换策略进行了改进,提出了一种新的缓存替换算法LRU-N。理论分析和仿真数据表明,该缓存系统提高了缓存的命中率,降低了出口流量,提高了网络性能。
2011年03期 24-28页 [查看摘要][在线阅读][下载 411K] [下载次数：116 ] |[网刊下载次数：0 ] |[引用频次：1 ] |[阅读次数：34 ] - 钱勇;刘庆华;刘晓琳;
旋转机械的有源噪声控制中对谐波信号进行基频估计可以有效地跟踪噪声的频率变化,使控制系统能够对噪声进行有效控制。分析了Pulse-Pair频率估计的基本原理,通过Hilbert变换器对多谐波信号基频作精确的估计。对Hilbert变换器和低通滤波器进行联合设计,优化了系统结构,减少了运算量。仿真结果显示,本算法精度达到要求,计算量小,易于硬件实现。
2011年03期 29-32页 [查看摘要][在线阅读][下载 434K] [下载次数：66 ] |[网刊下载次数：0 ] |[引用频次：0 ] |[阅读次数：46 ]
- 陆晶晶;骆翔宇;
为了验证Web服务的正确性和可靠性等性质以及提高Web服务流程验证的自动化程度,提出了一种适合构造BPEL4WS(Web服务的业务流程执行语言)结构模型的输入输出标记迁移系统(I/OLTS)作为中间形式化模型,将BPEL转化为中间形式模型I/OLTS,然后再转化为软件模型检测工具ZING的输入语言的转化算法,并应用ZING对Web服务的正确性进行验证。通过该建模和转换算法,可有效提高Web服务流程验证的自动化程度,简化转化过程中复杂繁琐的人工编码操作。
2011年03期 33-38页 [查看摘要][在线阅读][下载 383K] [下载次数：44 ] |[网刊下载次数：0 ] |[引用频次：0 ] |[阅读次数：40 ] - 聂锡宁;蔡国永;
为了对大规模或复杂结构的系统进行规格,人们在经典的库所/迁移Petri网基础上加入层次、时间等来扩展它。为此,提出使用重写逻辑表达Petri网的新方法来探索对Petri网的替代。通过把异步并发系统的Petri网图形表达转化为重写逻辑理论,可以更容易和更直接地验证原系统的安全性、活性和可达性等行为属性,而不需要建立标识图或搜索网络不变量。以银行家问题为例,展示模型转化过程,并检测了该模型的无死锁性。结果表明,库所/变迁Petri网可以等效转化为重写规则代数组合的重写逻辑,并能在重写逻辑软件Maude中验证保留的基本属性。
2011年03期 39-43页 [查看摘要][在线阅读][下载 320K] [下载次数：55 ] |[网刊下载次数：0 ] |[引用频次：1 ] |[阅读次数：48 ] - 肖坤;古天龙;常亮;
网络可生存性是一种描述网络安全的有效工具,在网络体系结构设计和路由策略等领域得到了广泛的应用。对于Ad Hoc网络拓扑结构易变化的特点,以韧性度能很好刻画网络脆弱性为基础,提出了一种基于韧性度的Ad Hoc网络可生存性度量方法。该方法针对同一时刻有多种拓扑结构且每种拓扑结构以一定概率出现的Ad Hoc网络,应用韧性度函数,得到一个度量Ad Hoc网络在某个时刻及一个时间段内可生存性的模型。最后应用此方法对一个实例进行了度量。
2011年03期 44-47页 [查看摘要][在线阅读][下载 137K] [下载次数：65 ] |[网刊下载次数：0 ] |[引用频次：5 ] |[阅读次数：50 ] - 郑建军;周满元;
多描述编码是一种容错能力强,稳定性好的编码技术。以H.264/AVC中的分组概念为基础,通过将每个描述中的码流使用动态片组交换器分成主片组和次片组,并使用运动矢量的时空预测方法来代替普通的帧预测方法,基本上可以得到更优的率失真。实验表明,与固定划分片组的静态分组多描述编码比较,该方法以较少的冗余换取了更高的信噪比。
2011年03期 48-51页 [查看摘要][在线阅读][下载 453K] [下载次数：42 ] |[网刊下载次数：0 ] |[引用频次：0 ] |[阅读次数：39 ] - 覃凤萍;古天龙;常亮;
命题动态逻辑是一种应用模态逻辑,用于程序行为的推理。Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑。对于给定的Iteration-free CPDL公式集,方法是应用NCNF变换和FLAT规则对其进行预处理,并对公式集重构模型,然后将其转化为布尔函数,并利用OBDD来表示,从而调用已有的OBDD软件包进行可满足性判定。最终结合实例验证了算法的可行性及正确性。
2011年03期 52-56页 [查看摘要][在线阅读][下载 214K] [下载次数：21 ] |[网刊下载次数：0 ] |[引用频次：0 ] |[阅读次数：63 ] - 董庆贺;钟震林;
为了实现对某特定场所的远程监控和智能化管理,提出了一种基于RFID的门禁管理系统。介绍了系统的硬件和软件设计过程,系统以AT89S52单片机作为主控单元,采用MFRC500读写芯片实现近距离读取IC卡的序列号,通过串口通讯发送至服务器,基于SQL Server 2000的信息管理子系统实现对IC卡的注册、验证、存储、查询等管理工作。实验表明系统稳定,可对出入人员进行智能化管理,提高了门禁的安全性和监控能力。
2011年03期 57-60页 [查看摘要][在线阅读][下载 531K] [下载次数：639 ] |[网刊下载次数：0 ] |[引用频次：16 ] |[阅读次数：36 ] - 尹柱平;李幼平;
针对传统协同过滤推荐算法中存在评分数据稀疏性问题,以稀疏的用户打分来确定用户间的相似性可能并不准确。为此,提出了以用户行为对应一定分值代替空缺评分的方法来修正用户I-U评分矩阵,并基于用户角色以权重系数K来约束最近邻的计算。实验表明,改进的算法具有更优的推荐质量。
2011年03期 61-64页 [查看摘要][在线阅读][下载 223K] [下载次数：113 ] |[网刊下载次数：0 ] |[引用频次：1 ] |[阅读次数：38 ] - 齐育彬;陈光喜;
为提高医学超声弹性成像中图像传输的效率,采用了改进的SPIHT算法对图像进行压缩并传输。改进的SPIHT算法对弹性仿体受压前后的图像进行分解,然后对其进行去直流操作、编码和传输,传输后进行逆操作恢复图像并用于弹性成像。实验结果表明改进的SPIHT很大程度上减少了弹性图像的冗余信息,提高了图像的传输速度并在一定程度上提高了恢复图像质PSNR值,同时使得弹性成像计算效率大幅提高,较之为原SPIHT算法有更好的应用前景。
2011年03期 65-68页 [查看摘要][在线阅读][下载 575K] [下载次数：39 ] |[网刊下载次数：0 ] |[引用频次：8 ] |[阅读次数：40 ] - 陆康梅;李郴良;
考虑小波多分辨分析与多重网格的相似性,多重网格的延拓算子具有低通滤波器的作用。结合小波的多分辨分析的性质与瀑布型多重网格的优点提出了一种新的瀑布型多重网格算法。二维场域的数值算例表明相对于经典的瀑布型多重网格法新算法的效率有了一定的提高。
2011年03期 69-72页 [查看摘要][在线阅读][下载 326K] [下载次数：60 ] |[网刊下载次数：0 ] |[引用频次：0 ] |[阅读次数：48 ] - 王艳青;冯大河;韩虎;
采用辅助方程法研究具有高阶非线性项的广义二维KdV-Burgers方程的精确解,利用平衡法获得了辅助方程的参数约束条件,再根据辅助方程的解成功地获得了所讨论方程的一系列精确解,包括三角函数解、双曲函数解和有理函数解。
2011年03期 73-76页 [查看摘要][在线阅读][下载 118K] [下载次数：75 ] |[网刊下载次数：0 ] |[引用频次：2 ] |[阅读次数：43 ] - 常侠;马忠军;袁朝晖;
利用特征方程和稳定性理论,研究了一类具有Beddington-DeAngelis感染函数的时滞HIV-1模型的动力学性质,得到了无感染平衡点全局稳定和感染平衡点局部渐近稳定的充分条件。
2011年03期 77-80页 [查看摘要][在线阅读][下载 215K] [下载次数：48 ] |[网刊下载次数：0 ] |[引用频次：1 ] |[阅读次数：41 ] - 陆敏;段复建;
延期付款可以有效地减少库存和降低购买成本,能够鼓励销售商购买更多的产品,刺激订货量的增加,是一种具有广泛应用的库存策略。在允许延期付款期限下,针对易腐商品以成本最小化为目标,构建了易腐商品在延迟付款期限下的库存模型,并通过算法确定了最优订货周期和最优订货量。通过实际算例,说明了模型的有效性。
2011年03期 81-84页 [查看摘要][在线阅读][下载 129K] [下载次数：80 ] |[网刊下载次数：0 ] |[引用频次：0 ] |[阅读次数：35 ] - 薛文忠;潘昌荣;苏奇文;牛军浩;
为提高便携式红外寻的防空导弹攻击小目标的能力,采用近炸引信是非常必要的。而导弹的近炸引信探测装置一般在碰撞目标前即已启动,因此只有设置合适的延迟起爆时间,才能使战斗部尽可能多的破片击中目标,以获得最佳的杀伤效果,提高对目标的杀伤概率。通过对近炸引信启动与引战配合进行数学建模,采用蒙特卡洛法进行仿真计算,获取迎攻和尾追状态下近炸引信引爆延迟时间与击中目标破片数量的关系,以确定最佳引爆延迟时间。
2011年03期 85-88页 [查看摘要][在线阅读][下载 288K] [下载次数：96 ] |[网刊下载次数：0 ] |[引用频次：1 ] |[阅读次数：32 ]