摘要：与非图模型是一种表示电路设计的通用基础形式,同时也是模型检查器的一种通用输入格式.介绍了一种基于与非图结构编码的特征提取方法,并基于该方法实现了一种快速的组合模型检查器Liquid.所提出的结构编码的核心思想:首先罗列出与非图中所有可能的子结构,再将每个子结构出现的次数编码成向量,该向量即作为与非图的特征向量参与之后的机器学习过程.由于各种模型检查算法的性能在不同的与非图上参差不齐,Liquid的设计目标是组合多种模型检查算法,针对不同的与非图使用机器学习模型挑选出合适的算法.收集了目前所有的模型检查器基准测试集作为实验数据集并进行了实验.实验结果表明,Liquid在实验数据集上的表现优于所有组合中的独立模型检查算法,并有着不错的预测准确率.同时,还从多个维度分析了Liquid有效的原因.

摘要：工字形钢筋混凝土剪力墙因具有较高的承载力与刚度,被广泛运用于建筑结构抗震设计之中。有效刚度对于钢筋混凝土剪力墙的抗震性能有着重要影响。利用有限元软件DIANA对拟静力加载下工字形钢筋混凝土剪力墙进行研究,分析了翼缘宽度、轴压比、剪跨比、腹板纵筋强度、翼缘纵筋配筋率对有效刚度的影响。结果表明,工字形钢筋混凝土剪力墙的有效刚度折减系数随着翼缘宽度、腹板纵筋强度的增加而减小,随着轴压比、剪跨比的增大而增大,翼缘纵筋配筋率影响不大。提出了适用于工字形钢筋混凝土剪力墙有效刚度的计算公式,其计算结果贴合试验值,说明该公式准确度较高,可用于计算工字形钢筋混凝土剪力墙的有效刚度。

摘要：现有质子交换膜燃料电池(PEMFC)模型难以用于控制系统的设计,为此,提出利用Matlab-Simulink仿真工具建立PEMFC系统动态模型,并在此基础上设计了模糊逻辑控制器(FLC).采用模糊控制和比例积分微分(PID)控制相结合的双模控制,实现了对PEMFC系统输出电压的控制.仿真结果表明,该模型能较好地反映PEMFC系统的动态特性,有助于改进PEMFC的设计,进一步提高其性能;双模控制能有效地抑制扰动,改善PEMFC系统的输出特性,保证系统的稳定运行,证明所建立的控制模型可用于实时控制系统的设计.

摘要：文章通过对1990年代以来的东亚当代艺术实践发展方向的讨论,指出在过去20年间出现的话语中,东亚已经逐渐被视为是工业的、资本的以及都市的并且投入到狂热的发展中,工业、资本和都市被当代东亚艺术家几乎如圣歌般地咏唱着。尽管当代/后现代艺术形式似乎是当代全球艺术的基础,却无法让我们理解“全球”艺术的历史,而经济发展给予我们发现自我并探寻当代亚洲艺术和艺术实践源流的机会。

摘要：由于已提出的质子交换膜燃料电池(PEMFC)模型难于控制,提出利用MATLAB/SIMULINK仿真工具进行PEMFC系统动态建模,同时为实现对PEMFC系统输出电压的控制,采用了基于模糊规则切换的模糊逻辑控制器(FLC)和比例积分微分控制器(PID)相结合的双模控制方式.仿真结果证明该动态模型易于控制,能够反映出PEMFC系统的动态输出特性,而且验证了基于模糊规则切换的双模控制能够有效抑制扰动,改善PEMFC系统的动态输出特性,保证系统的稳定运行,有助于对PEMFC系统的输出性能分析以及实时控制系统的设计.

摘要：为研究质子交换膜燃料电池(PEMFC)电堆的输出响应,利用Matlab-Simulink仿真工具对PEMFC进行系统动态模型建立。通过使用燃料电池测试系统,在不同的运行条件下对PEMFC的暂态电响应进行测量和分析。实验数据与仿真结果吻合较好,表明该模型是有效和可操作的,有助于改善PEMFC的设计,提高其性能。

