在无线Mesh网络中,不同跳数的TCP流会引发严重的不公平性。搭建一个无线Mesh网络的实验床,并在该实验床上测试了基于跳数的TCP不公平性现象,从MAC层、队列管理机制、TCP拥塞控制机制等3个方面对产生这种基于跳数不公平性现象的原因进行了分析。同时对提出的几种典型的解决方案进行了仿真分析,仿真结果表明,这些方案提升了跳数不同的数据流之间的...
研究了一种适用于MIMO系统的宽带小型化天线单元。天线采用单层介质板结构,椭圆天线槽形式,两端口采用不同馈电方式。该天线单元结构简单,厚度小,利于与移动端设备共形。天线单元的-10 dB带宽可达到570 MHz,带宽范围内两极化端口隔离度优于-25 dB。
利用COSMIC掩星观测获得的电离层电子密度数据,对2009年不同季节的电离层F2层峰电子密度分布特征进行了研究。采用人工神经网络插值技术,以世界时、地理经度、纬度、F2层峰电子密度及地磁活动指数Kp作为人工神经网络输入层的5个神经元,以NmF2作为输出层神经元,获取全球分布的NmF2。结果显示,位于南半球的威德尔海异常从春季开始出现,夏季最为明...
为提高变长时隙下Turbo码的抗干扰传输能力,提出一种将Turbo码的编码符号通过跳间交织分散到时隙各个数据跳中的改进算法。算法提高了接收灵敏度,实现信息的无差错接收。通过实际系统验证了该改进算法性能优良。
广西信息材料重点实验室于2007年8月由广西科技厅批准建设。结合广西优势有色/稀土资源以及桂林电子科技大学以电子和微电子为主导方向的特点,实验室以电子、微电子用材料以及相关制备技术和器件应用为研究的主攻方向，形成了新型电子功能陶瓷材料、纳米材料与技术、电子封装材料与技术、材料表面工程、新能源材料、功能薄膜材料、高分子聚合物...
为实现开关电流振荡器,采用将2个开关电流双线性积分器级联的方法,其中,开关电流双线性积分器由增加了电压反转跟随器电路（FVF）的开关电流存储单元组成。将设计好的开关电流振荡器在Cadence Spectre下仿真,使用SMIC 0.18μm工艺,电源电压为1.8 V,仿真结果表明该振荡器性能良好,频率可调,当开关电流存储单元的时钟采样频率为5 MHz时,仅需8.8μs振...
针对当前P2P缓存系统中存在缓存污染的问题,提出了一种新的缓存系统。在该系统中,网络边缘部署了超级跟踪服务器,根据用户对资源的访问特点,设定缓存优先级,对资源进行有选择的缓存,进而减少P2P缓存系统中的缓存污染。根据资源当前的热度,对LRU替换策略进行了改进,提出了一种新的缓存替换算法LRU-N。理论分析和仿真数据表明,该缓存系统提高了缓...
旋转机械的有源噪声控制中对谐波信号进行基频估计可以有效地跟踪噪声的频率变化,使控制系统能够对噪声进行有效控制。分析了Pulse-Pair频率估计的基本原理,通过Hilbert变换器对多谐波信号基频作精确的估计。对Hilbert变换器和低通滤波器进行联合设计,优化了系统结构,减少了运算量。仿真结果显示,本算法精度达到要求,计算量小,易于硬件实现。
国家软件与集成电路公共服务平台广西分中心（简称CSIP广西分中心）的依托单位为桂林电子科技大学,现有办公场地300多平米,专设有办公室、信息技术研究所、微软嵌入式快速开发中心、广西CSIP-力行系统节能研发中心和信息安全服务外包中心等5个机构。CSIP广西分中心结合广西的实际情况和桂林电子科技大学已有优势资源
为了验证Web服务的正确性和可靠性等性质以及提高Web服务流程验证的自动化程度,提出了一种适合构造BPEL4WS（Web服务的业务流程执行语言）结构模型的输入输出标记迁移系统（I/OLTS）作为中间形式化模型,将BPEL转化为中间形式模型I/OLTS,然后再转化为软件模型检测工具ZING的输入语言的转化算法,并应用ZING对Web服务的正确性进行验证。通过该建模...
为了对大规模或复杂结构的系统进行规格,人们在经典的库所/迁移Petri网基础上加入层次、时间等来扩展它。为此,提出使用重写逻辑表达Petri网的新方法来探索对Petri网的替代。通过把异步并发系统的Petri网图形表达转化为重写逻辑理论,可以更容易和更直接地验证原系统的安全性、活性和可达性等行为属性,而不需要建立标识图或搜索网络不变量。以银...
网络可生存性是一种描述网络安全的有效工具,在网络体系结构设计和路由策略等领域得到了广泛的应用。对于Ad Hoc网络拓扑结构易变化的特点,以韧性度能很好刻画网络脆弱性为基础,提出了一种基于韧性度的Ad Hoc网络可生存性度量方法。该方法针对同一时刻有多种拓扑结构且每种拓扑结构以一定概率出现的Ad Hoc网络,应用韧性度函数,得到一个度量Ad Ho...
多描述编码是一种容错能力强,稳定性好的编码技术。以H.264/AVC中的分组概念为基础,通过将每个描述中的码流使用动态片组交换器分成主片组和次片组,并使用运动矢量的时空预测方法来代替普通的帧预测方法,基本上可以得到更优的率失真。实验表明,与固定划分片组的静态分组多描述编码比较,该方法以较少的冗余换取了更高的信噪比。
命题动态逻辑是一种应用模态逻辑,用于程序行为的推理。Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑。对于给定的Iteration-free CPDL公式集,方法是应用NCNF变换和FLAT规则对其进行预处理,并对公式集重构模型,然后将其转化为布尔函数,并利用OBDD来表示,从而调用已有的OBDD软件包进行可满足性判定。最终结合实例验证了算法的...
为了实现对某特定场所的远程监控和智能化管理,提出了一种基于RFID的门禁管理系统。介绍了系统的硬件和软件设计过程,系统以AT89S52单片机作为主控单元,采用MFRC500读写芯片实现近距离读取IC卡的序列号,通过串口通讯发送至服务器,基于SQL Server 2000的信息管理子系统实现对IC卡的注册、验证、存储、查询等管理工作。实验表明系统稳定,可对出入...
针对传统协同过滤推荐算法中存在评分数据稀疏性问题,以稀疏的用户打分来确定用户间的相似性可能并不准确。为此,提出了以用户行为对应一定分值代替空缺评分的方法来修正用户I-U评分矩阵,并基于用户角色以权重系数K来约束最近邻的计算。实验表明,改进的算法具有更优的推荐质量。
为提高医学超声弹性成像中图像传输的效率,采用了改进的SPIHT算法对图像进行压缩并传输。改进的SPIHT算法对弹性仿体受压前后的图像进行分解,然后对其进行去直流操作、编码和传输,传输后进行逆操作恢复图像并用于弹性成像。实验结果表明改进的SPIHT很大程度上减少了弹性图像的冗余信息,提高了图像的传输速度并在一定程度上提高了恢复图像质PSNR...
考虑小波多分辨分析与多重网格的相似性,多重网格的延拓算子具有低通滤波器的作用。结合小波的多分辨分析的性质与瀑布型多重网格的优点提出了一种新的瀑布型多重网格算法。二维场域的数值算例表明相对于经典的瀑布型多重网格法新算法的效率有了一定的提高。
采用辅助方程法研究具有高阶非线性项的广义二维KdV-Burgers方程的精确解,利用平衡法获得了辅助方程的参数约束条件,再根据辅助方程的解成功地获得了所讨论方程的一系列精确解,包括三角函数解、双曲函数解和有理函数解。
利用特征方程和稳定性理论,研究了一类具有Beddington-DeAngelis感染函数的时滞HIV-1模型的动力学性质,得到了无感染平衡点全局稳定和感染平衡点局部渐近稳定的充分条件。
延期付款可以有效地减少库存和降低购买成本,能够鼓励销售商购买更多的产品,刺激订货量的增加,是一种具有广泛应用的库存策略。在允许延期付款期限下,针对易腐商品以成本最小化为目标,构建了易腐商品在延迟付款期限下的库存模型,并通过算法确定了最优订货周期和最优订货量。通过实际算例,说明了模型的有效性。
为提高便携式红外寻的防空导弹攻击小目标的能力,采用近炸引信是非常必要的。而导弹的近炸引信探测装置一般在碰撞目标前即已启动,因此只有设置合适的延迟起爆时间,才能使战斗部尽可能多的破片击中目标,以获得最佳的杀伤效果,提高对目标的杀伤概率。通过对近炸引信启动与引战配合进行数学建模,采用蒙特卡洛法进行仿真计算,获取迎攻和尾追状态下...
《桂林电子科技大学学报》为双月刊,国内外公开发行,是桂林电子科技大学主管主办的以反映自然科学研究成果为主的学术期刊。本刊为CAJ-CD规范执行优秀期刊、中国科技核心期刊、广西优秀自然科学期刊,主要刊登信息与通信工程、计算机科学与技术、控制科学与工程、机械工程、材料科学与工程、交通运输工程、数学与计算科学、工业设计等方面有创新...
购物车(0)