利用投影时序逻辑的多内核进程调度建模与验证

针对软件测试无法满足多内核处理器上进程调度的验证需要这一问题,提出利用投影时序逻辑(PTL)的定理证明方法来验证进程调度.使用PTL公式建立了支持当前主流进程调度算法的多内核处理器进程调度一般模型S,并将系统期望的性质描述为PTL公式P,在PTL公理系统的基础上,通过证明S蕴含P是否为一个定理来验证系统是否具备该性质.以2内核处理器上的多级反馈队列算法的正确性为案例进行检验,结果表明所提方法可验证多内核处理器进程调度的系统性质,保证多内核进程调度的可靠性.由于多内核处理器的进程调度具备了并发系统的主要特点,因此该方法也适用于一般的并发系统验证.     

面向H.264SVC空域-时域可伸缩编码的码率分配算法

提出一种面向H.264 SVC空域时域可伸缩编码的码率分配算法。通过对SVC编码过程的分析,设计了一个两阶段基于模型的码率分配算法框架。在每一阶段中沿空域或时域可伸缩性方向上,码率分配问题都被描述为一个优化问题进行求解。在充分挖掘层次间相关性的基础上,提出空域、时域视频层的失真和码率模型。利用所得到的率失真模型,使用拉格朗日乘数法,求取该分配问题的最优数值解。实验结果表明,新的率失真模型所提供的高效码率分配算法,大幅度提高了现有参考代码JSVM的性能,其编码效率平均增益达1.22 dB。     

噪声归一化合并的SFH／MFSK系统在短波信道中的性能

分析了噪声归一化合并的短波慢跳Ｍ进制频移键控（ＳＦＨ／ＭＦＳＫ）系统，在受到部分边带干扰多径莱斯（Ｒｉｃｉａｎ）衰落的短波信道中分集和编码的性能，研究了信道热噪声，调制阶数Ｍ对系统性能的影响。     

真菌产生的短肽对天然纤维材料的降解作用

实验表明真菌产生的低分子量短肽对纯纤维素材料能起氧化降解作用.文中证实此类短肽对天然纤维材料也具有同样的降解作用.还观察到分属于白腐菌、褐腐菌和软腐菌等3大类34种共57株纤维分解真菌的胞外培养液都能够产生分子量低于5000且能形成羟基自由基的短肽.扫描电子显微镜和红外光谱检测表明,来自拟康氏木霉的短肽能破坏棉纤维氢键网络,解聚、分离出单根微纤维.它们和纤维素酶协同作用时可明显提高对秸秆、木材等天然纤维材料还原糖的产率.微热量法研究表明该类短肽对纤维素的作用是吸热反应.研究工作表明微生物对纤维素的降解是一受热力学控制的动力学过程,仅用糖苷键的水解作用不能全面阐明其降解作用机理.     

多花胡枝子对干旱胁迫的生理响应初步研究

实验采用聚乙二醇6000(PEG6000)在室内模拟干旱条件,研究不同程度干旱胁迫对多花胡枝子相对含水量、相对电导率、丙二醛(MDA)、叶绿素含量、超氧化物歧化酶(SOD)活力和脯氨酸含量的影响,旨在探求其在沙质条件下的生存能力.结果表明:随着干旱胁迫的加强,电导率和丙二醛(MDA)明显增加,而叶绿素含量、超氧化物歧化酶(SOD)活性和叶片相对含水量均呈显著下降趋势.以30%PEG6000处理对多花胡枝子的伤害最大.在胁迫处理12h,30%浓度处理的植株电导率高至(50.7%)比对照组高13.4%;SOD活性最低为100.4 U/g;在胁迫处理24h时,10%浓度处理的植株脯氨酸含量高达1 024 Ug/g,此后逐渐降低;在处理48h时,30%浓度处理的植株MDA含量为17.58 nmol/g,高于其他胁迫处理.在PEG6000处理过程中,处理0~12h为植株的抗性阶段,处理12~48h为植株的耗尽阶段.可见,在干旱胁迫下,多花胡枝子可以通过改变体内物质含量来提高抗性,渡过逆境.     

一类递推数列渐近性的几个结果

本文讨论了一类形如a_(n+1)=a_n+f(a_n)的递推数列{a_n}的渐近性问题。对满足一定条件的f(x)得到了相应的结果,这些结果是文献[1]—[8]中的总结和推广。文中还给出了许多应用实例,所用方法比文献[1]—[8]中的方法简单。     

改进的蜂窝网室内定位匹配算法

针对无线信道的动态衰落特性,基于蜂窝网的室内定位存在较大误差,提出一种改进的蜂窝网室内定位匹配算法——基于主成分分析法(principal component analysis,PCA)的子空间匹配算法,不仅保证系统实时性,而且有效地剔除大误差点,提高定位精度.该算法利用无线蜂窝信号非视距传播造成的位置特性构建离线指纹数据库,根据在线接收信号从离线指纹库中提取子指纹库,利用PCA算法对在线实测数据及子指纹库进行有效地降维,构建子空间,并结合加权K近邻匹配算法(weighted K nearest neighborhood,WKNN)估计出多个位置坐标,利用3σ准则对这些位置做筛选,输出最终定位结果.实验结果表明,基于PCA的子空间匹配算法在保证定位实时性的前提下,能有效剔除大误差点,提高整体定位性能.     

海堤设计风浪和设计潮位组合风险率分析

风浪和潮位是海堤设计的关键因素,为保障海堤工程的安全性并使工程设计更为经济合理,基于Clayton Copula连接函数建立了潮位和风浪联合分布函数,以此构建了风浪和潮位组合设计风险分析模型,提出了考虑风险率模式下的风浪和潮位组合设计方法.以深圳市赤湾海域为例,分析了1971～2002年实测水文资料,获得了风浪和潮位组合风险率.结果显示：深圳赤湾海域大潮与大风同时遭遇的概率小,采用同频率设计偏于安全;而所建模型充分考虑到了风浪和潮位这种遭遇的特性,对风浪和潮位遭遇工况的合理设计具有指导意义,也为沿海城市海堤设计参数的确定提供了一种技术手段.     

复射影空间中的紧致全实伪脐子流形

给出复射影空间中紧致全实伪脐子流形的几个内蕴刚性定理，并推广和改进了复射影空间中紧致全实极小流形的一些结果．     

高压除鳞喷嘴内部流场数值模拟与仿真分析

针对目前工厂广泛使用的高压除鳞喷嘴,应用前处理软件Gambit建立其内部流畅的三维模型,采用Fluent软件提供的Laminar层流模型对不同结构参数的喷嘴内部不可压缩、稳态、层流流场进行了数值模拟,并分析了各参数对其流场速度分布、压力分布和出口轴心速度的影响.仿真值与理论计算值十分接近,数值模拟结果表明,喷嘴收缩角和直径对其内部流场影响较大,而扩张角对其内部流场影响相对较小,但各参数都存在最优值,且各参数之间也存在着最优搭配使射流打击效果最好.