排序方式: 共有37条查询结果,搜索用时 0 毫秒
11.
通过对安全协议验证的形式化需求分析,论证了形式化描述和分析是描述电子商务协议并验证它们属性的有效方法.介绍了一个扩展的BAN逻辑,基于这个逻辑对一种电子交易协议NetBill协议进行形式化描述,并在有入侵的情况下对该协议所期望的属性(安全、原子、隐私)进行了正确的分析,证明了该协议在有入侵者的情况下能够满足安全、原子和隐私等要求. 相似文献
12.
分析了远程视频系统的关键技术 ,介绍了 IP/ TV和 Real System软件系统的工作机理和特性 ,并提出了 Web交互式远程视频系统的设计方案 ,最后给出了本视频系统在甘肃工业大学校园网中的应用实例 . 相似文献
13.
余冬梅 《科技导报(北京)》2012,30(11):76-79
空间聚类和空间索引的结合是当前空间数据库中提高数据检索效率的技术之一。本文从空间聚类和空间索引的存储原理入手,阐述了K-Means聚类算法及其改进算法的技术思路,研究了K-Means算法在空间数据库中与空间索引方法结合的技术问题;分析了当前基于K-Means算法的R-树系列空间索引技术的研究成果,阐述了它们提高空间检索效率的技术路线及实验结果,研究显示这些技术都能在一定程度上提高数据检索的效率。最后给出了聚类与空间索引结合技术未来的研究方向。 相似文献
14.
本文利用双结型晶体管的非线特性,设计出了一种在神经网络中广泛使用的S型函数神经元电路,此电路的输入输出信号都是以电流的形式出现的,电路的输入和输出级以电流传送器CCⅡ为核心构成,此电路的Pspice仿真模拟结果和理想情况非常吻合。 相似文献
15.
计算机专业的教育教学方案一直是计算机教育工作者们研究的课题之一,一方面计算机专业的人才市场缺口大,另一方面负责培养计算机专业人才的高校的毕业生就业却困难重重。基于此本文提出实现计算机本科教学改革应以学生将来的职业发展为出发点来组织整个教学过程,并给出了具体操作措施。 相似文献
16.
在进行分布式数据库系统(DDBS)的设计时,数据的分配问题对应用系统的可用性、可靠性及数据的存取效率具有直接的影响.以通信费用作为衡量标准,通过实例介绍了4 种数据分配方法的原理及用法,并对各自的优缺点进行了分析与比较 相似文献
17.
分析了CAD集成系统的要求,提出了面向对象的类的特征建模方法与实现方法,给出了基于特征的产品数据集成系统原型以及原型系统的实现过程和技术,实现了基于STEP标准的、可实现自动特征识别的零件信息集成系统,并与传统的集成系统进行了对比,从而得出了此系统的一些特点. 相似文献
18.
为了提高软件开发的质量,尽量在编写代码和执行软件系统之前找出错误,减少软件开发的费用,在软件开发的过程中引入了既有形式化的描述方法又有图形表达能力的工具有色Petri网.在介绍了有色Petri网的形式化定义及其图形表示后,提出了引入有色Petri网后的软件开发框架,最后介绍了一个应用实例. 相似文献
19.
余冬梅 《陕西理工学院学报(自然科学版)》2013,(5):35-38
提出了基于有向无环图的构图和绘图算法,可完成课程拓扑关系图的自动绘制,并以C#为编程语言实现了该算法,最后通过实例验证了算法能直观地表现课程及其间拓扑关系效果,且运行界面整齐美观。 相似文献
20.
压缩技术改善网格中数据传输性能的研究 总被引:3,自引:0,他引:3
提出了利用SOAP扩展拦截机制,在序列化的数据传输之前,对数据先进行压缩再通过网络传输,到达目的端后解压缩的方法,有效减少了网络中的数据流量,缩短了数据传输时间,实验表明,该方法与其它方法相比,无需额外硬件投入,也无需采用复杂的算法,能够有效地改善网格传输性能。 相似文献