主动数据库的规则终止性分析

提出一种基于进化图的规则终止性静态分析的方法，全面考虑了触发图、活化图和惰化图。这种基于进化图的分析方法比传统基于图的分析方法分析更为精确，之后提出了规则终止性分析算法并证明了其正确性。     

基于EXCEL的零件管理方法

根据产品的结构提出一种新的基于Excel的零部件管理方法，构成制造BOM，同时可以将这些数据导入数据库。通过VBA开发实现了零件的分类汇总、自动统计计算等功能，使用VBA开发EXCEL进行零件管理及工艺设计是一种很好的方法。     

基于对角递归神经网络的非线性逆动态控制

采用2个对角递归神经网络(DRNN)构成非线性逆动态控制系统，一个用作辨识器，逼近系统的正模型，为逆动态控制提供系统的灵敏度；另一个用作控制器，逼近系统的逆动态模型，再与原系统串联组成伪线性系统．仿真结果表明该控制方法实现了对非线性系统的有效控制。     

超声振动下Sr对A380合金组织性能的影响

超声振动作用下,添加质量分数(w(Sr))为0~0.25%的Sr,对A380合金进行变质处理,以研究Sr和超声振动对A380合金微观组织和力学性能的影响.结果表明:加入Sr与超声振动使A380合金组织显著细化,树枝晶α-Al由粗大变为细小、呈球状,共晶Si相也由粗大针状变为蠕虫状、点状和纤维状;w(Sr)=0.15%时,对组织的细化效果最理想.只添加w(Sr)=0.15%的Sr时,A380合金铸态下抗拉强度(σ_b)、屈服强度(σ_(0.2))、伸长率(EL)和硬度分别为305 MPa,219 MPa,3.78%和106 BHN;w(Sr)=0.15%,且有超声振动作用时,σ_b,σ_(0.2),EL和硬度分别为318 MPa,227MPa,3.99%和108 BHN,此时晶粒尺寸最小,约为42μm,形状因子最大,为0.71.     

在光明中发现黑暗 维拉·鲁宾:发现暗物质

正维拉是一个了不起的科学家和一个令人赞叹的人,一个开拓性的天文学家,平面旋转曲线和喑物质之母,女性在科学研究方面的先职,世代天文学家的导师和榜样。圣诞节似乎在天文学界具有特殊意义,这么说不是因为《圣经》中说的"伯利恒之星"指引东方三贤士找到耶稣的出生地,而是因为伟大的天文学家的生活,或者在那天开始,或者在那天结束。艾萨克·牛顿出生于1642年12月25日,另一个天文学巨星维拉·鲁宾于2016年     

复杂条件下特高土石坝建设与长期安全保障关键技术研究进展

我国是世界上200 m以上特高土石坝数量最多的国家,复杂建坝条件和运行环境给这些高坝大库的建设和长期安全保障带来了严峻挑战.本文介绍了近年来我国在复杂条件下特高土石坝建设与长期安全保障关键技术等领域的主要研究进展:揭示了筑坝粗颗粒土石料力学特性的尺度效应、细观及劣化机理,建立了可考虑加载与流变耦合效应的堆石体流变计算模型;基于计算接触力学方法提出了高土石坝复杂接触系统数值模拟方法,并运用于面板坝面板损伤和心墙坝坝内廊道破损机理研究;研发了变形与渗流耦合的试验装置,进行了防渗土料渗透特性、坝体和坝基防渗系统服役性能试验;基于当量密度法提出了覆盖层密度的旁压试验方法,并进行了相关现场试验;研究提出了300 m级特高面板坝复式结构、坝体增模技术及面板设计方法;依托大石峡工程提出了特高面板砂砾石坝的安全评价和控制标准.上述研究成果已为如美心墙堆石坝、大石峡面板砂砾石坝等特高土石坝工程设计和优化等提供了重要的科技支撑.     

酶性DNA（Ⅲ）：鱼精DNA酯酶活性的初步研究

从鱼精提取的ＤＮＡ表现酯酶活性。用α或β萘酯作底物，坚牢蓝作显色偶合剂，发现萘酯能被此ＤＮＡ水解从而导致坚牢蓝出现特征性的紫红色。ＤＮＡ溶液中的Ｈ＾＋或ＯＨ＾－并不能使坚牢蓝显色。     

廊坊电网调度自动化二次系统安全防护设计与实现

通过二次防护的改造,将调度自动化实施系统进行分区并与MIS网进行了物理隔离,按照横向隔离、纵向认证的原则,有效地阻止了黑客入侵及网络病毒的侵入,减少了网络事故,杜绝了可能发生的电网解列事故,从而避免了大面积停电带来的经济损失,保障了电网安全运行。     

具有强迫项正负系数中立型差分方程的振动性

考虑具有强迫项正负系数的中立型差分方程Δ（xn-γnXn-r) pnXn-r-qnXn-σ=cn,n≥n0,其中cn∈R,γn,qn,pn∈[0, ∞}和r,τ,σ∈{1,2,…},获得了这个方程振动的充分条件。     

“举一反三”五例——兼论工科大学生的能力培养

高等工科教育改革之一就是用“启发研究型”教育取代传统的“传授知识型”教育,用以培养学生的创造能力。“举一反三”是一种运用类比推理的逻辑思维方法,用于启发式教学很有效。本文结合机械系统课程中的能量传递与平衡、机械特性曲线及其函数式、π定理与相似准数、广义强度理论以及液压阀的结构与原理五段讲稿来阐明“举一反三”的作法,总结了启发式教学的经验体会。