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

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

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

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

互联互通蓝图下中国产业转型升级与亚太经合组织成员系统协调与控制研究

基于社会网络理论,根据按特定规则获取的数据,构建互联互通蓝图下亚太经合组织成员系统2-模隶属网络矩阵,进行量化与可视化分析,得到互联互通蓝图下亚太经合组织成员系统2-模隶属网络关键节点。以区域贸易协定作为互联互通蓝图下中国产业升级与亚太经合组织成员系统逻辑链接,协调推动中国产业转型升级国家与区域两个层面因素,构建互联互通蓝图下中国产业转型升级与亚太经合组织成员系统协调与控制理论模型。提出注意把握亚太经合组织成员系统核心节点、充分发挥各类区域贸易协定协调控制作用、深入明晰中国产业转型升级主要目标等五项政策建议供有关方面决策参考。     

大型石油工程企业数字化转型研究与实践

详细介绍了大型石油工程企业行业特点、组织模式及运营模式,针对该类型企业的数字化发展现状,重点分析了大型石油工程企业数字化转型的内外因,通过流程分析了大型石油工程企业数字化转型的难点和痛点,并以某大型石油工程企业数字化转型实践为例,对数字化转型的流程和成果进行阐述,以期为大型国有企业数字化转型提供理论参考和模型依据.     

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

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

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

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

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

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

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

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

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

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

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

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