契约正义

摘要： 当前,区块链技术发展如火如荼,底层区块链的技术特征深刻影响着智能合约的技术特征,随之带来了新的民法问题.结合智能合约订立合同的技术障碍和我国监管层面的具体情况,为了有效保障当事人的契约自由和契约正义,需要对智能合约的自治秩序进行适当突破:智能合约可以成为订立合同的方式和承载合同内容的形式;除非当事人明示该合约没有法律约束力,否则采用智能合约并不代表当事人没有创设合同法律关系的意愿而排除合同法的适用.同时,区块链网络节点对于区块链网络和智能合约的运行存在着事实上的管控和维护关系,而且节点对合约的正常运行较他人应负有更高的注意义务.

摘要： 在2016年的债法改革法令生效之前,意思自治原则被视为《法国民法典》规定的契约法的唯一理论根据,即便《法国民法典》没有对这一原则作出明确规定.不过,鉴于这一原则与20世纪60年代以来的哲学观念和经济观念不相符,人们纷纷对这一原则作出严厉的批判,并最终导致这一原则被法国民法学者和法官所抛弃.在抛弃意思自治原则的同时,法国民法学者提出了各种各样的替代理论,以便作为契约法的新原则.不过,在2016年2月10日的债法改革草案中,法国政府没有将民法学者提出的替代理论作为《法国民法典》中所规定的契约法的新原则,因为它仅仅将契约自由原则视为契约法的新原则.

摘要： 《民法典》合同编的内在体系与《民法通则》《合同法》以及司法解释等存在较为明显的变化.它扩大了缔约方式,许可当事人约定合同成立的条件和时间,限制了国家订货合同的范围,从合同领域内部和外部两方面拓展了契约自由的领域,但又通过增设法定义务限制了契约自由;它通过强制要约和强制承诺规则、格式条款的成立控制和内容控制规则、保护特定合同中的交易角色等规则维护合同双方的实质平等,分配当事人之间因不确定性形成的风险等,强化了契约正义理念;它将无权处分中的买卖合同作为有效合同,规定不可抗力可适用情势变更的弹性法律效力等,进一步彰显了鼓励交易的理念.在契约自由和鼓励交易发生冲突时,《民法典》坚持契约自由优先,不许可当事人因合同成立时的特定瑕疵而变更合同内容,且未纳入司法解释淡化合同要素的规则.

摘要： 现代民法发展至今,经历了从"身份"到"契约",再从"契约"回归"身份"的沿革历程.在这一过程中,"契约"与"身份"的含义都发生了巨大变化,民法关注的重点从形式正义演化为实质正义,对个人权利的保护从均等保护到向弱者倾斜,其保护范围也从专注个人利益发展到兼顾社会团体利益.

摘要： 2018年12月,十三届全国人大常委会对民法典合同编草案继续进行审议,形成了民法典合同编(草案)二审稿(以下简称"二审稿")。二审稿共区分为通则、典型合同、准合同三个分编,计29章518条。尽管二审稿相比之前的草案有了长足的进步,值得赞许,但仍有诸多可以继续改进和不断完善的地方。为此,本刊委托北京航空航天大学法学院李昊副教授约请相关专家就合同法的核心原则、情势变更、完善租赁合同以及合同的解除、违约责任等问题展开深入研讨,希望以此促进草案的修改完善。

摘要： 生态系统服务理论的提出为生态服务付费制度的形成奠定了基础,现有生态补偿理论基础集中于经济学领域,但存在诸多问题.生态补偿理论基础应当以生态管理契约关系为基础,以契约正义为指向.生态系统经历了非制度性要素的制度化嬗变过程,其引申出的价值互换原理是法学思维下的生态补偿理论基础.草原独有的特征使草原生态补偿获得了特有的理论蕴含,即在立法限制与民族风俗习惯、生态保护与牧民生活质量、经济建设与生态文明建设三对关系之间实现利益平衡.

