基于仿真驱动的高速公路主动限速效用评价与推荐

传统的路侧被动限速方式对于特定的惩处区域以外缺少管控,间接导致车辆行为在时空上的不一致性甚至突变,影响了交通的通行效率与安全性。从车侧主动限速方式入手,提出主动限速效用评价与推荐方法,结合道路线形、交通流量、车型比例,开展多情景主动、被动限速交通仿真,利用安全间接分析模型及交通流运行状态,从安全与效率2个层面提取效用评价指标及其权重,采用集成学习方法进行预测分析。结果显示：主动限速方式相较于被动限速方式更有利于提高安全性和调节效率,而在主动限速方面,GBDT(gradient boosting decision tree)回归模型的预测稳定性和准确率更高(R²=0.984)。     

基于图像特征的双目测距系统的研究

针对双目视觉测距中测量误差大、图像信息单一、实时性差等问题,提出一种基于ORB(oriented fast and rotated brief)特征的双目测距方法。对视频帧进行中值滤波处理,提取图像ORB特征,通过实验选出匹配效果最好的汉明距离。对筛选后的匹配点进行RANSAC(random sample consensus)模型估计,去除误匹配,分析视差和真实距离的模型关系,构建最优的测距模型并在实验平台上进行验证。结果表明:所提方法比其他双目测距方法具有测距精确、运行速度快、鲁棒性强的优势,能够实时显示图中特征的距离信息。     

引入微元法思想的混合测控资源联合调度方法

针对混合测控资源联合调度中存在的资源属性繁多、偏好差异大以及可能出现的调度弧段冲突等问题,借鉴单体制测控网调度研究中的任务需求描述方法,对混合测控任务需求的特点进行分析,给出其任务需求的规范化描述。以测控调度收益值最大为目标,建立混合资源联合调度模型;引入微元法思想,提出了可用弧段扩展复用方法,以此为基础提出了基于改进遗传算法的求解策略。仿真结果表明：所建模型和相应的解冲突算法能有效提高测控需求满足率和测控收益。     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

基于双稳阱内随机共振的OFDM信号检测方法研究

为了解决OFDM(orthogonal frequency division multiplexing)传输系统中接收端对微弱OFDM信号的检测问题,本文将双稳阱内随机共振系统与OFDM信号增强和解调过程相结合,推导了多载波信号激励下双稳阱内随机共振系统从零状态变化到势阱状态所需时间的解析表达式,分析了暂态响应导致的多载波信号在一个符号内的能量损失问题;推导了系统稳态输出方程,分析了稳态过程对子载波已调信号叠加直流偏置分量的问题;探讨了在不同系统参数和噪声强度下阱内随机共振对OFDM信号解调性能的影响。仿真结果表明：该方法可有效实现信号与噪声阱内协同作用,提高OFDM信号的检测性能。     

Defining G protein-coupled receptor peptide ligand expressomes and signalomes in human and mouse islets

Introduction

Islets synthesise and secrete numerous peptides, some of which are known to be important regulators of islet function and glucose homeostasis. In this study, we quantified mRNAs encoding all peptide ligands of islet G protein-coupled receptors (GPCRs) in isolated human and mouse islets and carried out in vitro islet hormone secretion studies to provide functional confirmation for the species-specific role of peptide YY (PYY) in mouse islets.

Materials and methods

GPCR peptide ligand mRNAs in human and mouse islets were quantified by quantitative real-time PCR relative to the reference genes ACTB, GAPDH, PPIA, TBP and TFRC. The pathways connecting GPCR peptide ligands with their receptors were identified by manual searches in the PubMed, IUPHAR and Ingenuity databases. Distribution of PYY protein in mouse and human islets was determined by immunohistochemistry. Insulin, glucagon and somatostatin secretion from islets was measured by radioimmunoassay.

Results

We have quantified GPCR peptide ligand mRNA expression in human and mouse islets and created specific signalomes mapping the pathways by which islet peptide ligands regulate human and mouse GPCR signalling. We also identified species-specific islet expression of several GPCR ligands. In particular, PYY mRNA levels were ~ 40,000-fold higher in mouse than human islets, suggesting a more important role of locally secreted Pyy in mouse islets. This was confirmed by IHC and functional experiments measuring insulin, glucagon and somatostatin secretion.

Discussion

The detailed human and mouse islet GPCR peptide ligand atlases will allow accurate translation of mouse islet functional studies for the identification of GPCR/peptide signalling pathways relevant for human physiology, which may lead to novel treatment modalities of diabetes and metabolic disease.

     

Control of a key transition from prostrate to erect growth in rice domestication

The transition from the prostrate growth of ancestral wild rice (O. rufipogon Griff.) to the erect growth of Oryza sativa cultivars was one of the most critical events in rice domestication. This evolutionary step importantly improved plant architecture and increased grain yield. Here we find that prostrate growth of wild rice from Yuanjiang County in China is controlled by a semi-dominant gene, PROG1 (PROSTRATE GROWTH 1), on chromosome 7 that encodes a single Cys(2)-His(2) zinc-finger protein. prog1 variants identified in O. sativa disrupt the prog1 function and inactivate prog1 expression, leading to erect growth, greater grain number and higher grain yield in cultivated rice. Sequence comparison shows that 182 varieties of cultivated rice, including 87 indica and 95 japonica cultivars from 17 countries, carry identical mutations in the prog1 coding region that may have become fixed during rice domestication.     

求解变分不等式与不动点问题的惯性次梯度外梯度算法

提出了一种求解变分不等式与不动点问题的惯性次梯度外梯度算法,证明了其弱收敛性定理,通过数值实验验证所得的理论结果.