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

PSR-SQUARES:基于程序空间约简器的SQL逆向合成系统: 1; 作者窦全胜张顺 +2 位作者潘浩王荟贤唐焕玲《通信学报》 EI CSCD 北大核心 2023年第11期249-259,共11页; 针对SQUARES程序空间增长过快,导致程序合成效率偏低的问题,在SQUARES的基础上,增加了以深度神经网络为核心的程序空间约简器,将给定的<被查询表,查询结果>示例表示成二维张量,作为深度神经网络的输入,网络的输出是关于目标SQL语... 展开更多; 关键词程序合成 SQL逆向合成 SQUARES 程序空间约简器领域特定语言; 在线阅读下载PDF 职称材料

起诉裁量权的概念、范围与程序空间被引量：38: 2; 作者孙远《求是学刊》 CSSCI 北大核心 2022年第1期94-103,共10页; 起诉裁量权专指检察机关对于那些已经达到法定起诉条件的案件,从一定的政策、利益等出发进行合目的性的考量之后,作出不起诉处分的权力,检察机关对于证据的判断以及对法律的解释均不属于裁量的范畴。在我国制度背景下,检察机关无权以某... 展开更多; 关键词起诉裁量权合目的性轻微犯罪程序空间; 在线阅读下载PDF 职称材料

BANK编译模式在扩大单片机程序存储空间中的应用被引量：1: 3; 作者党蓉于丹姜沫岐《空间控制技术与应用》 2009年第4期44-47,共4页; 利用C51编译器的BANK编译模式解决MCS-51系列单片机程序存储空间受64KB限制的问题,分析Keil C51编译器在BANK编译模式下的切换过程,提供一种软硬件的设计方法,并对设计的正确性进行了验证,从而解决了航天器设备典型单片机只能提供16B地... 展开更多; 关键词单片机程序存储空间 C51编译器 BANK编译模式; 在线阅读下载PDF 职称材料

城市治理中的空间正义:理论探索与议题更新被引量：30: 4; 作者夏志强陈佩娇《四川大学学报（哲学社会科学版）》 CSSCI 北大核心 2021年第6期189-198,共10页; 近年来,我国城市化进程中城市空间问题凸显。国内学术界在借鉴西方空间正义理论的基础上,对我国城市治理中的空间正义展开了大量研究,其成果主要集中在城市治理中的空间正义理论探讨、空间正义现实批判以及空间正义路径探索等方面。但... 展开更多; 关键词空间正义城市治理现代化空间实质正义空间程序正义包容性城市治理; 在线阅读下载PDF 职称材料

星载软件的语句级高效更新方法被引量：1: 5; 作者靳鑫徐清华 +1 位作者王慧泉金仲和《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2022年第12期38-45,共8页; 为减少星载软件在轨更新过程对测控资源的需求量,缩短更新上注时间,提出了一种无需操作系统支持、上注数据量低、版本可灵活控制的语句级软件更新方法。该方法首先利用预编译命令进行程序空间优化,使得不同模块的代码在编译后存储于不... 展开更多; 关键词星载软件更新语句级更新程序空间优化编辑距离匹配路径; 在线阅读下载PDF 职称材料

往复式编译优化技术的新进展被引量：1: 6; 作者龙舜《小型微型计算机系统》 CSCD 北大核心 2008年第3期487-492,共6页; 计算机体系结构的不断演进使现代计算环境日益复杂化.这要求编译优化能够在充分利用硬件特性的同时适应适应这一演进.往复式编译优化技术通过对程序施以不同的转换并根据试运行的结果来指导对大而复杂的优化空间的搜索,有关研究表明适... 展开更多; 关键词优化编译程序程序优化空间往复式编译优化; 在线阅读下载PDF 职称材料

单支撑围护结构支撑位置的影响被引量：3: 7; 作者刘雁王湛刘冰花《世界地震工程》 CSCD 2001年第3期121-128,共8页; 在单支撑围护结构中，支撑点位置的设置对于整个结构起着至关重要的作用．本文应用ＳＡＰ空间有限元程序，分析了支撑位置对于桩的变形和内力、支撑和围檩的内力，以及桩的入土深度等方面的影响，并绘制了变形和内力图．在此基础上，制... 展开更多; 关键词支撑位置内力变形造价单支撑围护结构弹性地基法 SAP空间有限元程序基坑工程; 在线阅读下载PDF 职称材料

