低功耗矢量水声信号采集处理系统设计与实现

为进一步降低矢量水听器信号采集处理系统对水下滑翔机平台的续航影响,设计了一种以 ARM和 DSP 为核心控制 器的低功耗信号采集处理系统。利用ARM 控制器实现系统的多种工作模式,以达到不同状态下的最佳功耗控制。此外,在 控制软件中加入必要的优先级设计和流水线设计,以提高系统硬件控制效率,最后利用功率测试仪对系统不同工作模式进行 测试。结果表明,低功耗模式下平均功耗约为1.27 W, 实时处理模式下平均功耗约为4.29 W。 在长时间连续工作情况下,可 大幅度降低实时处理模式的工作时间占比,功耗控制效果显著,有效证明了该方案的有效性和优越性。     

多智能方法及其融合系统在化工过程故障诊断中的应用

简要介绍了决策树、神经网络、K近邻等五种智能方法,提出了一种将这五种智能方法相融合的故障诊断系统,并将其应用在催化裂化装置上.通过对这五种智能方法及其融合系统的性能考察表明,融合策略发挥了各方法的优点,回避了它们的缺点,提升了系统的整体性能,其召回率为100%,精确度为98%.     

A CRISPR/Cas9-Based System with Controllable Auto-Excision Feature Serving Cisgenic Plant Breeding and Beyond

Transgenic or genetically modified crops have great potential in modern agriculture but still suffer from heavy regulations worldwide due to biosafety concerns. As a promising alternative route, cisgenic crops have received higher public acceptance and better reviews by governing authorities. To serve the purpose of cisgenic plant breeding, we have developed a CRISPR/Cas9-based vector system, which is capable of delivering target gene-of-interest (GOI) into recipient plants while removing undesired genetic traces in the plants. The new system features a controllable auto-excision feature, which is realized by a core design of embedded multi-clonal sequence and the use of inducible promoters controlling the expression of Cas9 nuclease. In the current proof-of-concept study in Arabidopsis thaliana (L.) Heynh., we have successfully incorporated a GOI into the plant and removed the selection marker and CRISPR/Cas9 components from the final product. Following the designed workflow, we have demonstrated that novel cisgenic plant germplasms with desired traits could be developed within one to two generations. Further characterizations of the vector system have shown that heat treatment at 37 °C could significantly improve the editing efficiency (up to 100%), and no off-target mutations were identified in the Arabidopsis background. This novel vector system is the first CRISPR/Cas9-based genome editing tool for cisgenic plant breeding and should prove powerful for other similar applications in the bright future of precision molecular breeding.     

Pseudo-Stokes Vector Correlation From Complex Signal Representation of a Speckle Pattern and Its Applications to Micro-Displacement Measurement

Abstract:  As an improvement of the intensity correlation used widely in conventional electronic speckle photography, we propose a new technique for displacement measurement based on correlating Stokes-like parameters derivatives for transformed speckle patterns. The method is based on a Riesz transform of the intensity speckle pattern, which converts the original real-valued signal into a complex signal. In closest analogy to the polarisation of a vector wave, the Stokes-like vector constructed from the spatial derivative of the generated complex signal has been applied for correlation. Experimental results are presented that demonstrate the validity and advantage of the proposed pseudo-Stokes vector correlation technique over conventional intensity correlation technique.     

解决无线传感器网络能量洞问题的贪婪算法

无线传感器网络中的能量洞问题是影响网络寿命的关键因素之一。在基于环模型的多跳传感器网络中,通过优化所有环的传输距离可以有效地延长网络寿命。提出了一种近似的贪婪算法（ASGT）,该算法将最优传输距离序列问题转化为最优生成树问题,在降低搜索（算法）复杂度的同时得到与最优解近似的结果。模拟实验证明了采用ASGT算法的网络寿命逼近于理想最优序列下的网络生命时间,并且与已有的文献算法相比,ASGT可以延长网络寿命两倍以上。     

EBPSK调制通信系统中非线性检测的研究

主要讨论扩展的二元相移键控（EBPSK）调制通信系统中的检测技术,以实现高频谱利用率的同时降低能耗。针对高效调制信号码元间差异性较小的特点,接收机利用特殊的冲击滤波器（SIF）将相位变化转化为寄生调幅,增加码元间的差异性,提高能量利用率。同时,引入了支持向量机（SVM）非线性检测方法,解决EBPSK系统中门限检测性能难以达到最优的问题,并给出了维数较少的统一特征向量选取方法。为了减少计算量,选择适用于EBPSK系统的SVM核函数并优化计算方法。仿真结果表明,SVM非线性检测在较少的特征向量维数和低采样率的条件下,可获得最多7 dB的信噪比增益。因而,在EBPSK调制通信系统中选择SVM方法不仅可以提升检测性能,而且抗干扰能力更强,对采样率的鲁棒性更好。     

嵌入式系统中多用户程序在线编程技术

针对嵌入式系统中只能实现单用户程序在线编程的问题,提出一种多甩户程序在线编程方法。以MC9S12DG128为例,基于片内Flash存储器的特性和存储映像,采用Flash存储空间划分、向量重定位、监控程序组织与设计等关键技术实现系统资源在多个用户程序之间的合理分配。在教学机器人开发平台中的应用结果表明,采用多用户程序在线编程技术的嵌入式系统,运行稳定、可维护性好、方便更新。     

运用有向图进行中文分词研究

首先说明了分词在中文信息处理中的作用,然后介绍了分词系统中的关键技术。提出了一种基于有向图的中文分词算法,该算法首先构造中文分词有向图,然后计算中文分词有向图中所有可能的切分路径,最后利用了最少分词原则、汉字之间的互信息和词语的频率等信息给中文分词有向图中的每条切分路径打分,分数最高的路径就对应正确的切分结果。开放测试结果表明分词精确率可达90%以上。     

并行程序验证的调度策略

针对形式化程序验证中的并行调度问题,提出了基于依赖集的算法。通过引入依赖图和依赖集概念,以形式化方式描述程序语句间的依赖关系,然后给出了从语法分析树构造依赖图和依赖集的算法;最后在此基础上设计了并行调度算法并应用于计算机辅助程序验证系统。实验结果表明,该方法具有较高的并行效率。     

关于并行语言Gamma的结构化扩充

Gamma(general abstract model for multiset manipulation)语言是一个可以避免人为序化的高层次并行程序设计工具.P.Frade t等人提出结构化Gamma以利于结构化应用数据以及表达特殊的控制约束和程序的自动分析. 在摒弃了基于“地址”的定义方式的基础上,给出结构化Gamma的更一般形式的语法、语义描 述,在两个层次上讨论结构重集(structured multiset)的类型,并指出,这种新模型保持了有 关程序的静态类型检测等理论成果.