“是即(则)是P”特征、功能及其演变

从构式语法角度主要对唐宋禅录里的"是即(则)是P"句式进行考察,认为该句式的句式义表示对某种行为事件的保留性肯定,但是还存在某种局限性,具有评判认定、修正补充、主题承接等语用功能。"是即(则)是P"受汉译佛经影响,在唐宋时期的禅籍里产生并常常使用,具有A式和B式两种具体的表达形式,基本语用功能一致。其中A式出现于北宋早期,专用于禅籍文献,是禅家参禅实践活动中一种特殊句式,B式在南宋后来的世俗文献里也常常可见,反映了佛禅文献的传播对近代汉语发展演变的影响。     

基于关键路径延时检测的自适应电压缩减技术

为了减小传统的最差情况设计方法引入的电压裕量,提出了一种变化可知的自适应电压缩减(AVS)技术,通过调整电源电压来降低电路功耗.自适应电压缩减技术基于检测关键路径的延时变化,基于此设计了一款预错误原位延时检测电路,可以检测关键路径延时并输出预错误信号,进而控制单元可根据反馈回的预错误信号的个数调整系统电压.本芯片采用SMIC180 nm工艺设计验证,仿真分析表明,采用自适应电压缩减技术后,4个目标验证电路分别节省功耗12.4％,11.3％,10.4％和11.6％.     

一种五轴NC加工刀具方位的自动化判定方法

文章是针对具有倒钩几何形状的凹穴进行五轴NC加工时所产生的干涉碰撞问题,利用Openregion及向量的概念,提出一简单的方法来调整刀具的方位。此方法首先将要加工的凹穴曲面转换为离散的点数据后,然后将工件作2D切层,并进行切层之间的比较,以取得每一倒钩区开始的高度值(即Open-region发生的位置),最后作NC加工刀具路径的规划。无干涉的刀轴轴向是采用初始轴向及干涉检测两阶段式的方式来决定,初始刀轴轴向是利用在Open-region轮廓所得的点数据与CC point间所产生的向量,根据向量间的角度判断所得。完成了初始刀轴轴向的选取后,接着作干涉检测,若有干涉的现象,则做刀轴轴向修正的动作,如此反复直到没有干涉为止。     

本质安全型检验装置的设计与实现

根据标准GB 3836.4—2010爆炸性环境第4部分:由本质安全型"i"保护的设备防爆检验的要求,设计了一种模拟煤矿井下作业环境的全封闭空间的本质安全型检验装置。该装置把本质安全型的被检设备按照检验的要求进行短路,以检验该设备是否产生火花并引燃可燃性气体,从而判断被检设备的安全性是否合格。重点论述检验装置的工作原理、关键部位的设计思路及检验的工序流程。     

基于RRPP技术的以太网组网应用

本文阐述了一种基于RRPP技术的环网拓扑传输系统及传输方法,主要适用于以太网的环网保护应用。该传输方法为:所述环网拓扑的结构包括一个汇聚节点和所述汇聚节点下带的多个环网,所述汇聚节点由若干台汇聚设备构成,所述传输方法通过IFR2(第二代智能弹性架构技术)将所述若干台汇聚设备虚拟化为一个设备,即虚拟化设备。在不降低双汇聚设备可靠性的前提下,简化了网络架构,确保了业务的快速倒换,提高了网络的可靠性。     

基于BIM的大型立交互通桥梁吊装施工模拟与优化

BIM技术是指利用计算机对建筑物内的各构件进行数字化、参数化的定义,然后建立建筑三维信息化模型,进而对工程项目进行辅助管理的一种方法。依托工程实例,利用BIM技术对大型立交互通桥梁吊装施工过程进行模拟和优化,快速找到桥梁吊装施工过程中的重、难点,并对施工方案、施工进度、质量管理等进行优化,有效提高了工程管理效率。     

KJS-Y系列矿用水动力降尘器的改进设计

针对当前KJS-Y系列降尘器效率低的问题,通过调整叶轮轴向间隙与径向间隙参数,分别对不同安装参数的降尘器进行数值模拟,通过数值模拟分析特定截面压力分布情况,确定了叶轮最佳安装参数,大大提高了降尘器的工作效率,同时降低了设计成本。     

煤层水力冲孔增透效果影响因素的研究

基于渗流机理,建立了球型径向渗流模型,采用COMSOL软件模拟了冲孔半径、初始瓦斯压力、抽放时间、布孔方式等因素对水力冲孔瓦斯卸压效果的影响。在土城矿进行了现场试验,取得了与模拟结果的一致性。