关于过程调用中的透明性和可靠性

以反例的形式指出了Ｂｉｊｌｓｍａ等人提出的过程调用中透明性引理证明中的错误，并且分别给出了透明性引理和可靠性定理的新的证明方法。

创造性是人的基本属性——人类自身认识的第三次飞跃

创造性活动是人类产生物质和精神产品的主要活动,也是刨造了人类自身的活动。人的属性是什么?人有那些基本属性?人类正是在认识和改造客观世界的同时认识了它的自身属性。人类的自身认识,在各个历史阶段中都取得了各种成果,人类的自身认识运动还在不断的深化。

别拿生产系统冒险——制定有效的配置管理流程

在传统的软件开发过程中,以个人行为或小作坊形式的软件开发方法对于团队协作的要求没有今天这样严格。尤其针对源代码、文档的版本管理与控制,传统形式下更多是通过口头的沟通来完成的。然而在软件开发过程分工已经变得越来越细的今天,配置管理就成了程序员的一项基本素质。因为今天的软件不再是可以凭借一己之力或者小作坊可以完成的,我们需要更多团队的分工协作。配置管理,也就是为了完成一个团队的分工协作而细分出来的管理过程。为了保证项目或产品的质量,良好的配置管理素质是不可或缺的。

管理物联网的新方案

记者:VMware物联网解决方案,在架构、服务方面是如何具体体现出对物联网的支持?傅纯一:首先介绍一下物联网基本的体系架构,如图1所示。它是一个典型的三层体系架构,所有的互联设备(包括智能设备、传感器等)并不是直接跟数据中心相联的,而是通过一个边缘网关系统来联网到数据中心或云端的后台系统。边缘网关是一个计算机系统,它靠近于需要管理的互联设备,并且实时从这些设备中收集数据。边缘网关通过最适用的联网方式来联接各种互联设备,然后通过通用的局域网或广域网连接到后台系统。