连续时间Markov决策过程互模拟等价及逻辑保持

模型检测中,Markov决策过程可以建模具有不确定性的系统,然而状态空间爆炸问题将会影响系统验证的成败与效率,互模拟等价可以用于系统状态的简约.在强互模拟关系的基础上,给出Markov决策过程模型弱互模拟等价关系的概念,导出了连续时间Markov决策过程及其内嵌离散时间Markov决策过程互模拟等价关系的内在联系;在强互模拟等价关系逻辑特征保持的基础上,给出弱互模拟等价关系下的逻辑保持性质,证明了弱互模拟等价的两个状态,同时满足除下一步算子外的连续随机逻辑公式,从而可以将原模型中的验证问题转换为简约后模型的验证问题,提高验证的效率.     

基于全局迭代阈值和局部分析的护照图像的二值化算法

针对护照证件图像有复杂的底纹背景和防伪网格线的特点,对图像二值化的方法进行了深入分析和研究,提出一种全局迭代阈值与局部分析相结合的适用于护照证件图像的二值化方法。该方法模型简单、易于实现,能滤除噪声,能清晰地把字符笔划从背景中分割出来。     

红外可见光目标的空间直方图表示与联合跟踪

目的 针对融合跟踪中的实时性和准确性问题,提出一种基于二阶空间直方图联合的红外与可见光目标融合跟踪算法。方法 该算法以二阶空间直方图为目标表示模型,通过将红外的目标相似度和可见光的目标相似度进行加权融合,来构建新的目标函数;并依据核跟踪推理机制导出目标的联动位移公式;最后使用均值漂移程序实现目标的自动搜索。此外,算法还实现了融合权值的自适应调节和目标模型的在线更新。结果 实验中选取了4组典型的红外可见光视频对进行跟踪,测试了算法在夜间环境、背景阴影、目标交汇与拥簇,以及目标遮挡等场合下的跟踪性能,并与L₁跟踪器（L1T）、基于区域模糊动态融合的跟踪器（FRD）,以及基于联合直方图的跟踪器在平均中心误差、平均重叠率、成功率以及平均跟踪时间等指标上进行了定量比较,得到各算法在这4组视频上的对应性能指标数据分别为本文算法（6.664,0.702,0.921,0.009）、L1T跟踪红外目标（25.53,0.583,0.742,0.363）、L1T跟踪可见光目标（31.21,0.359,0.459,0.293）、FRD（10.73,0.567,0.702,0.565）、JHT（15.07,0.622,0.821,0.001）,发现本文算法的平均准确率比其他跟踪算法分别高约23%、14%和8%,而平均成功率分别高约32%、46%和10%。结论 本文算法在处理场景拥簇、光照变化以及空间信息保持等方面要优于传统的单源跟踪方法,适用于夜间环境、背景阴影以及背景拥簇等场景下目标跟踪,对帧频为30 帧/s的视频数据,算法可同时在线跟踪到4个目标。     

基于燃烧算法公交出行查询系统设计与实现

通过分析现有基于Dijkstra算法的公交查询系统存在的缺陷,提出了基于燃烧算法的公交出行查询系统.依据城市公交网络特征和出行者路径选择习惯,将燃烧算法引入并加以改进应用于多级公交网络的公交查询服务系统中,提高了算法的实时性计算能力,同时对算法的效率进行了分析,具有一定创新性.开发的公交查询系统用户界面友好,能实现人机对话.系统具有很大的通用性,具有较大的推广价值.     

一种新的基于试题模块库的组卷方案

提出一种试题模块库系统建设方案,它以模块为基本单位组卷,既具有试题库客观性科学性高的特点,又具有试卷库建库简便出卷容易的优点它的成功实施,必将为题库建设、课程建设和高效的教学和考试管理带来新的研究途径和提供良好的实践范例。     

基于CSS技术的室内导航系统设计与实现

设计并实现了一种基于Chirp信号往返飞行时间（round time of flight ,RTOF）的室内导航系统,用于在复杂建筑物内部多个目标点的定位及跟踪。系统采用时分算法允许多标签同时定位,移动标签与锚节点之间实现双边双向测距（symmetrical double‐sided two‐way ranging ,SDS‐TWR）算法,移动标签并把测距结果传送给定位基站,定位基站再将结果透传到计算中心处理。计算中心利用改进的卡尔曼滤波算法减弱NLOS误差影响,采用加权矫正三点定位算法计算出移动标签位置信息,并存储定位结果于定位服务器。客户端可访问定位服务器查看所需要标签的定位结果。实验结果表明,在特定复杂楼层内,系统定位精度能达到2m,满足室内导航精度需求。本系统实现了定位刷新时间与标签个数的最优化,也具有较好的规模伸缩度以及易部署性。     

碾压混凝土坝诱导缝断裂特性试验研究与分析

目前在碾压混凝土的断裂性能研究中对三维内设非穿透矩形裂缝的应力强度因子的计算，普遍采用只是将它简单地近似成椭圆形裂缝的形式进行计算，西方通过对含有穿透形预留缝试件、非穿透椭圆形预留缝试件和非穿透矩形预留缝试件进行试验分析，对三维内设非穿透矩形裂缝的应力强度因子的计算公式进行了一定的修正，得到了更好的结果。     

生物法生产3-羟基丙酸研究进展

3-羟基丙酸（3-hydroxypropionic acid,3-HP）是一种具有末端羟基与羧基双活性基团、应用广泛的有机酸,生物法合成3-HP具有高效、绿色、可持续发展等优势。本文分析了生物法生产3-HP的主要合成途径、主要生产菌种及菌株改造、发酵工艺优化3个方面的研究进展。重点介绍了以甘油合成途径、丙二酰辅酶A合成途径、β-丙氨酸合成途径为代表的主要合成途径及相应途径的关键酶;以克雷伯氏肺炎球菌、酵母菌及大肠杆菌为代表的主要生产菌株及其改造策略;包括分批发酵、两阶段发酵及固定化细胞催化等在内的发酵工艺优化策略3个方面的研究内容。最后指出了进一步筛选改造甘油脱水酶等途径的关键酶;基于先进基因组编辑技术开发的非致病性、3-HP高耐受型菌株,挖掘新的3-HP合成途径;开发更加经济、高效、环保的发酵工艺路线,将是今后生物法生产3-HP的研究重点。     

基于改进BP神经网络的车牌字符识别研究

分析BP网络学习算法的缺陷基础上,引入动量项和遗传算法对BP网络学习算法进行改进。提高了车牌字符识别的正确率。     

一体化生物加工过程生产乙醇的研究进展

一体化生物加工过程（consolidated bioprocessing,CBP）指通过对理想底盘微生物的开发和利用来实现一步转化木质纤维素为生物产品的生物加工程序。本文回顾了一体化生物加工过程的研究背景,简述了其开发理念和技术路线,全面综述了近年来该技术在转化木质纤维素生产二代生物乙醇研究中的不同策略及最新的研究进展。分析了CBP系统中自然菌株、重组菌株和共培养菌株在转化木质纤维素生产生物乙醇时的优点和瓶颈因素。研究了基因工程、代谢工程等工程手段和技术在克服此技术中的阻碍性因素及提升乙醇得率等方面的应用价值和潜力。最后,论述了组学及合成生物学等新兴生物技术对CBP生物乙醇的贡献和二代生物乙醇的商业化发展现状及CBP乙醇未来所面临的机遇与挑战。