一种面向软件可靠性评估的故障注入机制的设计与实现被引量：3: 8; 作者胡嘉伟江建慧《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2012年第6期741-751,共11页; 为了获取更加全面的程序失效数据以提高软件可靠性评估的准确性,提出一种面向软件可靠性评估的故障注入机制.该机制在生成故障注入方案时充分考虑了程序故障类型分布、故障空间分布、故障发生时间分布及程序输入等因素,从而能够合理地... 展开更多; 关键词软件可靠性评估故障注入程序故障空间分布程序故障发生时间分布故障注入方案生成; 在线阅读下载PDF 职称材料

题名PSR-SQUARES:基于程序空间约简器的SQL逆向合成系统: 1; 作者窦全胜张顺潘浩王荟贤唐焕玲; 机构山东工商学院信息与电子工程学院喀什大学计算机科学与技术学院; 出处《通信学报》 EI CSCD 北大核心 2023年第11期249-259,共11页; 基金国家自然科学基金资助项目(No.61976124,No.61976125) 新疆维吾尔自治区自然科学基金面上项目(No.2022D01A237,No.2022D01A238)。; 文摘针对SQUARES程序空间增长过快,导致程序合成效率偏低的问题,在SQUARES的基础上,增加了以深度神经网络为核心的程序空间约简器,将给定的<被查询表,查询结果>示例表示成二维张量,作为深度神经网络的输入,网络的输出是关于目标SQL语句合成规则的相关性标记向量。约简器根据神经网络的输出结果,采用末N位淘汰策略,删除与目标SQL语句相关性弱的合成规则,以减少候选SQL语句的生成和验证,提升系统合成效率。对约简器中深度神经网络的结构设计、训练样本集的生成方法和网络训练过程进行了详细描述。同时将PSR-SQUARES与当前有代表性SQL逆向合成系统进行实验对比,实验结果表明,PSR-SQUARES的综合性能不同程度地优于其他合成系统,平均合成时间由SQUARES的251 s降低至130 s,目标程序合成成功率由80%提升至89%。; 关键词程序合成 SQL逆向合成 SQUARES 程序空间约简器领域特定语言; Keywords program synthesis SQL reverse synthesis SQUARES program space reducer domain-specific language; 分类号 TP39 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名起诉裁量权的概念、范围与程序空间被引量：38: 2; 作者孙远; 机构中国社会科学院大学法学院; 出处《求是学刊》 CSSCI 北大核心 2022年第1期94-103,共10页; 基金国家社科基金重点项目“大数据侦查的程序控制与证据适用研究”(19AZD024)。; 文摘起诉裁量权专指检察机关对于那些已经达到法定起诉条件的案件,从一定的政策、利益等出发进行合目的性的考量之后,作出不起诉处分的权力,检察机关对于证据的判断以及对法律的解释均不属于裁量的范畴。在我国制度背景下,检察机关无权以某一刑法规则不具合理性为由作出裁量不起诉的决定,其裁量权原则上只能在轻微犯罪这一有限范围内行使。因此,扩大检察机关的起诉裁量权并不在于扩大该权力可以行使的案件范围,而是应一方面丰富起诉裁量权的行使方法,另一方面,通过改造现有的撤回起诉制度以及推进检察机关提前介入侦查,为起诉裁量权的运行提供更为充分的程序空间。; 关键词起诉裁量权合目的性轻微犯罪程序空间; Keywords discretionary power of prosecuting purposefulness minor offences procedural space; 分类号 D926.3 [政治法律—法学] D925.2 [政治法律—诉讼法学]; 在线阅读下载PDF 职称材料

题名BANK编译模式在扩大单片机程序存储空间中的应用被引量：1: 3; 作者党蓉于丹姜沫岐; 机构北京控制工程研究所; 出处《空间控制技术与应用》 2009年第4期44-47,共4页; 文摘利用C51编译器的BANK编译模式解决MCS-51系列单片机程序存储空间受64KB限制的问题,分析Keil C51编译器在BANK编译模式下的切换过程,提供一种软硬件的设计方法,并对设计的正确性进行了验证,从而解决了航天器设备典型单片机只能提供16B地址线对程序代码寻址的问题.; 关键词单片机程序存储空间 C51编译器 BANK编译模式; Keywords single chip computer code space C51 complier BANK switch; 分类号 TP3 [自动化与计算机技术—计算机科学与技术]; 在线阅读下载PDF 职称材料

