模糊目标信息系统上的逻辑及决策规则

基于模糊目标信息系统模型，并结合粗糙集相关的逻辑理论，提出了模糊粗糙决策语言FRDL，给出了FRDL中公式的定义、语义、可满足性有效性的形式化描述以及相关的性质。在此语言的基础上，给出了模糊目标信息系统上的决策规则、逆决策规则形式化描述和构造方法。FRDL所描述的逻辑表达方法以及规则推理公式为建立在模糊目标信息系统之上的决策支持系统、推理机提供了形式化的表示和推理方法。最后，在眼科近视诊断上进行的数据实验表明，这种形式化描述和推理方法比较合理。     

基于全局单应性变换的虚实注册方法

提出了一种基于全局单应性变换的三维注册方法,有效地解决了基于标识的三维注册系统中的误差积累问题.设计了一种新的对仿射变换鲁棒的特征点检测方法--边角点法,确保每个特征点位于多条直线的交点上,最大限度消除特征检测结果的随机性及其对特征匹配所造成的负面影响.采用基于全局单应性矩阵的虚实配准方法,利用前一帧所对应的全局单应性矩阵对初始图像作射影变换,并将变换后的图像与当前图像做特征匹配,直接建立当前帧与初始帧之间的单应性关系,从而解决了传统方法所存在的误差积累问题.实验结果表明本算法有效可行.     

基于MPEG-7的视频数据组织与管理

针对现有视频数据库系统存在的不足,根据视频数据的特点,提出并实现了一种基于MPEG-7标准的视频数据组织与管理方法.该方法将视频内容的描述数据按照不同层次的视频内容单元进行组织,并针对不同的描述数据,分别生成结构索引、文本索引和特征索引,以满足基于内容的视频浏览和检索的需求.实验证明,通过视频描述数据库对视频数据进行管理,不仅降低了服务器的存储要求,而且为基于内容的视频检索奠定了基础,具有很好的通用性和可扩展性.     

基于仿射变换特征匹配的虚实注册方法

提出了一种新的基于仿射变换特征匹配的虚实注册方法,以解决基于平面自然特征的三维注册系统中的误差积累问题.该方法分为离线三维重建和在线实时注册两个阶段.离线阶段系统根据双目视觉原理建立平面坐标系,并根据用户指定的三点建立世界坐标系,同时利用仿射变换生成待匹配特征点的样本集合,供后续匹配过程使用.实时注册阶段,系统先将当前图像与样本集合做特征匹配以获取特征点间的对应关系,再利用上述对应关系恢复出当前帧与平面结构间的单应性关系,进而求取三维注册所需的变换矩阵.实验结果表明该方法是有效可行的,而且在克服误差积累方面较传统方法有明显改善.     

直观性和应用性在数学教学中的作用

数学是科学的基础,在绝大部分文理专业中,数学都是基础课程之一。但是目前高校数学教学普遍存在重理论轻应用的现象,公安大学也不例外,具体体现为学生无法将数学知识融汇贯通到本专业中去。为让学生明确数学学习目的,摆脱盲目学习、理论与实际脱节、无法学以致用的现象,我们有必要在数学课堂教学中改变思路改进方法,以直观的表述方式揭示数学知识的本质,以案例教学展现数学与实际公安工作的联系,建立积极正确的数学理念与学习方法。     

基于社会力模型的地铁站人群疏散仿真研究

针对地铁站应急情况下人群疏散影响因素复杂的问题,以北京市某地铁站为例,基于社会力模型,运用Anylogic动态仿真软件模拟了不同因素干扰下的地铁站场景人群疏散,研究应急情况下运行时段、疏散指导、硬件设施、应急通道、闸机延误等不同因素对人群疏散的影响进行了深入分析.仿真结果表明:疏散指导、应急通道、闸机刷卡等因素对疏散效...     

浅析求二元函数极限的几种方法

在高等数学教材中,多元函数的极限这一节介绍的都比较简单,都只是给出了几道证明函数在某点极限不存在或极限值为整数的例子,从未涉及到求极限的具体方法。为此作者整理归纳了6种求二元函数极限的具体操作办法,以期对广大师生有一定的启迪。     

多目标/多类型恐怖袭击风险评估模型研究

全球恐怖袭击频发,对各国公共安全构成了严重威胁,研究多目标/多类型恐怖袭击风险评估,感知和掌握风险态势具有重要意义。基于K-means++聚类分析算法和Python语言编程建立了多目标/多类型恐怖袭击风险函数模型,利用模型对2002~2016年全球恐怖袭击的数据进行聚类分析,将多目标/多类型恐怖袭击风险划分为5个等级,得到针对公民自身和私有财产采用轰炸/爆炸袭击方式的恐怖袭击风险最高。以2017年的数据测试该模型的泛化能力,测试结果准确率达到了94.44%,并与K-means、BP神经网络和决策树等机器学习模型进行了对比分析。结果表明此模型可为恐怖袭击风险评估和防范策略提供一定的参考。     

基于标识与平面间单应性矩阵的虚实注册方法

提出了一种基于单应性矩阵与平面标识相结合的三维注册算法,解决了标识部分被遮挡情况下的虚实注册问题,提高了系统的健壮性、可用性．该方法将直接求解三维注册矩阵问题分解为利用图像间的匹配特征点来计算相邻两帧图像间的单应性关系,并利用该单应性关系恢复最终注册矩阵．就实验结果与ARToolkit的注册性能作了比较,结果表明该算法能够解决标识部分遮挡情况下的虚实注册问题,在健壮性方面明显优于ARToolkit．     

关于一类魔方玩具变换群的讨论

研究了一类魔方玩具的变换群.利用确定生成元的方法,确定了这一类魔方玩具的变换群.