协议描述和验证的基本方法

简要说明了协议描述和验证的基本概念，示例地介绍构造实现描述和协议验证的基本思想，最后以Ｐｅｔｒｉ网形式给出了ＡＢ协议一例。     

面向柔性作业车间调度问题的改进博弈粒子群算法

对柔性作业车间调度问题的研究可以令实际生产加工过程更加贴合当今人们对商品个性化和定制化方面的需求。在对柔性作业车间调度问题中的多个性能评价指标进行研究后,巧妙利用它们间的矛盾点,在自创的问题编、解码方案的基础之上,建立了博弈解集,并对传统粒子群算法的寻优机制进行改进,提出了改进博弈粒子群算法。运用该算法对一组标准问题调度算例进行求解,验证了该算法良好的求解性能。同时,通过与其他粒子群算法结果和耗时等的比对显示该算法可以更有效地求解以最小化最大完工时间作为唯一优化目标的柔性作业车间调度问题。     

屏障系统大耳白、新西兰兔血液学指标测定分析

目的了解在屏障环境繁育的不同品系实验兔的生理指标特性。方法采用SPF级大耳白和新西兰兔各10只,通过心脏采血获得检测样本。用血细胞分析仪、血液生化仪及凝血仪检测其生理指标。结果大耳白实验兔部分指标有差异(P<0.05),而新西兰实验兔部分指标也存在差异(P<0.05)。结论不同品系的SPF兔生理指标有着明显的差异,这对选择生理指标稳定的实验动物、保证动物实验顺利进行有着非常重要的意义。     

基于模糊规划的处理时间不确定条件下的Job shop问题

研究了处理时间不确定条件下的Job shop生产调度问题,建立了基于模糊规划理论的不确定Job shop调度模型。在采用两种模糊运算的基础上,结合模糊优化和遗传算法给出了一个解决非线性模糊优化问题的可行算法,通过仿真数据说明了所建模型及算法的有效性,并就结果进行了讨论。     

回弹法测强曲线的逆向回归模型

研究发现采用传统回弹法测强曲线的自变量与因变量的选取存在问题,造成误差较大,且有时不符合工程要求,为此提出了一种测强曲线的逆向回归模型,将原模型中自变量与因变量对换,使试验数据处理更符合回归分析理论,并对220组试验数据分析得出其平均相对误差和相对标准差比传统回归模型明显偏小,从而使回弹法检测混凝土强度的结果更加准确、可靠.     

建立回弹法现场测强曲线的极大似然法

提出一种建立现场回弹法测强曲线的方法，此方法将制定通用（或专用）曲线的大量实验室数据所提供的共性信息和现场钻芯及同条件试块所得到的个性信息有效地融合，利用极大似然原理得到现场回弹测强曲线．通过利用原有的数据信息，有效扩展了现场试验数据的样本量；通过将共性信息和个性信息的融合，使现场测强曲线不仅体现出混凝土强度和回弹值之间的一般关系，同时还能适应于特定工程的实际情况．工程实践表明，利用本文方法建立的现场回弹测强曲线推定混凝土强度值的精度较高．此方法不仅适用回弹法检测混凝土结构强度，还能在其它领域中应用．     

混凝土破坏面在主应力空间中的动态图形显示

以VisualC 为开发工具结合开放式图形库和微软基本类库，在电脑上建立三维混凝土破坏曲面，通过平移、旋转和裁剪三维曲面，实现各个角度的子午线、任意截面图甚至三维动画效果。编制的软件有友好的界面可用于主应力空间中各种工程材料屈服面和破坏面的模型及计算机辅助教学。     

基于虚拟力牵引的社团划分算法

文中基于虚拟引力的思想,提出了一种新的社团划分算法.其基本思想是将相连节点之间看作是引力,不相连节点看作是斥力,让节点之间进行相互作用,直到节点以社团的形式聚集起来,从而达到划分社团的目的.通过在计算机生成网络和已知社团结构的现实网络中对本算法进行仿真,发现算法具有较高可靠性和接近线性的时间复杂度.     

基于多分辨率分析和支持向量机的电力电子电路故障诊断技术

将小波多分辨率分析(multi-resolution analysis,MRA)和支持向量机(support vector machine,SVM)应用于电力电子电路故障的诊断.首先采用小波多分辨率分析对电力电子故障信号进行特征处理,再用支持向量机理论建立多类故障分类器来识别电力电子电路故障,仿真结果验证了该方法的正确性和有效性.     

超大跨径钢管混凝土拱桥误差控制方法

通过对钢管混凝土拱桥误差形成机理的研究,基于无应力状态法对拱肋施工过程的分析,提出了钢管混凝土拱桥施工误差控制的可调域法。这种控制方法将施工阶段划分为若干控制区间,严格控制拱肋的无应力长度和曲率,只在关键施工阶段对斜拉扣挂系统误差进行调整。研究了该方法控制区间划分原则和可调域的计算方法;同时基于可调域法的控制特点,分析了拱肋结构状态调整的计算方法。将可调域法应用于波司登大桥的误差控制中,实践表明这种控制方法可以有效提高施工精度,同时加快施工进度。