一种形式化的实时协议互操作性测试方法

协议互操作性测试是一种保证网络通信协议实现质量的重要技术．下一代互联网协议需要提供对实时应用的有效支持，然而已有互操作性测试相关研究中并没有考虑协议中的时间约束，现有互操作性测试技术很难应用于实时协议互操作性测试中．文中提出了一种形式化的实时协议互操作性测试方法．首先提出了一个用于描述实时协议互操作性测试被测系统的形式化模型CMpTIOA（通信多端口时间输入输出自动机），基于该模型定义了时间互操作性关系；然后提出一种以时间互操作性关系为指导的测试生成方法，根据被测系统模型生成参数化测试行为树，在该方法中还集成了可执行性预判决机制，在一定程度上缓解了状态空间爆炸问题；最后将提出的理论和方法应用于IPv6邻居发现协议的互操作性测试中，验证了该方法的可行性．     

一类特殊的非牛顿介质剪切稀化过程的实验研究

为研究长链分子和表面活性剂对非牛顿流体流变特性的影响，分别在水中添加了羟乙基纤维素以及十二烷基三乙基溴化铵和十二烷基硫酸钠的混合物．流变实验结果显示，前者出现了典型的剪切稀化现象，而后者出现了先切稠后切稀的特殊流变现象．先切稠后切稀这种特殊的流变现象是由于活性剂分子形成的分子团在不同剪切速率下的团聚速率和分散速率不同造成的，溶液的黏度变化与剪切速率有关．结果表明，通过选择合适的添加剂可以调节流体流变特性，非牛顿介质的分类中应当包含这一类黏度非单调变化的流体．     

一种新型非正弦函数--混合进制广义桥函数的复制生成算法及其主要性质

提出了一种新的非正弦函数系——混合进制广义桥函数系。这种函数系包括了许多已有的非正弦正交函数系，如Walsh函数系、Chrestenson函数系、桥函数（二进制）和广义桥函数系（p进制）等。混合进制广义桥函数系是已有桥函数理论的进一步推广和完善。首先介绍了混合进制广义Walsh函数的定义，接着介绍了混合进制的广义复制方法，在此基础之上，与移位操作结合，提出了混合进制广义桥函数系，并对这种函数系的基本性质做了初步讨论。     

一种基于TTCN-3的协议测试系统及其扩展研究

用户要求下一代互联网是一个更大、更安全、更快、更及时、更方便、更可管理的网络．为下一代互联网服务的协议测试技术需要适应这些测试需求．文中重点研究了协议测试中的测试集描述法和测试实现技术．选取了TTCN-3作为测试集描述法,并针对协议鲁棒性测试需求进行了语法和语义扩展．开发了基于TTCN-3的协议集成测试系统PITSv3,并对其进行了鲁棒性测试扩展实现．最后通过两个实际的测试应用,体现出PITSv3是一个具有通用性、标准性、可扩展性特点的分布式测试平台．     

一种非结构化数据库的四面体数据模型

文中针对非结构化数据管理提出了一种四面体模型.该模型用4个刻面分别描述了一个非结构化数据的基本属性、语义特征、底层特征以及原始数据等组成元素,并描述了这些元素之间的内在联系.设计了四面体模型的实现结构以及数据操作语言.四面体模型能够实现各类非结构化数据的统一的、集成的以及关联的描述,并能够支持关联检索和数据挖掘等智能检索服务.最后给出了一个视频样例库中数据的描述与操作实例.     

一种非离子表面活性剂水溶液的管流减阻与流变特性

为开发基于环境友好型的添加剂紊流减阻输水技术,采用气驱流体阻力测试装置对非离子表面活性剂ODMAO（Oleyldimethylamineoxide）稀薄水溶液在5mm圆管内的减阻特性以及采用锥板流变仪对其流变特性进行了实验研究．结果表明,ODMAO水溶液在质量分数为4×10^-4时开始呈现明显减阻,最大减阻率对应的临界雷诺数随质量分数及温度的提高而增大,在直管段最大减阻率可达70％．ODMAO水溶液的剪切粘度在低剪切速率区域表现为牛顿流体特性,在大于某一临界剪切粘度后呈现先切稠后切稀的非牛顿流变特性．这种剪切粘度随剪切速率的依存特性起因于胶束聚合结构随剪切速率的不同演变．剪切应力的松弛测试结果表明,由剪切诱导的流变结构“SIS”（Shear-Induced Structure）的剪切应力松弛特性可用2阶Maxwell模型表述．剪切应力的尾阶松弛时间远小于减阻阳离子表面活性剂,这表明ODMAO水溶液的减阻并不像阳离子表面活性剂那样需要很强的粘弹性．