摘要： 正义是人类社会永恒的追求,也是公共政策的目标指向.但是,在不同历史阶段中,正义的内涵是不同的.工业社会是一个以交换关系和竞争关系为主导的社会,所追求的正义集中体现在罗尔斯的"公平的正义"的概念中,这是一种契约正义.后来的学者对罗尔斯的观点提出了批判和完善,但没有跳出契约正义的框架.后工业化社会是一个合作关系包容竞争关系的社会,这就要求正义从契约正义转向合作正义.政策过程也要做出相应的目标转向,应该在尊重个体差异的基础上促进合作行动,在共生共在的观念中实现正义追求.

摘要： 本发明的目的在于，即使在不能通过分组交换网同时建立两个以上的通信会话时，也能适当地提供基于预付费收费方式的收费信息。移动通信终端（10）具有：分组通信部（12），其经由分组交换网以预付费收费方式进行移动通信；获取部（14），其经由线路交换网，从对基于预付费收费方式的收费信息进行管理的契约信息管理服务器（21）获取本终端的收费信息；以及输出部（15），其输出通过获取部（14）获取的收费信息。包含契约信息管理服务器（21）的契约信息管理系统（20）具有检测部（23），其检测移动通信终端（10）在分组交换网中的通信，契约信息管理系统（20）在进行了检测部（23）的检测时，经由线路交换网对移动通信终端（10）发送收费信息。

摘要： 本发明提供一种年金契约的系统与由年金契约的系统所执行的方法，包含有：处理一使用者参与一资金竞标机制；当一年金契约开始给付时，经由该资金竞标机制与一资金管理机制，产生一金额进行给付；以及当该使用者的该年金契约的缴费期期满时，依据该年金契约与该使用者参与该资金竞标机制的结果及该资金管理机制的结果来结算该使用者的资产余额以决定一年金给付金额。

摘要： 一种在使用无人契约机进行需要多个证明书的契约时，缩短其交易时间的装置。无人契约机，对应普通的证明书在存储部中保存记载了证明书的尺寸信息的证明书尺寸信息表，当接受了由顾客输入的多个证明书的选择输入后，从证明书尺寸信息表，读出各个证明书的尺寸信息，基于这些尺寸信息来设定要读取各个证明书图像的坐标区域，在显示设定的坐标区域，并将多个证明书放置扫描部后，读取多个证明书的证明书图像取得复合证明书图像，将在其上添加了各个坐标区域后的证明书信息向操作终端发送，当操作终端接收了来自无人契约机的证明书信息后，基于添加的坐标区域，将所接收的证明书信息的复合证明书图像切分成各个证明书图像并显示在显示部。

摘要： 一种持卡人请求兑现与卡相关的契约和发卡者签认该契约的方法,该方法允许持卡人与发卡者之间进行远程接触并且确保它们的安全。发卡者发行卡,每张卡分别具有一个标识符和相应的核对符,后者被遮蔽工具隐藏。持卡人向发卡者发送标识符和用于规定契约的兑现的指示符。发卡者确认其先前未向任何人提供过与所提供的标识符和不同于所提供指示符的指示符相约束的签名答复,对与标识符和核对符相约束的答复进行签名,并将签名的答复发送给持卡人。持卡人核对在答复上的签名并检验签名答复是否与他发送给发卡者的标识符和指示符相约束,之后,将卡的核对符发送给发卡者。发卡者将检验核对符是否与标识符相对应,之后将根据与卡相关的契约和持卡人的指示符签认契约。本发明可以用于在彩票业、银行和商业活动以及其他领域中出售货物和服务。

摘要： 本发明提供一种基于收益共享契约的电信运营商动态定价系统与方法，属于电信服务业中的定价与供应链优化领域。所述方法包括：每一期开始，电信运营商观察到每个套餐的已订阅用户数与使用量分布，决策本期每个套餐的开放状态以及收益共享比例。然后，代理商决策各套餐的批发数量，最后，用户随机到达，向代理商购买套餐或不购买直接离开。所有用户支付套餐费用并使用电信服务。由于网络容量有限，每一期都有可能发生网络拥塞而部分用户离网。基于本期期末仍然在网的新用户数，电信运营商向代理商支付“在网酬金”。利用动态规划求解运营商动态定价模型可获得最优定价。采用本发明，可以实现电信运营商最优动态定价与优化供应链。

