有限状态机的行为阶段聚类及其对测试的应用

提出了有限状态机的行为阶段和行为阶段聚类的新概念, 它是介于有限状态机的行为级描述和低层描述(状态表或状态图)之间的一种新的抽象级别. 给定一个有限状态机的低层描述, 可以对它的状态按某种规则进行聚类来简化对有限状态机的分析. 给定一个有限状态机的行为描述, 可以直接从中提取行为阶段, 并通过对行为阶段进行聚类来分析它的功能. 详细阐述了对状态或者行为阶段进行聚类的理论和方法. 行为阶段聚类描述可以应用于对有限状态机的功能分析、验证和测试中. 作为行为阶段聚类描述的一种应用, 建立了一种用于测试产生的新的故障模型——行为阶段转换故障模型, 并利用对行为阶段的聚类来加速基于此故障模型的测试产生, 实现了一个寄存器传输级的自动测试产生系统ATCLUB. 实验结果表明, ATCLUB与其他测试产生系统相比有很高的效率, 并且能够产生相当短的测试序列, 以达到对电路门级固定型故障的较高的覆盖率.     

非合作Internet用户行为特征和约束机制的研究

基于一次博弈模型的流速与拥塞控制方法虽然能解释用户的非合作行为,但是由于最终的均衡解的效率不高,影响了其应用价值.文中在讨论了一次博弈模型和流速均衡的解析解的基础上,对基于无限重复博弈模型的流速与拥塞控制行为进行了深入研究.提出了重复和无限重复流速与拥塞控制博弈模型,论证了重复博弈NEP的存在性和最优性,并讨论了重复博弈中贴现因子的意义.接着研究了N个用户的无限重复流速控制博弈中用户不合理行为的惩罚威胁策略,设计了无限和有限博弈中用户行为的惩罚约束方法.最后利用重复博弈模型中的结论,提出了一种基于重复博弈模型的流速率控制算法FCAR.仿真实验表明,FCAR算法能够较为有效地规范和约束用户不合理行为,促使理性的非合作用户达成合作,以实现整个流速与拥塞控制系统效用的最优.     

强冲击载荷下钢筋混凝土的本构关系、破坏机理与数值方法

钢筋混凝土不但在土木工程领域有着广泛的应用,而且其强动载荷下动态力学行为的研究在国家安全方面也具有十分重要的需求,其非均质、各向异性、多组分的特性亦给其动力学特性的研究带来诸多困难.本文针对强冲击载荷下钢筋混凝土的力学行为的研究进展进行了评述,具体包括:1)钢筋混凝土材料动态力学行为、破坏机理及动态本构模型;2)钢筋混凝土结构的侵彻及爆炸作用破坏机理;3)强冲击载荷下结构力学行为的数值模拟方法与软件.在此基础上,分析了针对强冲击载荷下钢筋混凝土的动态特性、侵彻机理和数值方法等方面的研究所存在的不足之处,并对需要进一步深入开展的研究工作进行了展望.     

用于交通需求组合模型的可达性指标

对于中国许多高人口密度的城市,以可达性为导向的交通规划方法尤为重要.然而,已有的可达性指标只考虑了空间阻隔的影响,忽略了交通运行中出行者的选择行为对可达性的作用.此外,在交通规划中使用交通需求组合模型,其选择行为是基于随机效用理论,从而克服了四步模型存在的选择行为和结果不一致的问题.基于同样的随机效用理论,提出了可达性指标.该指标与交通需求组合模型能有效结合,并反映出行者在不同选择层次上的行为(出行选择、目的地选择、方式选择和路径选择).通过简单的算例,分析了所提出的可达性指标的性质.     

基于搜索空间缩减策略的供水管网抗震设计参数优化

供水管网抗震优化设计模型以用户节点的抗震安全能力为设计目标,包含管网拓扑布局及管段结构抗震能力两个设计参数,寻找最优设计参数是离散变量组合优化问题.提出了一种基于两阶段搜索空间缩减策略的管网抗震优化设计模型求解方法,第一阶段利用度约束连通图生成初始种群,缩小优化初始搜索空间;第二阶段采用违约个体修补策略转换优化进行过程中不满足约束条件个体所处的搜索空间,实现了优化过程中搜索空间的动态缩减,提高了优化搜索的效率.此方法在供水管网抗震优化设计中有较高的效率,也可为其他有约束离散变量优化问题提供参考.     

