学科分类
/ 25
500 个结果
  • 简介:基于模态逻辑的安全协议形式化分方法一直备受关注。本文在简述一个基于GNY逻辑实现的可视集成工具的基础上,以SSL协议为例,详细阐述其自动分析过程。最后,就工具不能自动执行第三方信任逻辑的情况,提出了简单的可信第三方参与的扩展逻辑,为复杂安全协议的可视和设计提供参考。

  • 标签: 安全协议 形式化方法 可视化 GNY逻辑 SSL协议
  • 简介:利用可视技术,把战场信息转变为直观的图像或图形信息,可以提高部队指挥员与战场交互的实时性和准确性,帮助指挥员挖掘出更深层次的战场信息,充分发挥战场指挥员指挥潜能。从技术研究和实际应用两方面,对可视技术的特点、发展状况、发展前景及在作战上实际应用的可行性等进行了阐述。

  • 标签: 作战 可视化 模拟训练 指挥
  • 简介:中国科学院院士、中科院金属研究所原所长李依依最近以《世纪材料的思考》为题撰文指出,提升传统铸造业的根本出路在于采用可视铸造技术。

  • 标签: 发展 铸造业 出路 所长 提升 根本
  • 简介:本文首先介绍知识可视的由来,与数据可视、信息可视的联系与区别;接着论述知识可视的理论基础--双重编码理论,并从知识制品的角度分析知识可视的本质;然后分析了知识可视与教育技术、知识工程的关系;最后介绍知识可视的研究框架和几种已有的知识可视方法,并分析了其发展趋势.

  • 标签: 知识工程 教育技术 信息可视化 区别 理论基础 联系
  • 简介:以"可视"理论与应用为技术指导,在分析研究通用装备保障"可视"重要性的基础上,详细分析了装备保障可视系统的内涵、层次划分和建设的基本思想,提出了实现装备保障"可视"的原理框图和几种实现方式,从而构建了装备保障系统可视研究的一种体系结构.

  • 标签: 通用装备保障 可视化理论 实现方式 系统分析 指挥机构
  • 简介:运用随机介质理论推导的纵向地表沉降理论公式计算盾构法施工引起的纵向地表沉降时。并不能预测盾构作业面前方负沉降,结合有关数据资料改进纵向地表沉降预测方法并通过可视方法检验了这种预测公式的合理性.

  • 标签: 随机介质理论 盾构 隧道 地表沉降 可视化方法 数学模型
  • 简介:IMS公司推出的新款系列局部缠绕端接电阻提供了外露型焊接片,是推进倒装贴片端接节点的可视检测而设计的。

  • 标签: 可视化 IMS 电阻 检测 推出 端接
  • 简介:目的:研究和开发序列组织切片图像的三维显示技术.方法:首先利用序列切片中上下层切片相关点的对应关系,用最小二乘方法实现上下层切片图像的几何变换配准,进而用序列图像插值算法完成组织切片图像的体数据重建.结果:在对重点显示目标分类的基础上,用基于物空间SHEAR-WARP快速直接体视方法对体数据进行三维显示,组成一套医学图像可视系统.结论:该系统能对胆管癌等序列切片图像进行三维重建显示.

  • 标签: 组织切片图像 图像配准 医学图像可视化 三维显示
  • 简介:本文以Lorenz混沌系统为例,提出了一种基于MATLAB平台的仿真软件Simulink建立混沌系统可视模型的方法,分析了Lorenz系统的混沌特性,并对Lorenz系统的混沌同步与控制进行了仿真研究.该方法的优点是不需要用传统的程序代码对模型和算法进行编程,而且可以实现混沌系统建模及仿真分析的全程可视,是研究混沌系统的一种简便、有效的新方法.

  • 标签: LORENZ 混沌 可视化 模型 仿真 控制
  • 简介:文章介绍了广西电网规划建设应用可视技术的实践成果,主要有2个方面:一是电网运行状态可视方案,以及PowerworldSimulator计算程序的功能,论述如何应用该程序构建广西电网规划和调度运行控制可视平台,并介绍了应用平台研究广西电网的成果;二是三维激光雷达构建输电线路和变电站三维可视勘察设计平台方案,介绍了输电线路和变电站数字化的初步实际工作成果。

  • 标签: 电网 规划 建设 可视化
  • 简介:城市三维的可视作为数字城市核心技术的重要组成部分,已成为GIS界和IT界的一个热点课题。本文利用高分辨率遥感影象提取地物数据,并采取面向对象的空间数据模型对数据进行管理,使用基于图形和基于图象的两种建模技术对建筑物和其他一些复杂的模型如树木、路灯等进行三维重建,然后利用有理函数模型表示遥感影象与地面之间的构像关系,使用纹理映射技术,构建具有高度真实感的城市三维景观图。

  • 标签: 数字城市 三维可视化技术 虚拟现实 地理信息系统 纹理映射 有理函数
  • 简介:可视地震应急通讯办公系统是用微机实现地震现场与指挥部之间影音互传的一项新技术。本文提供了一个使用简单的视频输入设备,利用现有公用通讯信道实现视频实时交换的实施方案。

  • 标签: VIDEO COMMUNICATION VIDEO REAL TIME exchange.
  • 简介:本文共分两个部分,第一部分简单介绍了可视程序设计语言的产生,第二部分通过对Windows系统中的消息如何转化为可视程序设计语言中的事件的讨论,揭示了可视程序设计语言的本质。

  • 标签: 可视化程序设计语言 事件 消息 属性
  • 简介:伴随着现代科技特别是信息技术的迅猛发展,可视运输已成为信息化战争军交运输保障必由之路。可视运输是指使用以信息技术为核心的保障手段及相应的保障方式,依托国家、国防信息基础设施,使指挥主体能及时、准确、透明地掌握部队需求、保障状态等实时情况,从而精确、高效指挥和运用各种交通力量,以“信息流”控制“物流”和“人流”的军交运输保障活动。

  • 标签: 中国 军事交通 可视化系统 信息化战争 条形码技术 无线电射频标签查询器