正交设计与回归分析对HDPE/LDHs制备参数的优化

利用正交设计和逐步2次回归分析的方法,研究了水滑石(LDHs)含量、螺杆转速和挤出次数对高密度聚乙烯(HDPE)/LDHs复合材料力学性能的影响。并用MATLAB对回归方程进行最优化处理,预测了复合材料在弯曲强度不低于25 MPa,缺口冲击强度不低于40 kJ/m~2条件下所得到的拉伸强度为29.558 3 MPa,并确定了此条件下的优化结果,即:LDHs含量为9.8%,螺杆转速为300 r/min,挤出次数为2次。此优化方案要好于常用的直观分析/方差分析的结果,更准确的反映实际情况,可更广泛的应用于优选试验中。     

基于Gossip协议的流媒体播放机制的研究与改进

针对Gossip协议数据传播随机性与不确定性问题,提出了一种混合结构方式.该方式将非结构化P2P网络和结构化P2P网络相结合,通过增加数据片预取调度算法,弥补了Gossip协议数据传输的随意性.实验结果表明,此方式提高了节点成功播放率,降低了系统开销.     

一种时间相关安全协议的自动验证工具

设计并实现了一个时间相关安全协议的自动验证工具。工具以一种时间相关安全协议逻辑TCPL为基础,以XML语言为描述方式,采用构造分层逻辑树的方法,完成了对安全协议目标的自动验证。实现结果表明,该工具简化了安全协议的证明过程,提高了效率,具有较好的实用性。     

IPv6下基于病毒过滤防火墙的设计与实现

包过滤防火墙无法检测出网络病毒,因此对其研究很有必要.设计的防火墙屏蔽了Linux自身的TCP/IP协议栈,重新构建了适合防火墙专用的TCP/IP协议栈,完成了防火墙上TCP协议的连接保持、数据包确认、文件传输等功能.防火墙主要考虑了HTTP协议下的文件过滤,使得内网主机在通过HTTP协议下栽文件时自动过滤病毒文件,保证内网主机的安全;防火墙以Linux可加栽内核模块形式实现,可以过滤链路层以上的各层;为提高病毒检测速度,提出了将病毒检测软件运行在核心态的方法.实验结果表明:设计的防火墙在性能和功能上都达到了预期目的.     

对一种公平非否认协议的新改进

Zhou-Gollmann协议是一种公平非否认协议,近年来得到广泛讨论.Kim发现该协议在时限公平性方面存在缺陷,针对该缺陷提出一种改进的协议,但其改进方法高度依赖于网络时钟的同步.通过详细分析,发现在缺乏时钟同步时Kim的改进协议也可导致不公平.针对此问题,提出一种新的改进方案.新的改进消除了协议对时钟同步的依赖性,保持了协议的公平非否认性,且不会降低协议的效率.     

基于UML活动图测试场景的优先级判断

由于UML模型在设计过程中产生,作为测试模型不需要额外的开支,因此以UML作为测试模型的研究很多.目前的研究方法大多数采用灰盒测试方法[1]对各种模型的条件、节点、方法等进行遍历,得到测试场景.然而在实际中,通过这些方法从UML模型中会得到很多的测试场景,目的就是要对找出的灰盒测试用例进行优先级判断,找出较为重要的测试用例,这些测试用例能为实际的测试过程提供着重测试的依据.     

多进制基带信号功率谱密度的仿真分析

随着信息技术的发展,多进制数字基带信号的应用越来越广泛.而分析其频谱特性对多进制数字基带信号的应用十分必要.以二进制数字基带信号为基础,利用交变波和稳态波分解法首先分析了三进制数字基带信号的功率谱密度,然后推广分析了M(M≥2)进制数字基带信号的功率谱密度特性.最后分别选取二进制、三进制和四进制数字基带信号用Mat-hb平台仿真分析了其功率谱密度,结果显示多进制数字基带信号的频谱一般由离散谱和连续谱组成,但在特定的条件下,其频谱中将只存在连续谱成分,而不存在离散谱.仿真结果为多进制数字基带信号的分析和应用提供了有益的参考.     

基于内容分组与能力匹配的邻居选择算法

邻居选择算法是影响P2P文件共享系统的整体吞吐量和带宽利用率的关键技术之一.目前BT类P2P文件共享系统中的一些常用邻居选择算法一般存在着邻居节点间的内容可交换性差和带宽利用率低等问题.提出一种新的邻居选择算法,将节点按内容分组,由节点上报的上传、下载的字节数计算出带宽能力,让能力匹配的节点成为邻居.计算机仿真实验表明,新算法显著地提高文件共享系统的整体吞吐量,减少用户的平均下载时间,从而有效地改善P2P文件共享系统的整体性能.     

高/低通复合多通道系统辨识的测试信号设计

从频域的角度研究了二进制多频序列(Muhifrequency Binary Sigal).从该信号的基本特点入手,通过对信号变化疏密的设计,调整信号的频谱分布.当已知待测系统的频谱集中在某些频段时,选取适当的二进制多频序列信号,能使测试信号的频谱也集中在那些频段,能充分地利用测试信号.大大提高了信噪比.设计出高频和低频复合的二进制多频序列信号.应用于一个通道是高通的,另一个通道是低通的二输入系统,能同时充分激励2个通道,取得较好的辩识效果.仿真算例可以看出有效性.     

Inductive semimodules and the vector modules over them

The notion of an inductive semimodule over an ordered *-semiring is introduced and some related properties are investigated. Inductive semimodules are extensions of several important algebraic structures such as Kleene modules, Kleene algebras and inductive *-semirings. We prove that an inductive semimodule over an ordered *-semiring K is a Kleene module if and only if K is a Kleene algebra. Moreover, we establish that the vector module of an inductive semimodule over an ordered Conway semiring is again an inductive semimodule over the matrix semiring. Consequently, in an inductive semimodule over an ordered Conway semiring, least solutions to linear inequation systems can be denoted by linear expressions, avoiding the least fixed point operator. In addition, we also introduce a related notion called weak inductive semimodules, and propose several open problems on them.