- 胡海洋;吕建;
网构软件是未来开放软件协同环境(如Internet)中的一种新型软件形态,其构建依赖于对开放环境中各种异构的、自治的软件服务实体间的有效协同。构件组装是实现网构软件有效协同的基本手段之一,而如何有效对构件组装进行可靠性分析是其中较为重要的核心问题。本文在分析现有工作的基础上提出一种面向网构软件的构件组装可靠性分析方法,该方法对构件的使用域、构件间的协同连接方式、组装结构等方面进行了可靠性建模与分析,并对构件可靠性、构件间连接的可靠性等方面进行了敏感度分析,从而为开放环境下开发面向网构软件的可靠构件组装软件系统提供有效支持。
2006年03期 165-174页 [查看摘要][在线阅读][下载 484K] [下载次数：192 ] |[网刊下载次数：0 ] |[引用频次：8 ] |[阅读次数：0 ] - 赵春晖;马梅真;尚政国;
利用具有二阶收敛效应的Levenberg-Marquardt(L-M)算法优化BP的权值修正量,构造了快速收敛的LMBP学习算法,并将其应用在声纳图像识别系统中。通过与标准BP算法和几种常用改进型BP神经网络以及径向基函数网络比较,验证了用LMBP神经网络作为声纳图像识别系统中的分类器,能够提高图像的识别率,加快网络的收敛速度,通过对受不同程度高斯白噪声污染的声纳图象的识别,验证了其性能稳定,具有较好的抗噪声性能。
2006年03期 175-181页 [查看摘要][在线阅读][下载 689K] [下载次数：126 ] |[网刊下载次数：0 ] |[引用频次：2 ] |[阅读次数：0 ] - 靳世久;曲志刚;周琰;曾周末;
研究了一种用于油气管道安全分布式光纤预警系统的侵入事件识别方法。该预警系统基于Mach-Zehnder光纤干涉仪原理,沿管道同沟敷设光缆,利用其中的三条单膜光纤构成分布式微振动测试传感器。系统实时地检测管道沿途振动信号,采用基于小波包分析的"能量-状态"法获取振动信号特征,并通过RBF神经网络进行判断是否有侵入事件发生,随后对事发点进行定位。现场实验数据验证了该识别方法的有效性。
2006年03期 182-185页 [查看摘要][在线阅读][下载 428K] [下载次数：105 ] |[网刊下载次数：0 ] |[引用频次：5 ] |[阅读次数：0 ] - 王国胜;梁冰;段广仁;
考虑了二阶线性系统的高阶比例积分观测器设计问题。基于一类广义Sylvester矩阵方程的解,提出了二阶线性系统的高阶比例积分观测器设计参数化方法。该方法给出了该类观测器的增益矩阵和左特征向量矩阵的参数化表达式,其所含参数除了满足两个约束条件之外是完全自由的。这些参数为控制系统设计提供了全部自由度,可通过优化等手段适当选择这些参数来满足某些性能要求,如干扰解耦、LTR和鲁棒性等。此外,该观测器设计的参数化直接基于二阶线性系统的参数矩阵,不涉及二阶线性系统的变换或增广,表明了所提方法的简单有效性。
2006年03期 186-190页 [查看摘要][在线阅读][下载 402K] [下载次数：133 ] |[网刊下载次数：0 ] |[引用频次：3 ] |[阅读次数：0 ] - 张松海;吴奕;
本文讨论了闵可夫斯基和的逆问题(称为闵可夫斯基和分解),即将一个凸多边形分解为两个更为简单的凸多边形的问题,首先通过三角分解的方法证明了凸多边形闵可夫斯基和分解的存在性,在此基础上研究了在边个数和面积之和的意义下的最优分解。
2006年03期 191-196页 [查看摘要][在线阅读][下载 393K] [下载次数：237 ] |[网刊下载次数：0 ] |[引用频次：2 ] |[阅读次数：0 ] - 张虹;刘兵;
本文研究并利用了数论变换的性质、特点以及快速算法的优势,结合图象数据的特点以及二维序列与变换系数之间的关系,拓展了数论变换算法,提出了数论变换转置定理和周期性二维序列与变换系数关系定理并给予证明。使用CCITT推荐的8幅二值图像进行验证和分析,结果表明,数论变换快速算法及提出的两个定理,用于对图像数据的压缩是可行的,且分块适当可提高运算速度,减少存储空间,提高压缩比。本文算法在图象压缩中应用具有较大的理论意义和应用价值,为数论变换在图像压缩中的应用迈出了实际应用的第一步。
2006年03期 197-202页 [查看摘要][在线阅读][下载 409K] [下载次数：82 ] |[网刊下载次数：0 ] |[引用频次：1 ] |[阅读次数：0 ] - 李云玮;张涛;
本文依据分形理论[1]和支持向量机[2],建立矿井瓦斯涌出量的分形支持向量机预测模型。首先对瓦斯涌出量数据进行时间序列分形处理,进行相空间重构(即求嵌入空间的维数),然后将嵌入维数作为支持向量机的输入节点数,采用支持向量机对矿井瓦斯涌出量作出预测。结果表明:预测精度高达99.9%,说明将此模型用于瓦斯涌出量的预测是可行的。
2006年03期 203-207页 [查看摘要][在线阅读][下载 555K] [下载次数：153 ] |[网刊下载次数：0 ] |[引用频次：5 ] |[阅读次数：0 ] - 苏盛辉;
文章给出了杠杆函数的定义、REESSE1+公钥密码体制的5个算法,它们分别用于密钥生成、加密、解密、数字签名和身份验证,介绍了REESSE1+所具有的多变量、非线性和不确定性特征,描述了超对数问题和双同余定理,讨论了REESSE1+体制明文解的唯一性问题。
2006年03期 208-211页 [查看摘要][在线阅读][下载 389K] [下载次数：82 ] |[网刊下载次数：0 ] |[引用频次：2 ] |[阅读次数：0 ] - 夏海轮;许航天;丁炜;
由于移动Ad hoc网络(MANET)中主机的移动性以及带宽资源的有限,使得MANET中对QoS的支持和固定有线网中有很大的不同。本文在充分考虑MANET移动性特点的情况下,介绍了MANET的各种QoS技术,其中包括了MANET中的QoS模型、QoS信令、QoS路由以及MAC层对QoS的支持等。
2006年03期 212-216页 [查看摘要][在线阅读][下载 336K] [下载次数：60 ] |[网刊下载次数：0 ] |[引用频次：2 ] |[阅读次数：0 ] - 蔡正兴;张虹;
本文研究了图像压缩算法性能的评价方法,提出了图像压缩算法性能的测试算法,包括横向比较测试和纵向分解测试,并在此基础上设计并实现了压缩算法性能的测试与分析工具。该工具能够测试和分析压缩算法的性能,并自动生成各种分析图表,为用户提供了方便,具有较大的实用价值。为了提高评价的效率、准确性和全面性,文中提出了测试图像的选择方法和测试结果的分析方法,具有一定的理论意义。
2006年03期 217-223页 [查看摘要][在线阅读][下载 425K] [下载次数：71 ] |[网刊下载次数：0 ] |[引用频次：3 ] |[阅读次数：0 ] - 李相军;
随着数字通信的发展,频带利用率高的非恒包络调制技术,如QAM,OFDM等受到越来越多的重视,然而,这些调制技术对功率放大器的线性化要求也越高。对于功放而言,线性与效率是一对矛盾,一方性能的提高,就会引起另一方性能的降低。LINC发射机,在本质上,是一种线性发射机,它能克服功放的非线性所带来的负面影响,并能够利用效率很高的非线性功放。SCS(Signal Components Separator)是LINC发射机实现的关键,本文就着重于基于CORDIC算法的SCS的设计与实现。
2006年03期 224-227页 [查看摘要][在线阅读][下载 401K] [下载次数：90 ] |[网刊下载次数：0 ] |[引用频次：3 ] |[阅读次数：1 ] - 刘兆年;史小军;朱为;堵国樑;
介绍了一种USB2.0模块,该模块提供了外设与主机之间的高速数据传输通道。设计中采用了Cypress的EZUSB-FX2LP芯片。介绍了FX2LP的内部结构和特性,以及该接口模块的开发流程,包括硬件设计,固件程序设计,上位机驱动和应用软件设计。
2006年03期 228-231页 [查看摘要][在线阅读][下载 642K] [下载次数：115 ] |[网刊下载次数：0 ] |[引用频次：3 ] |[阅读次数：0 ] - 付鹏伟;李军;王继荣;
本文给出了逆向物流实施问题上政府、企业、消费者重复博弈的一个模型,并分不同情况加以分析,最后利用仿真软件Swarm对上述模型进行了仿真研究,结果表明政府适时积极的介入对逆向物流的顺利开展尤为重要,这对于政府制定资源与环保政策法规的决策有很好的参考价值。
2006年03期 232-238页 [查看摘要][在线阅读][下载 459K] [下载次数：159 ] |[网刊下载次数：0 ] |[引用频次：6 ] |[阅读次数：1 ] 下载本期数据