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

传统的路侧被动限速方式对于特定的惩处区域以外缺少管控,间接导致车辆行为在时空上的不一致性甚至突变,影响了交通的通行效率与安全性。从车侧主动限速方式入手,提出主动限速效用评价与推荐方法,结合道路线形、交通流量、车型比例,开展多情景主动、被动限速交通仿真,利用安全间接分析模型及交通流运行状态,从安全与效率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信号的检测性能。     

试谈环境科学术语统一性

贵刊2005年第7卷第2期开展了关于"生态环境建设"提法的讨论,这对环境科学基础理论研究和科技名词规范及统一,是有促进作用的.现仅就一些较有影响的辞书所反映的环境科学术语概念不统一的问题,试举几例,供研讨.     

RFBR Delegation Visited China

Invited by NSFC, a delegation from the Russian Foundation for Basic Research (RFBR) headed by its Vice President Prof. Konov Vitaly visited China from August 25 to September 3. During their stay in Beijing, the delegation visited NSFC on August 31. Prof. Zhu Zuoyan, Vice President of NSFC, met with the delegation. The two sides briefed each other about new developments in their own orga- nizations, reviewed past bilateral cooperation and exchanged views about future collaboration…     

文物术语“水银沁”“黑漆古”的分析

文物术语通常是在使用中约定俗成的。由于科学知识的局限和同一术语在不同文物之间借用,使术语与概念的对应出现偏离。文章对这种现象进行了举例剖析,并建议从术语的顾名思义性和科学性考量,明确术语和概念的一一对应关系,限定术语使用范围。     

遵循科学发展规律 推动原始科技创新——中国科学技术大学量子信息科学创新案例分析

近年来,中国科学技术大学在如何遵循科学发展规律、推动原始科技创新方面取得了一些有益的经验。本文以量子信息科学创新为例,较为系统地阐述了中国科学技术大学在战略部署、人才团队建设、项目组织等方面所做的一些思考与探索。     

建立以光盘为存储载体的CAD/CAM系统共用数据库研究

在一个单位内建立CAD/CAM系统的子系统——共用数据库,将全部经鉴定有利用价值的科技档案和在研型号当前研制阶段的现行文件装入此库,使之直接为广大工程技术人员在CAD/CAM系统中所利用,即实现利用科技档案计算机化,这是在CAD/CAM条件下科技档案工作的根本任务。本文介绍了共用数据库的建库级别、内容和规模、因存储载体的不同而形成的三种模式、将共用数据库建立在光盘上的根据等。