某水电厂励磁系统跨接器故障分析

本文对一起机组起励时灭磁电阻严重烧坏并最终导致停机的事故进行分析,查找出灭磁电阻严重烧坏的原因.通过一系列试验,模拟机组起励停机过程,证明此次故障是由于机械跨接器在实际运行中存在缺陷造成的.最后,为防止此类事故再次发生,提出相关技术改造意见,以保证励磁系统安全稳定运行.     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

基于分形插值的城市降雨时间序列精细化估算

基于分形原理对济宁市降雨时间序列进行精细化插值,对降雨数据的分形特征进行分析,通过MATLAB软件计算降雨分形插值,最终将分形插值与传统插值进行对比;所得结果可满足当前中小型城市的城市雨洪建模的降雨数据需求。     

矿用泡沫降尘器研制及泡沫试剂研究

为了降低井下工作面粉尘的浓度,提出了一种以井下压风管道提供高压空气为动力的节能式高倍数泡沫降尘器,相比于其他泡沫降尘器,它可使气-液充分混合并产生大量泡沫,且节能节水。同时依据协同特性原理,通过采用复配和正交试验配制出了一种环保型泡沫试剂,它具有稳定性高,捕尘能力强,对工作人员无伤害等优点。通过现场测得,该降尘系统对全尘的降尘率是93%,对呼吸性粉尘的降尘效率是79%。     

基于微博用户兴趣话题的相似用户挖掘

相似用户挖掘是提高社交网络服务质量的重要途径，在面向大数据的社交网络时代，准确的相似用户挖掘对于用户和互联网企业等都有重要的意义，而根据用户自己的兴趣话题挖掘的相似用户更符合相似用户的要求。提出了一种基于用户兴趣话题进行相似用户挖掘的方法。该方法首先使用TextRank话题提取方法对用户进行兴趣话题提取，再对用户发表内容进行训练，计算出所有词之间的相似度。提出CP（Corresponding Position similarity）、CPW（Corresponding Position Weighted similarity）、AP（All Position similarity）、APW（All Position Weighted similarity）四种用户兴趣话题词相似度计算方法，通过用户和相似用户间关注、粉丝重合率验证相似用户挖掘效果，APW similarity的相似用户的关注/粉丝重合百分比为1.687%，优于提出的其他三种算法，分别提高了26.3%、2.8%、12.4%，并且比传统的文本相似度方法Jaccard相似度、编辑距离算法、余弦相似度分别提高了20.4%、21.2%、45.0%。因此APW方法可以更加有效地挖掘出用户的相似用户。     

多装配接口的三维装配模型检索方法

针对三维模型装配时存在的多接口连接方式,提出一种多装配接口的三维装配模型检索方法.首先对三维装配模型进行属性邻接图的表达,并根据装配体零件之间的接口配合关系定义共轭子图;然后针对装配模型构成的图集进行图顶点的序列化,降低顶点匹配过程中的遍历次数;在此基础上,将装配模型的检索转化成查找符合共轭子图的属性邻接图,通过装配模型属性邻接图的图集进行模型检索;最后对频繁子图挖掘方法进行改进,提取出满足多装配接口的三维装配模型.实验结果表明,该方法能够实现多装配接口的三维装配模型检索,可以提取出设计人员所需的三维模型,提高产品的设计效率.     

基于智能手机用户行为习惯的App使用预测算法研究

互联网的发展不仅推动了智能手机的普及,而且涌现了大量的手机App。大量被安装在手机中的应用程序不仅增加了用户寻找App的时间和难度,而且占用了手机大量的内存空间,致使手机卡顿,严重影响了用户体验。利用智能手机用户使用App的行为习惯特征,预测用户将要使用的App,并将其应用到智能手机中用以预加载App和智能清理手机内存是解决上述问题的方法之一。在深入了解PrefixSpan算法和Bayesian网络算法的前提下,考虑智能手机用户对每个App的喜爱程度,将其加入到PrefixSpan算法的剪枝步骤中;采用贝叶斯网络算法整合智能手机用户的App使用记录和App使用时长等特征,提出一套新的预测用户下一个将要使用的App的算法——WAPA(Weighted App Prediction Algorithm)。实验证明,该算法预测准确率最高可达86.3%,较其他算法可提高大约4%。     

赤红球菌组氨酸激酶的融合表达和功能分析

对赤红球菌的组氨酸激酶基因进行密码子优化，将优化后的组氨酸激酶基因（rhks）构建重组表达质粒pGEX-4T-2-rhks。将此质粒导入到大肠杆菌BL21（DE3）中进行异源表达。在25 ℃和1 mmol/L异丙基-β-D-硫代吡喃半乳糖苷诱导条件下，组氨酸激酶融合蛋白（GST-RHK）获得成功表达，并具有催化活性。经谷胱甘肽琼脂糖亲和层析纯化，获得电泳纯的GST-RHK，其中纯化倍数为3.1，得率为19.5%。该蛋白大小约为72.75 kDa，Km、Vmax和Kcat值分别为20.92 μmol/L、0.17 μmol/（L·min）和1.4 min－1。野生型赤红球菌、组氨酸激酶基因增强株sdrhkE和组氨酸激酶基因敲减株sdrhkD在分别含有苯酚、甲苯、氯苯、异辛烷4 种有机溶剂的培养基中培养，菌株sdrhkD的生长情况都优于野生型赤红球菌，菌株sdrhkE的生长情况都低于野生型赤红球菌。本研究为进一步揭示赤红球菌SD3中组氨酸激酶涉及的信号转导途径与赤红球菌有机溶剂耐受性的关联机制提供一定参考依据。     

基于GIS平台的水库库容计算模型

基于GIS平台采用数字高程模型法进行库容计算目前已成为主流,如何实现批量化、流程化计算显得尤为重要。基于GIS平台分别创建了FOR迭代模型、行选择迭代模型、字段值迭代模型3种。经实例证实,3种模型都精确、高效、极大地提高了库容计算的自动化程度,其中字段值迭代模型的运算效率最高。模型使用简单、效率高、便于普及。