基于评价向量的P2P电子商务信任模型

针对现有P2P信任模型中交易因素考虑不全面、缺乏恶意节点识别机制而导致无法防御恶意节点共谋攻击和耗费网络带宽等问题,提出一种新的P2P信任模型EVTM,该模型采用向量化的方式表示评价的标准,引入时间衰减因子和惩罚机制,促使模型中交易节点积极地、正确地评价,从而构造一个诚信、可靠的交易环境。仿真实验进一步证明EVTM不仅可以根据用户的不同需求对交易对象做出更合理的信任评估,而且能有效地避免恶意节点的共谋攻击,从而降低交易的风险,减少损失。     

集成CCS和B语言的形式化方法

本文尝试集成通信系统演算（CCS）和B语言，以扩展CCS在数据和操作定义方面的能力，以及B方法在描述并发系统方面的能力。集成后的形式化模型BCCS可以描述和分析系统的不同方面（结构、控制、数据和功能）和不同类型的系统（顺序、并发和分布式）。     

一种数据库记录集导入Office文档的方法

通过程序实例介绍如何利用Delphi的Server组件集将数据库中的记录集导出到Word，Excel与Powerpoint文档中，从而实现信息管理系统的办公自动化模块。     

软件构件技术研究

软件构件技术是支持软件复用的核心技术,是近几年来迅速发展并受到高度重视的一个学科分支。软件构件技术主要研究内容包括：构件模型,构件描述语言,构件分类与检索和构件组装。     

面向可视化图元控制引擎的设计与实现

针对普通管理信息系统、图纸化管理及地理信息系统GIS的局限性,综合考虑可视化管理的直观、便捷、高效等要求,设计了一种面向可视化图元控制引擎。该引擎在借鉴GIS技术优点的基础上,实现了空间信息的直观表达及空间信息和属性信息的融合。分析了该引擎的体系结构,阐述该引擎的主要组成模块、各模块的功能特点及相互关系,并对该引擎中涉及的空间运算、空间索引等关键技术进行研究。最后结合广电机房管理的应用实例,表明了面向可视化图元控制引擎的有效性、灵活性和可扩展性。     

形式化方法在软构件中的应用综述

文章着重对形式化方法在软构件中的应用做了综述，总结近年来国内外已经对该问题所进行的研究，提出或应用了哪些新方法和新技术．取得的成效，以及还存在的不足之处。     

用于计算机教学的远程控制工具的设计和实现

介绍一个适用于计算机教学辅导的远程控制工具的设计要点,包括:客户和服务器的通讯机制;低速率互连网环境下实时屏幕图像监视的解决方案;鼠标键盘的远程遥控;远程进程和文件管理.该工具在拨号上网的低速互联网环境下可以监视并遥控远程计算机的动作,从而实现远程计算机教学的在线实时辅导.     

用于计算机教学的远程控制工具的设计和实现

介绍一个适用于计算机教学辅导的远程控制工具的设计要点,包括:客户和服务器的通讯机制;低速率互连网环境下实时屏幕图像监视的解决方案;鼠标键盘的远程遥控;远程进程和文件管理。该工具在拨号上网的低速互联网环境下可以监视并遥控远程计算机的动作,从而实现远程计算机教学的在线实时辅导。     

基于Pi演算的工作控制流模式研究

工作流模式指在工作流过程模型中反复出现的过程基本构造,是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准。本文以Pi演算作为工作流形式化的基础,对当前流行的一些工作流模式进行详细的描述,并提出一些应用实例。结果表明,该语言不仅能很好地支持工作流模式,而且具有建模。。简洁、准确的特点。