基于抽象实现结构图的数据流方程切片方法

提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化.     

副省长茅临生描绘浙江科技发展蓝图:加强自主创新建设创新型省份

“当前和‘十一五’期间,要把提高自主创新能力作为我省全部科技工作的首要任务,按照‘自主创新、重点跨越、支撑发展、引领未来’的全省科技工作指导方针,努力建设科技强省和创新型省份。”这是浙江省副省长茅临生在1月23日召开的全省科技工作会议上提出的要求。他说,要争取通     

浅谈政府门户网站建设中的公共服务——全国政府系统政务信息化培训班第三组讨论报告（2006年6月6日）

全国政府系统政务信息化第三期培训班从2006年6月1日开班以来，我们学习了《互联互通的应用平台建设》、《电子政务概论》、《政府门户网站的建设与管理》等课程，学员通过学习，开阔了思路，了解到了电子政务建设需要掌握的基本知识、基本思路和方法，电子政务知识得到了不同程度的提高。6月6日下午，     

智能家居

<正>@陆刃波:2014年智能家居不断升温,长虹、TCL、美的、海尔、康佳等轮番发布智能战略及新品。但从前三季度看,智能家居很少落实到业绩上,用户体验、购买成本、兼容性等仍是硬伤,各个产品很难实现互联互通。这也说明,家电智能化仅靠企业单打独斗远远不够,很大程度上需要依赖外部环境打通跨行业资源。(中国电子商会副秘书长)     

我国成功举办2014年APEC会议

事件：2014年亚太经合组织（APEC）领导人会议周活动,于11月5日至11日在北京举办,这是我国时隔13年再次举办APEC。此次APEC会议就推动区域经济一体化,促进经济创新发展、改革增长,加强全方位基础设施与互联互通建设三大重点议题达成了广泛而深入的共识,通过了《北京纲领：构建融合、创新、互联的亚太——亚太经合组织第二十二次领导人非正式会议宣言》《共建面向来来的亚太伙伴关系——亚太经合组织成立25周年声明》两份成果文件。     

基于软件中央控制器的多媒体教学系统实施方案

以《多媒体教学环境的工程建设规范》为标准,提出了纯软件的中央控制能器的设计的思想,设计了由纯软件中央控制器组成的多媒体教学系统的解决方案.     

高层寄语

寄语大会因为世界互联网大会的举办,因为各位嘉宾的到来,今天的乌镇,不仅是千年古镇、文化重镇,更是智慧小镇、网络名镇,最悠久的中华文化与最现代的网络文明,在这里融会贯通、交相辉映,虽跨越时空、却异曲同工。这里阡陌纵横、水网相连,网络空间也应该互联互通,让信息自由并安全地流动;这里空气清新、天蓝水绿,网络空间也应该清朗文明,成为人类美好的精神家园;这里历史悠久、文脉昌盛,网络空间也应该传播正能量,弘扬人类优秀文化;这里游人如织、秩序井然,网络空间也应该既自由开放,又有规可循,始终在法治的轨道上运行;这里睦邻友好、守望相助,我们在网络空间也应该相互尊重、相互信任,共享共治、合作共赢。     

医改目标下区域卫生信息系统的建设

互联互通的区域卫生信息系统围绕医疗制度改革目标，着力解决看病难、看病贵，看病乱的问题，不断创新管理和服务的模式，优化卫生资源配置，拓展系统化应用，实现流程再造。     

建“院”绘“线”

在院线提升计划的引导和支持下,我省创新型企业通过建"院"绘"线"的实践,成功案例不胜枚举。金发科技依托院线提升计划项目,构建全面创新体系,荣获2013年度国家科技进步奖(企业技术创新工程组);海格通信在研究开发院文化建设方面成绩突出,建立起独特的研发文化和激励机制,以创新描绘企业发展蓝图;国光电器通过研究     

基于实时分布式计算机系统的容错技术研究

目的为研制适应第四代飞机高度综合化、模块化、高可靠性的航空电子系统的计算平台。方法提出了分层容错管理策略。结果由系统、分系统和模块构成三级容错管理策略;由故障监控程序负责故障的监控和确认,并将确认的故障交由故障管理程序处理;由故障管理程序根据蓝图定义完成重构;重构通过逻辑功能到物理资源的不同映射方式实现;给出了这些过程的实例。结论容错功能的实现必须以保证强实时系统的确定性为前提。