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

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

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

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

基于价电子理论的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系统扩散的实验结果相符.     

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

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

基于抽象原则和模型检测的网络协议安全分析

提出了一种可以缓解状态空间爆炸的抽象原则,对模型设计过程中的辅助变量、报文字段、自动状态机数量进行科学约简,在尽量不影响验证结果准确度的前提下,降低了模型的复杂度.在此基础上,提出了一种半自动化建模框架,只需用户提供少量必须的输入,不需要学习语法,就可以自动生成具有统一规范的模型,方便研究人员查阅和使用.实验结果表明,采用所提的抽象原则和半自动化建模框架创建的模型,可以验证网络协议的相关属性.     

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)和吸水率,微支化结构则对降低介电常数有一定的作用.     

新型快挥发带电清洗剂对支柱复合绝缘子的溶胀效应及改进

直流硅橡胶绝缘子积污后对其绝缘性能和使用寿命有重要影响,一般通过带电清洗剂进行清洗,而在带电清洗剂下的溶胀效应带来的不利影响是有待解决的关键问题.对1、2号两种带电清洗剂挥发速率、硅橡胶在不同带电清洗剂清洗前后的溶胀性以及憎水性的变化进行了试验研究,并探讨了相应的机制.结果表明:1、2号带电清洗剂在25℃时的挥发速率分别为1095.78 g/(h·m2)和108.01 g/(h·m2);硅橡胶溶胀度随时间的增加而增大,溶胀10 h后达到饱和,饱和后的硅橡胶溶胀指数分别为55％和130％;1号带电清洗剂会削弱硅橡胶的憎水性,经过10 min浸泡,接触角下降了14％,2号带电清洗剂能增强硅橡胶的憎水性,经相同时间浸泡,接触角上升了6％,因而挥发性优良的带电清洗剂可以降低溶胀对硅橡胶绝缘子的不利影响.     

金融去杠杆对企业风险承担的实证研究

为探讨金融去杠杆目标、优化资产配置效率与降低企业风险承担水平的关系,以2008—2018年全部A股上市公司为样本,引入资产配置这一中介变量,实证检验了金融去杠杆与企业风险承担水平之间的关系。研究结果表明,金融去杠杆可以优化资产配置,进而降低企业风险承担水平,资产配置在金融去杠杆对企业风险承担关系作用中发挥了部分中介效应;进一步区分产权性质后发现,相较于国有企业,这一作用机制在非国有企业中更为显著;稳健性检验测试结果中,上述结论仍然成立。