扩展线性时段不变式的模型检验研究进展

扩展线性时段不变式是时段演算中的一类重要公式.时段演算是周巢尘院士于20世纪90年代提出的一种用于嵌入式实时软件设计的演算系统,它开创性地将积分概念引入计算机实时软件的分析中,从而能够描述处理连续时间区间性质,是国际上公认的描述和分析实时系统的主流方法之一.由于时段演算内容丰富并且相关的综述和专著已出版,文章旨在对扩展线性时段不变式这一时段演算子集的模型检验问题的研究情况进行论述:①介绍时段演算、线性不变式及其扩展;②分别论述线性时段不变式以及扩展线性时段不变式的模型检验研究情况,其中重点介绍扩展的线性时段不变式,在离散时间语义和连续时间语义下的近期验证成果.     

浅析图书馆学研究方法存在的问题及对策

在分析图书馆学研究方法所存在的问题基础上,提出了两条相应的解决办法：一是要求研究方法的合理化使用,即理性思维方法与非理性思维方法结合使用,定性分析与定量分析结合使用;二是要求研究方法的科学化使用,即术语概念的规范化,科学地引进新方法。     

自平衡式电动车立体停车装置设计

设计一款电动车立体停车装置,以解决城市小区中电动车停车难问题.装置拥有多层停车平台,利用旋转方式存取,其内部的平行四杆机构设计使运行过程中停车板始终保持水平状态;伺服控制程序实现了最快调取和准确停位;人体红外传感器的安装提高了装置的安全性;停车板上导向槽和移动锁的设计加大了存取方便性.     

基于切换表面状态划分的倒立摆模型验证

针对仿真对不存在或难以寻找的问题,利用商迁移系统,给出了混合系统的验证过程。结合倒立摆模型给出的只对状态空间切换表面进行离散化的空间划分方法,相对于常规验证所采用的离散整个连续状态空间的方法,降低了系统分析的维数。提出将阈值切换切分为两类,明确了切换面的划分方式。     

综掘工作面粉尘运移的数值模拟及压风分流降尘方式研究

针对综掘工作面产生尘量高,煤尘浓度大,降尘效率低的现状,结合流体力学、气固两相流理论和射流理论等相关理论,采用FLUENT模拟技术,研究"长压短抽"式除尘通风时掘进巷道中粉尘运移和分布规律,对比分析了压入风量、抽吸比及抽、压风筒口位置等通风参数对粉尘浓度及分布范围的影响,提出了压风分流通风方式,并对其降尘效果进行了模拟分析.     

空间相干光通信中基于DSP的多普勒频移补偿技术

目前通常采用光锁相环(optical phase-locked loop,OPLL)完成空间相干光通信中的相位同步.针对光锁相环性能受空间通信终端间多普勒频移影响的不足,采用基于数字信号处理(digital singnal procesor,DSP)的开环方法补偿多普勒频移,并将开环补偿方法应用于一种递推解调系统中,根...     

超声平面波同相正交信号频域波束形成算法

针对频域平面波波束形成算法尚不能直接应用于采用正交解调的超声成像系统中的实际问题,提出一种平面波同相正交信号频域波束形成方法。以平面波射频信号频域波束形成算法为基础,根据射频信号与同相正交信号波数空间变量之间的关系,推导了平面波同相正交信号与对应图像的频谱映射表达式,从而实现对正交解调后信号的频域超声图像重建。采用2016年Plane Wave Imaging Challenge in Medical Ultrasound (PICMUS)发布的仿真、仿体及在体原始回波数据对这一方法进行验证,并评估图像的分辨率和对比噪声比。仿真和仿体实验结果表明,相对于射频信号的频域波束形成算法,该算法可获得与之相同的图像质量,并将成像速度提高了约4倍。在体实验数据的成像结果也验证了该算法在实际应用中的有效性。     

河南省嵩县东湾-蛮峪地区金矿床地质特征及矿床成因分析

东湾-蛮峪地区金矿床赋存于熊耳群鸡蛋坪组火山岩中,金矿体呈不规则脉状产出于熊耳群地层断裂构造带内的英安岩、流纹质英安岩中,严格受地层产状和地层断裂构造带控制,并与燕山期岩浆侵入体密切相关。矿石中金属矿物以黄铁矿为主,方铅矿、闪锌矿和褐铁矿次之。矿石呈自形-半自形晶、它形晶粒状、交代残余和斑状结构,浸染状、细脉-浸染状、脉状-网脉状和蜂窝状构造。综合研究认为,矿床属岩浆热液形成的构造蚀变岩型金矿。