摘要：在多值逻辑Tableau推理的基础上,提出了一种基于集合符号的自动推理扩展方法.将符号集合作为真值,减少了Tableau的推理分枝,并可以将适合经典逻辑的推理方法和策略应用于其中,使得非经典逻辑推理经典化.使用SWI-PROLOG语言设计实现了基于集合符号的自动推理系统,在系统中使用集合符号方法,只需要在规则库中增加推理规则,即可生成规则程序,系统本身不需要任何的修改,因此一些适合于经典逻辑的推理方法和技巧就可以很容易地应用到多值逻辑、模态逻辑、直觉逻辑等非经典逻辑,也可以进一步推广到无穷值逻辑和含模糊量词(如T-算子和S-算子)的逻辑中,对于无穷值逻辑和模糊逻辑的Tableau方法研究具有一定的借鉴作用.对TPTP中的900个逻辑问题进行了证明,实验结果表明,系统在时间和空间上效率都是较高的.

摘要：首先采用解析逆系统理论对模型电流动态环节的可逆性进行了分析,推导出解析逆系统,消除了电流分量之间的耦合,从而实现电流环的高动、静态性能控制。然后设计了直流母线电压调节器,提出了基于电流解析逆控制的光伏并网逆变发电系统结构。最后,采用Matlab/Aimulink对整个系统进行仿真研究,验证了所提系统结构的有效性。

摘要：单分子磁体在量子计算、高密度存储材料以及分子自旋电子学等领域具有广阔的应用前景。3d过渡金属单离子磁体具有结构简单、易于研究磁构关系以及可控配体场获得高能垒等特点,因而成为近年来单分子磁体领域的研究热点。本文结合现有研究成果,从配位构型出发,旨在对近年来基于3d过渡金属离子的单离子磁体进行综述,重点阐述配体场、磁各向异性和单离子磁体性质三者之间的关系,为设计合成单分子磁体提供新的思路。

摘要：谐振直流环节逆变器的直流母线上通常设置了一个辅助开关器件,制约了其效率提高,这也是其在高功率领域应用推广不多的原因之一。为解决这一问题,文中设计的谐振直流环节软开关逆变器的辅助电路与直流母线并联,辅助开关器件和谐振元件均没有串联在直流母线上,有助于提高效率及降低辅助谐振电路的功率损耗。文中对所设计的电路拓扑结构采用相平面分析法来分析其动力学行为、软开关实现条件以及设计规则,并建立起辅助谐振电路损耗和效率提高值的数学模型。搭建一台10 k W的实验样机,将实验结果和硬开关逆变器比较,结果表明,设计的逆变器满载时的效率提高值高于轻载时的效率提高值。因此,文中所设计的软开关逆变器有利于减小辅助谐振电路的能耗,保障电能的高效利用。

摘要：直流配电系统有源阻尼控制一般通过在换流站配置补偿环节调节输入或输出阻抗来实现。为进一步阐述有源阻尼补偿环节对系统阻抗的影响机理,并指导其参数调节和设计,首先在建立定电压控制换流站阻抗降阶模型的基础上,分别以串、并联虚拟阻尼支路对直流电压反馈、直流电流前馈两类补偿环节进行溯源。其次,分析补偿环节对定电压站输出特性的影响,并在阻抗-频率曲线维度重构Nyquist稳定性判据,确定对有源阻尼补偿环节的基本约束。结合阻抗灵敏度,推导建立阻抗-频率曲线的谐振点灵敏度,提出采用阻抗/谐振点灵敏度的有源阻尼补偿环节参数调节方法。最后,以双端与四端直流配电系统为例,通过对比扫频结果展示了定电压站降阶阻抗模型的准确性,并分别在定电压站与定功率站配置补偿环节,以Nyquist曲线、MATLAB/Simulink时域仿真为参照,验证重构稳定性判据和所提阻抗/谐振点灵敏度参数调节方法的有效性。

