黑龙江省高速公路ETC数据交换系统的设计与实现

根据黑龙江省ETC系统提出的功能需求,完成了数据交换系统的总体设计、各功能模块的详细设计,实现了ETC车道交易数据在车道本地数据库和车道业务逻辑控制子系统之间,以及车道客户端数据库和收费站服务器端数据库之间的数据交换。测试结果表明系统是高效可靠的。     

基于合一的链接文法

以词汇主义形式语法为基础,建立了链接文法与合一理论相结合的句法分析新方法.在封闭测试中,基于合一的链接文法句法分析精确率和召回率相比传统链接文法分别提高了9.6%和14.1%.实验表明方法具有一定独创性和高效性.     

异构组件互操作研究

目前工业级的分布式组件模型有:DCOM,CORBA以及EJB.不同组件模型间缺乏统一的互操作标准,形成了企业内部应用集成和跨企业应用互操作的瓶颈,总结了目前实现异构组件互操作的主要方法并分析了其不足.Web Services的出现为实现异构组件互操作提供了新的契机,提出了基于Web Services的异构组件互操作方案,并以CORBA为例,说明了分布式组件与Web Services的集成.     

方形QAM信号的识别算法

提出了一种识别方形QAM信号(4QAM、16QAM、64QAM和256QAM)的新方法,该方法将特征参数和信号降阶算法有效的结合.所选用的特征参数提取简单且易于实现,不受加性高斯噪声的影响;给出了该算法的理论推导,计算机仿真也表明该参数对滚降系数不敏感;选用的降阶方法不受载波相位的影响,较为实用.实验结果表明,该识别方法能够有效的识别方形QAM信号,4QAM、16QAM、64QAM和256QAM的识别率达到80%以上所需的信噪比分别为9dB、15dB、24dB和24dB.     

基于UML模型的场景测试技术

UML代表着软件建模的发展趋势,对基于UML模型的测试技术研究具有现实意义。本文采用基于UML模型的场景测试技术生成测试用例。     

手机MMI自动化测试系统的关键技术研究

在分析了实现手机人机界面(MMI)软件自动化测试的原理和技术难点的基础上,通过游程长度编码算法对屏幕数据进行压缩和一些数据比较技巧来解决屏幕数据传输与比较问题;通过一系列容错处理来保证ATS系统在无人参与的情况下自动运行;通过对系统软硬件进行抽象和加入TCL脚本解释器来增强系统的可扩展性和可重用性;最后应用这些技术方案实现了一个实际可用的ATS系统;应用结果表明,该系统能大幅提高手机MMI的测试效率。     

Ambient‐light sensor system with wide dynamic range enhanced by adaptive sensitivity control

Abstract— A new digital ambient‐light sensor system is presented which employs two linear light sensors with different sensitivities and automatically adjusts the sensitivity based on the illumination condition. The adaptation mechanism allows a very wide range of light intensity to be detected, and the input dynamic range of the system is substantially improved from 22.5 to 45.1 dB. The proposed method does not require any additional precision bits for output data. Due to the small number of the output bits and the simple conversion process, the system can be easily integrated on the display panel.     

Inorganic Filler Enhanced Formation of Stable Inorganic-Rich Solid Electrolyte Interphase for High Performance Lithium Metal Batteries

Lithium metal (LM) is a promising anode material for next generation lithium ion based electrochemical energy storage devices. Critical issues of unstable solid electrolyte interphases (SEIs) and dendrite growth however still impede its practical applications. Herein, a composite gel polymer electrolyte (GPE), formed through in situ polymerization of pentaerythritol tetraacrylate with fumed silica fillers, is developed to achieve high performance lithium metal batteries (LMBs). As evidenced theoretically and experimentally, the presence of SiO₂ not only accelerates Li⁺ transport but also regulates Li⁺ solvation sheath structures, thus facilitating fast kinetics and formation of stable LiF-rich interphase and achieving uniform Li depositions to suppress Li dendrite growth. The composite GPE-based Li||Cu half-cells and Li||Li symmetrical cells display high Coulombic efficiency (CE) of 90.3% after 450 cycles and maintain stability over 960 h at 3 mA cm⁻² and 3 mAh cm⁻², respectively. In addition, Li||LiFePO₄ full-cells with a LM anode of limited Li supply of 4 mAh cm⁻² achieve capacity retention of 68.5% after 700 cycles at 0.5 C (1 C = 170 mA g⁻¹). Especially, when further applied in anode-free LMBs, the carbon cloth||LiFePO₄ full-cell exhibits excellent cycling stability with an average CE of 99.94% and capacity retention of 90.3% at the 160th cycle at 0.5 C.     

基于双重信息检索的Bash代码注释生成方法

Bash是Linux默认的shell命令语言.它在Linux系统的开发和维护中起到重要作用.对不熟悉Bash语言的开发人员来说,理解Bash代码的目的和功能具有一定的挑战性.针对Bash代码注释自动生成问题提出了一种基于双重信息检索的方法 ExplainBash.该方法基于语义相似度和词法相似度进行双重检索,从而生成高质量代码注释.其中,语义相似度基于CodeBERT和BERT-whitening操作训练出代码语义表示,并基于欧式距离来实现;词法相似度基于代码词元构成的集合,并基于编辑距离来实现.以NL2Bash研究中共享的语料库为基础,进一步合并NLC2CMD竞赛共享的数据以构造高质量语料库.随后,选择了来自代码注释自动生成领域的9种基准方法,这些基准方法覆盖了基于信息检索的方法和基于深度学习的方法.实证研究和人本研究的结果验证了ExplainBash方法的有效性.然后设计了消融实验,对ExplainBash方法内设定(例如检索策略、BERT-whitening操作等)的合理性进行了分析.最后,基于所提方法开发出一个浏览器插件,以方便用户对Bash代码的理解.     

Relational attention-based Markov logic network for visual navigation

The Journal of Supercomputing - We argue the agent’s low generalization problem for searching target object in challenging visual navigation could be solved by "how" and...