面向服务架构中服务实现的策略

构造了层次化的SOA模型，并提出了将服务使用层与服务实现层分层处理的策略．建立了基于服务的构件模型来实现SOA中的服务，使用接口来描述服务的语法，契约来描述服务的语义，并用卫式设计来模服务的行为．将接口作为结合构件技术与面向服务架构的关键．用实例说明了如何使用这种方法来实现面向服务的设计．此工作为利用构件技术解决面向服务架构中的服务实现问题奠定了基础．     

“可信软件基础研究”重大研究计划综述

国家自然科学基金委员会启动实施了“可信软件基础研究”重大研究计划。本文从该重大研究计划的立项背景和意义,可信软件的研究现状,该重大研究计划的科学目标与核心科学问题,以及预期成果等方面进行了介绍。     

上海软件外包五人谈

近日，“2006上海软件外包国际峰会”的隆重召开，将业界的目光集中到我国软件外包产业发展的新动向之上。有关数据显示，2005年上海离岸服务外包业务高达10多亿美元，其中软件出口7．06亿美元!而新出台的十一五软件产业发展规划，向人们展示了更宏伟的蓝图。面对新的发展阶段，外包究竟能为中国的软件业带来什么？外包产业的方向应该如何调整？人才缺口将如何补充？ 面对这一系列疑问，本刊邀请来自上海市外经贸委、中国软件协会、上海软件对外贸易出口联盟、华东师范大学、上海交大海隆软件公司的五位领导专家，畅谈当前软件外包产业热点话题![编者按]     

软硬件混成系统与协同设计介绍

软硬件混成系统或嵌入式系统是用信息化带动工业化的关键技术,在各领域有着巨大应用需求。传统的计算机系统软、硬件各自开发的模式使得目标系统的资源优化不够,可靠性、安全性和实时性难以保障,开发周期和成本也受到很大的影响。在何积丰与Hoare C．A,R的统一程序设计理论基础上提出的软硬件混成系统与软硬件协同设计技术,针对上述问题给出了良好的解决途径。本文在回顾他们的关键工作后,描述了软硬件协同设计的关键技术和主要内容。接着介绍具有自主知识产权的“海神”软硬件协同设计平台：在获得用户需求规范后,设计开发者只需根据需求规范用高级语言实现需求阶段所提出的功能,分解器会将其自动分解为软件子系统和硬件子系统的描写并综合。从而提供了一种开发嵌入式系统的良好工具。     

程序状态转换函数(Ⅱ)

本文使用程序状态转换函数来验证程序的全正确性,由于讨论了程序运行中控制点位置的变化,这给验证有多个出口的程序提供了一个有效的工具.文章最后证明了一系列程序变换的等价性,由此推证编译程序生成过程保持了源程序的语义.     

面向城轨云平台边界安全防护的动态信任管理方法

针对城轨云平台边界数量多、边界安全防护薄弱的问题,分析了城轨云与工业控制网络协同交互过程,提出了一种面向城轨云平台边界安全防护的动态信任管理方法,包括异常行为识别、信任评估、信任更新、基于信任值的动态访问控制。根据城轨云的综合监控系统网络拓扑,分析了未经授权控制指令、违规控制指令、干扰正常控制指令三类异常行为。结果表明,所提出的动态信任管理方法能够有效抵御恶意节点发起的异常行为;对于不同节点、不同异常行为的信任值变化不同;符合“缓升快降”的规则,能够保障城轨云平台细粒度的边界安全防护。     

面向冲突化解的双线交汇区段列车编队双层优化模型

针对虚拟编组列车在双线交汇区段上面临的冲突与通过效率问题,提出了多种速度组编协调策略。将列车汇入时间、次序、编队组合和速度序列决策集成在双层优化模型中,上层模型优化通过效率,下层模型提高编队质量;设计双层嵌套粒子群算法,将汇入时间作为双层模型的中间交互变量,使列车群能根据环境需求收敛于不同队形。仿真结果表明,加入协调速度优化可以提高组编过程效率,双层编队模型可以在确保编队结构稳定性和均衡性的同时提高既有线路通过率。     

实施教授治学 保障杰出人才培养

教授治学理念和制度的探索与实施，对杰出人才培养无疑具有保障性作用。但就我国高等教育目前的环境而言，还存在不利于实施教授治学的现实困境，如：对基础研究和基础学科的支持力度不够；大学管理和评价的行政化倾向严重；缺乏学术共同体的交流与合作；没有注意到个体创造力周期及师承关系等。[第一段]     

递归语言上的运算及其封闭性质

本文应用可计算谓词的运算讨论了递归语言上的运算。当L为一递归语言时,证明了在Δ-无关映照f作用下,只要对任一α∈Σ,f(α)为递归,则f(L)也是递归语言。且讨论了在广义顺序机作用下仍能保持语言L的递归性。