一种通用高精度存储式冲击波测试系统设计

针对现有冲击波测试系统精度不足及爆炸测试后易损坏的问题,设计了一种通用式高精度存储式冲击波测试系统.首先,该系统以通用、模块化的总体设计思想,在此基础上把操作面板、传感器、采集电路、存储电路集成一体.测试系统以FPGA为主控芯片,采用ICP型压力传感器,将采集到的信号通过高精度A/D转换器进行数/模转换,并存储在NAN...     

基于T-S型模糊神经网络的轮式机器人避障方法研究

针对超声波传感器产生的不确定信息,研究了一种基于Takagi-Sugeno(T-S)模型的模糊神经网络信息融合避障方法;对超声波传感器所获得的数据进行融合,建立控制器输入信号和机器人速度输出之间的模式映射关系;在MATLAB环境下对模糊神经网络避障算法进行了仿真,最后在实际环境中进行避障实验;实验结果表明,该算法具有较好的准确性和鲁棒性,能够适用于移动机器人的导航需要.     

一种基于有色Petri网的安全协议分析方法研究

利用有色Petri网建模工具CPN tools中的查询函数对安全属性进行描述,搭建一个能够覆盖大部分安全性质的CPN查询函数库,提出一种基于CPN的通用和规范的安全协议形式化分析语言,该语言可以像用面向对象编程语言编程一样对安全协议进行建模。     

A hierarchical test methodology for systems on chip

We present a hierarchical test methodology for testing a SOC with heterogeneous cores, including the 1149.1-wrapped, P1500-wrapped, and BIST memory cores. We propose an 1149.1-based hierarchical test manager that also provides P1500 test control signals. This scheme includes a memory BIST interface, providing both serial and parallel access ports for BIST circuits. Our approach offers low area and pin overhead, and high flexibility     

3D-HEVC深度图像快速帧内编码方法

目的 新一代3D视频采用了多视点加深度图像的格式,其编码测试模型3D-HEVC(3D高效视频编码)为深度图像引入了一些新的编码技术,包括深度模型模式、分段直流(DC)残差编码模式和帧内跳过模式等,但是同时也显著地增加了帧内编码器的复杂度,严重制约了3D视频的实时应用,因此本文提出了一种深度图像帧内模式选择方法。方法 首先,分析在分层编码结构中,父层帧内模式和子层帧内模式的关系,并依据父层的帧内模式对子层的候选模式进行修剪;其次,通过分析粗略候选帧内模式,把当前块分为平滑块、方向块和边界块,并根据不同块进行候选帧内模式的选择。结果 与高效3D视频编码标准的测试模型相比,本文的深度图像帧内模式选择方法可以节省约44%的编码时间。本文方法有效地减少了计算率失真代价的候选帧内模式数目,从而降低了帧内编码器的复杂度。结论 该方法能在保证虚拟视点质量的前提下,有效地降低深度图像帧内编码的复杂度。     

Vibration sensitivity analysis of the ‘Butterfly-gyro’ structure

The ‘Butterfly-gyro’ is simple to manufacture with single sided electrostatic excitation and capacitive detection, and it is considered as one kind of the microgyroscope with high sensitivity due to its unique structure. This paper provides the sensitivity analytical model by solving the dynamic equations of motion and the design guidelines for microgyroscope with high sensitivity. Using Coriolis Effect and Newton’s second law, the dynamic equations are built. The sensitivity analytical model, including the denotations of Q factors and the resonant frequencies, is built. The approximate analytical expressions of Q factors and the resonant frequencies are derived by rational assumptions. Based on the sensitivity analytical model, the parametric analysis is carried out, and the design guidelines of high sensitivity are also deduced. Finally, Q factor, frequency split and other factors influencing the sensitivity are discussed in details to enhance its sensitivity. Results presented are valuable in the design and parameters optimization of the microgyroscope with high sensitivity.     

GmIAA27 Encodes an AUX/IAA Protein Involved in Dwarfing and Multi-Branching in Soybean

Soybean plant height and branching affect plant architecture and yield potential in soybean. In this study, the mutant dmbn was obtained by treating the cultivar Zhongpin 661 with ethylmethane sulfonate. The dmbn mutant plants were shorter and more branched than the wild type. The genetic analysis showed that the mutant trait was controlled by a semi-dominant gene. The candidate gene was fine-mapped to a 91 kb interval on Chromosome 9 by combining BSA-seq and linkage analysis. Sequence analysis revealed that Glyma.09g193000 encoding an Aux/IAA protein (GmIAA27) was mutated from C to T in the second exon of the coding region, resulting to amino acid substitution of proline to leucine. Overexpression of the mutant type of this gene in Arabidopsis thaliana inhibited apical dominance and promoted lateral branch development. Expression analysis of GmIAA27 and auxin response genes revealed that some GH3 genes were induced. GmIAA27 relies on auxin to interact with TIR1, whereas Gmiaa27 cannot interact with TIR1 owing to the mutation in the degron motif. Identification of this unique gene that controls soybean plant height and branch development provides a basis for investigating the mechanisms regulating soybean plant architecture development.     

ω—正则语言类的一个子类*

ω—语言是由有穷字母表∑上的一些无穷串组成的集合．被ω一有穷自动机接受的ω一语言称为ω一正则语言．作者曾从集合的角度描述了一类ω一正则语言，而不是传统地从生成或识别的角度来描述这一类正则语言．本文从集合的角度来描述更为广泛的一类ω一正则语言．     

基于网格的数据流聚类算法

本文提出的基于网格的数据流聚类算法,克服了算法CluStream对非球形的聚类效果不好等缺陷,不仅能在噪声干扰下发现任意形状的类,而且有效地解决了聚类算法参数敏感和聚类结果无法区分密度差异等问题。     

民机航电系统综合核心处理机平台软件技术研究

针对大型民用客机综合模块化航电核心处理机驻留功能应用数量多、安全级别不同、需独立认证等特点,提出了一种基于ARINC653规范的平台软件架构,设计并实现了平台软件,包括平台基础软件和10项平台驻留应用,研究了相关关键技术,为国产大型民用客机综合模块化航电系统的研制提供了技术支撑.