基于模式的UI设计实战

在上一期文章中作者留下了一个悬念:什么样的 GoF 模式适合架构UI 框架中的三种模型呢?作者通过对环境操控模型、导航逻辑模型等方面给出了答案。     

Web应用中导航模型的研究综述

分析了已有W eb导航模型及其设计的特点和存在问题,如对动态导航和导航模式支持不够、缺少明确灵活的映射关系等。就有关需要深入研究的方面提出了作者的观点,其中包括动态导航、导航模式的应用、设计模型之间的转换以及结合面向方面设计等。     

基于模糊逻辑的机器人导航系统研究

由于未知环境下机器人导航容易出现死锁问题,设计了一种基于栅格的地图模型叫“数据栅格”,并在此基础上提出了一种基于行为的导航方法即“安全导航法”。数据栅格记录了周围环境中障碍物信息和机器人路径信息,安全导航法就是应用数据栅格技术来解决未知环境下机器人导航遇到的死锁问题。模糊逻辑用来设计和协调各种导航行为。仿真和实际环境的实验结果也证实了该方法的良好性能。     

一种求解认知难题的模型检测方法

用公告逻辑建模并求解和与积认知难题.提出一种动态认知模型,将环境认知模型与公告导致的认知模型线性组合,从而在时态认知逻辑模型检测技术中扩展支持公告逻辑的建模与验证.该模型检测方法不仅可以用于搜索认知难题的所有解,而且可以验证相关的时态认知性质,这一特性是当前认知逻辑模型检测工具MCK、MCMAS和DEMO不能完全支持的.作者采用OBDD开发了相关的符号化模型检测工具MCTK并对和与积难题进行建模和验证,实验结果说明了文中方法的正确性和高效性.     

面向模型检测的LTL语句自动生成方法

为优化线性时态逻辑语句的生成过程,减少模型检测的时间,提出一种面向模型检测的基于自然语言处理生成线性时态逻辑验证语句的方法。对需求文档提取关键词,将文档中的数据和可以代表模型中状态的名词进行提取,注释UML模型,对UML模型中的状态进行归类,将模型中的状态分为数据属性类和调用操作类,利用配对的线性时态逻辑格式生成线性时态逻辑,用于软件模型一致性验证。实验结果表明,该方法与ST模型相比可以提高模型检测的效率。     

基于流程图的资源环境模型复合方法

把资源环境模型抽象为模型类和模型实例2个层次，提出了基于模型类的模型复合策略。在Visual C++ .net 2003和Windows 2000环境下，用面向对象方法构建了模型类和模型实例，结合流程图实现了模型复合的可视化操作。结果表明，流程图较好地集成了可视化的用户界面和内部的模型复合操作，增强了资源环境模型库管理系统的易用性。     

一种基于人机交互的移动机器人反应式导航方法

针对未知环境中移动机器人的自主导航问题,提出了一种基于人机交互的反应式导航方法。在采用模糊逻辑实现机器人基本智能行为的基础上,利用基于优先级和有限状态机的混合行为协调方法建立"环境刺激-反应"机制,提高机器人的局部自主能力。提出将"人刺激-反应"机制引入机器人系统,提高机器人系统对环境的理解与决策能力。在不同环境模型中利用提出的方法对移向指定目标的机器人自主导航进行了仿真,仿真结果验证了该方法的有效性。     

基于网格细胞模型的类脑大尺度空间矢量导航方法

动物和人类可以使用感官中不完整的空间信息来快速定位其当前位置并导航到目标, 为未知环境下的矢 量导航提供了生物模型. 本文针对基于连续吸引子模型和余数系统的大尺度空间矢量导航方法所存在的鲁棒性问 题, 提出了一种基于振荡干扰模型和逐级模糊度确定法的大尺度空间矢量导航方法. 仿真结果表明, 在2%的测量噪 声条件下, 该方法可以在245 m*245 m*sin 60° 的大尺度环境下准确解算出位置矢量, 并且每个维度中位置的解算 精度可以达到1 cm以内, 有效提高了大尺度空间内矢量导航的鲁棒性.     

融合多种上下文的室内应急疏散导航位置模型

针对室内应急响应中如何科学、高效地对人员进行个性化实时疏散导航问题进行了研究,构建了一种面向复杂室内环境下融合多种上下文的应急疏散导航位置模型。利用改进的Dijkstra算法,结合实际环境动态上下文计算出实时疏散导航路径,为不同类型用户提供地图导航、语音导航、短信导航等个性化服务,同时为应急指挥者提供辅助决策支持。并以医院为例进行了实验,实验表明基于该模型及算法能够高效计算出满足不同类型用户需求的实时疏散导航路径,可应用于医院、商场等环境的应急疏散导航与救援中。     

一种基于操作条件反射原理的学习模型

针对认知机器人的自主学习问题,提出一种基于操作条件反射原理的学习模型(OCLM).该模型采用状态空间、操作行为空间、概率分布函数、仿生学习机制、系统熵等进行描述,给出状态的"负理想度"的概念,定义了取向函数的计算方法.运用模型对机器人避障导航问题进行仿真实验,并对参数设置进行了讨论.实验结果表明,基于OCLM模型的机器人能通过与环境的交互获得认知,成功避障到达目的地,具有一定的自学习能力,从而表明了模型的有效性.     