摘要：考虑带可控机械臂绳系卫星的面内运动,研究其释放阶段的子星位置和姿态控制问题.系绳释放时,通过调整机械臂转角实现子星姿态的无动量轮控制.控制律设计分为两步:首先,基于非线性最优控制理论,研究在状态和控制约束下的子星位置及其姿态控制,通过二阶Legendre伪谱法求解开环最优控制律;其次,以开环解为参考,基于轨迹跟踪思想设计反馈控制器,其中反馈控制增益由开环最优控制算法及数值插值确定.最后通过算例研究验证了该方法的有效性.

摘要：对预加载的无黏结预应力混凝土梁的高温(火灾)性能进行了试验研究,试件的加热温度分别为250,450和650℃,加载试验分别在高温下和冷却后进行.试验表明,高温对无黏结预应力混凝土受弯构件的抗弯承载力和变形,都有较大的影响;与冷却后加载试验相比,高温下无黏结预应力混凝土受弯构件的损伤更为严重.根据受热后梁截面的温度场,采用分层法得到了高温下混凝土的平均抗压强度.在此基础上,提出了预应力混凝土梁的抗弯承载能力和变形的计算方法.计算分析表明,理论计算结果和试验结果吻合较好.

摘要：针对隐式重启动Arnoldi算法无法自动搜索指定区域所有特征值的问题,设计了一种基于集群计算的特征值搜索策略,满足特大型电网小干扰稳定在线分析对计算结论准确性和实时性的要求。将待搜索区域划分为多个面积相同的区域,通过对搜索圆盘无法完全覆盖的区域设置更多的位移点来提高计算速度。采用正方形来划分待搜索区域,通过比较搜索圆盘内切正方形和待搜索正方形区域的大小实现待搜索区域是否被完全覆盖的自动判别。对华东电网的在线数据进行了分析计算,验证了搜索策略的正确性和有效性。

摘要：为了研究超厚粉细砂地层中桩端、桩侧组合压浆效果,基于石首长江公路大桥工程中6根超长大直径钻孔灌注桩原位静载荷试验,通过对比分析组合压浆前、后钻孔灌注桩的试验结果,研究组合压浆对超长大直径钻孔灌注桩承载力性状、桩端阻力及桩侧摩阻力的影响。通过钻孔取芯、标准贯入试验分别对水泥浆液影响范围和桩基组合压浆的影响效果进行综合分析,得到该工程主桥试桩压浆前、后粉细砂土层侧阻力经验系数,建立压浆后侧摩阻力与压浆前标贯击数N的关系式。研究结果表明:与组合压浆前相比,组合压浆后的桩端阻力与桩侧摩阻力均有大幅度增加,且灌注桩极限承载力提高幅度为94.25%~151.51%,由此可见组合压浆的效果非常显著;组合压浆桩的承载性能明显优于桩端压浆桩,其对桩基的荷载传递特性产生了明显影响;钻孔取芯试验明确了水泥浆液在桩周和桩端以下一定范围的分布情况,证实了组合压浆的有效性;标准贯入试验结果表明组合压浆后桩侧土的标贯击数N明显提高,研究成果可直接运用于该大桥桩基设计,并可为类似超厚粉细砂地层中桥梁桩基工程提供参考。

摘要：软土侧向大变形将是造成地铁车站结构严重震害的主要因素。为了明确软土层埋深对地铁车站结构地震反应的影响规律,对常见的两层三跨岛式地铁车站结构侧向和底部地基中存在不同埋深软土层时5种软场地和1个一般场地条件下地铁车站结构的地震反应进行了数值模拟分析。计算中采用自行建立的软土记忆型黏塑性动力本构模型模拟软土的动力非线性特性,混凝土的动力特性采用黏塑性动力损伤模型。给出了软土层不同埋深对地铁车站结构的加速度反应、侧向摆动位移反应和应力反应的影响规律,为提高软土地基上城市地铁车站结构的抗震性能及其抗震设计方法提供了依据。