求解粘弹性饱和土隧道频域响应的DQEM

用微分求积单元法研究了粘弹性饱和土隧道的频域响应问题.首先,基于饱和多孔介质混合物理论,分别建立了频域内隧道耦合系统中粘弹性饱和土和粘弹性衬砌的控制方程,给出了耦合系统的边界条件以及饱和土和衬砌连接面上满足的连接条件.其次,发展了求解该耦合系统的微分求积单元法,利用微分求积单元法,在频率域内对耦合系统的数学模型进行了离散,并利用Newton-Raphson迭代法得到了系统的数值解.最后,对耦合系统的频域响应进行了分析,考察了参数的影响,同时也验证了数值方法的有效性.     

互逆蕴涵命题的空间曲线投影柱面表示

互逆主义逻辑是建立在解析几何的基础之上的。在空间解析几何中,空间曲线是两曲面的交线,在空间曲线中消去一元,即得投影柱面。与此类似,在互逆主义逻辑中,互逆蕴涵命题前件的两个合取支为两个曲面,它们的合取为空间曲线,若后件所表示的曲面恰为或真包含该空间曲线的投影柱面,则该互逆蕴涵命题成立,否则不成立。     

基于单神经元自适应PID的PLC直流电机控制系统

针对微型计算机和单片机进行直流电机控制时,抗干扰能力和可靠性差等缺点,提出了一种基于单神经元PID(Proportional-Integral-Derivative)算法的PLC(Programmable Logic Controler)控制直流电机的调速系统,设计了PLC控制D/A(Digital/Analog)转换电路、直流电机驱动电路、转速脉冲反馈电路,研究了单神经元自适应PID控制算法。将有监督单神经元控制算法应用于直流电机调速系统,通过调整神经元控制器的加权系数,实现自适应PID的最优控制。单神经元PID调节在大范围调速和抑制超调方面都有明显的改善,进而提高了直流调速系统的精度。通过系统动态测试,实现了PLC控制直流电机正反转自动调速,直流电机在稳态运行时,转速误差小于1 rad/s。     

SCWR for Future LargeScale Nuclear Power Generation

The ambitious nuclear power program motivates the Chinese nuclear community to develop advanced reactor concepts of generation IV, in order to ensure the longterm, stable and sustainable development of nuclear power. The supercritical watercooled reactor (SCWR) has favorable features in economics, sustainability and technology availability. It is the logical extension of the existing PWR technology and has very promising perspectives in largescale power generation in China. This paper describes the main features of SCWR. New designs of SCWR core structure and fuel assemblies are proposed. Preliminary analysis using a coupled neutronphysics/thermalhydraulics method is carried out and shows a good feasibility of the new design proposal.     

用逻辑方法验证移动Ad Hoc网络协议

针对移动Ad Hoc网络节点移动和无线广播通信特征,引入移动算子和广播算子,扩展形式逻辑LS2,提出了建模和分析移动Ad Hoc网络安全系统的逻辑ELS2.ELS2把网络模型化为不同位置上执行程序的线程复合,把攻击者模型化为与协议参与方并发运行的线程.ELS2中提出网络迹概念,描述网络节点内部计算和外部交互,以及节点移...     

脉冲耦合神经网络的人脸识别方法

 在脉冲耦合神经网络(PCNN,pulse coupled neural network)中,基于神经元脉冲震荡的时间序列概念,利用平均时间序列和平均欧氏距离的方法实现了人脸识别.实验仿真表明了该方法的有效性,对不同人脸和复杂表情的人脸均具有较好的识别效果.     

PLC程序测试与验证的研究进展

可编程逻辑控制器(PLC)是一种在工业领域应用非常广泛的控制装置。随着PLC程序的规模和复杂性不断增加,PLC程序测试与验证已成为一个具有挑战性的问题。该文分析了PLC程序测试与验证的困难。从验证与测试两个方面,分别介绍了该问题的研究现状。对于每一个方法,分别论述了其基本思路、优势与不足。最后,根据当前研究的现状,展望了PLC程序测试与验证技术未来的发展。综合分析来看,PLC程序测试与验证的现有方法都存在比较明显的局限性,有待深入研究。未来可能的新方向包括结构化测试以及不同测试方法的融合等。     

基于Markov逻辑网的句子压缩方法

提出了一种基于Markov逻辑网通过删除单词进行英文句子压缩的方法。通过一阶逻辑公式表示单词的局部特征以及单词之间的相互依赖关系,确定单词是否应该删除。与现有方法相比,该方法把判别式学习和整数规划的优点相结合,既融合了丰富的句子特征,又以逻辑公式方便地表示全局约束。在书面和口语两个新闻数据集上的实验结果表明:该方法与L3和SVTL系统相比具有明显优势,在压缩率接近时,以人工压缩结果为评测标准,压缩后句子的依存关系F-score有较大提高。     

采用能量平衡黏附理论的灌水器泥沙-壁面黏附特性研究

为了从量化的角度评价灌水器的抗堵性能,从单个沙粒的角度,分析了其在滴灌灌水器迷宫流道内的行为,建立了基于能量平衡的颗粒黏附模型,并计算出黏附临界速度.通过粒子图像测速可视化试验与计算流体动力学数值模拟相结合的方法,对采用能量平衡的黏附理论模型进行了适用性验证.研究发现,当灌水器入口压力越大、颗粒粒径越大或者颗粒-壁面间...     

微波辅助预还原-HG-ICP-AES联用技术用于三七无机硒形态分析

建立了微波预还原-氢化物发生-电感耦合等离子体原子发射光谱联用技术测定中药三七提取液中无机硒的方法,对测定条件进行了优化选择,通过直接测定Se(IV)和微波辅助定量还原后测总硒,用差减法测得Se(VI)的量.Se(IV)的检出限为0.23 μg·L-1,相对标准偏差为2.0％,回收率为82％～104％,结果较为满意.