关于垂足三角形的一个重要恒等式

给出了垂足三角形一个重要恒等式的证明,并给出这个恒等式的一些推论,其中包括与Ptolemy定理等价的“三弦定理”.最后,提出了有关垂足多边形的一个猜想.     

钢渣稳定化处理——余热有压自解技术研究

本项目主要是钢渣余热有压自解工艺技术研究,高温固态钢渣在压力容器内与喷入的雾化水充分接触,利用钢渣的余热产生水蒸气,通过控制罐内压力,大幅度缩短钢渣陈化时间,解决了钢渣的粉化和稳定性不良的问题。     

π0与N- (N-)重整化链传播子的"精确"收敛公式与辐射修正

采用中性介子π0与核子(N-)反核子-N强相互作用Lorentz不变耦合模型,对π0与N- (N-)两类重整化链图传播子函数级数收敛性问题作了全面考察与深入研究,并利用链图传播子函数的精确理论计算结果,通过相关理论分析、推导后获得重整化链图传播子函数级数"精确"收敛公式;在此基础上又对两类重整化链图传播子"辐射修正"问题作了理论计算与分析.     

落实科学发展观构建和谐社会的几点思考

以科学发展观为指导,构建社会主义和谐社会,是党中央在全面建设小康社会的新的历史时期,明确提出的重大任务,要求全党同志要建设具有中国特色社会主义和谐社会,使社会主义物质文明、政治文明、文化建设与社会建设全面发展,贯彻落实科学发展观,又快又好地推进社会主义全面可持续发展.     

两阶段有向网络马尔可夫系统维修模型与分析

根据实际管道有向网络系统,作者构造了两阶段有向网络马尔可夫维修系统.对组成系统的边以及系统的状态进行了分析,运用求解指标的一般方法和Laplace变换,对模型的可靠性指标进行了求解,给出了边与系统瞬时可用度、瞬时故障频度、稳态可用度、稳态故障频度以及平均指标的表达式.将两部件不独立运行系统与两部件独立的系统可靠性指标进行对比,用数值示例加以说明.研究结果为有向网络的马尔可夫维修系统的进一步研究提供了基础.     

非小细胞肺癌外周血有核细胞miRNA表达特点研究

miRNA在非小细胞肺癌的发生发展中发挥重要作用,为了解非小细胞肺癌患者外周血有核细胞的miRNA表达特征及其作用,采用第二代高通量测序技术对7例非小细胞肺癌患者和7例对照的外周血有核细胞miRNA表达水平进行检测,比较非小细胞肺癌患者与对照的外周血有核细胞miRNA表达特征,分析两者miRNA表达水平差异情况,共鉴定出非小细胞肺癌患者与对照的外周血有核细胞中有显著表达差异的miRNA 209种,其中肺癌样本miRNA表达上调的有138种,表达下调的有71种.研究结果显示非小细胞肺癌患者与对照样本的外周血有核细胞中miRNA表达具有显著差异,其中部分已被证实参与肿瘤发生、发展等过程.     

一种基于DAG图的异构可重构任务划分方法

为了实现高性能低功耗的计算,以任务划分为研究对象,提出了异构可重构计算的基本概念和形式化描述方法,给出了基于异构计算任务和异构可重构体系结构相结合的异构可重构两种任务划分方法:节点内部可重组及网络可重建的任务划分及算法,最后验证了其任务划分方法的有效性.     

PLC在电解铝整流系统中的应用

<正>一、系统基本介绍目前,电解铝公司普遍采用先进的240kA大型预焙阳极中间下料电解槽,提供直流电流的整流系统采用110kV直降式有载调压整流变压器和二极管整流电路,设多套整流机组(本文中以桥头铝电公司四套设计为例),单机组额定输出直流为1150V、56kA;正常为多套机组同时运行,当有一套机组退出运行后,其余3套机组调     

二元域上对称循环矩阵的非退化性

齐次旋转对称布尔函数与F2n在F2上的一类特殊正规基有着密切的联系,这类正规基的存在性依赖于二元域F2上n×n对称循环矩阵的可逆性.利用有限域上多项式的性质给出了F2上一类n×n对称循环矩阵的行列式计算公式,并由此得到一类特殊的可逆对称循环矩阵.     

多值有向角与密克定理的推广

利用三角形三边弦圆共点的有关条件和多值有向角及其相关概念,推广了密克定理.