契约性

摘要： 通过设立仲裁案外人准入制度以规制虚假仲裁现象,在我国理论界争论已久,而部分地方仲裁委员会似乎也对此进行了相应的规定。然而,仲裁案外人准入制度在理论基础上突破了仲裁的契约性与相对性原理,又混淆了仲裁与民事诉讼的本质区别。在制度效能上,仲裁案外人准入制度对规制虚假仲裁的效果存疑,与仲裁的程序构造难以匹配,与案外人的价值追求相龃龉,且可能产生新类型的虚假仲裁。因此,为了保护仲裁案外人的合法利益,应当坚持仲裁裁决效力相对性理论,限制适用案外人申请不予执行仲裁裁决制度,体系化地适用另行起诉、案外人执行异议与执行异议之诉的既有规则,并建构虚假仲裁的惩罚性赔偿制度与对仲裁程序的资料开示制度,从而进一步完善我国的仲裁法律体系。

摘要： 《民法典》第464条规定有关身份的协议可根据其性质参照适用该法合同编.婚约参照适用合同编具有合理性,婚约的契约属性、立法语言对婚约特殊性的尊重共同构成了法理基础,司法解释的缺陷及实务中涌现的各类婚约纠纷为其适用合同编提供了现实需要.但婚约纠纷在参照适用时不能套用合同编规范,应当坚守婚姻自由原则,在此基础上借助合同编的合同解除规则、不当得利等具体规范,以及公平、诚实信用等原则解决具体的婚约纠纷.

摘要： 检视与完善仲裁第三人程序准入制度不仅对仲裁第三人权利保障具有重要意义,更对以仲裁协议为基石的仲裁制度体系性改进具有积极参考价值.在仲裁程序开启之前,仲裁协议效力扩张于第三人的标准不应仅依据实体法权益牵连关系加以确立,而应构建主观方面、利益关联、意思表示三位一体的标准体系.在仲裁程序进行中,第三人加入后的主体资格,不宜采"第三人制度说",而提出"身份转换说".即在符合所设定的三重标准或重新达成仲裁协议的特定情形下,仲裁第三人从"案外人"转换为"案中人",直接以当事人而非第三人的身份参加仲裁.在仲裁程序结束后,尤其是前案为正常诉讼或仲裁,后案为虚假仲裁的情况下,权益受损第三人获取救济的紧迫性使得案外人申请不予执行制度应予以维持.但是,为避免非因自身原因应参加而未参加仲裁程序的当事人陷入两难境地,应对该制度的适用主体做限缩解释.

摘要： 高职混合所有制“共享工厂”模式,即学校公有资本与企业非公有资本合作共建的产教融合实践教学平台,形成以学校为轴心的“1+N”组织形态格局的混合所有制办学模式。该模式的体制架构与主体关系的契约性,共生性合作凸显了跨界治理的“学、产、研”集成共享矛盾统一问题,处于轴心地位的学校要通过价值引领,促进共享工厂形成“以学为体,产研为用”的功能格局和"学为轴心,产研为翼"的角色位置关系,共同维系共生体的生态平衡。校长是学校的灵魂人物,要通过价值领导力从外围有意识地影响“1+N”校企内部跨界治理,处理好“大学校”与共享工厂在体制,业务,文化等层面的纵横复杂关系。

摘要： 政府特许经营协议是行政机关与相对人签订的让渡国家所有的资源所有权和垄断经营权的协议,基于契约的本质属性以及行政机关管理的要求,特许经营协议有着特殊的法律属性,即可营利性、契约性以及行政性。但司法实践中,对于特许经营协议的法律属性的界定却仍旧不甚明了,即使《行政诉讼法》已经明确将特许经营协议纳入行政诉讼的受案范围,但大多数案件中特许经营协议还是被认定为民商事合同,这显然于法不合。

摘要： 对于认罪认罚从宽制度学术上众说纷纭,有学者认为是借鉴了美国的辩诉交易制度,有学者认为是借鉴了德国的有罪协商制度,有学者认为是借鉴了我国台湾地区的刑事协商制度.针对不同见解,本文认为主要关注点在于认罪认罚从宽制度是否具有可契约性.本文将以认罪认罚从宽的契约主体、契约内容、契约的可期待性利益角度认识认罪认罚从宽制度所具有的契约性基础.

