Predicting protein secondary structure using a mixed-modal SVM method in a compound pyramid model

Accurate protein secondary structure prediction plays an important role in direct tertiary structure modeling, and can also significantly improve sequence analysis and sequence-structure threading for structure and function determination. Hence improving the accuracy of secondary structure prediction is essential for future developments throughout the field of protein research.In this article, we propose a mixed-modal support vector machine (SVM) method for predicting protein secondary structure. Using the evolutionary information contained in the physicochemical properties of each amino acid and a position-specific scoring matrix generated by a PSI-BLAST multiple sequence alignment as input for a mixed-modal SVM, secondary structure can be predicted at significantly increased accuracy. Using a Knowledge Discovery Theory based on the Inner Cognitive Mechanism (KDTICM) method, we have proposed a compound pyramid model, which is composed of three layers of intelligent interface that integrate a mixed-modal SVM (MMS) module, a modified Knowledge Discovery in Databases (KDD1) process, a mixed-modal back propagation neural network (MMBP) module and so on.Testing against data sets of non-redundant protein sequences returned values for the Q₃ accuracy measure that ranged from 84.0% to 85.6%,while values for the SOV99 segment overlap measure ranged from 79.8% to 80.6%. When compared using a blind test dataset from the CASP8 meeting against currently available secondary structure prediction methods, our new approach shows superior accuracy.Availability: http://www.kdd.ustb.edu.cn/protein_Web/.     

表达式求值在通用数据模拟器设计中的应用

针对某空间飞行器子系统的地面测试中所使用的数据模拟器的数据量可变性、数据类的可变性和公式系数的可变性,以及传统的编程解决方案设计、维护量大的问题,通过对算符优先算法的改进,递归下降语法分析器的扩展及其两者结合,给出了一个集成语法分析与表达式求值的新的表达式求值算法。以此为基础设计了一个多赋值表达式解释器,将此解释器嵌入到数据模拟器设计中,同时结合数据库技术,实现了通用的数据模拟器软件的设计,并成功应用到飞行器子系统的地面测试中。     

Customized kernel execution on reconfigurable hardware for embedded applications

To conserve space and power as well as to harness high performance in embedded systems, high utilization of the hardware is required. This can be facilitated through dynamic adaptation of the silicon resources in reconfigurable systems in order to realize various customized kernels as execution proceeds. Fortunately, the encountered reconfiguration overheads can be estimated. Therefore, if the scheduling of time-consuming kernels considers also the reconfiguration overheads, an overall performance gain can be obtained. We present our policy, experiments, and performance results of customizing and reconfiguring Field-Programmable Gate Arrays (FPGAs) for embedded kernels. Experiments involving EEMBC (EDN Embedded Microprocessor Benchmarking Consortium) and MiBench embedded benchmark kernels show high performance using our main policy, when considering reconfiguration overheads. Our policy reduces the required reconfigurations by more than 50% as compared to brute-force solutions, and performs within 25% of the ideal execution time while conserving 60% of the FPGA resources. Alternative strategies to reduce the reconfiguration overhead are also presented and evaluated.     

一种新的协议安全性分析方法

对安全协议的本质求同和存异进行讨论,在保证协议正确性的前提下,以“挑战一响应”为协议分析的基本单位,提出一种利用集合运算分析协议安全性的方法,对Needham-Schroeder协议和Needham-Schroeder-Lowe协议的分析和验证结果表明,该方法具有较好的可行性和有效性。     

一种改进的可追踪门限签名方案

早先的一种具有追踪性的门限签名方案,已被证明不具有可追踪性。针对该方案存在的缺陷,对其进行改进。理论分析证明,改进的方案在发生纠纷时可打开群签名追踪实际签名者,签名者能证明自己是否参与签名,并有效抵御群体内部的伪造攻击和冒充攻击。     

基于MathML和SVG的数学交流平台构建

针对现有数学交流平台中公式和图形在编辑和显示方面存在的问题,提出一种基于MathML和可伸缩矢量图形（SVG）的数学交流环境的实现方案,构造了一个即时沟通和数学问题讨论的平台MathBoard。MathBoard支持数学公式和图形的在线可视化动态编辑和显示,为用户提供一个高效的、高可靠的数学交流环境。     

基于改进的背景模型的图像识别算法研究

当图像亮度不均匀、对比度低时,提取图像前景较困难。为此,提出一种图像分割方法,结合正弦基函数和绝对值距离测度构建背景模型,依据优化理论和迭代法求解背景模型,通过比较背景模型中各像素点亮度与实际图像中各像素点亮度来判别各像素点是背景还是前景。为应对图像亮度不均匀的情况,在图像分割前对图像进行分块,在分块图像中依据背景模型或相邻分块背景相似度进行图像分割。实验结果表明,在普适性方面,相对于经典的模糊C均值法和OTSU法,该方法的分割误差小,尤其是对亮度不均匀和对比度低的图像;在掌纹图像分割应用方面,与迭代线跟踪法和模糊粗糙集法相比,该方法的错误率低、信噪比高、处理时间短。最后将提出的分割算法应用在人脸识别上,实验结果表明了该算法的先进性。     

空间植物培养装置控制系统设计

研制一套空间植物培养装置控制系统,能根据植物在不同的生长阶段,通过上位机软件设置,自动实现对空间培养装置内的参数进行调节。使用半导体加热片控制植物培养装置箱体内温度、相对湿度,同时闭环控制CO2、乙烯,供给栽培基质合适的水量,提供合适的光照强度和光照时间,还可采集图像信息。系统运行测试表明,控制系统性能良好,控制精度能满足植物生长要求,温度、湿度、乙烯、CO2等参数波动均在植物生长需求范围之内。     

自动气象站Z文件传输质量分析及异常处理

国家级自动气象站正点观测资料是自动气象站采集数据文件的重要部分,出现因设备、软硬件故障、网络、通信或误操作等原因,造成数据资料不能及时传输等。通过分析宁夏地区2012年4月-2013年6月,国家级自动气象站资料传输质量,查找分析逾限报、缺报的原因,给出了自动站观测资料出现异常的处理方法,以确保自动站观测资料的传输及时率和准确性,来满足现代气象业务的需求,为提高自动气象站资料传输质量提供参考。