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

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

区位码/国标码输入法技术初探

计算机技术领域中,使用键盘输入汉字的方法实质是区位码/国标码输入法。本文介绍了区位码/国标码输入法的现实意义,IME的组成结构以及区位码/国标码输入法的发展动态。主要说明区位码/国标码输入法在中文键盘输入法的重要地位,并简单分析了中文键盘输入法编辑器的组成结构等技术。     

基于价电子理论的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股上市公司为样本,引入资产配置这一中介变量,实证检验了金融去杠杆与企业风险承担水平之间的关系。研究结果表明,金融去杠杆可以优化资产配置,进而降低企业风险承担水平,资产配置在金融去杠杆对企业风险承担关系作用中发挥了部分中介效应;进一步区分产权性质后发现,相较于国有企业,这一作用机制在非国有企业中更为显著;稳健性检验测试结果中,上述结论仍然成立。     

过热度对电脉冲孕育处理Al-5%CU合金凝固组织的影响

研究了不同的过热度对电脉冲孕育处理Al-5％Cu合金凝同组织的影响。实验结果表明：不同的过热度下对Al-5％Cu合金进行电脉冲处理，合金凝同组织均得到一定程度的细化，但过热度不同时细化效果不同。一定温度范围内．熔体温度为740℃时，电脉冲孕育处理细化的效果最好，并分析了过热度影响电脉冲孕育处理Al-5％Cu合金凝同组织的机制。     

上行气固两相流充分发展段的摩擦压降

为确定气固提升管充分发展段的摩擦压降及其对颗粒浓度测试的影响,提出了充分发展段内气固两相流与管壁间摩擦压力降的计算模型,由此获得充分发展段内真实颗粒浓度的计算公式;同时在两套提升管实验装置上对压力梯度分布和局部颗粒浓度进行了系统测试和对比分析。结果表明,用压差法测试颗粒浓度时摩擦的影响不可忽略,尤其是在气速较高(Ug＞8 m/s）时,表观浓度比实际浓度高出30%～50%;采用建立的模型对表观浓度进行修正,获得的预测值与实际颗粒浓度吻合良好。