检索结果-维普期刊中文期刊服务平台

基于符号模型检验的可信跨域协作系统验证方法: 1; 作者胡斌李阳高济《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2011年第9期1558-1565,1635,共9页; 针对规范调控的可信跨域协作系统属性验证的困难,提出一种基于符号模型检验的可信跨越协作系统验证方案.该方案包括规范语法及其状态语义、系统抽象模型、验证算法三大部分.其中规范的状态语义是方案的核心,它将规范集映射为其所对应的... 展开更多; 关键词形式验证符号模型检验跨域协作; 在线阅读下载PDF 职称材料

数据生命周期视角下政府跨域协作数据治理及其运行逻辑被引量：18: 2; 作者李月曹海军《东北大学学报（社会科学版）》 CSSCI 北大核心 2020年第3期56-63,共8页; 数字政府时代,高效的数据治理是实现政府跨域协作、解决复杂棘手问题的重要工具。以数据生命周期理论为视角分析发现,在政府跨域协作场景下,数据需求的满足过程与主体内部数据生命周期之间产生矛盾,使数据规划阶段的前置治理失效,数据... 展开更多; 关键词数据治理政府跨域协作数据生命周期治理逻辑; 在线阅读下载PDF 职称材料

结构变迁视角下的粤港澳跨域协作治理被引量：5: 3; 作者匡贞胜赵彪孙斌栋《地理科学》 CSSCI CSCD 北大核心 2023年第7期1174-1184,共11页; 港澳回归以来粤港澳政府间合作面临诸多困难,因此中国中央政府以纵向嵌入的方式助推大湾区建设来破解跨域协作难题。基于多维动态过程视角,系统分析了三地产业结构、府际关系、社会文化变迁与跨域协作的内在关联,认为产业结构消长压缩... 展开更多; 关键词粤港澳大湾区结构变迁跨域协作府际关系; 在线阅读下载PDF 职称材料

“行政区经济”理论再审视:理论逻辑、情境变迁与发展展望被引量：1: 4; 作者孙斌栋匡贞胜《苏州大学学报（哲学社会科学版）》 CSSCI 北大核心 2024年第6期135-146,共12页; 行政区经济理论已实现了特定现象的概念化,并在诸多领域获得了广泛的认可与应用。但其现实基础正面临冲击,市场主体独立性增强与市场体系深化、中央调控能力强化、交通通信技术进步都在一定程度上削弱了行政区经济,从而呈现出隐蔽化与... 展开更多; 关键词行政区经济行政区划区域一体化跨域协作统一大市场; 在线阅读下载PDF 职称材料

题名基于符号模型检验的可信跨域协作系统验证方法: 1; 作者胡斌李阳高济; 机构杭州师范大学杭州国际服务工程学院浙江大学计算机科学与技术学院; 出处《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2011年第9期1558-1565,1635,共9页; 基金国家自然科学基金资助项目(61070153/F020701) 2010年浙江省优秀青年教师资助计划浙江省教育厅资助项目(Y200805962); 文摘针对规范调控的可信跨域协作系统属性验证的困难,提出一种基于符号模型检验的可信跨越协作系统验证方案.该方案包括规范语法及其状态语义、系统抽象模型、验证算法三大部分.其中规范的状态语义是方案的核心,它将规范集映射为其所对应的状态或状态转移集,消除了系统模型和规范的语义不一致性;系统抽象模型包括规范Kripke结构和路径规范性定义,以及规范Kripke结构的分支时态逻辑(CTL)语义3个部分,实现了可信系统的形式建模;验证算法描述了系统符号模型检验的具体实现过程.与基于定理证明的验证方案相比,该方案有效降低了验证时间,提高了验证效率.; 关键词形式验证符号模型检验跨域协作; Keywords formal verification symbolic model checking cross-organizational collaboration; 分类号 TP182 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名数据生命周期视角下政府跨域协作数据治理及其运行逻辑被引量：18: 2; 作者李月曹海军; 机构东北大学文法学院; 出处《东北大学学报（社会科学版）》 CSSCI 北大核心 2020年第3期56-63,共8页; 基金辽宁省社会科学规划基金青年资助项目(L19CZZ001)。; 文摘数字政府时代,高效的数据治理是实现政府跨域协作、解决复杂棘手问题的重要工具。以数据生命周期理论为视角分析发现,在政府跨域协作场景下,数据需求的满足过程与主体内部数据生命周期之间产生矛盾,使数据规划阶段的前置治理失效,数据采集与处理成本增加,最终导致数据利用阶段的供给迟滞。为确保跨域协作中数据的自由流动、全局一致以及安全可靠,应突破个体层次的数据生命周期模型,转向面向协作整体的跨域协作数据生命周期治理逻辑,通过数据规划、数据汇聚、数据联通、数据利用以及数据增值五个阶段,完成数据价值的实现与增长。; 关键词数据治理政府跨域协作数据生命周期治理逻辑; Keywords data governance government cross-boundary collaboration data lifecycle governance logic; 分类号 D035 [政治法律—政治学] G203 [文化科学—传播学]; 在线阅读下载PDF 职称材料

