违约损害赔偿中的抽象计算方法研究

违约损害赔偿中的抽象计算方法是指在债务人不再履行原给付义务的情况下,债权人可以请求赔偿合同价格与给付标的的市场价格的差额。其学理依据主要是,为实现债权人的期待利益,应当肯定其对于债务人的给付的金钱价值或金钱给付享有权利。抽象计算方法的适用以债务人方面成立违约责任、合同已被解除、债权人未从事替代交易或替代交易不宜作为计算的基础以及给付标的有市场价格为前提。市场价格的标准时原则上应为合同解除时,标准地应为履行地或其他合理的替代交易地。

一个计算机系统抽象模型(AMCS)及其性能的研究

文章建立一个AMCS(AbstractModelofComputerSystem)模型,可作为研究单机系统、多机系统和计算机网络的一个统一模型,并进一步分析了这个AMCS模型的性能,推导出其表达式:Q=(α·p)/(ň·β·tψ)。这个公式表明了影响AMCS性能的因素和提高其性能的途径。

Fortran内存泄漏静态检测方法研究

内存泄漏在没有垃圾回收机制的语言中是常见的问题,虽然Fortran95引入ALLOCATABLE数组解决了部分泄漏问题,但是通过指针申请内存资源仍然会造成泄漏,现有研究对Fortran内存泄漏的检测流程适配度不高且面向Fortran内存状态分析的效率和精确度上仍存在优化空间.针对这一问题,本文提出了一种面向Fortran指针引发的内存泄漏静态检测方法.首先引入指针引用控制流图(PR-CFG,Pointer Reference-Control Flow Graph)来精简程序模型,并符号化程序节点的内存状态信息,依据数据流生成路径敏感的符号化函数摘要作用于过程间分析,最终通过PR-CFG节点上由抽象内存状态计算得到的内存状态集进行故障模式状态机的状态转化来实现内存泄漏的检测.实验表明,本方法提高了Fortran指针引发内存泄漏的检测精度和效率,降低了检测的误报率.

财产损害计算的价值基准与规范表达

财产损害不等于侵害财产造成的损失。财产损害的本质在于能够用金钱衡量的不利变化,侵害财产或人身权利都可能造成财产损害。财产损害的计算具有深厚的规范评价色彩,应当立足于损害赔偿功能实现的价值立场。《民法典》第1184条中的“市场价格”标准是财产损害客观化的体现,对应的是抽象的损害计算方法。这在实体法上构成损害的最低范围,在程序法上可减轻受害人的证明责任。“其他合理方法”主要是指具体的损害计算,其实质在于评价受害人的具体财产状态,对此应承担更高的举证责任。在具体适用上,两种计算方法的举证承担有明显差异,受害人对此享有选择权。“损失发生时”作为唯一的时间点对受害人而言构成不当限制,有悖于损害填补功能的实现,应将其限定于被侵害标的物本身所遭受的侵害后果;对于其他损害,应区分程序和实体两个维度,以庭审结束时作为确定损害相关事实的时间点;在作出赔偿判决时,也应将嗣后的损害发展状况考虑在内。

基于语义映射及组件化方法的促销规则模型研究

针对电商促销规则形式繁多、结构复杂等问题,提出一种基于语义映射结合组件化方法的促销规则模型,通过建立业务语境到规则脚本的语义映射、提供组件化拓展能力、抽象计算接口等方法 ,在充分简化规则实现过程的同时,提高规则的复用能力。经过模型实例证明,使用该模型可以低代码方式快速完成电商促销规则的迭代更新,降低业务规则所需要的时间和成本。

多传感器数据融合的通讯复杂性问题

通讯复杂性理论是一个计算抽象模型,它关心的是系统内部之间的数据通讯量的大小。多传感器数据融合是指多个传感器跟踪多个目标,是一种多层次的、多方面的处理过程,这个过程是对多源数据进行检测、结合、相关、估计和组合以达到精确跟踪不同目标的目的。该文把复杂性秩理论应用到多传感器融合,以获得多传感器之间数据融合所需的最小的通讯条件。

违约可得利益损失赔偿的确定标准

我国《合同法》第113条规定违约责任中可得利益的赔偿额度以"预见或应当预见"为界限,但是司法裁判中经常援用"确定性规则"对可得利益损失赔偿不予支持。"可预见性规则"是在因果关系之外的附加要件,其目的是为了限制可得利益损失赔偿,避免违约方承担过分的赔偿责任,而"确定性"则是诉讼中判断是否存在可得利益时的证明标准问题。英美法及大陆法在可得利益证明标准方面现阶段通常采"极大可能性"理论。"可预见性"和"极大可能性"涉及的是可得利益的不同方面,二者同时满足才能使违约可得利益损失得到赔偿。另外,在确定可得利益的数额时可以选择具体计算方法或抽象计算方法,抽象计算方法一般仅适用于商业领域。