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

简介：随着产品品种越来越多，生产周期越来越短，企业面临的管理问题日益突出。日趋激烈的市场竞争以及越来越苛刻的法律法规．对制造装配业的产品质量提出了更高的要求。而实现产品全过程质量追溯，是提高产品质量和客户满意度的重要环节。

简介：现阶段各个可视交互模型的大多采用的是二维显示的方式建立,在具体操作中存在交互体验弱、分析效率低下、信息层次不够丰富等问题。随着社会科技的发展,人们在原有二维交互平台的基础上提出了网页三维交互平台。本文在阐述基于WebGL的3D可视交互平台基本构架的基础上,对其各个功能模块的应用实现进行分析,并阐述基于WebGL和Three.js图形库的实现方式。

简介：现代计算机网络的建设在规模和复杂程度上，正向着更大、更快速的方向发展，网络的管理人员也渐渐地认识到，有效地控制现有的IT资源，对于提高网络资源利用率和降低管理运营成本有着极为重要的作用。所以对于IT资源的管理者，特别是高集成度的计算机机房和数据中心的管理，将会提出日益严格和细化的要求。

简介：民以食为天,我国人口众多,食品消费量巨大。但近些年接连曝光的食品质量安全事故,让普通消费者到政策制定者都感到食品质量监控迫在眉睫。食品流转环节漫长,生产环节中存在过量施肥、农药残留等风险,流通及销售环节中存在质量流失、假冒伪劣、篡改信息等风险。建立质量追溯系统被认为是杜绝此类风险的有效途径,一个全程追溯、互联共享的产品质量信息追溯系统,是当前流通体系研究人员的重要课题。通过食品质量追溯系统,交互共享产品质量信息,遏制食品非安全因素,在食品产地、流通组织、监管机构与消费者间建立信息共享机制,形成食品危害物溯源信息集成化、无缝供应链,保证人们食品安全信息的需要。

简介：日前，北京豪义慧通科技有限公司受公安部警卫局委托，独立承建了“两会”IP可视电话系统，并在今年“两会”期间成功运行。

简介：图标法是常见的平面矢量场可视化方法。但是当传统的图标法用在大数据集且变化不是很明显的矢量场中时,图像可能会显得比较混乱。本文基于矢量场中局部矢量近似平行的原理,将传统的图标法做一改进。将局部范围内变化不明显的矢量,用该范围内的某一矢量来代替,这样所得的图像不再是规整的图标图像,图像上图标的多少是由矢量变化的明显程度来决定的。矢量变化不大的地方,矢量图标少,反之,矢量变化较大的地方,矢量图标多。这种方法使得所显示的矢量场不显得混乱,又能表达出矢量场的方向和大小。

简介：SharePoint的另一个重要部分是可视元件，包括Web部件和视图。本文将介绍SharePoint的信息表达功能。特别是列表视图和分组列表Web部件。以及如何使用它们来集合信息。从而为用户提供更全面和直观的界面。

简介：

简介：随着互联网技术的发展以及国家政策的支持,互联网创业引起了社会和教育界的重视,逐渐成为人们关注的焦点,现阶段探讨互联网创业的研究具有现实和理论意义。

简介：谢家琪,北京玖典科技发展有限公司董事长,毕业于东北大学计算机控制系统专业硕士,中国安防协会生物识别行业专家,中国能源集团联盟专家委员会秘书长,中国节能产业网专家组专家.从事自动化控制与电子信息领域近三十年,拥有丰富的研发、生产及企业管理经验.主导完成电动机节电系统,锅炉自寻优燃烧系统等工业自动化系统的研发及实施,并取得良好的经济效益,尤其在动态人脸识别技术,智能安防行业的成果显著,获得几十项软件专利,多项产品获得北京市新产品证书.