基于描述逻辑的OntoUML模型的形式化表示

将形式本体理论应用于UML语言的改进是UML的形式化研究的主要方法之一,其中On-toUML是一个概念上完整、语义上清晰和更具本体意义的UML版本。虽然OntoUML基于本体对UML进行了扩充,提供了更为丰富,更能表达现实世界语义的建模原语,但其表达方式不利于在信息系统的设计与开发中应用。本文基于描述逻辑对OntoUML中的关键建模原语及其关系给出了SHIQ形式化表示方法,并进行了实例研究。该方法表达精练、语义清晰,不仅能够表达逻辑清晰的模型,而且保证模型能够正确反映领域事实。这种形式化方法为信息系统概念建模方法提供了理论和应用支撑,在一定程度上推动了OntoUML更为广泛的应用。     

基于人工智能技术电力调度智能代理操作方法研究

针对基于人工智能技术的电力调度智能代理操作方法进行了研究.首先分析了人工智能技术在电力系统中的应用和发展趋势,给出了人工智能技术在电力系统中的应用场景.然后对智能代理技术进行了分析,提出了电力调度智能代理结构,并针对基于人工智能技术的电力调度代理方案提出了应用技术.最后针对电力调度智能代理操作流程,提出了以负荷偏差、潮流转移和电压偏移为操作对象的操作方法.     

城镇降雨径流污染控制典型工程案例绩效评估

近些年,我国大面积推广海绵城市建设,已在一些大、中城市相继开展了实际工程应用.然而,依然缺乏有效的评价方法,全面地评价及分析海绵城市工程设施运行效果.文中以典型低影响开发(LID)、合流制溢流污染控制(CSO)和人工湿地示范工程为例,采用熵权-逼近理想解排序(TOPSIS)法模型对其进行工程绩效评估.评估结果表明,人工湿地工程综合绩效最好,LID和CSO工程综合绩效较低.依据评价结果及得分,对3个典型海绵城市工程存在问题提出改进建议,以期为后续城镇降雨径流污染控制工程的建设提供指导.     

PVC树脂白度测定过程中的影响因素

研究了按GB/T 15595-2008《聚氯乙烯树脂热稳定性试验方法 白度法》测定PVC树脂白度过程中的影响因素,如试样瓶的选择、称样质量、试样受热时间、一次测定试样的数量等,并提出了适宜的操作条件.     

基于价电子理论的Ag-Sn金属间化合物形成机理

SnAgCu焊点中的金属间化合物(intermetallic compounds,IMCs)Ag3 Sn脆性大且电阻高,对焊点可靠性具有重要影响,有必要明确其形成过程和相变机制以控制其生长.采用固体与分子经验电子理论(empirical electron theory,EET)研究Ag-Sn系统中的主要扩散元素及原子运动路径,应用自洽键距差(self-consistent bond length difference,SCBLD)法计算了Ag-Sn系统内参与反应相的价电子结构及可能形成的固溶体的结合能,根据结合能变化趋势从价电子层面描述出Ag3 Sn在焊点内部的形成过程.研究结果表明:Ag-Sn系统中的主要扩散元素为Sn,Sn原子进入Ag晶胞形成固溶体,固溶体内原子重新排布,形成结合能更高、排布更均匀的共价键,造成晶格膨胀,位于(110)晶面和面心位置的Ag原子随之向外扩张,形成了同样具有良好对称性的Ag3 Sn,与前人研究Ag-Sn系统扩散的实验结果相符.     

浅谈古典俳句研究方向的新维度——以松尾芭蕉为例

以松尾芭蕉为例,通过探讨古典俳句研究的三个新维度,即心理学维度、“大数据”维度以及“环保旅行”维度,挖掘蕉风俳句的多维度内涵和时代价值,希冀为俳句的审美、创作和价值研究开辟出一条新路。     

二次再热机组烟气余热利用与抽汽参数优化研究

对某1 000 MW二次再热机组应用遗传算法进行余热利用和抽汽的整体优化。余热利用方式选择两种:方案1,低压回热加热器之间引入低温烟水换热器;方案2,采用空气预热器分级布置,在水侧高温烟水换热器与1~#高压加热器并联在烟气侧高温烟水换热器与高温空气预热器并联,出口烟气汇合后进入低温空气预热器。结果表明,机组在余热利用后对最佳抽汽口位置有很大影响;采用方案2整体优化后发电功率增加最明显,可以使机组发电功率增大21 170 kW,发电效率比单独优化提升明显。此外,研究表明,在锅炉烟气余热利用时需要余热和回热同步优化。     

X射线透射成像技术原位追踪混凝土吸水过程

为了表征二维混凝土的传输过程,制备厚度为1 mm的混凝土薄片. 采用X射线透射成像（TXR）技术,联合扫描电镜、背散射和能谱分析技术（SEM/BSE/EDS）原位追踪水在2维混凝土薄片中的毛细自吸过程. 测试不同质量分数CsCl溶液对X射线透射图像的增强效果. 结果表明,CsCl能够提高吸水过程中混凝土薄片的TXR图像对比度,使得水在混凝土中的渗流路径更清晰、可辨. 水泥浆体在吸收CsCl后,扫描电子背散射图像的对比度显著增强. 不同位置铯原子的EDS能谱结果验证了TXR技术确定吸水前锋位置的准确性.     

大型软包锂离子电池的热物性实验研究

针对大型软包锂离子电池热物性参数的测定问题,提出适用于该型电池的热参数表征方法. 基于准稳态导热原理,建立电池的传热理论模型. 开展实验研究电池的比定压热容和导热系数与温度的依变关系,分析热损对测试结果的影响,对测试方法的有效性进行验证. 结果表明,电池比定压热容随着温度的升高而线性增大,导热系数受温度的影响较小. 在900 s内可以测得电池热参数在10~60 °C下的变化状况,实验验证结果显示测算精度高于92.3%,具有测算周期短、准确度高和测试灵活等优势.     

BPDA/ODA体系微支化交联聚酰亚胺薄膜制备与性能研究

以三官能度的1,3,5-三(4-氨基苯氧基)苯(TAPOB)为交联剂,在3,3′,4,4′-联苯四甲酸二酐(BPDA)和4,4′-二氨基二苯醚(ODA)体系聚酰亚胺(PI)薄膜中构建微支化交联结构,制备出一系列具有不同TAPOB含量的PI薄膜,研究了TAPOB含量对薄膜力学性能、热力学性能、介电性能和吸水率的影响.结果表明:TA-POB的引入可明显提高BPDA/ODA体系PI薄膜的综合性能,交联结构的存在有利于提高薄膜的力学性能、降低热膨胀系数(CTE)和吸水率,微支化结构则对降低介电常数有一定的作用.