摘要：为研究质子交换膜燃料电池(PEMFC)的输出特性,在目前已提出的动态模型基础上进行了改进,并加入气体流量模型和热力学模型,利用Matlab-Simulink仿真工具,建立了一种新颖的PEMFC系统动态模型。仿真结果表明该模型较好地反映出PEMFC系统的动态特性,有助于进一步完善PEMFC系统模型,为改进PEMFC输出性能和设计实时控制系统,提供了可靠依据。

摘要：本文介绍了如何利用嵌入式图形系统设计救生机器人蜘蛛。现已成功完成功能强大且性能优异的机器人的构建，而且，通过采用用于Blackfin处理器的LabVIEW嵌入式模块所提供的图形化编程环境，以及Blackfin处理器的高处理器性能，开发周期也大为缩短。

摘要：为应对世界能源格局的巨大变化,追求高效绿色能源技术研究始终是一个热点.通常,电化学水分解被认为是最有潜力的环境友好型能量转换策略之一.氧气释放反应(OER)作为水分解的必要过程依赖于低成本高效电催化剂的发展.目前,贵金属氧化物(如氧化铱/氧化钌)被认为是碱性溶液中最高效的OER催化剂.然而,高成本、稀缺性和不稳定性阻碍了它们的广泛应用.因此,探索成本低廉且高效的OER电催化剂成为现今工作的重点.以过渡金属为基础的催化剂因其天然丰度、较高的催化活性、低廉的成本和较好的循环稳定性受到人们的青睐.其中,包括氢氧化镍、氧化镍、硫化镍、磷化镍等在内的镍基化合物是最有代表性的研究对象.到目前为止,已有很多工作对镍基材料进行优化来增强其电子导电性和电化学活性面积,从而大大提高了OER催化性能.但是,这些非阵列的镍基材料由于物质团聚导致反应活性位点被覆盖,??g?遫圃?h??圃???遫圃????圃}圃j?遫圃????}圃悍?遫圃?h??圃肍???遫圃f???灚圃肏?遫圃??悐?肐????遫圃同时平面或者粉末状的结构使得材料表面与电解液的接触面积有限,因而催化性能受到限制.相比之下,无粘合剂的3D多孔镍结构通过增加可接触面积和电化学活性位点来改善电催化活性,交联结构也为电子传输和离子扩散提供了更丰富和更短的传输通道,从而提高了催化剂的导电性,有利于电催化性能的提高.本文通过简便的一步电沉积方法合理地设计了具有交联多孔结构的3D镍阵列作为碱性溶液中自支撑的高效OER电催化剂.SEM图清晰地展示了3D多孔镍阵列的形貌特征.3D镍与基底结合紧密且均匀有序地生长,表现出高度交联分支的多孔结构,样品由许多直径为0.5–1.5μm的镍颗粒构成,阵列的孔洞直径为5–10μm.对3D多孔镍阵列的形成机理进行了探讨.利用TEM和XRD对样品进行了微观结构和物相的进一步表征,发现镍分支由200–400 nm的纳米颗粒组成.通过晶面间距、电子选区衍射和XRD图谱确定合成了镍的纯相,并与泡沫镍的形貌和物相进行了对比.样品的电催化性能测试表明,与泡沫镍相比, 3D多孔镍表现出优越的OER电催化性能,具有较低的过电位(50 mA cm^(–2)时为496 mV)、较小的Tafel斜率(43m V dec^(–1))、较小的电阻、较大的电化学活性面积以及碱性溶液中的长期稳定性(24小时后无衰变).同时,我们在对3D多孔镍催化性能提高的原因进行了分析.本文提出的合理设计策略可为其他先进3D多孔材料的构建以及电催化剂的改进提供一个新思路.