契约论

摘要： 联邦学习(Federated Learning,FL)是一种新兴的分布式机器学习范式,它允许移动设备以分散的方式协作训练全局模型,同时保持训练数据在终端上面。然而,由于数千个异构分布式终端设备参与FL任务,所以FL面临的挑战是通信效率问题。为了解决上述问题,基于边缘计算的FL被提出来了,即边缘联邦学习。边缘计算利用终端设备附近的边缘节点执行模型参数的下发和聚合,进而降低通信时间。尽管有上述巨大的好处,多任务的边缘联邦学习的激励机制尚未得到很好的解决。因此,提出了一种融合契约论和匹配博弈的激励机制;然后,基于三个数据集的实验结果验证了该激励机制和匹配算法的有效性。

摘要： 联邦学习(Federated Learning,FL)是一种分布式神经网络训练的方法,它使多个终端协作训练一个共享的神经网络模型,同时保证训练数据存在于终端上。然而,FL涉及数千个异构分布式终端设备。在这种情况下,低效的通信是FL的关键瓶颈。为了解决上述问题,一种融合边缘计算的分层联邦学习(Hierarchical FL,HFL)框架被提出来了。尽管HFL有上述的巨大好处,但是激励机制设计的挑战在HFL框架中尚未得到解决。因此,提出了一种基于契约论的双层激励机制方法;然后,基于CIFAR10数据集的实验结果验证了该激励机制的有效性。

摘要： 在西方近代政治哲学对国家合法性的理论证成范式中,最为流行的莫过于契约论式的国家观。然而,在自由主义政治哲学内部,除契约论式的国家合法性证成的理论路线外,还有非契约论的理论路线。非契约论者对于传统和习俗在国家起源和合法性论证中作用的强调,对现代政治哲学产生了深刻的影响,也对国家治理的现代化富有启发意义。

摘要： 前现代社会与现代社会在经济发展、科技进步以及价值取向上存在着明显差异,这对人类伦理道德观念的塑造产生了根本性的影响。探究现代社会道德建构的逻辑理路,就会发现在现代社会,伦理道德得以建构的逻辑起点或者说道德得以塑造的逻辑理路的首要环节是人之个体。在现代社会,道德作为人际行为规范,是保护个体之人的利益特别是其最基本的利益的,这些最基本利益的保护如果在某一或某些主管或应答者面前得到要求与主张,便上升为权利。因此,道德首先是权利系统,其次才是义务系统,且在伦理学的视野里,作为道德的义务系统完全是从作为道德的权利系统中推导出来的。同时,在现代社会,这些道德义务或规范不是上天命定的,而是作为行为主体的个体通过契约的方式建构的。现代社会道德得以论证的理论基础是契约论或契约主义。进而,从自主确立和自觉履行义务的行为中可以看到道德与理性的联结以及从自由到道德的必然过渡,尽管现代社会的道德建构仅仅呈现为一种思想实验,而非对现代道德发生过程真实历史场景的再现,然而,对现代社会道德建构逻辑理路的勾画,可以展现现代伦理价值、道德原则、文明观念之间内在的逻辑联系,以及它们的理论说服力和实践指导意义。

摘要： 平等的实现是正义理论的应有之义。在不同的分配正义理论中,平等具有不同的定位和内涵。只有对平等在不同分配正义理论中的定位进行深入探究,才能对不同的分配正义理论具有深刻全面的理解,进而找到实现平等的路径。传统契约论的分配正义理论由于最初状态法权理论与契约形式的不正当性而无法达到经济的实质平等。罗尔斯的正义论通过假设无知之幕的原初状态对契约形式进行改进,减少了一部分实质不平等,但由于对最初状态法权理论缺乏深入批判,仍无法达到实质平等。马克思分配正义观对最初状态法权理论进行彻底批判,向经济实质平等的理论实现迈进了伟大的一步。