利用引力辅助的行星际周期轨道间转移研究

三体动力学系统动平衡点附近存在的周期轨道在空间探测任务中有着重要的应用价值.本文研究了流形不相交三体系统周期轨道间的转移问题,提出了一种结合流形和引力辅助技术的转移轨道设计方法.首先通过定义近拱点庞加莱映射搜索周期轨道不变流形的近拱点,然后给出了任意初始状态达到一定双曲超速所需速度增量的计算方法,从而得到了最佳逃逸流形和捕获流形的选择依据,并结合等高线图法与近拱点庞加莱映射分析了周期轨道利用该方式进行逃逸或捕获的性质.在此基础上,基于受摄三体模型建立了流形逃逸点到捕获点转移轨道的优化模型,通过微分修正策略将优化模型化简为仅有两个参数的无约束优化问题,并采用单纯形算法进行了求解.以地球-火星和地球-金星转移为例对所提方法的有效性进行了验证,数值结果表明:结合流形和引力辅助技术可有效降低周期轨道间转移的能量消耗.     

欠驱动双足机器人的指数稳定周期行走

步行机器人环境适应性强、结构复杂、运动控制难.本文研究了基于控制Lyapunov函数和混杂零动态控制的五关节欠驱动双足机器人RABBIT的指数稳定周期步态的行走方法.根据拉格朗日原理建立了机器人腿的混杂动力学模型,并对系统进行了输入/输出线性化处理.结合零动态的思想,构造了控制Lyapunov函数,设计了使混杂模型实现指数稳定的状态反馈控制器,利用限制Poincare的原理,证明了其周期轨道的指数稳定性.仿真结果验证该方法的有效性.     

手舟骨的有限元建模及其损伤分析

目的 基于医学DICOM格式的图像,不经过二次转换并快速且准确的建立舟骨有限元模型,从而得到可以用于舟骨应力分析的有限元模型,并通过模拟手舟骨损伤来分析不同的受力特点. 方法 选择健康成年男性志愿者,进行高精度螺旋CT扫描,将得到的DICOM 3.0医学图像数据,导八MIMICS医学影像软件并生成实体模型,然后应用通用有限元分析软件ANSYS 11生成有限元模型.约束边界条件,模拟舟骨轴向压力进行加载,得出舟骨有限元模型上的应力分布与应变结果,并模拟舟骨不同损伤的力学改变. 结果 建立的舟骨三维有限元模型共有节点73588个,单元397344个.所建模型结构完整,空间结构准确,单位划分精细,轴向压力作用下加栽模拟形象、逼真,客观反映舟骨三维解剖形态结构和生物力学特点. 结论 应用高精度螺旋CT成像的DICOM 3.0数据,并与MIMICS和ANSYS相结合的方法快速建立舟骨的三维有限元模型是切实有效和可行的;有限元方法可较好的分析手舟骨及其损伤的生物力学特点.     

安全系统学方法论研究

为发展并完善安全科学理论框架,从方法论视角对安全系统学进行探究,首先结合安全科学与系统学,给出了安全系统及安全系统学的定义及内涵,在横向上将安全系统学研究内容分为两大模块,在纵向上确定了四个安全系统学研究层次,并依此构建安全系统学研究层次框架。在论述安全系统学方法论定义、特点及原则的基础上,对安全系统方法进行综合分析:根据切入维度不同,将安全系统方法归纳为整体性研究、横断研究、分解研究,并分析其涵盖的具体方法;从方法模型的角度,将系统方法总结为七类模型并综合分析。最后,提出了安全系统方法探索研究的动态研究模型,清晰化了安全系统研究思路。     

基于形式化测试的实时系统变更后安全性验证

变更后系统实现的安全性验证是安全攸关系统维护过程中必不可少的环节,也是其面临的主要挑战之一.软件模型检测和程序验证是目前常用的作用于代码层面的自动化安全性验证技术.本文站在系统行为角度,基于形式化方法,提出了一种将变更后系统实现的安全性验证问题归结为一致性测试的方法,尝试通过自动生成的一致性测试用例在系统行为级别上判定系统实现是否安全.为此,首先以时间输入输出自动机及其语义模型为基础,构建了该方法的证明体系,证明了该方法的正确性;其次,建立了变更后系统实现安全性验证的回归测试生成框架.相对于其它实时系统测试方法,这种测试方法不仅可以发现实时系统中常规的不一致性缺陷,而且为变更后系统实现在运行时是否满足指定的安全性属性提供了依据.最后,以轨道交通系统中的列车自动防护功能的变更情景为案例研究,说明了方法的具体应用.     

