基于虚拟仪器的底质声学测试系统设计

为解决在不具备海洋远洋原位测试的情况下仍然需要对沉积物进行还原海底环境声学测试的问题,将虚拟仪器技术应用于沉积物测试中,建立可以在实验室中还原海底环境的声学测试系统。采用虚拟仪器智能判断首波的方法测试沉积物在相应环境的声速,应用虚拟仪器频谱分析技术实现对超声波信号的滤波及分析,利用Labview工具编写软件实现超声测试与温度和压力的测量与控制同步。建立小尺度地质物理模型可以通过对海洋底质沉积物样品施以温度、压力控制,在实验室内还原海底特殊环境,同时对沉积物样品进行超声无损探测。在测试系统平台上对远洋获取的沉积物进行声速测试实验,对比传统方法测试实验,实验结果表明测试系统操作简单、可还原样品环境、实用性强。     

锆钛酸铅95/5薄膜的介电性能与弛豫特征

采用溶胶-凝胶法制备锆钛酸铅95/5（PZT95/5）薄膜,通过分析介电温度谱、介电频谱研究薄膜的介电性能.研究结果表明：介电常数-温度曲线ε（T）的相变峰随着频率的增加而逐渐变得平坦.同时,介电常数倒数与温度曲线ε-1（T）在高频不符合居里外斯定律;采用普适弛豫定律公式,对不同温度下的介电频谱曲线ε（f）进行拟合,得到弥散系数随着温度的变化曲线,该曲线在铁电-顺电转变以及反铁电-铁电转变这两个特征温度附近出现异常,结合材料反铁电-铁电-顺电相变的微观结构变化规律对此现象进行了讨论.     

利用模拟退火算法的多基地浮标定位研究

结合声纳浮标技术的发展方向,针对水下目标定位问题,将现代最优化技术——模拟退火算法引入到多基地浮标对水下目标定位的非线性规划中。首先建立适合于浮标系统工作方式配置的目标函数,然后选择合理的接收规则和停止准则,通过大量实验对算法的定位性能、收敛性等性能指标进行了计算机仿真。从仿真结果看,算法能够收敛于最优解,找到最佳匹配点,实现对目标的有效定位。仿真分析的结果证实了模拟退火算法在多基地浮标目标定位应用中的可行性。     

嵌入式软件的覆盖测试

覆盖测试是检验嵌入式软件功能结构正确性以及查找问题的重要方法和手段。纯粹的人工测试工作量大、操作不方便、周期长,需要借助一定的工具才能取得较好的效果。使用测试工具LDRA Testbed进行了覆盖率测试,达到了一定的语句、分支以及LCSAJ覆盖率。测试过程说明了该工具能够有效获取被测软件的动态覆盖率信息,评价测试用例的完整性,并有针对性地补充测试用例,进而提高软件测试的覆盖率,帮助决定何时终止软件测试。     

基于本体的Deep Web查询接口集成

Deep Web中的海量信息只能通过查询接口访问获得,为了能够同时访问同一领域多个Web数据库,需要对多个Web数据库的查询接口进行集成.因此,引入本体技术,提出基于本体的Deep Web查询接口集成方法.Deep Web查询接口集成主要完成两个方面的工作:模式匹配与模式融合.模式匹配采用本体的"Bridge(桥接)"效应建立不同接口模式间的属性映射关系,以准确发现不同接口属性间的语义关联.模式融合根据模式匹配的结果,合并DeepWeb数据库查询接口集合中表示同一语义的属性,并尽可能地保持该领域查询接口的结构特征和属性顺序,以获得集成查询接口.通过实验分析,基于本体的DeepWeb查询接口集成方法不仅简化了模式匹配的复杂过程,而且很大程度上提高了模式集成的精度.因此,基于本体的Deep Web查询接口集成方法是高效可行的.     

旭化成向中国上海高桥石化提供SSBR/BR技术

旭化成近日向中国上海高桥石化提供SSBR(溶聚丁苯橡胶)／BR(聚丁二烯橡胶)技术。此次提供的技术应用于高桥石化2006年在上海漕泾区建设的10万t／a的SSBR/BR装置上。该装置是上海赛科石油化工的石化联合公司(BP、中石化、上海石化各占50％、30％、20％的股份)的下游配套装置。     

KNO3/Al2O3催化环戊二烯甲基化反应

研究了固体碱KNO3/Al2O3(KNA)催化合成甲基环戊二烯的反应性能,考察了KNO3负载量、反应温度、反应时间以及酸碱性位中毒等因素对环戊二烯甲基化反应的影响。结果表明,KNO3负载量为质量分数26%时样品的催化活性最高,450℃时能催化转化33%的环戊二烯,甲基环戊二烯的选择性达到86%。催化剂通过原位氧气焙烧除去积炭即可恢复活性。     

步进电动机单步响应特性的建模与仿真

建立了五相混合式步进电动机恒频斩波恒总流驱动系统包括电流控制部分在内的单步响应特性的仿真模型，对单步响应特性进行了仿真。仿真结果表明新五边形接法、下桥臂斩波的五相混合式步进电动机4～5通电运行时的单步响应特性，存在着四步一循环的轻重步现象。对其进行的理论分析与仿真结果相符。     

异步电动机直接转矩控制中的死区效应的仿真研究

逆变器是直接转矩控制系统主电路中的关键部件。逆变器死区的设置虽然防止了逆变器器件的直通,同时也带来了死区效应,特别是对直接转矩控制系统的影响更是明显。本文通过分析异步电动机直接转矩控制系统中死区的生成及死区对电动机和整个系统的影响,定义了偏差电压矢量,并在此基础上,提出了一种死区补偿分析算法。该方法不需附加硬件,只需对原控制软件进行修改。仿真结果显示,在直接转矩控制系统中加入死区补偿,能有效改进电动机定子电流波形,使转矩脉动减小,整个系统的运行性能得到了一定的改善。     

基于SPI演算的移动自主网络安全路由协议分析

安全协议是许多分布式系统安全的基础,也是MANET网络的基础,确保MANET路由协议的安全运行是极为重要的。对于MANET的特点,设计一个可靠的安全路由协议是必须的,也是一个艰巨的任务,但大多数的安全路由协议都是通过模拟结果来进行解释的,缺乏严格形式化分析来确保其安全属性。在传统的安全属性中,加密协议已经被形式化分析许多年了,然而去形式化分析移动adhoc网路由协议的工作并没有出现已成熟的方法和理论的文献。论文针对SRP(secureroutingprotocol)协议模型用SPI演算做出形式化分析,在论文提出的攻击者进程模型下,可以推导出SRP产生一定的脆弱性。