题名城市治理中的空间正义:理论探索与议题更新被引量：30: 4; 作者夏志强陈佩娇; 机构四川大学公共管理学院; 出处《四川大学学报（哲学社会科学版）》 CSSCI 北大核心 2021年第6期189-198,共10页; 基金国家社会科学基金重大项目“基于大数据驱动的公共服务精准管理研究”(20&ZD112)。; 文摘近年来,我国城市化进程中城市空间问题凸显。国内学术界在借鉴西方空间正义理论的基础上,对我国城市治理中的空间正义展开了大量研究,其成果主要集中在城市治理中的空间正义理论探讨、空间正义现实批判以及空间正义路径探索等方面。但在中国城市治理现代化语境下,这些成果在理论深度挖掘、本土话语构建及问题系统解决等方面还存在很多不足。面向未来,城市治理中的空间正义议题应该从三方面更新:一是深化城市治理现代化语境中的空间正义理念阐释,二是建构城市治理现代化语境中空间正义的本土话语,三是完善城市治理现代化中空间正义实现路径,通过一系列多元、均衡、开放的制度安排和治理实践,实现城市空间资源的公平分配和城市空间利益的全民共享。; 关键词空间正义城市治理现代化空间实质正义空间程序正义包容性城市治理; Keywords spatial justice modernization of urban governance spatial substantial justice spatial procedural justice inclusive urban governance; 分类号 D630 [政治法律—中外政治制度]; 在线阅读下载PDF 职称材料

题名星载软件的语句级高效更新方法被引量：1: 5; 作者靳鑫徐清华王慧泉金仲和; 机构浙江大学微小卫星研究中心上海宇航系统工程研究所; 出处《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2022年第12期38-45,共8页; 基金中央高校基本科研业务费专项资金(2021XZZX038)。; 文摘为减少星载软件在轨更新过程对测控资源的需求量,缩短更新上注时间,提出了一种无需操作系统支持、上注数据量低、版本可灵活控制的语句级软件更新方法。该方法首先利用预编译命令进行程序空间优化,使得不同模块的代码在编译后存储于不同的段中,减少代码修改对加载文件的影响;其次通过逐段求解参考段与更新段之间匹配路径,并基于此进行各段的差异内容提取,大大降低差异补丁规模;然后通过版本引导程序设计,实现对卫星软件版本的灵活控制;最后通过对文件和程序进行可靠性设计,保证整个更新过程的安全性。结果表明:该方法在ZDPS-3A卫星平台进行了充分的测试,所提出的更新方法可应用于无操作系统的星载计算机,支持软件状态可回滚且更新过程可靠,同时相比传统的差异内容提取方法,补丁文件的规模降低量均值超过50.00%,可显著缩短更新上注时间。本方法能够充分满足星载软件低数据量更新的需求,可推广应用至包括微小卫星在内的多种航天器。; 关键词星载软件更新语句级更新程序空间优化编辑距离匹配路径; Keywords on-board software update statement-level update program space optimization edit distance path matching; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名往复式编译优化技术的新进展被引量：1: 6; 作者龙舜; 机构暨南大学计算机科学系; 出处《小型微型计算机系统》 CSCD 北大核心 2008年第3期487-492,共6页; 基金广东省自然科学基金项目(2002-010421)资助; 文摘计算机体系结构的不断演进使现代计算环境日益复杂化.这要求编译优化能够在充分利用硬件特性的同时适应适应这一演进.往复式编译优化技术通过对程序施以不同的转换并根据试运行的结果来指导对大而复杂的优化空间的搜索,有关研究表明适当的搜索算法可以找到其中好的点,从而显著提高程序运行性能.本文介绍了这项技术的基本思路和实现技术,简要回顾当前该领域内的前沿研究工作,并结合作者的相关经验,深入讨论其未来发展方向.; 关键词优化编译程序程序优化空间往复式编译优化; Keywords optimizing compiler optimization space iterative optimization; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名单支撑围护结构支撑位置的影响被引量：3: 7; 作者刘雁王湛刘冰花; 机构扬州大学建筑系汕头大学; 出处《世界地震工程》 CSCD 2001年第3期121-128,共8页; 基金国家自然科学基金资助项目(59978024) 广东省自然科学基金资助项目(990792); 文摘在单支撑围护结构中，支撑点位置的设置对于整个结构起着至关重要的作用．本文应用ＳＡＰ空间有限元程序，分析了支撑位置对于桩的变形和内力、支撑和围檩的内力，以及桩的入土深度等方面的影响，并绘制了变形和内力图．在此基础上，制表比较分析了支撑位置对于整个结构所消耗材料的总造价的影响，得出一些具有参考价值的结论。; 关键词支撑位置内力变形造价单支撑围护结构弹性地基法 SAP空间有限元程序基坑工程; Keywords one layer of brace, SAP, location of brace, force and displacment, cost of structurue; 分类号 TU473.2 [建筑科学—结构工程] TU313 [建筑科学—结构工程]; 在线阅读下载PDF 职称材料