高铁司机工作-家庭冲突与工作经验对安全行为的影响研究

以来自全国各大铁路局和铁路集团公司的630名高铁司机为研究对象,分析高铁司机的工作-家庭冲突、工作经验、安全行为之间的相关性,运用回归分析的方法,探究工作经验在工作-家庭冲突和安全行为之间的调节作用。结果显示,工作-家庭冲突与安全行为存在显著负相关关系;工作经验与工作-家庭冲突之间存在显著负相关关系,但工作经验并没有在高铁司机工作-家庭冲突与安全行为之间起到显著的调节作用。     

一种计算圆形限制性三体问题周期轨道的新方法

周期轨道是理解圆形限制性三体问题动力系统的关键,在深空探测实践中具有重要的应用价值,现有的周期轨道计算方法通常需要以高阶近似解析解作为迭代初值,计算过程复杂且能得到的周期轨道种类较少．本文利用圆形限制性三体问题的对称性,通过构造相空间内的一类流函数,将位于对称平面上的状态再次映射到该对称面上,得到了计算周期轨道的构造流函数方法,该方法不需要以近似解析解作为迭代初值,也不需要计算状态转移矩阵,从而便于编程实现,其优点是不受圆形限制性三体问题非线性的影响,并可以系统地计算一大类具有x-z平面对称性的周期轨道．作为箅例,在平面情况下计算了Lyapunov轨道等周期轨道,并进一步将构造流函数方法与微分校正方法结合,设计了能在不同共振频率上跳转的共振引力加速轨道,最后,在三维空间情况下计算了晕轨道和多种三维周期轨道,证明了该方法的有效性．     

核反应堆液体区域控制系统全程隐蔽攻击方法研究

隐蔽攻击对核反应堆液体区域控制系统的安全运行构成了严重威胁.然而,隐蔽攻击的成功实施不仅需要掌握被攻击对象的精确模型,而且很难在攻击完成后无痕退出.为此,本文针对核反应堆液体区域控制系统提出了一种四阶段全程隐蔽攻击方法.首先,在攻击筹备阶段,通过最大似然估计离线设计最大似然形式下的双模H₂最优无偏FIR;之后,在状态估计阶段,利用该FIR对攻击开始时刻的系统状态进行估算;然后,在攻击实施阶段,结合预期攻击目的和系统当前状态设计攻击实施序列,并将其注入至系统信号传输通道中,实现隐蔽攻击;最后,在攻击退出阶段,根据系统状态偏移量构建约束优化问题以给出最优攻击退出序列从而实现攻击退出过程的静默化.此外,本文基于系统噪声强度和攻击模型精度,分情况对全程隐蔽攻击方法的可行性进行了仿真验证.实验结果表明,在上述影响因素单独或综合作用下,所提攻击方法都能够隐蔽地完成攻击目标并无痕退出.     

输电系统动态安全风险评估与优化

提出一种基于实用动态安全域的输电系统动态安全风险评估和优化模型.在动态安全风险评估模型中计及了综合安全控制措施的成本和节点注入功率不确定性的影响.应用实用动态安全域可以比较方便地计及暂态稳定约束和节点注入功率的不确定性.给出了确定和划分预想事故集合的方法,并以系统动态不安全风险最小为目标,针对给出的主导预想事故集建立了一种风险控制的最优化模型.通过对预防控制和紧急控制措施的优化以及预想控制集合的优化分解,得到了系统动态不安全风险的最优解.最后以New England 10机39节点系统为例验证了所提出的数学模型的有效性.     

一类三维Jerk混沌系统的动力学分析

针对一类三维Jerk混沌系统,运用数值理论分析该系统在不同参数条件下的周期1、周期2、混沌吸引子,以及Lyapunov指数谱和分叉等基本动力学行为。进而运用Poincare紧致化理论对系统的无穷远动力学进行分析,同时通过零倾线给出系统在无穷远点处的局部动力学行为。结果表明,该系统属于非Shilnikov型混沌系统,具有隐藏吸引子。     

考虑压-弯-剪共同作用的退化桥墩抗震性能及地震易损性分析

