发力上海高端软件打造产业加速引擎

“十五”、“十一五”期间，中国软件产业迎来了高速增长的“黄金十年”，其中高端软件更是成为熠熠生辉的新星。国务院在《关于加快培育和发展战略性新兴产业的决定》中，明确指出重点培育和发展新一代信息技术产业，高端软件是其核心内容之一。毋庸置疑，高端软件将成为软件技术的关键和核心，成为技术创新和技术竞争的焦点，成为带动产业链上下游、引领产业高端发展的动力引擎。本刊特邀请上海市经济和信息化委员会副主任邵志清，对上海高端软件发展现状、主要思路与重要举措等进行分析和阐述。     

上海市信息产业发展现状及思考

经过多年持续不断的努力,上海市信息产业发展迅速,已成为上海最重要的支柱产业之一。其中,IC、软件、通信等产业在全国占有举足轻重的地位。与此同时,随着信息产业向更宽更广更深领域渗透,也面临着诸多问题和挑战,需要我们不断总结经验、克服困难,才能创造出更加明媚的未来。为此,本刊特邀请上海市经济和信息化委员会副主任邵志清,就上海市信息产业的发展现状、面临的问题以及应对措施,进行深入探讨。     

线性混合系统符号模型验证中的参数分析方法

说明了ＨＹＴＥＣＨ工具中采用的参数分析方法对系统描述能力的限制，提出了分离参数变量和系统状态变量的符号模型检查算法，并对用ＨＹＴＥＣＨ不能分析的Ｆｉｓｃｈｅｒ互斥算法的时钟偏移的界进行了分析。     

“两化”深度融合 点亮“智慧城市”

2011年是我国"十二五"规划的开局之年。在未来5年中,上海调整优化产业机构,需要加快培育发展战略性新兴产业,积极发展新一代信息技术产业,建设高性能宽带信息网,加快实现"三网融合",促进物联网示范应用……这其中需要技术进步,更需要制度保障。面对"创新驱动,转型发展"的战略机遇,上海将如何通过"十二五"规划来推动"两化"深度融合,真正实现"在推进经济结构战略性调整,加快产业结构优化升级,加快培育发展战略性新兴产业,抢占未来发展战略制高点上更加奋发有为;在进一步深化改革,扩大开放上更加奋发有为;在加快社会建设,加强和创新社会管理上更加奋发有为"?本刊特邀上海市经济和信息化委员会副主任邵志清,全面解读上海"十二五"规划信息化发展方向及"智慧城市"发展蓝图,以飨读者。     

一种基于权函数的改进型关联规则挖掘算法

提出了一种基于权函数的改进型关联规则算法——CWA priori算法。该算法利用决策属性在挖掘中的作用,归约数据源中无价值或价值较小的记录,从而缩短程序运行时间和节约数据存储空间,较好地改进了算法性能。实验结果证明CWA priori算法的效率明显高于A priori算法。     

C++对Generic程序设计技术的支持

介绍generic程序设计技术,探讨了generic程序设计在C 中的应用,说明了C 标准模板库的组成,并通过实例说明模板的应用。     

ZY3代数的理想和同构定理

本文讨论了ZY3代数的理想,并证明了同构定理8,9和11。定理8。设X是ZY3代数。若A是X的一个理想,则有同态f,使得X(?)X/A。定理9。设X_1与X_2是ZY3代数,且X_2中的基本二元关系“≤”是一个偏序。若X_1(?)X_2,则X_1/Ker f≌X_2。定理11。设X是ZY3代数。若A,K是X的理想,A(?)K,则X/A≌X/K/A/K。     

用户期望质量驱动的Web服务优化选取

提出了一种基于用户期望的服务质量评价方法。该评价方法仅考虑具有相似期望的用户,允许期望相似的评价影响服务的信誉度评价,以利于得到客观、准确的服务质量评估。在此基础上,提出一种基于用户期望的QoS驱动的服务选取算法。该算法实现了在满足用户偏好和期望的前提下Web服务的最优选取。电子购物的实例展示了该方法的可行性。     

基于改进型关联算法的门票分析系统设计与实现

提出了一种加权的关联规则CWA priori算法,在数据挖掘过程中,充分利用决策属性在挖掘中的作用,清洗掉数据源中无价值或价值较小的记录,从而达到节省程序运行时间和空间的目的。给出了CWA priori算法的描述,开发设计了基于该算法的A S-M in ing门票分析系统,该系统在项目单位正常运行使用。实践证明:发现的知识模式对公司的门票销售决策具有一定的实用参考价值,同时在节省程序运行资源方面也取得了良好的效果。     

程序不动点的直观计算意义

连续函数的不动点是指称语义的一个重要内容,它刻画了程序的计算性质.本文对完全偏序、连续函数和不动点等概念及其意义作出直观的解释,介绍了最小不动点的构造和逼近求解方法.