一类混杂系统的模型预测控制

采用基于混合逻辑动态的建模方法，将系统的 连续动态过程、逻辑部分和操作约束表示为带有混合整数不等式约束的线性状态方程的形式 ．给出了混杂系统的建模原理，并采用预测控制策略对系统进行控制．具体实例的仿真结果 表明基于混合逻辑动态模型的预测控制能使混杂系统跟踪设定值并满足操作约束．     

面向多无人系统的安全协同模型

随着无人系统技术的不断发展,多无人系统的协同控制技术受到了广泛的关注。设计合理的协同模型是多无人系统中的重要研究内容,而已有协同模型在开放的网络环境中存在一定的安全性问题。在分析已有模型的不足的基础上,提出了一种具有安全特性的多无人系统协同模型RCC(Rules Combined Coordination)。RCC模型在协同过程中引入了逻辑规则,提供了终端的合法性认证及通信双方的权限控制,保障了多无人系统的安全性。最后,基于开源机器人系统ROS及RCC模型,搭建了多无人车的协同仿真平台,并在其中设计了导航、避障等实验场景,仿真实验的相关结果验证了RCC模型具有可用性和安全性。     

基于超声波传感器的未知狭窄环境导航算法

针对移动机器人在未知狭窄环境中的导航问题,利用证据理论中的矛盾因子,给出了一个自适应超声波传感器模型。利用该模型,结合D S证据理论融合算法以及证据格方法,实现了移动机器人在未知狭窄环境中的导航,并有效地减少了由于超声波传感器镜面反射所引起的不确定性。实验结果表明了该方法的有效性。     

逻辑—对象知识模型LOKM

知识模型是知识信息处理系统的重要基础,是建立知识系统的主导思想,提供知识表示和操作的形式构架。在近几年研究的基础上,我们提出了逻辑-对象知识模型LOKM。本文主要讨论该模型的知识结构和推理策略。     

人工多细胞模型的构建及实验

鉴于多细胞组织具有行为多样性以及自适应生长能力,在已有的细胞模拟工作的基础上,提出了可以用于信息处理的人工多细胞模型。该模型以模拟环境和多细胞动态分布式系统作为模型的核心,细胞间联系借助于化学物质的反应扩散过程。结合遗传算法,应用人工多细胞模型设计了自主机器人的导航控制器。在机器人导航控制的仿真实验中获得了多种控制结构的具有避碰、漫游能力的机器人,实验结果验证了模型的可行性、有效性。     

电子文件归档管理系统的核心功能单元设计

以数据导入单元的设计为例,阐述了电子文件归档管理系统核心功能单元的设计思路。主要从建立功能单元工作流程和确定逻辑操作及逻辑处理出发,就对象模型建立、类定义与类间关系、操作功能逻辑实现以及单元功能测试等方面进行了论述。     

异构信息网络数据上的融合概率图模型

针对异构信息网络中存在多种数据目标类型,以及多种数据连接关系的问题,将多个主题模型和马尔科夫逻辑网相结合,提出了一种融合概率图模型。多个主题模型可以分别描述不同数据目标子空间的主题分布,实现对多种数据目标的预处理。用一阶逻辑子句描述的连接规则构建马尔科夫逻辑网,将每个主题模型中的不同数据目标连接起来。通过使用Gibbs采样,可以对异构网络进行参数学习和推理。在国际通用的异构信息网络DBLP数据集上的实验结果表明,使用融合概率图模型能够更好地表示不同的数据目标和连接关系。实验对比了4种典型的分类方法,多次采样得到的分类结果稳定,对作者、文章和会议取得了较好的分类结果。     

月球车DR/CNS组合导航研究

针对月面环境弱地磁、高粉尘、慢自旋、无卫星及月球车超低速,大多传统导航方法失效的问题,设计了以航位推算确定位移、太阳罗盘确定航向角的月球车DR/CNS组合导航方案;分别从航位推算的系统误差和非系统误差来源研究,并建立了里程计误差模型;在充分考虑到月面环境特殊性的基础上,自主研制了太阳罗盘;实验证明了该组合导航方案的可行性和有效性.     

CIM逻辑模型的关系实现

针对逻辑模型在查询和存储方面的不足,定义与其具有一致表示能力的关系模型,并将逻辑模型中以句子形式表示的逻辑约束转化为针对关系模型中逻辑关系的势的约束。根据模型的访问,以IEC61970所采用的数据访问接口DAF为例,在上述关系模型中给出基于关系代数的实现。研究结果表明,通过选择合理的关系模型,可以在保持逻辑模型丰富的表达能力的基础上,利用关系代数提高模型访问的效率,同时保证约束判定的有效性。     

安全协议一阶逻辑模型中攻击重构的实现

针对安全协议一阶逻辑模型不能够给出易于理解的攻击序列的问题,对安全协议一阶逻辑模型进行扩展,对逻辑推理中的规则及合一化操作进行分类,给出操作置换规则,在此基础上开发能对攻击进行重构的协议验证原型系统。通过具体的应用例子对其秘密性进行形式化验证,结果表明系统能给出易于理解的攻击序列。