-
题名财产损害计算的价值基准与规范表达
- 1
-
-
作者
徐建刚
-
机构
中央财经大学法学院
-
出处
《法学》
北大核心
2024年第6期108-123,共16页
-
基金
国家社科基金重点项目“实施民法典提升社会治理法治化水平研究”(项目号:23AZD046)
中央财经大学青年教师发展基金项目“民法典背景下损害赔偿制度的统一内在体系研究”(批准号:QJJ2202)的阶段性成果。
-
文摘
财产损害不等于侵害财产造成的损失。财产损害的本质在于能够用金钱衡量的不利变化,侵害财产或人身权利都可能造成财产损害。财产损害的计算具有深厚的规范评价色彩,应当立足于损害赔偿功能实现的价值立场。《民法典》第1184条中的“市场价格”标准是财产损害客观化的体现,对应的是抽象的损害计算方法。这在实体法上构成损害的最低范围,在程序法上可减轻受害人的证明责任。“其他合理方法”主要是指具体的损害计算,其实质在于评价受害人的具体财产状态,对此应承担更高的举证责任。在具体适用上,两种计算方法的举证承担有明显差异,受害人对此享有选择权。“损失发生时”作为唯一的时间点对受害人而言构成不当限制,有悖于损害填补功能的实现,应将其限定于被侵害标的物本身所遭受的侵害后果;对于其他损害,应区分程序和实体两个维度,以庭审结束时作为确定损害相关事实的时间点;在作出赔偿判决时,也应将嗣后的损害发展状况考虑在内。
-
关键词
财产损害
抽象计算
具体计算
时间点
-
Keywords
property damage
abstract calculations
specific calculations
time point
-
分类号
D92
[政治法律—法学]
-
-
题名Fortran内存泄漏静态检测方法研究
- 2
-
-
作者
罗坤
金大海
宫云战
-
机构
北京邮电大学网络与交换技术国家重点实验室
-
出处
《小型微型计算机系统》
CSCD
北大核心
2024年第7期1778-1786,共9页
-
基金
国家自然科学基金项目(U1736110)资助.
-
文摘
内存泄漏在没有垃圾回收机制的语言中是常见的问题,虽然Fortran95引入ALLOCATABLE数组解决了部分泄漏问题,但是通过指针申请内存资源仍然会造成泄漏,现有研究对Fortran内存泄漏的检测流程适配度不高且面向Fortran内存状态分析的效率和精确度上仍存在优化空间.针对这一问题,本文提出了一种面向Fortran指针引发的内存泄漏静态检测方法.首先引入指针引用控制流图(PR-CFG,Pointer Reference-Control Flow Graph)来精简程序模型,并符号化程序节点的内存状态信息,依据数据流生成路径敏感的符号化函数摘要作用于过程间分析,最终通过PR-CFG节点上由抽象内存状态计算得到的内存状态集进行故障模式状态机的状态转化来实现内存泄漏的检测.实验表明,本方法提高了Fortran指针引发内存泄漏的检测精度和效率,降低了检测的误报率.
-
关键词
Fortran指针
内存泄漏检测
PR-CFG
符号化函数摘要
抽象内存状态计算
-
Keywords
fortran pointer
memory leak detection
PR-CFG
symbolic function summary
abstract memory state calculation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
