摘要：在多机系统中,各个结点(处理器)在通信过程中极易发生故障,因此选择有效的诊断算法,快速、准确地判断出系统故障集十分重要。传统的PMC模型以结点相互测试的结果为基础,而故障结点的测试结果不唯一,导致该模型诊断结果相对不稳定。针对这种情况,采用Malek诊断模型代替传统的PMC模型,借助遗传算法特性,将复杂的网络拓扑图简化为二进制编码,并按照适应度函数值确定种群搜索方向,提高搜索效率。该算法根据Malek模型设计约束方程,提出新的适应度函数,优化变异算子。实验表明,算法改进后,缩短了判断故障集所需的CPU时间,同时,算法根据故障症候判断出目标故障集的概率更高,从而证明了用Malek模型代替PMC模型的高效性。

摘要：针对软件程序状态间转移关系存在不等式约束的问题,给出一种形式化的程序描述系统,即线性半代数变迁系统。在该系统的基础上,为简化软件程序结构,采用特征列的方法,提出了基于线性半代数系统共同零点的互模拟等价概念及计算方法。但在工程应用中大多数实验所得数据仅为给定误差范围内的近似值,精确的系统等价关系缺乏容错性及灵活性。为获得更恰当的系统关系,利用奇异值分解对系统进行近似处理,建立了系统的近似互模拟等价概念及计算方法。通过符号与数值混合计算,实现误差可计算及可控制。最终选取近似等价系统代替原复杂系统。并发通信程序中的实例分析表明,该方法在简化软件程序设计中具有合理性及有效性。

摘要：张先亮、聂志平教授主编的《语言学概论》在继承传统语言学概论类教材已有知识结构的基础上吸取了当代语言学理论的新成果,做到了继承与创新的统一,其突出特色在于注重培养学生的语言学理论素质,具体表现在重视语言学各领域的普及性介绍、注意吸收语言学研究的新成果、编著体例设计方便学生自学、注意调动学生的学习积极性等等。

摘要：基于Symbian手机平台设计了一套智能家居控制系统,利用Symbian系统提供的各种资源建立智能家居远程端控制软件,并设计了一个安装在家庭的家居服务控制器.通过GSM网络,智能手机软件与家居服务器可以进行通信,实现远程控制家居设备和监控家居环境的功能.设计结果表明:通过智能手机软件控制智能家居成为可能,系统以一种新的智能家居控制方式让家居生活就在手边.

摘要：针对图像篡改可恢复的认证水印中如何通过置乱技术提高恢复后的图像质量问题,分析可恢复的认证水印信息对置乱方法的要求,提出一种基于分块的混沌行排序置乱方法。该方法通过将水印信息进行分块,每个分块的水印信息分别进行相同的混沌行排序置乱变换,再移到对应的子块中。对比研究其他置乱算法,统计实验结果后分析表明,该方法不仅使每个像素都产生了较佳的位移,与所选择的密钥无关,具有较好的置乱性能。

摘要：在深层搅拌桩设计中,布桩间距、负摩阻力等问题不应该被忽略;当复合地基中存在相对软弱夹层时,应对其进行强度验算;当桩端未加固土层以下有软弱下卧层时,应对其进行软弱下卧层验算;应采用多种方法进行复合地基沉降计算。

摘要：随着云计算的深入发展,隐私安全成为云安全的一个关键问题.加密是一种常用的保护敏感数据的方法,但是它不支持有效的数据操作.为了提供云计算环境中的隐私保护,设计了一种随机数据结构——随机树,并构建了基于随机树的保序加密算法OPEART(order-preserving encryption based on random tree).OPEART通过引入随机性实现了对数据的加密,并支持加密数据的任何关系运算(>,

摘要：根据拓扑学、图论和集合论的有关定义 ,对形状、尺寸、方向、密度、亮度、结构、颜色和位置等 8种视觉变量给出了数学定义。组合公式表明 ,由有限的视觉变量组成像元 ,再由有限的像元组成地图符号 ,可以获得大量的地图符号 ,从而说明设计与创造地图符号蕴含巨大的潜力。

摘要：针对独立自励异步发电机(SEIG)加载电压跌落的特点,设计了一种采用静止同步补偿器(STATCOM)并联补偿SEIG的稳压系统,以维持加载运行情况下机端电压的稳定。所提稳压系统采用非线性比例-积分-微分(PID)算法对外环电压控制器进行非线性设计,以提高机端电压暂态调节性能和控制系统自适应能力。最后,基于稳压系统实验平台研究动、静态负载情况下异步发电机的稳压特性。结果表明,所提方法能有效提高SEIG的带载能力和电压调节能力,可对机端电压进行连续调节,具有较好的动、静态性能和鲁棒性。

摘要：变截面连续梁桥的使用非常广泛,为了更精确地计算这类桥梁的荷载横向分布系数,采用节段划分法详细推导该类桥的抗扭惯矩修正系数的计算公式,包括截面对跨中对称的梁和截面对跨中不对称的梁,并给出一座实际桥梁的数值算例。结果表明,Cθ数值的大小反映了变截面梁抗扭转能力的大小,Cθ数值越大,抗扭转的能力越大;抗扭惯矩修正系数Cθ与截面沿梁长度方向的变化情况有关,与梁的跨数、甚至是否为连续梁无实质关系;跨中截面的削弱会严重影响梁的抗扭能力;虽然从理论上说,划分的节段越多其结果越接近精确值,但运算结果表明,实际上只要取很少几个节段,例如每一跨度只要划分4～6个节段即可达到相当高的计算精度,满足工程设计的需要。