摘要： 在规范伦理学的大家庭里,将契约视为道德论证之出发点的契约论无疑是一个重要的理论流派。作为近代以来标志性的理论范式,契约论是一种道德哲学、社会哲学和政治哲学,其特点就在于将道德规范的本源、社会秩序的基础和政治统治的依据,归溯为自由与平等的行为主体在一种虚拟的初始状态下所签订的契约。这种契约体现的是行为主体在维护自身基本利益与需求上的自主意志,因而能够得到社会成员的普遍认可,并且构成了人类行为的规则、社会制度的合理性以及政治权威的合法性的一种客观标准。作为近代以来标志性的理论范式,契约论伦理学凭借其内容简洁深刻、形式明了实用的优势,在与伦理学领域其他各种理论的竞争中脱颖而出,成长为当代最具生命力和影响力的流派。

摘要： 各位朋友、各位学者:上午好!“中国传统契约观念现代转化”学术研讨会,由于疫情等种种原因而一再推延,今天终于得以召开。在此,对于各位朋友的理解、支持、参与,表示由衷的感谢!这次会议的缘起,虽然是郭萍主持的国家社科基金项目“中国传统契约观念研究”~((1)),但“中国传统契约观念现代转化”这个问题本身却也是一个真正具有重大意义的课题。

摘要： 近年来,国内历史知识传播的主流话语主要分为如下四种。其一,启蒙叙事。启蒙叙事影响深远,其内在的逻辑就是将西方的人之主体性、个体性原则以及附随的契约论结构视为重组社会、实现现代化转型的要义,且假定西方现代化转型的路径具有普适性。于是,以所谓的“自由”“平等”“个体”等元素作为价值规范,组织历史叙事的话语资源。

摘要： 自然法学说是近代契约论政治哲学的理论基石.休谟认为自然法学说中的"理性"概念存在着逻辑、事实与道德的内在混淆.通过对契约论的质疑和解构,基于自然主义立场,休谟从"利益"和"需要"的角度解释了人类政治建构的起源与基础,为后来19世纪功利主义政治哲学的兴起提供了直接性的理论框架.休谟在"契约论"向"功利论"政治哲学的转向中扮演了极为重要的过渡性角色,但他既不是一名契约论者,也不是任何形式的功利主义者.

摘要： 迈克尔·桑德尔对约翰·罗尔斯的契约论的批判主要集中在质疑契约的道德力量、指出罗尔斯对原初状态的经验主义解读存在的缺陷和反驳契约主义的论证方式.实际上,上述批判难以令人信服:第一,契约论内部不存在桑德尔所谓的张力,即使这种张力存在,人们也可以用罗尔斯的"词典式序列"观念进行化解;第二,对原初状态的经验主义解读误解了罗尔斯的原初状态观念;第三,桑德尔从任何契约都应当是讨价还价的结果这一立场出发质疑罗尔斯的契约论,错置了批判的对象,只能将矛头指向"互利契约论"传统.

摘要： 契约论认为国家本质上类似一种契约,是由其成员让渡自己的权利而共同建立起来的;它存在的目的是为了保障所有成员的权益.国家的合法性需要得到国民的认可.国民应该具备自主、平等、理性、团结等品质.今天的国民教育应该以学生的个人认同为出发点,着重法制与理性精神的培养,立足传统文化,以班集体为载体,培养新一代国民.

摘要： 作为近代以来标志性的理论范式，契约主义伦理学凭借其内容简洁深刻、形式明了实用的优势，在与伦理学领域其他各种理论的竞争中脱颖而出，成长为当代最具生命力和影响力的流派。本文沿着从政治契约主义到伦理契约主义的发展脉络，通过对契约主义伦理学与利益、与理性的关系以及契约主义伦理学本身的道德意蕴的讲述分析，展现了传统契约主义伦理学的竞争优势和理论缺陷，阐述了休谟、哥梯尔在改进契约主义上的积极作为，在此基础上描绘了由罗尔斯和斯坎伦发动的从理性-个体主义的契约论到普遍主义的契约论的历史嬗变，从而使契约主义伦理学从初始状态达致成熟完备这一发展的内在逻辑进程得到了概缆式的叙写与勾画。

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

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

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

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

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

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

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

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

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

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