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

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

上海软件外包五人谈

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

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

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

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

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

程序状态转换函数(Ⅱ)

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

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

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

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

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