SPL家族基因复制及功能分化分析

【目的】基因复制及随后的功能分化是基因组和物种演化的重要驱动力。植物特有的转录因子家族SPL(SQUAMOSA-promoter binding protein like)广泛参与调控植物生长发育及响应逆境胁迫,为研究重复基因的起源方式和进化命运提供了良好的研究系统。本研究对葡萄(Vitis vinifera)、番木瓜(Carica papaya)、毛果杨(Populus trichocarpa)和拟南芥(Arabidopsis thaliana)4种模式植物的SPL基因家族开展基因复制及功能分化分析,为进一步研究SPL基因功能、预测种属特异性的功能基因提供系统进化角度的参考。【方法】利用SBP特征结构域,鉴定葡萄、番木瓜、毛果杨和拟南芥4种模式植物中SPL基因家族成员,并利用最大似然法构建系统进化树。基于物种内、物种间基因组共线性,分析SPL基因家族发生基因复制的方式及差异保留情况,并计算保留的SPL直系和旁系同源基因的同义、非同义替换率,分析功能分化情况。【结果】在4种模式植物中共鉴定出SPL基因73个,其中42个是miR156的靶基因。系统进化分析显示:73个SPL基因聚类为9个主要分支,miR156靶向SPL基因成簇聚集在6个主要分支;Clade I中SPL基因编码的2个锌指结构基序为C4和C₂HC,而其余8个分支中SPL基因的锌指结构基序由C3H和C₂HC组成。大规模基因组复制事件(片段复制或全基因组复制)是SPL基因家族发生基因重复的主要方式。根据基因组复制事件推算,15个古基因位点理论上应复制出的360个位点中,83.6%的重复位点发生丢失或演化成非SPL基因。本研究鉴定出旁系同源基因17对,直系同源基因27对,且所有旁系和直系同源基因的K_a/K_s(非同义替换率和同义替换率之比)值均小于1。【结论】在不同物种中保留下来的SPL直系同源基因受到较强的纯化选择,在功能上具有保守性;同一物种中保留下来的SPL旁系同源基因在进化过程中维持部分功能冗余,但在组织表达偏好性和蛋白功能上已呈现出不同形式的分化。     

基于移动智能终端的油田巡检系统

提出了一种基于GPS技术、移动收集技术、WIFI通信技术、RFID标签和嵌入式技术的油田管道线路巡检管理系统.该系统在巡检现场搭建WIFI网络,将巡检人员通过智能终端收集到的数据上传到远端服务器,服务器对收集数据进行综合分析处理,判断巡检人员是否按着设定的巡检路线完成检查工作,同时生成相应的巡检报告供管理员查询.该系统解决了传统巡检方式人为因素多、反映信息不及时、管理效率低、无法可视化等问题,同时保证了巡检人员的到位率和工作质量.     

基于双优先级队列的异构分布式控制系统容错调度算法

在对分布式控制系统进行分析的基础上,给出了任务模型和处理器模型.为了调度多种实时性的任务,提出了双优先级队列调度算法,用于调度每个处理器上的任务.该算法设置2个优先级队列,其中高优先级队列用于调度实时任务,低优先级队列用于调度非实时任务,高优先级队列中的任务可抢占低优先级队列中的任务.在此基础上,采用版本复制技术使系统具有容错能力,并分析了任务的容错可调度条件.基于此,采用首次适应的启发式任务分配策略,将任务分配到各个处理器上,在确保任务容错可调度的条件下使处理器负载均衡.仿真结果表明所提出的算法是有效的.     

一种基于时间自动机网络的实时系统形式化验证方法

介绍了时间自动机形式模型,在此基础上给出了时间自动机网络的形式语法和语义,然后给出一种基于时间自动机网络的实时系统形式化验证方法,并采用基于时间自动机网络的模型检测工具UPPAAL对一个经典的实时系统实例进行了验证．     

地质雷达在隧道初期支护质量检测中的应用

在建隧道中,初期支护为主要受力结构,从而使得喷射混凝土层厚度检测显得十分必要.通过对地质雷达检测原理的论述,以及在都匀至新寨段公路改建工程塘打隧道初期支护检测中的应用,对雷达波速的标定、雷达波形分析作了全面阐述.     

模型检验技术在软件漏洞自动挖掘中的应用

将在工业设计领域应用很成功的模型检验技术引入到信息技术软件产品的安全漏洞挖掘中,提出了针对源码的漏洞挖掘系统原型,以开放源代码的操作系统Linux为例,建立了特权释放和文件创建的安全属性模型,并举例加以验证.研究结果表明:该方法是一种自动化挖掘软件安全漏洞并证明漏洞存在性的形式化方法,对挖掘已经确认机理类型的漏洞非常有效.     

哥德巴赫猜想证明及验证

在《前沿科学》2011第三期《揭开素数神秘的面纱》一文中得到PA数列（Prime Arrav）及其性质后。再将该PA数列分列直角坐标第1象限X、Y轴上顺序方型相加,得X轴各素数住与该PA数列结构相似的“PA和数列”,用“边带型相加移位还原”按数学归纳法先证明,边带型相加移位还原的两奇素数和连续的范围比组合最大奇素数所在的方形范围越来越更大,两奇素数和进入奇数积连续段的每个偶数的能力越来越更强,全部进入各范围内奇数积连续段的Oj1速度越来更快;再用满足莫比乌斯带（Moebius strip）转换等反证验算,完成整数→∞,在任X×X方型范围内（X≥3奇数）哥德巴赫猜想成立。     

基于SIMULINK仪表着陆系统链路级仿真

仪表着陆系统的全数字仿真是飞行检验仿真系统的基础.在分析仪表着陆系统原理的基础上,利用MATLAB/SIMULINK建立仪表着陆系统发射机、天馈系统和机载接收机、仪表显示的仿真模型.并利用MATLAB/GUIDE图形用户界面开发环境开发了仪表着陆系统仿真的GUI界面.为复杂电磁环境下仪表着陆系统的效能评估和飞行检验仿真系统的建立提供有价值的参考.     

往复泵曲轴设计应用程序开发及应用

随着往复泵朝着大型化、超高压方向发展,为消除往复泵曲轴设计与强度校核中工作量大、过程繁琐、易出错等弊端,利用ObjectARX,APDL等二次开发工具以及基础类库MFC、ADO数据库接口、曲线离散技术、图表数字化技术等在VC++6.0上开发出一个运行在AutoCAD平台上的动态链接库应用程序,实现了曲轴设计、强度校核、ANSYS的启动调用、曲轴有限元分析的自动化与参数化绘图.对国内外4台往复泵机组曲轴的实例校核表明,程序在解决往复泵机组扩容计算、缺陷曲轴的改造、中外机组曲轴对比分析、提高往复泵曲轴设计效率等方面具有很好的应用.     

企业推行会计电算化应注意的问题

由于会计电算化是一新生事物,大多数企业在推行过程中深感盲目,不知所措,针对此现象,本文提出在推行过程中应注意的几个问题,并加以分析,阐述,对企业推行会计电算化有一定的理论指导作用。