基于并行环境的模型检查技术研究与实现

针对实时系统模型检查中的突出问题：状态组合爆炸,提出一种基于并行环境的实时系统模型检查技术,用邻接表存储时钟带,用C＋＋和MPI设计并实现了一个并行实时系统模型检查器———PRAModelChecker,选择一个典型的实例对PRAModelChecker的性能进行分析.实验表明,随着系统复杂性的增加,不但能提高工作效率,而且能处理的系统规模可伸缩,从而为从根本上解决状态组合爆炸问题提供了一种新的途径.     

两台平行机上链约束下单位长度工件完工时间平方和最小的在线排序问题

研究了两台平行机上链约束下单位长度工件完工时间平方和最小的在线排序问题,要求在整数时刻到达工件,整数时刻开始加工工件,当然也会在整数时刻完工工件.利用对手法证明任一实例在任意算法下竞争比不小于5/4,而任意的稠密算法的竞争比都渐近地趋于2;其次找到一种稠密算法—层次算法,其竞争比为2,从而说明此层次算法为本问题的一个最好可能在线稠密算法.     

文化播报

垃圾车机器人登门收垃圾据外媒近日报道,意大利研发出了一种垃圾车机器人,具有激光扫描装置和位置传感器,外形犹如电影《星球大战》中著名的R2-D2。设计者的构想是人们可以通过电话预订,让机器人在固定时间到家门前收集垃圾。这样既能节省人力,又可以帮助行动不便的人们处理垃圾。据意大利圣安娜大学生物机械系主任达瑞欧教授表示,我们的希望是,把在工厂里显现出价值的机器人改造成家用机器,让它们与人类共同生活。这所大学的研究人员致力于范围广泛的发明计划,包括能登门回收垃圾的机器人、能减缓老     

基于图论技术的FPGA资源管理算法

在对可重构硬件上的空闲资源进行管理时,采用平面划分算法寻找最大空闲矩形存在冗余计算和重复计算的问题.为此,文中提出了一种基于虚拟无向图的计算最大空闲矩形的算法.该算法基于FPGA二维区域模型,利用无向图与FPGA模型之间的相互映射关系,通过在虚拟无向图中寻找有效回路和通路间接完成寻找最大空闲矩形的任务,使空闲区域划分过程大大简化.最后,文中通过仿真实验对比了该方法与已有的SL算法的性能,结果表明,KAMER_VU算法有效降低了系统硬件布局时间,提高了为任务分配硬件资源的成功率.     

基于改进型AHP的食品质量安全时间序列预警模型的研究

运用改进型AHP建立食品安全状态的时间序列预警模型。模型采用3标度法构建判断矩阵可较为简单计算确定质量安全预警指标的权重,判断食品安全状态,应用食品质量安全技术标准和指标可建立食品安全状态预警模型,用于食品安全状态预警,并以稻米为例建立稻米质量安全预警模型,为建立其他食品安全状态预警模型研究提供参考,也可为食品质量安全监管部门进行食品监测与综合评价、科学监管提供参考。     

基于离散时间风险模型下的亏损破产概率的研究

新定义离散时间风险模型下的亏损破产概率为初始盈余u,亏损额度不大于y的破产概率。利用离散时间风险模型下的终时破产概率的计算规律,得到初始盈余水平在不同条件下的亏损破产概率的具体表达形式,并且数值模拟了一定条件下不同参数取值对亏损破产概率的影响情况,数据表明当亏损边界固定时,随着初始盈余水平的增加,亏损破产概率水平逐渐减小;当初始盈余水平固定时,随着亏损边界的增加,亏损破产概率水平逐渐增多。     

机器视觉摄像机标定的一般正多边形方法

围绕机器视觉摄像机标定问题,该文将通常几种基于特定正多边形模型的标定方法拓展为一般正多边形模型的摄像机标定方法. 首先分析一般正多边形的平面几何性质,结合射影几何中的交比和调和共轭的性质计算正多边形各条边和正多边形内切圆心与切点连线方向的消失点. 利用消失点与光心的连线方向和形成消失点空间直线方向相同的性质建立线性方程组,从而求解摄像机内参数. 最后通过几个特定正多边形（正三角形、正四边形、正五边形、正六边形）模版的摄像机标定验证一般正多边形标定方法的正确性. 实验中还发现几种特定正多边形的摄像机标定精度不同,正五边形的标定精度最高,正四边形最低.     

可控平滑滤波在解算目标运动要素中的应用

在对目标方位序列进行最小二乘平滑滤波的基础上，找出了平滑时间间隔与平滑精度的规律，探讨了可控平滑滤波在解算目标运动要素的应用，并以实例验证了该方法的有效性。     

"921工程”氢脉泽的研究与性能评价

氢脉泽是至今为止除极短时间测量间隔之外最稳定的频率标准,对于10^4s或更长的测量时间间隔,它的性能由于高Q值谐振腔而引起频率漂移而变坏．介绍了上海天台为“921工程”研制的带有腔体自动调谐的氢脉泽的性能．     

连续时间首达目标模型(Ⅱ)──L最优问题

研究了连续时间首达时间及首达目标总报酬（非折扣）的Ｌ最优模型。给出新的ｋ阶矩简洁表示式；证明Ｌ最优模型可化为离散时间拟折扣期望报酬优化模型；给出Ｌ最优与Ｍ最优之间的关系与若干性质。