一种面向CPS的控制应用程序协同验证方法

信息-物理融合系统是一种新型嵌入式系统计算模式,它集成了控制计算过程和受控对象,二者相互影响并有机结合.随着信息技术在现实世界中更加广泛、深入的应用,智能化程度不断提升,在具有信息物理紧密耦合特点的嵌入式系统中,嵌入式控制软件的功能比重急剧上升,作用更加突出.作为安全攸关的系统,需要引入形式化验证方法来保证嵌入式控制应用软件的安全性.本文基于自动机理论建立统一的系统验证模型,并针对系统的可达性、安全性（safety）和活性（liveness）等属性要求,提出了对该模型进行形式化验证的算法：基于有界模型检验方法,基于可达性将对系统模型的相关属性验证问题转换为可满足性判定问题.将活性转换为Büchi自动机,并基于四值语义进行判断.在求解过程中,通过偏序规约等手段化简了问题求解的规模,提高可验证系统的规模.另外结合协同仿真技术,灵活配置验证的场景,提高验证的可用性.实验结果表明,结合仿真,形式化协同验证方法可以有效地对系统进行验证.     

钻机用重载齿轮减速器润滑系统解决方案

变频交流钻机的齿轮减速器主要采用链传动的润滑方案，在油田使用时齿轮减速器的润滑问题较为突出。针对这一问题，提出了润滑问题的两种解决方案，可供油田用户和设计者选择。     

基于知识图谱的行为路径协同过滤推荐算法

针对个性化推荐,常用的推荐算法有内容推荐、物品协同过滤(Item CF)和用户协同过滤(User CF),但是这些算法以及它们的改进算法大多偏向于关注用户的显性反馈(标签、评分等)或评分数据,缺少对多维度用户行为和行为顺序的利用,导致推荐准确率不够高及冷启动等问题.为了提高推荐精度,文中提出了一种基于知识图谱的行为路径协同过滤推荐算法(BR-CF).首先根据用户行为数据,考虑行为顺序创建行为图谱(behavior graph)和行为路径(behavior route),然后采用向量化技术(Keras Tokenizer)将文本类型的路径向量化,最后计算多维度行为路径向量之间的相似度,对各维度分别进行路径协同过滤推荐.在此基础上,文中提出了两种BR-CF与Item CF相结合的改进算法.实验结果表明,在阿里天池数据集UserBehavior上,BR-CF算法能够有效地在多个维度中进行推荐,实现数据的充分利用和推荐的多样性,并且此改进算法很好地提升了 Item CF的推荐性能.     

基于ILM的政务电子邮件管理模型及策略研究

政务电子邮件日渐成为政府信息资源的重要组成部分,对其进行有效管理的重要性也日益突出。阐述了信息生命周期管理（ILM）的概念及其六个阶段,在分析政务电子邮件特点的基础上,构建基于ILM的政务电子邮件管理系统模型,提出政务电子邮件信息生命周期各阶段的管理策略。基于信息生命周期管理的政务电子邮件管理系统模型及策略为政务邮件管理提供了理论基础和实施规范。     

PGPR菌剂配合化肥减施对植烟土壤nosZ型细菌群落的影响

研究化肥减施情况下PGPR（plant growth promoting rhizobacteria）菌剂对植烟土壤反硝化作用的微生物调控机制，为植烟土壤科学施肥、培肥地力提供理论依据。本试验在四川攀枝花米易县的传统烤烟种植区通过化学分析和末端限制性长度多态性分析手段（T-RFLP）分别对PGPR菌剂配合化肥减肥处理下的植烟土壤理化性质及土壤nosZ型细菌群落组成和多样性进行研究。结果表明，与常规施肥相比，PGPR菌剂配合化肥减施的处理土壤pH和碱解氮含量显著提高，有机质、全氮含量提高但未达显著水平，部分处理速效磷、速效钾含量显著提高。PGPR菌剂配合化肥减施改变了nosZ型细菌的物种组成，Rhodobacter（红杆菌属）和Bacterium（杆菌属）为5个施肥处理共有的优势菌属，而Bradyrhizobium（慢生根瘤菌属）和Azospirillum（固氮螺菌属）仅为施用PGPR菌剂处理的优势菌。全量化肥配施PGPR菌剂处理下的Shannon多样性指数和均匀度显著低于其他处理，其他各处理细菌群落多样性之间无显著差异。冗余分析表明，土壤pH、有机质和速效钾是影响植烟土壤nosZ型细菌群落结构变化的主要因子。综上所述，PGPR菌剂配合化肥减施影响了土壤理化性质进而导致土壤nosZ型细菌群落结构组成发生改变。     

激光冲击范围对小孔构件疲劳性能的影响

激光冲击强化能够有效地提高孔结构零件的疲劳寿命。试验中采用较大的冲击区域范围对试样进行激光冲击强化后,发现试样的疲劳寿命降低甚至出现负增益。为此采用有限元分析和试验的方法,研究单面激光冲击范围对铝合金小孔件残余应力场以及疲劳寿命的影响。研究结果表明:激光冲击范围的增大,导致试样沿孔壁方向的应力分布变差,并且残余压应力影响层的深度降低;同时对疲劳拉伸后试样的断口观察发现,随着冲击范围的增大,疲劳裂纹源的位置也随之发生内移。因此对于小孔构件的激光冲击强化,应严格控制激光冲击范围以提高小孔构件的抗疲劳性能。     

平朔安家岭选煤厂的工艺流程优化

介绍安家岭选煤厂工艺流程,分析煤泥的煤质特征和粒度组成,煤泥的走向,通过三大技术改造提高精煤的产率,最大程度的提高经济效益。     

单片机系统中多任务调度设计

随着嵌入式系统复杂度的提高,传统的单任务控制机制不能满足系统的设计要求。本文在借鉴了操作系统对实时多任务管理的思想后,采用等待时间和任务优先级结合的任务调度方法,在NEC RL78平台上进行设计,并给出它在汽车仪表系统中的应用。     

柔性蠕动管道机器人的牵引力及软轴结构稳定性分析

为解决柔性蠕动管道机器人的运动控制问题,提高机器人管内行走效率,对一种具有导向头和刹车轮结构的柔性蠕动管道机器人进行了深入分析和研究.通过对机器人进行管内受力分析,建立起机器人的牵引力模型;为提高机器人在不同管道环境中的运动性能,对软轴结构的运动稳定性进行了分析,提出了机器人蠕动运动失稳的概念,并采用长柱体的稳定性理论进行分析,推导出机器人在直管和L型管道中的临界失稳条件,为柔性蠕动管道机器人步距规划提供了理论依据.搭建管道实验环境进行机器人的牵引力和行走实验,测试值与理论分析基本一致,说明柔性蠕动管道机器人具有优良的牵引能力,行走过程中的运动失稳现象也验证了软轴临界失稳理论的正确性.     

VANET网络中一种新的认证方法

针对现有车载自组织网络（VANET,Vehicular Ad-hoc Network）存在的安全威胁及车辆与车辆之间,车辆与基础设施之间建立可信的连接问题,提出基于ECDH（Elliptic curve-Diffie-Hellman）公钥加密算法和UsbKey双因子身份鉴别的方案,设计出新的双向安全认证协议及详细算法,并对协议方案进行详细的安全分析,分析表明该认证协议具有更强的安全性、保密性及抗攻击能力。