服役中的桥梁往往处于氯离子侵蚀的恶劣环境,钢筋混凝土(RC)桥墩作为主要耗能构件,在受氯离子侵蚀后钢筋会发生锈蚀劣化,导致桥墩的抗侧向能力发生退化,进而使其抗震性能衰减.准确建立压-弯-剪共同作用(AFSI)的锈蚀RC桥墩数值模型,是实现桥梁全寿命抗震评估的前提.本文首先基于修正压力场理论(MCFT)和纤维截面模型以及锈蚀理论建立了考虑AFSI的退化桥墩模拟方法.然后,以AFSI数值模型为基础,对一座中等跨径RC桥梁的桥墩进行了全寿命周期的抗震能力分析.最后,建立了算例桥梁的有限元模型,进行地震易损性分析,并研究了剪切作用对桥墩损伤概率的影响.研究结果表明,本文提出的AFSI模拟方法可有效对锈蚀RC桥墩进行模拟;在桥梁全寿命周期内,桥墩的抗侧向能力和耗能能力发生退化;锈蚀作用提高了桥墩在地震作用下的损伤概率,不考虑剪切作用将高估桥墩的抗震性能,低估桥墩的损伤概率,该特征在强震和锈蚀程度较高的情况下越发显著.     

基于窗技术的多孔介质材料力学性质的数值均匀化方法

相比解析均匀化方法,数值均匀化可以精细模拟表征元模型的受载过程和复杂力学行为,从本质上识别材料的有效力学性质,然而,当模型边界单元存在孔隙时,易使边界不满足线性位移边界条件,导致求解过程收敛较困难.为此,受自洽解析均匀化方法的启发,本文提出了"窗技术"优化方法,即通过增加外围基质"窗体"优化随机表征元网格模型,借助采用的表征元模型重构方法和数值网格离散方式,建立了更易非线性求解的表征元网格模型,基质窗体的性质由自洽方法迭代获得,从而发展了多孔介质材料有效力学性质的数值均匀化方法.在此基础上,探讨了窗体基质宽度和实际有效力学性质的关系;并以砂浆力学性质试验数据为依据,验证了方法的可行性和有效性.结果表明,文中方法可以可靠地模拟多孔介质材料表征元模型的受载响应,获得其有效力学性质.     

超晶格纳米线热传导的分子动力学模拟

采用非平衡态分子动力学方法模拟了超晶格纳米线的几何形变与热传导性能. 模拟结果显示, 由于界面晶格不匹配, 在超晶格纳米线内部发生了明显的几何形变. 对于周期长度固定的超晶格纳米线, 界面热阻在总热阻中的比例及导热系数不随周期数改变而改变. 随着周期长度的增大, 超晶格纳米线的几何形变量逐渐减小, 导致平均界面热阻逐渐增大, 表明界面热阻不仅取决于界面层的材料特性, 同时也与超晶格结构的几何形变量相关, 在声阻不匹配模型中应考虑纳米尺度下材料晶格结构的变化. 仿真结果还证实了尺度效应对低维结构热传导性能的影响, 即随着超晶格纳米线横截面面积的增大, 导热系数将增大.     

基于TOES模型的SaaS采纳问题研究

目前各种规模的组织逐渐开始应用基于云的软件即服务(SaaS)来支持其业务活动。本文在技术接受模型TAM和技术-组织-环境(TOE)分析框架等理论基础上,构建了一个面向SaaS的技术-组织-环境-服务(TOES)的组织采纳模型。通过采用Logistic等多元回归方法分析数据,研究了影响组织SaaS采纳意愿和行为的因素,发现技术兼容性、环境竞争压力和服务质量显著影响组织的SaaS采纳意愿;而组织高管支持、环境的合作压力、服务质量以及安全性显著影响实际的SaaS采纳行为。     

面向多租户Web应用的性能隔离方法

提出一种面向应用级共享的多租户Web应用性能隔离方法．首先建立基于事务处理链的应用级资源管理模型,基于信号量机制给出了模型的并发控制算法,支持事务级、分阶段的多租户Web应用资源管理,并在一次事务处理的各阶段实现线程复用,避免因修改交互协议而产生的再工程代价．基于上述工作,给出多租户性能隔离算法及策略,并利用TPC—W电子商务应用验证方法的系统开销及有效性．实验结果表明,该方法可以有效降低租户资源侵占行为的影响,并避免系统过载．