基于事件确定有限自动机的UML2.0 序列图描述与验证

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

基于MDA的WSDL建模及实现

描述了使用可扩展的统一建模语言(UML)对Web服务描述语言(WSDL)的建模过程,以及从UML模型向WSDL进行转换的规则.     

光响应液滴操控功能表面研究及应用进展

具有特定润湿性的功能表面是人们操控液滴的重要手段。近年来基于光激励响应的润湿性功能表面发展迅速，通过光诱发材料表面产生润湿梯度力、机械形变、相变、介电泳力以及电润湿性能转变等，光响应液滴操控功能表面能够有效地操控液滴行为。本文简要回顾了光响应液滴操控功能表面的发展历程，重点介绍了其操控液滴的基本原理，分析并总结了当前该功能表面的类型、结构特点以及相应的制备技术。此外，介绍了光响应液滴操控功能表面在液滴输运、融合、分割、液滴机器人、微纳流控芯片等领域的应用，并结合光响应液滴操控功能表面的操控特点对其发展趋势和未来潜在应用进行了展望。     

β-环糊精改性聚苯乙烯树脂吸附三硬脂酸甘油酯的研究

采用β-环糊精改性聚苯乙烯树脂（PS-β-CD）吸附纸机白水中树脂抽出物的模型物三硬脂酸甘油酯，优化了吸附工艺，研究了三硬脂酸甘油酯在PS-β-CD上的等温吸附、吸附热力学和吸附动力学。结果表明，PS-β-CD对三硬脂酸甘油酯的优化吸附工艺为PS-β-CD用量2 g/L、吸附温度35℃（308 K）、吸附时间5 h、摇床转速240 r/min;Langmuir和Freundlich等温吸附模型均适用于描述PS-β-CD对三硬脂酸甘油酯的吸附，且该吸附过程为吸热的物理吸附；其吸附机理以颗粒内扩散为主。     

电力电子主导的交直流混联电网振荡分析与评估EI北大核心CSCD

电力电子变流器主导的交直流混联电网极易产生各类振荡问题,为了对其进行有效的抑制和预防,需对系统进行全面的振荡分析与评估。对此,频域模态分析法(frequencydomain modal analysis,FMA)作为振荡诊断的有效工具,已成功应用于电力电子变流器主导的交流电网中。然而,FMA在对交直流混联电网振荡的评估中存在一定局限,即无法准确刻画广域/局域振荡特性。为此,该文结合FMA和对角占优理论,提出一种面向交直流混联电网的振荡分析与评估方法,能够准确反映广域/局域振荡特性,并获取振荡源、振荡传播以及振荡阻断等信息。首先,揭示交直流系统特有的局域振荡现象及其形成机理。其次,建立振荡评估指标体系,包括谐振模式指标、节点/支路/回路振荡指标和广域–局域振荡指标。最后,在MATLAB/Simulink平台上搭建一个风电场经多端柔直送出的测试系统,通过仿真分析验证上述振荡评估方法的有效性,所得振荡相关信息能够指导系统镇定方案的制定。     

储能型静止无功发生装置及其自同步电压源控制

针对构建新型电力系统对新能源场站惯量和电压支撑性的迫切需求，提出了一种面向高压大容量场景，且具有自主惯量响应和主动电压支撑能力的储能型静止无功发生装置(energy-storage-typestatic-var-generator,ESVG)，以提升新能源场站的友好并网运行能力。通过在风电场常规高压直挂式静止无功补偿装置(staticvar generator, SVG)上集成超级电容储能元件，使SVG具备有功和无功4象限运行的能力；针对该电路拓扑，进一步提出一种基于内电势下垂+环形限流的自同步电压源控制方法，不仅实现了对电网频率和电压的自主、快速支撑，而且可以维持装备在限流控制期间的电压源特性，较全面地逼近了同步机特性。基于提出的控制方法，给出了面向电网频率和电压响应需求的控制参数整定方法。最后，在Matlab/Simulink仿真平台上搭建了ESVG并网系统电磁暂态仿真模型，仿真结果表明：ESVG能够在电网频率或电压波动时主动输出有功功率/无功功率，并能减少因电网有功负荷突然增加引起的频率变化，体现出较好的自主惯量响应和电压支撑能力。     

承唐启宋的五代十国幞头形制及其成因

五代十国是幞头形制变化的重要时期，为研究该时期幞头形制的流变及其原因，文章通过图像与文献互为印证的二重证据法，在对该时期幞头形制进行分类分型研究的基础上，分别将其与唐代、宋代的幞头形制进行对比。研究表明：现有图像中的五代十国幞头形制主要可分2类17型。其中，圆顶顺风脚、圆顶长脚2型软裹软脚类幞头继承自盛唐；硬裹硬脚中的圆、方顶圆翅，圆、方顶翘脚4型继承自晚唐；其余11型为时代新创，成为宋代幞头形制发展的重要基础。该时期幞头形制在唐宋之际的流行更替、服用者身份从随意到规范的转变，表现出了清晰的继承、创新和发展脉络，具有承唐启宋的重要历史过渡价值。政治多元化的影响、世俗文化渐兴的推动和工艺技术发展的助力是过渡性产生的主要原因。     

夏季电网安全运行风险如何应对

进入夏季以来,我国华北、黄淮等地区出现持续高温天气,北京、天津、河北、山东等地气象观测站最高气温突破历史极值。与此同时,浙江、江西、湖南、广西、广东等地出现强降雨。根据国家减灾委员会办公室、应急管理部预测,今夏全国大部地区气温接近常年同期到偏高,高温日数偏多,部分地区强对流天气频繁,地质灾害集中高发,对电网安全稳定运行造成巨大风险。     

新形势下我国医疗数据安全面临的风险分析与应对措施建议

关系国家安全、国民经济命脉、重要民生、重大公共利益等数据属于国家核心数据，应实行严格的管理制度。医疗数据正是关系重要民生、重大公共利益的数据，本文针对我国医疗数据安全面临的数据泄露、数据全生命周期管理以及远程运维风险等三类风险，提出了应对医疗数据安全风险的措施建议。