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

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

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

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

建“院”绘“线”

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

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

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

成都市副市长郝康理勾勒蓉城科技蓝图建设科技成都推进区域发展

在我国加入WTO和西部大开发的宏观形势下，作为西部地区重要的中心城市，成都市在高科技发展中应当明确定位，发挥优势，完善功能，营造特色，迎接挑战，实现跨越，以高科技战略带动中国西部新的科技中心崛起，并进一步带动区域经济发展。     

高新技术绘就南汇发展蓝图——专访南汇区科委主任倪明

南汇位于黄浦江东岸,杭州湾畔。西与闵行区接壤.北与浦东新区毗邻,西南与奉贤区交界,东南两侧濒临东海,海岸线长45公里。南汇全区设镇14个,市级开发区1个、区级开发区5个、市属农场3个。随着上海加快建设"一个龙头、三个中心"和浦东的开发开放,南汇已从上海的"腹地"走向改革开放的前沿。     

现实与蓝图:近代河南航运体系的演变与市场建构研究

近代河南的航运体系,继承了明清两代以来传统时期的格局。在经济增长方式的转型中,近代河南的航运体系仍然依靠较为传统的运输方式,与铁路等新兴的交通方式相结合,实现着构建市场体系的功能,并促进了一批中心城市的兴起,影响着区域经济格局的发展。近代河南的航运体系,一直面临着如航道淤塞,水利与航运功能的转化等问题,但河南省政府及相关社会组织,仍然在断断续续地进行着诸如对通行轮船运输、建立航运公会、设计全省航运体系等多方面的尝试。但由于受自然环境的恶化、纷乱的政治与军事形势,以及拮据的财政条件等方面的约束,近代河南的航运体系未能实现长期规划的蓝图,并在制度化的实践中无法取得成果,而是在近代史的大背景下不可挽回地走向停滞与衰落,时代影响下的客观条件是无法突破的。     

绘就广播影视事业的美好蓝图

今天的广播电视正在进行一场技术革命，这是自广播电视诞生以来最大的一场技术革命，是模拟向数字转换的技术革命。这次技术革命将改变几十年来广播电视节目形式、节目制作的设备流程、节目的传输和覆盖等各个环节的模式，以及各个环节的技术标准，随着技术的发展和普及，最终广播、电视和电信必将互相融合。换句话说，广播电视在融合电信，电信也同样要融合广播电视。作为国家惟一的广播电视专业设计院，如何面对这次技术变革，为我国的广播影视事业做出更大的贡献，中广电广播电影电视设计研究院正面临着严峻的考验。     

类图-过程蓝图联合模型转换研究

通过给出每个MCP模型元素与XML文档元素之间的一一映射关系,建立了整个MCP模型与XML文档的双向转换规则,并设计了转换算法,实验证明了该转换规则的有效性,使MCP模型能够以XML文档的形式表示,有利于存储、交换和网络传输。     

推动科技进步与创新为实现奋力崛起提供强力支撑

国家支持中部崛起战略的提出,为我们实现经济腾飞提供了千载难逢的机遇.实现奋力崛起业已成为省内各地谋划经济蓝图使用最多的词汇,成为全省上下的共识和最强音.科学技术是地区综合竞争力的决定性因素,是支撑一个国家和地区崛起的筋骨和脊梁.作为经济欠发达地区,若要实现奋力崛起,必须依靠科技进步与创新,推进结构调整和促进经济增长方式的转变,走跨越式发展的崛起之路.