题名一种面向软件可靠性评估的故障注入机制的设计与实现被引量：3: 8; 作者胡嘉伟江建慧; 机构同济大学软件学院; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2012年第6期741-751,共11页; 基金国家"八六三"高技术研究发展计划(2007AA01Z142); 文摘为了获取更加全面的程序失效数据以提高软件可靠性评估的准确性,提出一种面向软件可靠性评估的故障注入机制.该机制在生成故障注入方案时充分考虑了程序故障类型分布、故障空间分布、故障发生时间分布及程序输入等因素,从而能够合理地反映程序真实的失效情况.实现了故障注入方案生成器,并集成到自行开发的基于Intel PIN框架的动态软件故障注入工具软件中.为了验证所提出的故障注入机制的合理性和有效性,以TINY语言编译器、LZ77压缩程序、CRC32程序为例,分别通过测试和故障注入实验的方式收集了相应的失效数据,然后用Jelinski-Moranda模型计算得到了2组很接近的可靠性指标值.实验结果表明,基于故障注入的软件可靠性评估方法的有效性和合理性不亚于传统的基于测试的方法,故障注入方法更适用于较大规模程序的可靠性评估,采用指数分布的故障发生时间分布假设更能反映程序真实失效情况.; 关键词软件可靠性评估故障注入程序故障空间分布程序故障发生时间分布故障注入方案生成; Keywords software reliability evaluation fault injection fault spatial distribution of program fault occurring time distribution of program fault injection scheme generation; 分类号 TP311.56 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	PSR-SQUARES:基于程序空间约简器的SQL逆向合成系统	窦全胜张顺潘浩王荟贤唐焕玲	《通信学报》 EI CSCD 北大核心	2023	0	在线阅读下载PDF 职称材料
2	起诉裁量权的概念、范围与程序空间	孙远	《求是学刊》 CSSCI 北大核心	2022	38	在线阅读下载PDF 职称材料
3	BANK编译模式在扩大单片机程序存储空间中的应用	党蓉于丹姜沫岐	《空间控制技术与应用》	2009	1	在线阅读下载PDF 职称材料
4	城市治理中的空间正义:理论探索与议题更新	夏志强陈佩娇	《四川大学学报（哲学社会科学版）》 CSSCI 北大核心	2021	30	在线阅读下载PDF 职称材料
5	星载软件的语句级高效更新方法	靳鑫徐清华王慧泉金仲和	《哈尔滨工业大学学报》 EI CAS CSCD 北大核心	2022	1	在线阅读下载PDF 职称材料
6	往复式编译优化技术的新进展	龙舜	《小型微型计算机系统》 CSCD 北大核心	2008	1	在线阅读下载PDF 职称材料
7	单支撑围护结构支撑位置的影响	刘雁王湛刘冰花	《世界地震工程》 CSCD	2001	3	在线阅读下载PDF 职称材料
8	一种面向软件可靠性评估的故障注入机制的设计与实现	胡嘉伟江建慧	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2012	3	在线阅读下载PDF 职称材料