咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 11 篇 期刊文献
  • 6 篇 学位论文

馆藏范围

  • 17 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 16 篇 工学
    • 9 篇 计算机科学与技术...
    • 7 篇 软件工程
    • 6 篇 测绘科学与技术
    • 5 篇 地质资源与地质工...
    • 2 篇 仪器科学与技术
    • 1 篇 信息与通信工程
    • 1 篇 控制科学与工程
    • 1 篇 轻工技术与工程
    • 1 篇 环境科学与工程（可...
  • 6 篇 理学
    • 6 篇 地理学
  • 2 篇 管理学
    • 1 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 1 篇 农学
    • 1 篇 农业资源与环境

主题

  • 17 篇 形式化描述模型
  • 2 篇 拓扑不变量
  • 2 篇 体系结构
  • 2 篇 空间方向关系
  • 2 篇 分布式系统
  • 2 篇 拓扑关系
  • 2 篇 颜色petri网
  • 2 篇 空间关系
  • 2 篇 web服务组合验证
  • 2 篇 pi-演算
  • 1 篇 模型驱动体系结构
  • 1 篇 空间认知
  • 1 篇 协议一致性测试
  • 1 篇 受限语言子集
  • 1 篇 交通信息网格系统
  • 1 篇 mis
  • 1 篇 协作模型
  • 1 篇 软件系统
  • 1 篇 协议工程
  • 1 篇 心理学

机构

  • 2 篇 天津大学
  • 2 篇 上海海洋大学
  • 2 篇 清华大学
  • 2 篇 武汉大学
  • 1 篇 兰州交通大学
  • 1 篇 中国科学院大学
  • 1 篇 深圳职业技术学院
  • 1 篇 空军预警学院
  • 1 篇 安徽农业大学
  • 1 篇 江西理工大学
  • 1 篇 全军军事训练软件...
  • 1 篇 同济大学
  • 1 篇 南京大学
  • 1 篇 深圳市规划国土局
  • 1 篇 中国科学院计算机...
  • 1 篇 中国科学技术大学
  • 1 篇 亚洲理工学院
  • 1 篇 中南大学
  • 1 篇 解放军理工大学

作者

  • 2 篇 赵慧娟
  • 2 篇 闫浩文
  • 2 篇 胡静
  • 2 篇 李景霞
  • 1 篇 刘剑豪
  • 1 篇 贺鸿愿
  • 1 篇 宋今
  • 1 篇 陈肇雄
  • 1 篇 冯学智
  • 1 篇 周晓光
  • 1 篇 陈晓勇
  • 1 篇 顾明
  • 1 篇 冯志勇
  • 1 篇 宗成庆
  • 1 篇 黄松
  • 1 篇 夏宇
  • 1 篇 刘耀开
  • 1 篇 惠战伟
  • 1 篇 邓敏
  • 1 篇 刘政

语言

  • 17 篇 中文
检索条件"主题词=形式化描述模型"
共 17 条 记 录，以下是11-20 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于Voronoi图的空间方向关系形式化描述模型
收藏
分享
引用
武汉大学学报（信息科学版） 2003年 第4期28卷 468-471,479页
作者： 闫浩文 郭仁忠 兰州交通大学土木工程学院 兰州市安宁西路22号730070 深圳市规划国土局 深圳市振兴路3号518031
运用认知心理学信息加工的观点 ,建立了基于Voronoi图的空间方向关系形式化描述模型 ,并详细阐述了模型的逻辑结构、数据结构和空间方向的计算过程。为了验证模型的正确性 ,列举了该模型计算空间方向的几个例子 ,并总结了模型的优。
来源： 评论
空间方向关系的概念、计算和形式化描述模型研究
空间方向关系的概念、计算和形式化描述模型研究
收藏
分享
引用
作者： 闫浩文 武汉大学
学位级别：博士
该文针对空间关系理论中的空间方向关系进行了详细、深入探讨,提出了若干的概念、定义、思想、算法和模型,主要的研究工作和创新点包括:近年来的空间方向关系研究主要集中于形式化描述模型和定性空间推理.该文详细总结了学术界对空间方... 详细信息
来源： 评论
MIS软件开发过程的描述
收藏
分享
引用
计算机应用与软件 2004年 第3期21卷 21-22,128页
作者： 顾明 深圳职业技术学院计算机系 深圳518055
本文用活动的概念来描述软件的开发过程 ,建立了软件过程的形式化描述模型 ,以此为基础 。
来源： 评论
基于构造类别代数的协议形式化描述语言的研究
基于构造类别代数的协议形式化描述语言的研究
收藏
分享
引用
作者： 刘政 中国科学技术大学
学位级别：博士
该论文提出了一种基于并发的构造类别代数的协议形式化描述模型及其语言,这种模型基于代数规范和条件重写逻辑的理论,它是面向属性的,相比于其他模型具有灵活、面向协议、易于实现的特点,并且提供了相应的测试生成和验证推导的方法.该... 详细信息
来源： 评论
受限语言子集的理论研究和探索
收藏
分享
引用
中文信息学报 1998年 第1期12卷 9-16页
作者： 宗成庆 宋今 陈肇雄 黄河燕 中国科学院计算机语言信息工程研究中心
本文在综述受限语言研究成果的基础上，提出受限语言子集的一种形式化描述模型，并给出其相应的语言特性和数学特性，就受限汉语子集的确定方法问题进行了理论研究和探索。作者希望本文提出的表示模型和确定方法能够引起有关的讨论，并... 详细信息
来源： 评论
一种群决策支持系统体系结构的研究
一种群决策支持系统体系结构的研究
收藏
分享
引用
作者： 卓越 清华大学
学位级别：博士
群决策支持系统(Group Decision Support System,GDSS)旨在通过两个主要途径来提高群决策的效率和质量:一是消除分布的决策群体成员之间的时、空障碍,促进成员之间的信息交流和知识共享;二是通过提供结构化的决策技术和决策模式来优化... 详细信息
来源： 评论
计算机支持的协同工作系统的体系结构研究
计算机支持的协同工作系统的体系结构研究
收藏
分享
引用
作者： 王国意 清华大学
学位级别：博士
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共2页 <<  < 1 2 >  >>
回到顶部
执行限定条件