摘要： 行政协议具有行政性和契约性的双重属性,这使其在司法审查中一直存在分歧。关于行政协议的判定难下定论,宜将司法实践中形成的关于行政协议判定的五项要素进行梳理,明确各项要素在行政协议判定中的地位及作用;同时,以公权力是否发挥了效果作为本质性判定标准。行政协议司法审查的受案范围可以由正、反两方面的标准共同组成,一方面,其受案范围不应当限于“政府特许经营协议、土地房屋征收补偿协议”,而应当及于所有行政协议;另一方面,内部行政协议等几类协议不纳入受案范围。对行政协议进行司法审查时,应当对其进行合法性审查与合约性审查。

摘要： 新时代互联网世界不断升级,网络空间随之不断走向无限领域,其包含内容愈加丰富.主体缺场或不在场的次数和机会逐渐增加,呈现为虚拟性.虚拟主体的存在不同于现实主体的逻辑性,而呈现出精神性、空间性、契约性、可能性、世界性、自由性的超越现实的虚拟性.深入理解虚拟主体的多维存在不能脱离现实基础,它同样具有创造性和正义性,亦即经历一个选择做什么样人的过程,是网络治理实现的目标.

摘要： "知假买假"而主张惩罚性赔偿的现象在我国社会市场经济条件下已存在了十余年,但对其的认识尚停留在打击的价值目标审视、消费者地位确立标准等辨识消费合同存在与否及其社会效果的层面,忽略了其滥用合同权利、破坏契约精神的性质及其折射出来的社会风险危机.鉴于此,应以假冒伪劣产品存续的时空条件为据,确定政府、职业打假人和消费者在制假售假社会防治网络中的合理位置,在法律地位、行为模式设置等方面将职业打假人纳入法律制度谱系，实定法层面上既能满足直接向制假售假行为出击，并与政府、消费者法律功能相协调，法律文化功能方面又能培育公民精神，随着市场秩序的逐步回归理性，职业打假行为必将随着制假售假现象的减少而逐渐推出法制的视野。

摘要： 本发明公开了一种使用多函数契约测试JavaScript函数正确性的方法，包括以下步骤：根据目标JavaScript函数上下文中相关变量的运行时可能类型和可能值，设计多个函数契约；将设计完成的多个函数契约转换为JavaScript对象数组，并生成目标JavaScript函数的运行时监控代码；当目标JavaScript函数被调用时，运行时监控代码根据一个契约检测算法检测目标JavaScript函数的正确性，在发现特定类型的错误时抛出相应的异常。本发明测试方法能够匹配JavaScript语言的动态类型和隐式类型转换的语法特征，当目标JavaScript函数被调用时，可以有效测试目标JavaScript函数的正确性。

摘要： 本发明公开了一种使用多函数契约测试JavaScript函数正确性的方法，包括以下步骤：根据目标JavaScript函数上下文中相关变量的运行时可能类型和可能值，设计多个函数契约；将设计完成的多个函数契约转换为JavaScript对象数组，并生成目标JavaScript函数的运行时监控代码；当目标JavaScript函数被调用时，运行时监控代码根据一个契约检测算法检测目标JavaScript函数的正确性，在发现特定类型的错误时抛出相应的异常。本发明测试方法能够匹配JavaScript语言的动态类型和隐式类型转换的语法特征，当目标JavaScript函数被调用时，可以有效测试目标JavaScript函数的正确性。

摘要： 本发明涉及一种验证统一建模语言UML模型中动态行为与时序契约的一致性的方法，其特征在于，包括步骤：根据UML标准建模，包括生成UML状态图和UML顺序图，保存图形的元模型；对所建模型的动态行为，实现UML状态图到PROMELA代码的映射；构建所建模型时序契约，实现UML顺序图到LTL时态逻辑公式的映射；利用模型验证工具SPIN对所述PROMELA代码和所述LTL时态逻辑公式进行验证；分析返回的所述的SPIN验证结果。本发明的技术方案将统一建模语言UML同验证工具联系起来，解决了软件工程需求设计阶段所出现的模型不一致性的问题，为模型驱动式软件后续开发的有效进行奠定基础。

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

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

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

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

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

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

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