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

简介：职业技术能力模块,针对职业岗位(群)对人才的计算机知识、能力、素质的具体要求,双高计算机教育职业资格证书 

简介：为整个项目创建一个VSS数据库（在VSS服务器安装时,在VSS客户端窗口中选中要checkin的文件夹单击右键选择Checkin…,　　　　4VSS6.0服务器的配置和管理　　　　在VSS6.0服务器安装完毕后

简介：文章结合新疆天业集团某化工企业视频监控系统的设计和应用,阐述了光电相结合、模拟和数字相结合、子系统和网络相结合,建成符合化工企业生产调度、安全生产和安保监控需求的高效视频监控系统。

简介：尽管SOA（Service-OrientedArchitecture，面向服务架构）并非新概念，但是其真正为企业所用，却是近两年的事情。SOA给企业带来的价值是毋庸置疑的，一项调查显示，通过实施SOA，有51％的企业增加了利润，71％的企业降低了风险，97％的企业减少了成本，100％的企业增加了灵活性。为此，我总结了SOA的八字优势：开源节流、灵活高效。

简介：大多数系统变量可以通过下拉菜单或命令来访问(如,用户也可以把自己开发的程序或常用的一组命令做成一个菜单文件,附加工具本身是程序(包括.lsp、.arx和.exe)

简介：

简介：＂网上药店＂这个词起源于美国,1998年哈佛商学院毕业的史密斯创建了全球首家网上药店Drugstore,主营处方药、OTC和美容产品,由于得到全球知名风险投资基金KPCB的融资,迅速规模化发展,在初期还得到了亚马逊网站的大力支持,由于恰逢互联网泡沫,马上有两个跟进者：Soma和PlanetRx,网上药店迅速成为互联网浪潮中的明星。虽然规模非常小,但是网上药店声势浩大的宣传给老牌传统连锁药店带来了压力,

简介：长期以来，DVR以嵌入式还是PC式为主的争论不绝于耳，且因大多数用户对DVR内部的软／硬件结构不太清楚，因而形成了一些错误概念。本文就PC式及嵌入式两类DVR的技术特点、各自优势以及应用情况做一个分析对比，方便大家在工程应用中选择相应的设备。

简介：作为跨世纪的市政重点工程，深圳地铁一期工程倍受国内外瞩目，已被列入为国家重点项目和国内地铁国产化的依托工程。深圳现代作为深圳地铁自动售检票(AutomaticFareCollection，简称“AFC”)系统的总承包商，负责深圳地铁AFC系统的设计、开发和系统集成以及系统投运后三年内的维护工作。肩负着建成具有当今国际先进水平AFC系统的重任。

简介：升级后的性能比上一版本提高10多倍作为全球领先的实时性能管理软件开发商．OSIsoft宣布将对其RtPM(tm)平台的核心部分RtBaseline(tm)在性能和功能上进行升级。每一个RtBaselinePI服务器可支持一百多万个数据点，500多个同时连接的用户．以及进行档案存储和检索时每秒达80．000个事件的吞吐量。除了这些技术上的领先性能之外，现在RtBaseline还支持385个标准接口．包括世界领先的分散型控制系统(DCS)，

简介：采用ZigBee无线通信网络为核心并选择位置指纹与三角质心算法相结合的定值方案，分斩了实验场景下信号强度的统计特征；从统计结果人手，进行ZigBee信号测距的可行性分析，凭化了基于接收的信号强度指示（RSSI）的测距方程。进而使用改进的位置指纹法和优化的参考节点布局方案完成定位。实验结果表明，相比传统方法，位置指纹与三角核心算法相结合的定位方案大幅度提高了定位精度。

简介：当今社会信息技术、移动通信技术和AIFI技术高速发展，智能手机的应用层出不穷，高校考勤方式随之发生了巨大变化。随着生物识别技术的发展，指纹识别、人脸识别技术逐步完善，手机定位功能精确度的不断提高，家长参与学校的日常管理，实现家、校合作，共同管理学生日常考勤工作成为可能。家校共同管理，一方面可以提高高校学生管理的工作效率，另一方面增加了学校和家长沟通的机会，解决了学校传统的单方考勤的弊端，进一步促进了学校的发展和稳定。

简介：心电信号是人体重要的生理信号,载有人体心脏传导系统生理、病理信息,对心电信号的监护是临床上进行心脏研究和诊断心血管疾病的重要方法。针对心电信号低频微弱特性,提出了一种基于MSP430超低功耗单片机的便携式心电监护系统的设计方案,给出了心电监护终端硬件结构的总体框架,重点介绍了信号调理电路的设计,包括放大电路、滤波电路及右腿驱动电路的设计。

简介：在程序设计教学过程中，如何解决程序设计本身枯燥、难懂这个问题，让学生对VB编程感兴趣，并能学以致用，是教授VB编程的一大难题。根据笔者多年的教学实践，对如何提高学生的学习兴趣，如何提高学生的编程能力做了研究和探讨。

简介：摘要：本文论述了su睡r和ArcView两软件结合解决了数据格式（．shp、-bln）转换问题，利用ArcView软件完成行政区域矢量图的图层绘制工作，结合气象数据，通过Suffer8．0软件绘制等值线图。并以遥感数据为数据源对Surfer在气象绘图中的应用做了详细的说明。关键词：Surfur；Arcview；遥感；气象

简介：如果你拥有一个WindowsVista和WindowsXP的双启动配置，你可以使用BCDEdit，这是一个WindowsVista的命令行工具，可以添加、修改并删除BCD存储区里面的数据。使用BCDEdit的“／bootsequence”命令，你可以指定一个一次性的启动顺序。

简介：数据执行保护（DataExecutionProtection,DEP）和地址空间布局随机化（AddressSpaceLayoutRandomization，ASLR）——理解这两种防御手段。能保护系统不受缓冲区溢出类型的攻击。

简介：.NET安全性(security)提供了两种安全模型、分别是code-accesssecurity(简称CAS)以及role-basedsecurity,前者是用来控制程序的行为,后者是用来控制使用者的行为。本文章简单地介绍code-accesssecurity。

简介：在软件开发过程中，代码重用是软件工程师经常会使用的方法。将项目中频繁出现的一些功能相同的代码进行重用，可以使程序更加简练、清晰并易于维护。同时还能把这些实用的代码运用到其他相关项目中，这种重用的代码可以节约开发成本，并能减少重复编码的工作，提高软件编程的生产效率。本文简单总结了几个程序设计开发过程中代码重用的几个常用方法，同时也对代码重用存在的不足进行了分析。