电子商务的发展现状与趋势

主要从技术和管理等层面上考察和总结了电子商务的发展现状 ,阐述了电子商务发展的阶段性和商务模式特征 ,分析和总结了企业电子商务发展和应用的制约因素 ,刻画了电子商务的核心和本质 ;最后 ,展望了电子商务研究和应用的发展趋势。     

面向应用的电子商务综合集成:一个新的研究领域

针对企业电子商务应用系统的复杂性、分布性和动态性,考察了电子商务综合集成研究的背景和意义,总结了其研究现状和问题,阐释了电子商务综合集成的内涵和外延。分析和提出了主要研究内容和关键问题,给出了一个初步的研究框架。     

建模与仿真空间参考模型软件系统的设计和实现

首先介绍了空间参考模型和坐标变换软件系统设计和实现的原则，并给出了软件系统的体系结构和功能模块组成，然后给出了空间参考模型部分的主要数据结构和实现代码并分析了坐标变换的策略和方法，最后给出了坐标变换的流程，主要数据结构，函数和用户接口。     

本安仪表自动测试系统的研发及其实现

介绍了本安仪表自动测试系统的功能需求和组成结构,以串行通信为基础讨论了系统软硬件设计的技术方案和实现细节,给出了系统具体器件的选型和软件模块的实现方法,描述了软硬件的整合技术和联合调试过程.通过实际测试和试用,验证和完善了系统的设计目标和指定的功能.     

基于移动代理的网格资源发现与监控模型研究

介绍了Globus中网格资源的发现和监控模型.在此基础上提出了基于移动代理网格资源发现和监控模型,并对该模型中资源发现和监控过程进行了说明.最后给出了该模型和Globus在资源的发现和监控上进行了比较,给出了该模型所具有的优点.     

XML编程接口的研究与一个应用模型

描述了XML的特点,分析了DOM和SAX编程接口,研究了DOM和SAX的最佳使用场合,介绍了一种混合SAX和DOM的方法--SAXDOMIX,最后结合DOM和XPath,提出了一种应用模型,并给出了一个简单的例子用以说明.     

法律合约与智能合约一致性综述

从计算机科学的角度对法律合约与智能合约的一致性研究现状进行了总结和分析。首先,分别对法律合约描述语言和智能合约开发语言进行了分类和分析,总结了每种语言的特点;其次,根据合同自动化执行的三个发展阶段对法律合约和智能合约的一致性内涵进行了分析和讨论;分别基于形式化模型和合约模板总结了由法律合约生成智能合约代码的方法和关键技术,并对其进行了讨论和评价;最后,对未来法律合约与智能合约的一致性研究进行了总结和展望。     

信息化时代的教育创新

本文围绕智能化教室和远程教学中心建设,进行了具体的设计,在教学手段、教学方式、考试方式等方面,提供了实验示范,实现了交互训练和在线交流等全新的学习方式,探索了教学过程的开放性、创造性和交互性,达到了探究性学习和自主性学习的目的,提高了学生的学习兴趣和学习效果,对教育教学观念、模式、内容、方式和制度的变革进行了一定创新。     

信息系统的结构与运营机制研究综述

文章对信息系统结构和行为的研究现状、进展和不足进行了分析和综述,剖析了当前具有典型意义的信息系统结构模式和行为特征;进而进一步研究了信息系统的逻辑结构,提出了一种信息系统的层次逻辑体系结构模型,刻画了该模型的概念框架、基本组成和工作机制,该模型的价值和意义在于突破了现有结构模型在层次视野、技术和业务逻辑的集成性、系统模型之间的相关性和协同机制、结构和行为模式的适用性等方面的限制,提供了一个动态、集成和开放的信息系统逻辑结构和工作机理分析、设计和实践模式的框架。     

XJDCCS分布式计算机控制和管理系统的通信网

本文介绍了XJDCCS分布式计算机控制和管理系统的结构和功能,着重论述了XJDCCS系统通信网的设计和实现,使它满足了系统实时性和可靠性的要求。以此为基础,本文提出了一种模块化的应用程序设计机构,不仅验证了通信网设计,也为开发分布环境下的应用软件提供了有效和方便的手段。