题名结构变迁视角下的粤港澳跨域协作治理被引量：5: 3; 作者匡贞胜赵彪孙斌栋; 机构郑州大学政治与公共管理学院/公共管理研究中心中国社会科学院中国边疆研究所华东师范大学中国行政区划研究中心; 出处《地理科学》 CSSCI CSCD 北大核心 2023年第7期1174-1184,共11页; 基金中国博士后科学基金(2022M722898) 河南省高校哲学社会科学应用研究重大项目(2023-YYZD-20) 河南省软科学研究项目(222400410096)资助。; 文摘港澳回归以来粤港澳政府间合作面临诸多困难,因此中国中央政府以纵向嵌入的方式助推大湾区建设来破解跨域协作难题。基于多维动态过程视角,系统分析了三地产业结构、府际关系、社会文化变迁与跨域协作的内在关联,认为产业结构消长压缩了经济合作空间,社会文化交融不足弱化了三地协作动力,而全面管治权与中国香港国安法的实施则重构了府际间政治距离,这为中央政府高位推动跨域协作提供了必要性与可行性。研究指出,自上而下的国家战略虽可在短期内调动各方积极性,但受制于地方政府理性人与代理人的角色关系,难以维持跨域协作的长期能动性。未来应树立动态过程管控理念,建立制度性跨域协作框架与功能性跨域治理机构,督促港澳采取积极产业政策,并高度重视三地社会与文化交融问题。; 关键词粤港澳大湾区结构变迁跨域协作府际关系; Keywords Guangdong-Hong Kong-Macao Greater Bay Area structural changes cross-regional collaboration inter-governmental relations; 分类号 K921/927 [历史地理—人文地理学]; 在线阅读下载PDF 职称材料

题名“行政区经济”理论再审视:理论逻辑、情境变迁与发展展望被引量：1: 4; 作者孙斌栋匡贞胜; 机构华东师范大学中国行政区划研究中心/未来城市实验室华东师范大学地理科学学院华东师范大学海南研究院郑州大学政治与公共管理学院郑州大学公共管理研究中心; 出处《苏州大学学报（哲学社会科学版）》 CSSCI 北大核心 2024年第6期135-146,共12页; 基金国家社会科学基金重大项目“构建大中小城市协调发展格局研究”(项目编号:23ZDA049)的阶段性成果。; 文摘行政区经济理论已实现了特定现象的概念化,并在诸多领域获得了广泛的认可与应用。但其现实基础正面临冲击,市场主体独立性增强与市场体系深化、中央调控能力强化、交通通信技术进步都在一定程度上削弱了行政区经济,从而呈现出隐蔽化与非正式化、稳态化与内卷化以及模糊化与复杂化等新特征。为了保持理论活力、解释力和预测力,行政区经济理论必须与时俱进,增强逻辑严谨性与可拓展性。未来发展要在政治体制改革、多元共治体系构建、地方政府角色重新定位三个方向取得突破,一方面要扎根于本土的历史路径和现实情境,增加理论厚度和深度,为破除区域壁垒和完善空间治理提供坚实的理论支撑;另一方面则要通过国际学术对话和比较研究,在更大框架内实现理论升华,形成既遵循世界普遍规律性,又充满中国特色的行政区经济理论框架体系。; 关键词行政区经济行政区划区域一体化跨域协作统一大市场; Keywords administrative area economy administrative division regional integration cross-domain cooperation unified large market; 分类号 F127 [经济管理—世界经济]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于符号模型检验的可信跨域协作系统验证方法	胡斌李阳高济	《浙江大学学报（工学版）》 EI CAS CSCD 北大核心	2011	0	在线阅读下载PDF 职称材料
2	数据生命周期视角下政府跨域协作数据治理及其运行逻辑	李月曹海军	《东北大学学报（社会科学版）》 CSSCI 北大核心	2020	18	在线阅读下载PDF 职称材料
3	结构变迁视角下的粤港澳跨域协作治理	匡贞胜赵彪孙斌栋	《地理科学》 CSSCI CSCD 北大核心	2023	5	在线阅读下载PDF 职称材料
4	“行政区经济”理论再审视:理论逻辑、情境变迁与发展展望	孙斌栋匡贞胜	《苏州大学学报（哲学社会科学版）》 CSSCI 北大核心	2024	1	在线阅读下载PDF 职称材料