排序方式: 共有44条查询结果,搜索用时 0 毫秒
1.
2011年是我国"十二五"规划的开局之年。在未来5年中,上海调整优化产业机构,需要加快培育发展战略性新兴产业,积极发展新一代信息技术产业,建设高性能宽带信息网,加快实现"三网融合",促进物联网示范应用……这其中需要技术进步,更需要制度保障。面对"创新驱动,转型发展"的战略机遇,上海将如何通过"十二五"规划来推动"两化"深度融合,真正实现"在推进经济结构战略性调整,加快产业结构优化升级,加快培育发展战略性新兴产业,抢占未来发展战略制高点上更加奋发有为;在进一步深化改革,扩大开放上更加奋发有为;在加快社会建设,加强和创新社会管理上更加奋发有为"?本刊特邀上海市经济和信息化委员会副主任邵志清,全面解读上海"十二五"规划信息化发展方向及"智慧城市"发展蓝图,以飨读者。 相似文献
2.
“十五”、“十一五”期间,中国软件产业迎来了高速增长的“黄金十年”,其中高端软件更是成为熠熠生辉的新星。国务院在《关于加快培育和发展战略性新兴产业的决定》中,明确指出重点培育和发展新一代信息技术产业,高端软件是其核心内容之一。毋庸置疑,高端软件将成为软件技术的关键和核心,成为技术创新和技术竞争的焦点,成为带动产业链上下游、引领产业高端发展的动力引擎。本刊特邀请上海市经济和信息化委员会副主任邵志清,对上海高端软件发展现状、主要思路与重要举措等进行分析和阐述。 相似文献
3.
说明了HYTECH工具中采用的参数分析方法对系统描述能力的限制,提出了分离参数变量和系统状态变量的符号模型检查算法,并对用HYTECH不能分析的Fischer互斥算法的时钟偏移的界进行了分析。 相似文献
4.
本文讨论了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。 相似文献
5.
经过多年持续不断的努力,上海市信息产业发展迅速,已成为上海最重要的支柱产业之一。其中,IC、软件、通信等产业在全国占有举足轻重的地位。与此同时,随着信息产业向更宽更广更深领域渗透,也面临着诸多问题和挑战,需要我们不断总结经验、克服困难,才能创造出更加明媚的未来。为此,本刊特邀请上海市经济和信息化委员会副主任邵志清,就上海市信息产业的发展现状、面临的问题以及应对措施,进行深入探讨。 相似文献
6.
提出了一种基于权函数的改进型关联规则算法——CWA priori算法。该算法利用决策属性在挖掘中的作用,归约数据源中无价值或价值较小的记录,从而缩短程序运行时间和节约数据存储空间,较好地改进了算法性能。实验结果证明CWA priori算法的效率明显高于A priori算法。 相似文献
7.
用户期望质量驱动的Web服务优化选取 总被引:1,自引:0,他引:1
提出了一种基于用户期望的服务质量评价方法。该评价方法仅考虑具有相似期望的用户,允许期望相似的评价影响服务的信誉度评价,以利于得到客观、准确的服务质量评估。在此基础上,提出一种基于用户期望的QoS驱动的服务选取算法。该算法实现了在满足用户偏好和期望的前提下Web服务的最优选取。电子购物的实例展示了该方法的可行性。 相似文献
8.
介绍generic程序设计技术,探讨了generic程序设计在C 中的应用,说明了C 标准模板库的组成,并通过实例说明模板的应用。 相似文献
9.
连续函数的不动点是指称语义的一个重要内容,它刻画了程序的计算性质.本文对完全偏序、连续函数和不动点等概念及其意义作出直观的解释,介绍了最小不动点的构造和逼近求解方法. 相似文献
10.
引入周期BZ-代数和BZ-代数的周期部分概念,研究了闭理想和周期零对称BZ-代数的关系。得到如下主要结果:设(X;*,0)为零对称BZ-代数,P(X)={x∈X:x<∞}。则P(X)为X的闭理想;(零对称BZ-代数)X为周期BZ-代数的充要条件是X中的每一个理想都是闭理想;X/P(X)为非周期P-半单BC I-代数。 相似文献