期刊文献+
共找到37,630篇文章
< 1 2 250 >
每页显示 20 50 100
《学位法》中学位程序制度建构的实践逻辑 被引量:1
1
作者 刘耀辉 《湖南师范大学教育科学学报》 北大核心 2025年第1期54-64,共11页
学位程序制度从保护学位申请人权利的司法实践中发展而来,最终为权利保障实践所检验。程序性审查成为学位行政司法策略性救济学位申请人权利实践的最佳选择,主要表现为学位行政争议司法审查在范围上以程序审查为主、实质审查为辅,在强... 学位程序制度从保护学位申请人权利的司法实践中发展而来,最终为权利保障实践所检验。程序性审查成为学位行政司法策略性救济学位申请人权利实践的最佳选择,主要表现为学位行政争议司法审查在范围上以程序审查为主、实质审查为辅,在强度上呈现程序强审查、实体弱审查的特征。其原因在于学位行政内嵌学术权力属性,造成监督制约实践难题。回应学位行政法治,学位程序制度发展历经学位程序规范结构性短缺、司法逐步形成正当程序规范、学位程序基本制度确立三个阶段。实施《学位法》保护学位申请人权益,需充分发挥制度客观法和主观权利面向的双重权利保障机能提升权利保护效率,加强学位程序规范体系化和学位行政行为规范化建设实现学位行政的良法善治,善用司法的解释与形成性功能强化学位程序制度的社会适应性。 展开更多
关键词 《学位法》 学位程序 正当程序 法定程序 程序权利 司法审查
在线阅读 下载PDF
数字文旅的服务创变、传播新态与现实效益——基于微信小程序“云游敦煌”的考察 被引量:3
2
作者 吕强 王昕 《西北民族大学学报(哲学社会科学版)》 北大核心 2025年第2期74-84,共11页
数字技术的发展推动着传统文旅产业服务形式及传播方式的不断创新。在移动互联时代下,微信小程序“即开即用”的轻量化特性以及场景服务功能,使得“文旅+小程序”成为数字文旅开展现代化建设的重要举措和形式。微信小程序“云游敦煌”... 数字技术的发展推动着传统文旅产业服务形式及传播方式的不断创新。在移动互联时代下,微信小程序“即开即用”的轻量化特性以及场景服务功能,使得“文旅+小程序”成为数字文旅开展现代化建设的重要举措和形式。微信小程序“云游敦煌”就是其中的典型代表,其利用数字化手段,对敦煌石窟的传统艺术文化进行了生动阐释与创新传播,通过精准的信息架构和多元的功能设计提升服务质量,并借助融媒体符号、交互仪式及圈层社交等创新方式拓展传播形态,有力推动了文化传承与旅游产业的深度融合,为文旅产业的数字化转型提供了可复制的现实经验。 展开更多
关键词 数字文旅 云游敦煌 程序传播 敦煌文化传播
在线阅读 下载PDF
短剧何以“长视”:小程序短剧的失范现象与治理路径 被引量:1
3
作者 陈海燕 刘昕雨 《宁夏社会科学》 北大核心 2025年第3期200-208,共9页
小程序短剧背靠互联网头部平台,极其便捷地构建起爽点密集、剧情套路的消费景观,在成瘾性的刷剧追更过程中,“屈从式”消费意识导致深层次的哲理思辨被追新求异的本能欲望所抑制,受众也因此由“审美的主体”异化为“被动的商品”。短剧... 小程序短剧背靠互联网头部平台,极其便捷地构建起爽点密集、剧情套路的消费景观,在成瘾性的刷剧追更过程中,“屈从式”消费意识导致深层次的哲理思辨被追新求异的本能欲望所抑制,受众也因此由“审美的主体”异化为“被动的商品”。短剧的鱼龙混杂,不乏审美低俗、价值扭曲的低劣之作,其内容失范问题亟待强效有力的治理方略,通过规制与引导双管齐下,打出防范、治理产业乱象的组合拳,压缩劣质短剧的滋生空间。同时大力推出一批扎根现实、深植传统、联手文旅的精品之作,满足市场对“小而美”优秀短剧的巨大需求,短剧方能走稳“长视”之途。 展开更多
关键词 程序短剧 内容失范 治理方略
在线阅读 下载PDF
《刑事诉讼法》修改背景下被告人法庭调查程序的完善研究 被引量:1
4
作者 张吉喜 《苏州大学学报(哲学社会科学版)》 北大核心 2025年第1期68-78,共11页
我国目前的被告人法庭调查程序存在违背控辩平等原则、影响庭审效率和趋向口供中心主义等方面的问题。在《刑事诉讼法》修改时,应当从被告人法庭调查的时间、方式以及被告人法庭调查与庭前讯问笔录调查之间的关系三方面完善被告人法庭... 我国目前的被告人法庭调查程序存在违背控辩平等原则、影响庭审效率和趋向口供中心主义等方面的问题。在《刑事诉讼法》修改时,应当从被告人法庭调查的时间、方式以及被告人法庭调查与庭前讯问笔录调查之间的关系三方面完善被告人法庭调查程序。在被告人法庭调查的时间方面,应当为被告人认罪案件和被告人不认罪案件规定差异化的被告人法庭调查时间。在被告人法庭调查的方式方面,应当沿用当前的被告人先行陈述模式,并根据被告人的认罪情况适用不同的讯问、发问程序。在被告人法庭调查与庭前讯问笔录调查之间的关系方面,应当采用被告人法庭调查与庭前讯问笔录调查合并进行模式。对被告人法庭调查程序的上述修改契合了认罪认罚从宽制度对我国刑事诉讼制度和实践带来的改变。 展开更多
关键词 被告人法庭调查程序 认罪案件 不认罪案件
在线阅读 下载PDF
细胞程序性坏死在慢性疼痛中作用的研究进展
5
作者 赵庆祥 吴小娟 +1 位作者 王金燕 高勇 《临床麻醉学杂志》 北大核心 2025年第8期870-875,共6页
慢性疼痛是一种临床高发的顽固性疾病,但目前尚无显效的治疗措施,明确其发病机理一直是医学研究的重要方向。细胞程序性坏死(Nec)是一种新发现的可调控性细胞死亡模式,最新研究表明,Nec可通过不同的分子机制促使慢性疼痛的发生和发展,... 慢性疼痛是一种临床高发的顽固性疾病,但目前尚无显效的治疗措施,明确其发病机理一直是医学研究的重要方向。细胞程序性坏死(Nec)是一种新发现的可调控性细胞死亡模式,最新研究表明,Nec可通过不同的分子机制促使慢性疼痛的发生和发展,条件性敲除或给予靶向药物抑制Nec关键通路蛋白的活性均可显著改善动物模型所形成的疼痛异常行为,故Nec可能是一种有效治疗慢性疼痛的新突破口。基于上述背景,本文针对Nec的激活途径、在慢性疼痛形成中的作用以及可能的分子机制进行重点论述。 展开更多
关键词 细胞程序性坏死 慢性疼痛 进展
在线阅读 下载PDF
借程序谋利的实践机理及其法律规制——基于程序成本视角的考察
6
作者 于龙刚 《思想战线》 北大核心 2025年第1期121-130,共10页
基层司法、执法、信访等领域中的滥诉、恶意投诉举报、谋利型上访等现象可以概括为借程序谋利。其具体表现为一方当事人通过启动或延长法律程序来迫使对方当事人和相关部门妥协退让,从而获取额外利益。高昂的程序成本增加了对方当事人... 基层司法、执法、信访等领域中的滥诉、恶意投诉举报、谋利型上访等现象可以概括为借程序谋利。其具体表现为一方当事人通过启动或延长法律程序来迫使对方当事人和相关部门妥协退让,从而获取额外利益。高昂的程序成本增加了对方当事人和相关部门的负担,使其产生了回避程序的心理和行为偏好,这为借程序谋利提供了现实可能。目前虽然有针对此类行为的法律规制体系,但由于实施成本过高,导致规制措施的使用率较低,规制效果不理想。因此,防范和减少此类行为,需要从成本调控的思路出发,一方面降低既有规制措施的成本,提高其使用率,从而改善规制效果;另一方面要压低程序的成本,减轻当事人和相关部门的程序负担,进而重塑其直面程序的心理和行为偏好。 展开更多
关键词 程序成本 程序回避 法律规制 成本调控
在线阅读 下载PDF
新时代纠纷非诉治理的程序法因应
7
作者 占善刚 张文浩 《内蒙古社会科学》 北大核心 2025年第4期90-98,F0002,共10页
基于纠纷治理机制的发展脉络与纠纷非诉治理的本体之维,功能主义视角下的纠纷非诉治理以国家和社会治理现代化为基准,实现了层次间的互构共进与内容上的有机整合。程序法之于纠纷非诉治理研究具有范式意义,其对于纠纷非诉治理的因应可... 基于纠纷治理机制的发展脉络与纠纷非诉治理的本体之维,功能主义视角下的纠纷非诉治理以国家和社会治理现代化为基准,实现了层次间的互构共进与内容上的有机整合。程序法之于纠纷非诉治理研究具有范式意义,其对于纠纷非诉治理的因应可归纳为两条关联的逻辑脉络:以程序法治的总体理念形塑新时代纠纷非诉治理、以法治程序的规范调适推进新时代纠纷非诉治理。纠纷非诉治理与程序法治在追求基层善治的意义上实现了原旨耦合,程序法治对于纠纷非诉治理的塑造意义体现在规范话语与指引建制两个层面。因此,应切实强化调解在多元解纷机制中的基础性作用,稳妥推进纠纷预防性法制的程序创新,有效激活非讼程序的纠纷非诉治理功能,严肃对待诉讼解纷的预期管理与示范解纷效应。 展开更多
关键词 诉讼中心主义 纠纷治理 程序法治 法治程序
在线阅读 下载PDF
基于污点分析与文本语义的固件程序交互关系智能逆向分析方法
8
作者 王磊 陈炯峄 +1 位作者 王剑 冯袁 《信息网络安全》 北大核心 2025年第9期1385-1396,共12页
针对嵌入式设备固件程序间交互关系逆向分析自动化程度低、准确率不高、分析效率低等问题,文章提出一种基于污点分析与文本语义的固件程序交互关系智能逆向分析方法。该方法构建了基于污点分析的关联函数代码切片算法,结合大语言模型的... 针对嵌入式设备固件程序间交互关系逆向分析自动化程度低、准确率不高、分析效率低等问题,文章提出一种基于污点分析与文本语义的固件程序交互关系智能逆向分析方法。该方法构建了基于污点分析的关联函数代码切片算法,结合大语言模型的语义理解能力,实现了二进制程序中交互信息的精准提取和关联代码片段的智能定位,此外,还设计了面向脚本文件和配置文件的专用交互信息提取方法,有效提升了方法处理非结构化文本数据的能力。实验结果表明,程序间交互关系逆向分析方法的检测准确率达93.2%,研究成果可为理解程序功能、实现通信控制、发现潜在漏洞等应用提供有效支撑。 展开更多
关键词 污点分析 大语言模型 逆向分析 程序交互
在线阅读 下载PDF
血管性痴呆小鼠模型通过RIPK1/RIPK3/MLKL信号通路诱导的海马区神经元程序性坏死对其学习记忆障碍的影响
9
作者 许晶晶 寇俊娜 +4 位作者 肖琳 秦梦珂 杜冉 陈晨 郭思 《华中科技大学学报(医学版)》 北大核心 2025年第3期357-362,共6页
目的研究血管性痴呆(vascular dementia,VaD)小鼠模型海马神经元的死亡机制,探讨海马神经元程序性坏死与VaD小鼠学习记忆受损之间的关系。方法慢性脑低灌注血管性痴呆小鼠模型采用双侧血管阻断法(bilateral occlusion of the common car... 目的研究血管性痴呆(vascular dementia,VaD)小鼠模型海马神经元的死亡机制,探讨海马神经元程序性坏死与VaD小鼠学习记忆受损之间的关系。方法慢性脑低灌注血管性痴呆小鼠模型采用双侧血管阻断法(bilateral occlusion of the common carotid arteries,2VO)构建。用Morris水迷宫检测小鼠模型学习记忆能力。用实时荧光定量PCR(qPCR)法检测动物模型海马区神经元RIPK1、RIPK3和MLKL mRNA的表达。免疫印迹法检测RIPK1、RIPK3、pRIPK3和MLKL蛋白的表达,并与小鼠模型学习记忆能力进行相关性分析。免疫荧光双标记法检测RIPK1、RIPK3和MLKL的共定位情况。结果qPCR检测发现,与假手术组相比,VaD组小鼠模型海马区神经元RIPK1、RIPK3和MLKL的mRNA表达显著增高。免疫印迹结果显示VaD组小鼠模型海马区神经元RIPK1、pRIPK3、和MLKL的蛋白表达水平明显增高。免疫荧光双标记显示在小鼠模型海马区,RIPK1、RIPK3与MLKL共表达定位显著增强。进一步研究发现,程序性坏死标志物RIPK1、RIPK3和MLKL的表达与小鼠模型目标象限停留时间及穿越平台次数呈负相关关系。结论在VaD小鼠模型中,海马神经元的丢失及其学习记忆功能障碍的发生发展,可能是通过激活RIPK1/RIPK3/MLKL信号通路,进而引起海马神经元程序性坏死所致。 展开更多
关键词 血管性痴呆 认知障碍 程序性坏死 慢性脑低灌注 海马
在线阅读 下载PDF
实体与程序之维下的配偶财产利益保护——以夫妻共同财产处分及夫妻债务清偿为例 被引量:1
10
作者 汪洋 姜惠雯 《交大法学》 北大核心 2025年第3期67-83,共17页
配偶财产利益受损的典型场景是夫妻一方单独处分共同财产及将共同财产用于夫妻债务清偿。实体法上,当夫妻一方以低价或无偿方式处分共同财产时,需要结合具体情况分别适用恶意串通、婚内析产和悖俗无效规则对配偶利益进行救济。当夫妻对... 配偶财产利益受损的典型场景是夫妻一方单独处分共同财产及将共同财产用于夫妻债务清偿。实体法上,当夫妻一方以低价或无偿方式处分共同财产时,需要结合具体情况分别适用恶意串通、婚内析产和悖俗无效规则对配偶利益进行救济。当夫妻对外负债时,针对责任财产范围和清偿顺序,应当结合债务产生原因及配偶是否从中获益进行分类。程序法对配偶利益保护的侧重点在于配偶如何参加诉讼。配偶能够作为无独立请求权第三人或有独立请求权第三人参加诉讼,并适用《民法典》第1060条和第1064条建立起“主张抗辩再抗辩”的证明责任规范体系。执行程序中,在交易相对人要求移转占有或变更登记共同财产时,配偶只有在非因自己过错、未能参与前诉时,才能提起执行异议,并启动第三人撤销之诉。在债权人要求夫妻一方偿还个人债务或共同债务时,法院无须追加配偶为被执行人,得直接执行共同财产。如果配偶接受夫妻一方转让或赠与特定财产且未完成对外公示时,其在符合特定条件时,配偶持有的财产权可以对抗执行债权,并排除法院强制执行。 展开更多
关键词 内外归属方案 配偶利益 实体法和程序法双重视角 夫妻共同财产 夫妻债务
在线阅读 下载PDF
CBFuzzer:基于执行上下文导向及保护突破的程序缺陷模糊检测
11
作者 唐成华 蔡维嘉 +1 位作者 杨萌萌 强保华 《计算机研究与发展》 北大核心 2025年第3期790-807,共18页
大量的应用实践证明了模糊测试用于检测程序脆弱性的有效性.现有的模糊测试方法缺少针对具体测试任务表现的差异性进行分析并适当地调整测试策略,更多的是采取统一流程导致测试结果差强人意.有必要根据测试过程中的具体信息对策略进行... 大量的应用实践证明了模糊测试用于检测程序脆弱性的有效性.现有的模糊测试方法缺少针对具体测试任务表现的差异性进行分析并适当地调整测试策略,更多的是采取统一流程导致测试结果差强人意.有必要根据测试过程中的具体信息对策略进行修正以达到更好的测试表现,提出了一种新的基于执行上下文导向的程序缺陷模糊测试方法,并能突破保护机制,通过捕获并分析受检程序对输入测试用例实际处理过程中的具体上下文信息,快速探索程序结构特征,对样本突变策略进行优化.同时,在相关算法的基础上实现了基于执行上下文导向的程序缺陷模糊检测原型工具CBFuzzer.实验结果表明,CBFuzzer能有效地实现对程序内部结构的快速探索(包括对保护机制的突破)、非常规程序状态转换的模拟以及更高效的脆弱点暴露.与对照方法相比,CBFuzzer在脆弱点暴露能力方面有6.8%~36.76%不同程度的提升,实际脆弱点的检出数量提升率最高达到66.67%.在可接受范围内的少量额外测试资源的投入下,CBFuzzer不仅在常规漏洞类型的检出效果上得到提高,并且对于隐匿性强的漏洞类型有更高的检测能力.截至2023年8月10日,通过CBFuzzer在13个测试任务中共发现了126个新的漏洞(已报告给软件开发者,并提交给CVE?组织). 展开更多
关键词 程序缺陷 执行上下文 保护机制 模糊测试 漏洞检测
在线阅读 下载PDF
刑事审判速决程序书面审的应用及其边界
12
作者 拜荣静 贾祖莲 《西北师大学报(社会科学版)》 北大核心 2025年第5期134-144,共11页
刑事审判速决程序已经形成速裁、简易程序两种模式。开庭对席审理方式能够坚守程序正义,但是诉讼效率受限,速决程序书面审理方式可以体现多种诉讼价值。速决程序书面审理方式适用以“案件事实清楚”为前提,由法庭对案件进行类型化处理,... 刑事审判速决程序已经形成速裁、简易程序两种模式。开庭对席审理方式能够坚守程序正义,但是诉讼效率受限,速决程序书面审理方式可以体现多种诉讼价值。速决程序书面审理方式适用以“案件事实清楚”为前提,由法庭对案件进行类型化处理,并及时公开审判信息以保障公众认可度和司法权威性;同时保障被追诉人各诉讼阶段适用书面审理程序的异议权、程序选择权和回避权,以确保书面审理方式的可行性。速决程序书面审理方式应建立审前同意保障机制、书面审理与开庭审理的切换机制、重构审理后异议机制,促进司法资源优化配置,减少被追诉人羁押时间。 展开更多
关键词 刑事审判 速决程序 书面审理 诉讼效率
在线阅读 下载PDF
一种结合飞行程序的机场鸟击综合风险评估法
13
作者 史跃亚 林睿浚 +2 位作者 王海鑫 贾静雯 盛昀 《四川动物》 北大核心 2025年第3期272-282,共11页
为提升鸟击风险评估的精准性,将机场及周边划分为机场围界内区域(区域A)、离场程序对应区域(区域B)、进近程序对应区域(区域C)和其他区域(区域D),构建基于区域重要值与鸟类距跑道、航线距离等因素的鸟击综合风险评估模型,并与传统法(全... 为提升鸟击风险评估的精准性,将机场及周边划分为机场围界内区域(区域A)、离场程序对应区域(区域B)、进近程序对应区域(区域C)和其他区域(区域D),构建基于区域重要值与鸟类距跑道、航线距离等因素的鸟击综合风险评估模型,并与传统法(全区域重要值×飞行高度系数)对比分析评估结果。典型物种分析表明:小云雀Alauda gulgula因区域相对数量超传统全区域相对数量,风险等级由四级跃升至一级;黄臀鹎Pycnonotus xanthorrhous风险等级为区域A(一级)、区域B(二级)和C、D(三级),因其区域相对数量高,且活动范围与航线空间重叠度高;白鹭Egretta garzetta区域C风险等级达一级(传统四级),归因于山地地形至航线垂直距离小,且航线贯穿其核心活动区。另外,各区域个体风险值呈现显著空间分异特征。研究表明,融合了鸟类活动与飞行程序、地理因素的鸟击综合风险评估法能更精准刻画鸟种威胁差异,支持区域差异化防控策略。该研究为机场鸟击防范提供了动态化、精细化的科学工具。 展开更多
关键词 鸟击风险评估 飞行程序 鸟击防范 鸟击风险分布
在线阅读 下载PDF
论破产程序中担保债权与税收债权之协调
14
作者 袁凤林 方州闽 《会计之友》 北大核心 2025年第7期32-37,共6页
破产程序中担保债权与税收债权之间存在规范冲突与竞合,已成为理论和实践层面需要反思的问题。税收优先权在破产程序中缺乏存续的正当性理由,其经济效应主要体现为对担保物权制度及相关社会信用制度的影响和冲击,对税收优先权不加限制... 破产程序中担保债权与税收债权之间存在规范冲突与竞合,已成为理论和实践层面需要反思的问题。税收优先权在破产程序中缺乏存续的正当性理由,其经济效应主要体现为对担保物权制度及相关社会信用制度的影响和冲击,对税收优先权不加限制可能导致的价值失范和利益失衡应予以必要的纠正与调适。文章采用解释论的研究方法,指出担保债权应当优先于税收债权受偿。这是因为:一方面,在“新的一般法”与“旧的特别法”存在冲突的情况下,优先适用《企业破产法》具有逻辑上的合理性;另一方面,税收债权与担保债权之冲突是立法者有意回避的“隐蔽型”漏洞,需对《税收征管法》第四十五条进行目的性限缩。 展开更多
关键词 破产程序 担保债权 税收债权 优先顺位 解释论
在线阅读 下载PDF
证券程序化交易违法犯罪行为模式、治理困境及应对策略
15
作者 于光耀 《中国人民公安大学学报(社会科学版)》 北大核心 2025年第4期12-21,共10页
随着信息技术与金融市场深度融合,人工智能控制的证券程序化交易盛行,程序化交易正在改变传统证券交易行为模式,对以人工交易模式为基础的传统治理方式提出严峻挑战。证券程序化交易策略分为流动性策略、无效定价策略以及掠夺性策略,其... 随着信息技术与金融市场深度融合,人工智能控制的证券程序化交易盛行,程序化交易正在改变传统证券交易行为模式,对以人工交易模式为基础的传统治理方式提出严峻挑战。证券程序化交易策略分为流动性策略、无效定价策略以及掠夺性策略,其中掠夺性策略中的虚假申报、塞单交易、试单交易、动量引爆等行为构成操纵证券市场。但是,实践中规制此类违法犯罪行为仍存在着法律法规滞后、司法解释模糊、缺乏法律、金融、技术等专业化人才协作机制,以及交易所干预措施单一、行政监管与刑事追责之间缺乏常态化信息共享与联动机制等诸多困境。对此,应当进一步完善相关法律法规,推动出台配套司法解释,加强专业化人才协作机制建设,完善程序化交易报告的差异化制度,设立多级响应干预机制,建立数字监管信息平台,最终形成以行政规制为基础、以刑事威慑为后盾、以多方协同为支撑的综合治理体系。 展开更多
关键词 证券违法犯罪 程序化交易 治理困境 应对策略
在线阅读 下载PDF
螺旋曲面四轴数控铣削宏程序编程的研究
16
作者 耿晓明 张德三 《机械设计与制造》 北大核心 2025年第6期146-150,共5页
数控宏程序编程一般常用于三轴以下数控加工。多轴数控加工因坐标轴数量增加,编程时即要考虑各点位的多轴坐标,还要考虑刀位角等加工因素,利用宏程序编程难度较高,一般常用CAM软件自动编程。为拓展宏程序在多轴数控加工的应用,通过以典... 数控宏程序编程一般常用于三轴以下数控加工。多轴数控加工因坐标轴数量增加,编程时即要考虑各点位的多轴坐标,还要考虑刀位角等加工因素,利用宏程序编程难度较高,一般常用CAM软件自动编程。为拓展宏程序在多轴数控加工的应用,通过以典型螺旋曲面类零件整体叶轮加工为例,在分析其数学模型算法的基础上,采用四轴数控铣削方式进行宏程序编程,并利用VERICUT软件进行数控仿真加工验证。通过案例编程,探讨四轴宏程序编程特点,归纳此类零件四轴数控加工宏编程要点,可拓展多轴数控宏程序编程思路,发挥宏程序编程的优势。 展开更多
关键词 螺旋曲面 叶轮 四轴铣削 程序 算法 仿真加工
在线阅读 下载PDF
证券期货市场程序化交易报告制度的优化路径
17
作者 钟维 钱程 《证券市场导报》 北大核心 2025年第5期39-49,共11页
作为规制程序化交易的重要工具,我国的程序化交易报告制度应当以预防市场风险和辅助事后追责为应然功能,在具体报告内容、行政责任框架和私法规则衔接等三个方面进行优化。在报告内容方面,报告制度应当完善其信息收集机制,以“反设事实... 作为规制程序化交易的重要工具,我国的程序化交易报告制度应当以预防市场风险和辅助事后追责为应然功能,在具体报告内容、行政责任框架和私法规则衔接等三个方面进行优化。在报告内容方面,报告制度应当完善其信息收集机制,以“反设事实”作为交易者报告详细程度的标准,向监管机构披露影响算法决策的主要因素;同时,允许监管机构在执法必要时检查源代码,并构建算法标记机制作为辅助工具。在行政责任方面,应当以激励相容为关键逻辑构建责任框架,通过精细化设置责任、强化交易者责任的方式,激励交易者妥善履行报告义务。在私法效力方面,违反报告制度可能会导致程序化交易者的交易资格受限,但宜审慎延伸至交易行为的效力和证券期货公司的民事责任。 展开更多
关键词 程序化交易 量化交易 算法交易 报告制度 金融监管
在线阅读 下载PDF
分布存储并行程序变异算子有效性评估
18
作者 田甜 王苗苗 +1 位作者 李成龙 巩敦卫 《电子学报》 北大核心 2025年第3期864-877,共14页
变异测试通过注入变异算子生成变异体模拟软件中的潜在缺陷,是提高软件质量的关键技术.大量变异体及其执行成本制约着变异测试的研究进展和在工业领域的应用.选择有效的变异算子是减少变异体数量的主要途径.针对分布存储并行程序,本文... 变异测试通过注入变异算子生成变异体模拟软件中的潜在缺陷,是提高软件质量的关键技术.大量变异体及其执行成本制约着变异测试的研究进展和在工业领域的应用.选择有效的变异算子是减少变异体数量的主要途径.针对分布存储并行程序,本文提出变异算子有效性评价准则.从顽固变异体、崩溃变异体和等价变异体3个方面对变异体进行分类;基于不同变异体对测试数据质量的影响,定义变异算子有效性评价准则,分析不同变异算子的有效性.实验结果表明,使用本文提出的评价准则能够选择合理的变异算子,基于这些变异算子能够生成更多的有效变异体和尽可能少的无效变异体,在保持变异测试有效性的前提下,平均减少了22.61%的变异体,提高了变异测试效率. 展开更多
关键词 分布存储 并行程序 变异测试 变异算子 变异体
在线阅读 下载PDF
社会共治视阈下食品安全行政公益诉讼审前程序优化分析
19
作者 袁航 李娜薇 《食品与机械》 北大核心 2025年第3期57-61,共5页
食品安全行政公益诉讼不仅是行政公益诉讼的法定范围,也是中国食品安全社会共治体系的一部分。其中,审前程序有其独立价值,是平衡行政权与检察权的重要制度设计。在食品安全社会共治的视阈下,审前程序是实现行政机关监管归位的最优选择... 食品安全行政公益诉讼不仅是行政公益诉讼的法定范围,也是中国食品安全社会共治体系的一部分。其中,审前程序有其独立价值,是平衡行政权与检察权的重要制度设计。在食品安全社会共治的视阈下,审前程序是实现行政机关监管归位的最优选择。文章通过审视目前食品安全行政公益诉讼审前程序在司法实务中存在独立地位及专业性缺失等问题,进而提出推进相关立法、引入多元主体等优化路径。 展开更多
关键词 食品安全 行政公益诉讼 社会共治 审前程序
在线阅读 下载PDF
安卓应用程序反动态分析技术研究进展
20
作者 孙国梓 索得文 何韩森 《南京邮电大学学报(自然科学版)》 北大核心 2025年第4期78-89,共12页
安卓平台因其开放性成为开发者和用户的首选移动操作系统,但其应用程序面临的恶意分析和逆向工程威胁日益严峻,严重影响用户数据安全和隐私保护。现有研究虽然涉及反静态分析和部分反动态分析技术,但对反动态分析技术缺乏系统性总结。... 安卓平台因其开放性成为开发者和用户的首选移动操作系统,但其应用程序面临的恶意分析和逆向工程威胁日益严峻,严重影响用户数据安全和隐私保护。现有研究虽然涉及反静态分析和部分反动态分析技术,但对反动态分析技术缺乏系统性总结。文中聚焦反动态分析技术中的反调试、虚拟环境检测和Root检测三大方向,通过对300个实际APK样本的深入分析,总结了各类技术的实现机制、适用场景及其优劣,并从部署复杂度、有效性和抗攻击能力等维度进行了全面对比。提供了一个综合的反动态分析技术视图,旨在为安卓应用程序反分析技术研究提供全面的参考。 展开更多
关键词 安卓应用程序 安卓安全 反动态分析技术 逆向工程
在线阅读 下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部