摘要：复核结构设计是桥梁结构健康监测系统的主要功能之一。以世界第一大跨斜拉桥——苏通大桥为工程背景,采用实测风谱对大桥设计阶段基于规范谱所进行的抖振分析进行验证。首先采用非线性最小二乘法对桥址区实测强风紊流功率谱密度函数进行拟合,获得实测谱曲线,并分别以该实测拟合谱和规范谱为目标谱分别模拟桥址区三维脉动风场。然后采用上述两种风场,基于ANSYS对苏通大桥进行非线性时域抖振响应分析。两种分析结果的对比表明:与实测谱相比,基于规范谱所得的主梁抖振响应情况不一,但主塔抖振响应均偏于保守;两种抖振响应的PSD曲线整体趋势基本一致。分析结果可为该桥的风致抖振性能评价提供研究信息,同时对其他类型结构的抗风设计具有重要的参考价值。

摘要：针对权重社会网络发布隐私保护中的弱保护问题,提出一种基于差分隐私模型的随机扰动方法可实现边及边权重的强保护。设计了满足差分隐私的查询模型-WSQuery,WSQuery模型可捕获权重社会网络的结构,以有序三元组序列作为查询结果集;依据WSQuery模型设计了满足差分隐私的算法-WSPA,WSPA算法将查询结果集映射为一个实数向量,通过在向量中注入Laplace噪音实现隐私保护;针对WSPA算法误差较高的问题提出了改进算法-LWSPA,LWSPA算法对查询结果集中的三元组序列进行分割,对每个子序列构建满足差分隐私的算法,降低了误差,提高了数据效用。实验结果表明,提出的隐私保护方法在实现隐私信息的强保护同时使发布的权重社会网络仍具有可接受的数据效用。

摘要：为了确保软件分析与设计阶段UML2.0序列图模型的可靠性,采用命题投影时序逻辑(propositional projection temporal logic,简称PPTL)模型检测方法对该模型进行分析和验证.提出了事件确定有限自动机(event deterministic finite automata,简称ETDFA),并使用该自动机为序列图建立形式化模型,通过给出的基于ETDFA的PPTL模型检测算法得到验证结果.该方法可以在基于Spin的PPTL模型检测器的支持下实现.实例结果表明,该方法可以验证序列图的性质并保证其可靠性.

摘要：本文研究了单运营商异构网络环境下的联合会话接纳控制问题,给出了一个基于免疫计算的会话接纳控制方案.设计了联合会话接纳控制问题的数学模型,给出了基于免疫多目标优化算法的控制方案框架,并通过仿真实验验证了本文方案.实验结果表明,与文献方案相比,本文设计的接入控制方案在阻塞率和频谱效用之间获得了更好的性能折中,同时更好地兼顾了同一运营商内各个接入网络之间的公平,具有较好应用价值.

摘要：综合考虑了工程实际中经常遇到的参数不确定性和控制元件失效2类典型问题.针对一类离散时间不确定时滞关联大系统,通过比较各子系统正常工作时和失效时的性能准则,给出了其分散鲁棒可靠状态反馈控制器的一种设计方法.该方法能够保证对于给定范围内的任意参数摄动和控制通道失效,受控系统都是内部稳定且满足指定的性能指标.结果基于线性矩阵不等式,便于计算机求解和参数优化.另外,对大系统可靠性控制与鲁棒性控制间的联系进行了分析.所作数值例子和相应的仿真结果说明了这个方法的有效性.

摘要：基于空间数据综合分析的目的,从空间认知的角度出发,提出了以四面体为基本体元,表面TIN隐含的集成模型构想。在对点、线、面、体元之间拓扑关系精心设计的基础上,采用面向对象的思想构建了对象管理器,对空间微观数据及其相互间的复杂关系进行集成组织管理,有效地使空间对象(四面)体模型与表面(TIN)模型在数据层面上得到有机整合,实现了两者之间的无缝结合。在此基础上完成了对上述集成模型的构建,并实现了对模型的拣选、切割等操作,实例验证了该模型的正确性、可行性。

摘要：在分析各种船型设计方法的基础上 ,提出了一种更适合折角型玻璃钢渔船线型变换的设计方法 ,扩展了传统的母型改造法。特点是在给定母型的型值、柱长 Lpp、型宽 B、设计吃水 T以及设计船的主尺度和主要要素后 ,就能变换出满足要求的设计船 ,而不依赖于母型船的横剖面面积曲线 ,不用保证船舯剖面系数相同 ,且还能确保折角线的光顺性。通过几条实船的线型设计 。

摘要：采用德国三维建模渲染软件CINEMA 4D,研究基于该平台的日照、植物、地形、建筑小品等风景园林设计要素的表现途径与方法,总结出CINEMA 4D在建模和渲染等方面的特点,扩展了该软件在风景园林设计中的具体应用。

摘要：通过COMSOL Multiphysics和Lumerical FDTD solution对不同尺寸纳米银六角阵列在非晶态掺氧氮化硅(a-SiN_x:O)介质中的局域表面等离激元共振(LSPR)特性进行仿真,计算结果表明半径为25 nm的纳米银六角阵列形成的局域表面等离激元(LSP)与厚度为70 nm的a-SiN_x:O的蓝光发射(460 nm)的共振效果最为显著,随着纳米银颗粒尺寸的增大其消光共振峰红移.在460 nm波长激发下半径为25 nm的纳米银阵列在a-SiN_x:O中的极化强度和表面极化电荷的分布模拟证明了该阵列在460 nm激发下形成的LSP为偶极子极化模式,通过对该尺寸的纳米银阵列的LSP在a-SiN_x:O中的最强垂直辐射空间计算,获得了银颗粒上方a-SiN_x:O的最佳厚度为30 nm,仿真结果对硅基蓝光发射器件(450-460 nm)的设计提供了重要的理论参考.

摘要：在全球经济发展放缓的大背景下，收缩城市研究引发了对现有以增长为目标的发展路径的反思并以过去百年中的人口和经济衰落城市为案例，探索逆增长情景下的可持续发展路径。本文综述了西方近十年的城市收缩研究。首先，文章对城市收缩“概念”的外延和内涵进行界定，明确研究问题的内容与边界。其次，根据收缩现象的发生逻辑，从“现象”、“动因”、“过程机制”、“表现类型”和“影响后果”等方面揭示其作为城市变化过程的一般性规律。最后，在大量案例研究的基础上，归纳总结了全球各地针对收缩问题提出的“政策与规划应对”，并以其作为我国未来进行收缩地区规划设计和政策安排的参考。