摘要： 本发明涉及微服务技术领域，具体是一种基于契约的实现服务依赖发现和服务访问的路由方法，包括以下步骤，S1.根据规范的微任务接连口建立服务契约，对服务契约进行命名，利用服务契约名称作为微任务接连口的默认名称，并依据规格契约生成服务的默认实现代码；S2.利用得到的契约对外发布生成契约服务的规格，将根据代码部署完一个服务后，在任务列表里记录下对向的信息，将对向信息更新到存储环境里，在任务启动的情况下，通过存储环境地址获取任务的地址。本发明利用构建虚拟本体服务器的方法，使得微服务在研发的过程中前后端研发解耦，进而使得前后端研发不用互相等待，缩短研发时间，因此提高了微服务研发开发效率。

摘要： 本发明公开一种健康群智感知场景下基于契约理论的个体决策模型构建方法及系统，该方法基于健康群智感知系统，该方法包括：基于个体保持身体健康的内在动机、技术的使用成本、承担的风险、平台提供的个性化医疗指导服务、兼容性和复杂性的影响，构建个体效用函数；提取效用函数中个体保持身体健康的内在动机、技术的使用成本、承担的风险、平台提供的个性化医疗指导服务与疾病等级的关系，建立约束条件；基于构建的个体效用函数和约束条件构建个体决策模型。本发明根据个体保持身体健康的内在动机、技术的使用成本等关键因素构建了决策模型，可以对个体对HCS技术的接受能力进行评估，且当决策因素变化时，个体决策结果不同。

摘要： 本申请公开了一种基于定长报文的契约测试方法、装置、系统和介质，可应用于金融领域或其他领域。该方法包括：获取各个项目对应的接口，以及各个接口的使用方和提供方之间预先建立的契约协议，当接收到接口对应的定长报文时，对定长报文进行解析得到当前接口使用方对应的标识，以识别当前接口使用方，根据当前接口使用方和当前接口提供方得到对应的当前契约协议，将当前契约协议与预先建立的契约协议之间进行遍历匹配，当匹配成功时，则判断当前接口的契约测试成功。从而可以自动化实现各微服务接口之间定长报文的契约测试，效率较高，以便测试出现问题时及时通知技术人员进行修改调整。

摘要： 本申请提供一种契约单证生成方法、装置、电子设备及存储介质。方法包括：接收多个任务，每个任务包括业务标记；根据业务标记将接收到的多个任务发送给对应的消息队列进行分流；针对每一个任务，进行任务处理：向契约平台发送服务请求，获得保单基本数据；调用多个外部系统，获取外部数据；根据保单基本数据和外部数据调取打印模板；调用输出平台，生成保单。本申请提供的契约单证生成方法、装置、电子设备及存储介质，能够依照业务标记可在系统中建立多个消息队列，在接收到任务后，根据任务的业务标记将其发送给对应的消息队列，以便于实现并行大批量任务同时处理，以避免系统资源被某一任务长时间占用而造成任务堵塞的问题。

摘要： 本发明提供一种基于流程和函数的轻量化契约式软件开发方法，包括步骤S1：产品经理逐层分解业务，填写各个业务的描述，形成业务分类树；项目经理和架构师在业务分类树的节点下设计业务流程图；业务分类树和业务流程图导出文档，形成软件的业务契约；步骤S2：架构师将业务流程图中的各个功能点使用函数来定义输入输出接口；函数接口及其描述可视化展示以及导出文档，形成软件的技术契约；开发人员基于软件的技术契约，利用工具自动化产生函数的实现代码框架；本发明可以看到代码中的流程和业务是否准确实现，准确理解业务需求，遵循业务契约完成编码，保证开发人员实现的功能点能够满足设计要求。