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

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

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

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

跨域强村公司发展的机理、挑战与路径——基于浙江典型案例的解析: 4; 作者倪建伟邵宜添《甘肃社会科学》北大核心 2025年第5期227-236,共10页; 跨域强村公司作为一种新型农村集体经济形态,具有自身独特的发展逻辑和内在机制,成为促进村庄共同富裕和提升村民生活水平的有效路径。湖州善琏强村公司“跨村抱团”、杭州下姜强村公司“跨镇抱团”、嘉兴大云强村公司“跨市抱团”、浙... 展开更多; 关键词强村公司跨域协作共同富裕新型农村集体经济; 在线阅读下载PDF 职称材料

“行政区经济”理论再审视:理论逻辑、情境变迁与发展展望被引量：1: 5; 作者孙斌栋匡贞胜《苏州大学学报（哲学社会科学版）》 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 职称材料

题名数据生命周期视角下政府跨域协作数据治理及其运行逻辑被引量：19: 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 职称材料

题名跨域强村公司发展的机理、挑战与路径——基于浙江典型案例的解析: 4; 作者倪建伟邵宜添; 机构浙大城市学院共同富裕研究院浙江农林大学生态文明研究院; 出处《甘肃社会科学》北大核心 2025年第5期227-236,共10页; 基金国家社会科学基金项目“东西部协作促进民族地区共同富裕的机制创新研究”(23BMZ065)。; 文摘跨域强村公司作为一种新型农村集体经济形态,具有自身独特的发展逻辑和内在机制,成为促进村庄共同富裕和提升村民生活水平的有效路径。湖州善琏强村公司“跨村抱团”、杭州下姜强村公司“跨镇抱团”、嘉兴大云强村公司“跨市抱团”、浙江鑫平强村公司“跨省抱团”等立足不同层级跨域强村公司的典型实践,构建组织革新、资源整合、政策赋能、治理升级、利益共享“五位一体”发展机制,系统性破解传统农村集体经济“封闭化、碎片化、低效化”的结构性矛盾,其本质是“发展动能转换—治理体系重构—共同富裕实现”的系统性探索,核心在于“政策创新—要素重组—治理协同”的三维联动,以打破城乡二元的制度性约束与行政区划的空间性壁垒,实现市场化、规模化、可持续的创新发展路径。展望未来,面对跨域强村公司发展的三重深层挑战,要以制度创新为先导、产业升级为支撑、民生福祉为本位,让跨域强村公司在新时代乡村振兴中持续释放活力,为全国城乡区域协调发展、共同富裕扎实推进提供可复制、可推广的“浙江方案”。; 关键词强村公司跨域协作共同富裕新型农村集体经济; 分类号 F126 [经济管理—世界经济] F323 [经济管理—产业经济]; 在线阅读下载PDF 职称材料

题名“行政区经济”理论再审视:理论逻辑、情境变迁与发展展望被引量：1: 5; 作者孙斌栋匡贞胜; 机构华东师范大学中国行政区划研究中心/未来城市实验室华东师范大学地理科学学院华东师范大学海南研究院郑州大学政治与公共管理学院郑州大学公共管理研究中心; 出处《苏州大学学报（哲学社会科学版）》 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	19	在线阅读下载PDF 职称材料
3	结构变迁视角下的粤港澳跨域协作治理	匡贞胜赵彪孙斌栋	《地理科学》 CSSCI CSCD 北大核心	2023	5	在线阅读下载PDF 职称材料
4	跨域强村公司发展的机理、挑战与路径——基于浙江典型案例的解析	倪建伟邵宜添	《甘肃社会科学》北大核心	2025	0	在线阅读下载PDF 职称材料
5	“行政区经济”理论再审视:理论逻辑、情境变迁与发展展望	孙斌栋匡贞胜	《苏州大学学报（哲学社会科学版）》 CSSCI 北大核心	2024	1	在线阅读下载PDF 职称材料