期刊文献+
共找到453篇文章
< 1 2 23 >
每页显示 20 50 100
A Contractive Sliding-mode MPC Algorithm for Nonlinear Discrete-time Systems 被引量:2
1
作者 Meng Zhao Bao-Cang Ding 《International Journal of Automation and computing》 EI CSCD 2013年第2期167-172,共6页
This paper investigates a sliding-mode model predictive control (MPC) algorithm with auxiliary contractive sliding vector constraint for constrained nonlinear discrete-time systems. By adding contractive constraint ... This paper investigates a sliding-mode model predictive control (MPC) algorithm with auxiliary contractive sliding vector constraint for constrained nonlinear discrete-time systems. By adding contractive constraint into the optimization problem in regular sliding-mode MPC algorithm, the value of the sliding vector is decreased to zero asymptotically, which means that the system state is driven into a vicinity of sliding surface with a certain width. Then, the system state moves along the sliding surface to the equilibrium point within the vicinity. By applying the proposed algorithm, the stability of the closed-loop system is guaranteed. A numerical example of a continuous stirred tank reactor (CSTR) system is given to verify the feasibility and effectiveness of the proposed method. 展开更多
关键词 Model predictive control (MPC) sliding mode contractive constraint discrete-time systems nonlinear systems
原文传递
An Extension of Contract Net Protocol With Real Time Constraints
2
《Wuhan University Journal of Natural Sciences》 CAS 1996年第2期156-162,共7页
The contract net protocol has developed to specify problem solving communication for nodes in a distributed problem solving. Task distribution is affected by a negotiation process,a discussion carried on between node... The contract net protocol has developed to specify problem solving communication for nodes in a distributed problem solving. Task distribution is affected by a negotiation process,a discussion carried on between nodes with tasks to he executed and nodes that may be able to execute those tasks. In contract net protocol,once negotiation successes,tbe task execution is assumed to success. However,in real world,even though a task is awarded to successfully bidding nodes,it may be delayed. Such delay may badly propagate in whole system. Here,we introduce real-time constraints into contract net protocol to manage task execution for avoiding the, task's delay,or even though being delayed,the railure cannot propagate to whole system. In this paper,we first present a real-time contract net protocol which is an extension of contract net protocol with real-time constraints for distributed computing. Our proposition extends the basic negotiation protocol to negotiation and controlling execution or task. The controlling process is based on task deadline time,we also present an extension of the internode language of contract net protocol specification with real-time constraints. 展开更多
关键词 real-time time-out coordination model contract net protocol time delay
在线阅读 下载PDF
近代珠江三角洲基塘利用的弹性及其限度——以契约文书为中心的考察
3
作者 衷海燕 蔡佳镟 《中国农史》 北大核心 2025年第3期116-131,共16页
基塘作为一种极具岭南特色的土地利用方式,自明清以来在珠江三角洲呈现出动态的发展过程。至近代,受1929年世界经济危机的影响,蚕丝业一落千丈,桑基鱼塘模式难以为继。此后二十年间,桑基鱼塘部分被改造为稻田,部分则转型为蔗基鱼塘,农... 基塘作为一种极具岭南特色的土地利用方式,自明清以来在珠江三角洲呈现出动态的发展过程。至近代,受1929年世界经济危机的影响,蚕丝业一落千丈,桑基鱼塘模式难以为继。此后二十年间,桑基鱼塘部分被改造为稻田,部分则转型为蔗基鱼塘,农业生产因此呈现出多元化的发展趋势。基塘利用的弹性特征,表现为合理的生产要素配置模式、可兼容的循环性生产方式与复合生产的生计保障作用,这些为基塘农业的转型提供了重要支撑。在弹性空间的另一面,农户面临的改造成本压力与经验约束使其倾向于渐进式转型,而业佃关系固化了土地利用方式与基面作物,关键在于政府的干预在一定程度上主导了转型的基本方向,且市场变化持续支配着基塘区农户的种植决策,这些因素共同限定了转型路径。桑基鱼塘的转型过程,既体现了基塘农业水陆互养、物质循环模式下的内在张力与经济韧性,也折射出近代内忧外患背景下地方社会的隐性围困。 展开更多
关键词 近代 珠江三角洲 基塘 契约文书
原文传递
许可区块链网络中的数据动态存储方法 被引量:1
4
作者 刘新璐 闫皓楠 +2 位作者 张平 庄兴昌 严超 《网络安全与数据治理》 2025年第2期44-51,共8页
区块链技术是具有划时代意义的创新,一旦数据被录入区块链,就几乎无法被篡改或删除,这为重要信息的长期保存提供了可靠保障。然而,传统区块链节点间通信依赖直接连接,在面对链路变化时,会发生同步延迟,从而导致存储数据不一致。针对这... 区块链技术是具有划时代意义的创新,一旦数据被录入区块链,就几乎无法被篡改或删除,这为重要信息的长期保存提供了可靠保障。然而,传统区块链节点间通信依赖直接连接,在面对链路变化时,会发生同步延迟,从而导致存储数据不一致。针对这一问题,提出了一种基于权威证明的许可链动态存储方法。在许可区块链网络中,节点需要存储大量的交易数据和区块信息,同时还需要保证链上数据的安全性和可靠性。为了更好地适应链路环境变化,该方法通过引入动态存储机制,更好地保证数据的安全性和完整性。实验结果表明,该方法可有效缓解时变链路环境中的数据不可用,并显著提高数据存储的安全性。 展开更多
关键词 区块链 许可链 智能合约 时变链路 动态存储 区块链应用
在线阅读 下载PDF
低风险足月初产妇入院分娩时机过早的双重视角分析
5
作者 徐丽华 郭琳 +1 位作者 龚一谦 丁焱 《复旦学报(医学版)》 北大核心 2025年第5期679-685,共7页
目的了解孕妇及医务人员双重视角下低风险足月初产妇入院分娩时机过早的原因,有针对性地制定干预措施,为改善低风险足月初产妇过早入院分娩提供参考。方法采用目的抽样法,选取复旦大学附属妇产科医院产科医务人员11名及孕妇13名进行半... 目的了解孕妇及医务人员双重视角下低风险足月初产妇入院分娩时机过早的原因,有针对性地制定干预措施,为改善低风险足月初产妇过早入院分娩提供参考。方法采用目的抽样法,选取复旦大学附属妇产科医院产科医务人员11名及孕妇13名进行半结构式深入访谈,运用内容分析法对资料进行整理分析。结果从孕妇视角分析原因包括个人因素:分娩相关认知、临产宫缩疼痛的感知差异化;环境因素:网络信息繁杂,临产信息真伪难以甄别、家庭成员焦虑情绪的传递、医疗资源获取的便捷性、缺乏明确医疗建议的困扰、辅助设备资源有限。从医务人员视角分析原因包括孕妇因素:对分娩的焦虑及对分娩疼痛未知的恐惧;医务人员因素:医疗实践的差异、宣教内容信息量大及针对性不足;客观因素:孕妇难以用客观标准判别临产、获得医疗资源的便捷性。结论低风险足月初产妇入院分娩时机过早与孕妇个人因素、环境因素、医务人员因素和客观因素有关。应统一分娩时机标准,规范产前健康教育,发展院外辅助系统,协助孕妇选择合理的入院分娩时机。 展开更多
关键词 足月初产妇 分娩 入院时机 临产宫缩
暂未订购
基于哈希时间锁定和激励机制的半中心化跨链桥设计
6
作者 沈廷达 朱孔林 张琳 《计算机应用》 北大核心 2025年第11期3440-3445,共6页
区块链生态系统中的跨链桥技术主要分为中心化和去中心化两类:中心化桥因资产集中,易受攻击且损失巨大;去中心化桥符合无信任原则,但资源需求高、实施周期长,且存在可扩展性差的问题。当前研究较少探讨如何在去中心化设计中平衡单点故... 区块链生态系统中的跨链桥技术主要分为中心化和去中心化两类:中心化桥因资产集中,易受攻击且损失巨大;去中心化桥符合无信任原则,但资源需求高、实施周期长,且存在可扩展性差的问题。当前研究较少探讨如何在去中心化设计中平衡单点故障和运营效率,为应对这些挑战,结合中心化与去中心化模型提出一种半中心化跨链桥架构,其中由中央服务器提供初始化节点服务,由区块链上智能合约提供去中心化服务,包括路由、质押等。首先,通过激励机制鼓励区块链节点的参与,并通过代码签名和哈希值验证的远程认证建立信任;其次,验证后的节点被纳入去中心化路由表,参与跨链交易验证和审计;最后,基于哈希时间锁定协议(HTLC)验证跨链交易。针对交易成本和延时的实验结果显示,所提架构将交易延时缩短至[24,36] s,单笔跨链交易成本为403 299 gas,与中心化跨链桥接近;通过安全性分析指出了3种典型跨链桥攻击和相应的解决方法。所提出的半中心化跨链桥架构在去中心化跨链桥的安全性基础上实现了接近中心化跨链桥的性能,可平衡跨链桥的安全性、效率和交易成本。 展开更多
关键词 区块链 跨链桥 哈希时间锁定协议 跨链协议 激励机制
在线阅读 下载PDF
县域医共体高血压医保签约服务成效评价
7
作者 钟艳红 张媚 +4 位作者 彭美华 杨松 吴柜坊 谢梦琦 祝晓蝶 《卫生经济研究》 北大核心 2025年第8期69-74,共6页
目的:评价县域医共体高血压医保签约服务成效,并提出相关建议。方法:收集某县2019年1月至2020年12月高血压患者住院数据,采用中断时间序列模型评价医保签约服务对医疗服务质量、医疗服务成本和医疗服务行为的影响。结果:医保签约服务后... 目的:评价县域医共体高血压医保签约服务成效,并提出相关建议。方法:收集某县2019年1月至2020年12月高血压患者住院数据,采用中断时间序列模型评价医保签约服务对医疗服务质量、医疗服务成本和医疗服务行为的影响。结果:医保签约服务后,高血压患者合并症并发症数量和CMI值上升,每季度CMI值增加0.1;住院费用和自付费用增加,次均住院费用每季度增加1000.22元,自付费用每季度增加57.24元;非医嘱离院率和临床路径管理率下降。结论:县域医共体应优化资源整合、强化慢病管理的基层兜底作用、积极探索慢病管理病种扩面和服务升级,以结果为导向推进政策配套机制建设,实现慢病管理质效提升。 展开更多
关键词 县域医共体 医保签约服务 价值购买 中断时间序列模型
暂未订购
转入主体对农地长期投资的影响:基于农地流转契约特征的中介效应分析
8
作者 徐庭菊 张连华 《农业科学研究(中英文)》 2025年第2期28-35,共8页
提升农地长期投资水平对于提高耕地质量、保障国家粮食安全和重要农产品供给具有重要现实意义。基于对黄土高原苹果优势区苹果种植户的实地调研数据,运用Tobit模型和中介效应模型,分析转入主体、流转契约特征与农地长期投资的关系。研... 提升农地长期投资水平对于提高耕地质量、保障国家粮食安全和重要农产品供给具有重要现实意义。基于对黄土高原苹果优势区苹果种植户的实地调研数据,运用Tobit模型和中介效应模型,分析转入主体、流转契约特征与农地长期投资的关系。研究发现:①相对于小农户,新型经营主体的农地长期投资水平更高,投资强度比小农户高118.13元/667 m^(2);②不同经营主体的土地转入契约特征存在显著差异,具体表现为新型经营主体书面合同签订比例更高、契约期限更长;③农地流转的契约特征在经营主体对农地长期投资的影响中具有显著的中介效应;④家庭经营规模、地块规模、挂果年限及种植密度等也是影响农地长期投资的重要因素。因此,在完善和规范农地流转市场的情景中,通过培育新型经营主体、引导经营主体进行规范化流转农地、鼓励连片流转农地以扩大地块规模可在一定程度上提升农地长期投资水平。 展开更多
关键词 转入主体 契约形式 契约期限 农地长期投资
在线阅读 下载PDF
M型超声在创伤性脑损伤病人瞳孔评估中的应用
9
作者 付茂亮 刘新艳 +5 位作者 李欣 于大鹏 李文玉 孟文文 郭秀燕 宋璇 《循证护理》 2025年第7期1443-1447,共5页
目的:探讨M型超声作为一种瞳孔检查评估方法的可行性,并通过M型超声评估严重创伤性脑损伤(TBI)病人瞳孔对光反射(PLR)的实用性。方法:选取2021年1月30日—10月30日东阿县人民医院重症医学科收治的TBI病人作为研究对象,根据PLR敏感性将... 目的:探讨M型超声作为一种瞳孔检查评估方法的可行性,并通过M型超声评估严重创伤性脑损伤(TBI)病人瞳孔对光反射(PLR)的实用性。方法:选取2021年1月30日—10月30日东阿县人民医院重症医学科收治的TBI病人作为研究对象,根据PLR敏感性将病人分为灵敏组、迟钝组和消失组。M型超声按照眼球超声操作指南进行,采用标准化光刺激。观察并记录瞳孔直径(PD)和PLR敏感性。同时,采用M型超声进行瞳孔检查,测量双侧瞳孔在静息、同侧PLR、对侧PLR时PD和瞳孔收缩时间(PCT),并计算获得瞳孔直径变异率(PDVR)。结果:共纳入TBI病人150例。灵敏组病人85例,同侧PLR时左、右眼的PCT分别为(0.09±0.02)s和(0.10±0.09)s,PDVR分别为(0.36±0.10)和(0.35±0.09);迟钝组病人23例,同侧PLR时左、右眼的PCT分别为(0.20±0.05)s和(0.19±0.03)s,PDVR分别为(0.18±0.07)和(0.19±0.11)。灵敏组中,同侧PLR时PDVR的cut-off值为0.205,AUC为0.957,灵敏度与特异度分别为95.3%和90.8%;对侧PLR时PDVR的cut-off值为0.146,AUC为0.962,灵敏度与特异度分别为95.3%和86.2%。结论:瞳孔M型超声是一种简单、快速、客观的方法,可以准确地监测PD、PLR灵敏度,特别是对眼睑水肿或TBI的病人,证实了M型超声定量评价瞳孔变化的有效性。 展开更多
关键词 M型超声 瞳孔直径 瞳孔直径变异率 对光反射灵敏度 瞳孔收缩时间 眼科护理
暂未订购
基于三维步态分析联合表面肌电检查研究痉挛型偏瘫脑瘫患儿步态动力学特征
10
作者 王琼 陈小聪 +3 位作者 陆子骏 雷海虹 陈康鹏 张萌 《陕西医学杂志》 2025年第6期769-774,共6页
目的:应用三维步态分析联合表面肌电检查研究痉挛型偏瘫脑瘫(SHCP)患儿步态动力学特征。方法:选取SHCP患儿12例为偏瘫组,招募健康儿童14例为正常组,通过三维步态分析联合表面肌电进行数据采集。比较两组下肢关节角度、力矩、功率数据,... 目的:应用三维步态分析联合表面肌电检查研究痉挛型偏瘫脑瘫(SHCP)患儿步态动力学特征。方法:选取SHCP患儿12例为偏瘫组,招募健康儿童14例为正常组,通过三维步态分析联合表面肌电进行数据采集。比较两组下肢关节角度、力矩、功率数据,以及股直肌、股二头肌、胫骨前肌、腓肠肌内侧的均方根(RMS)值之间的差异。结果:①关节角度:两组髋关节屈曲角度在双支撑相1、单支撑相、摆动相比较差异有统计学意义(均P<0.001);膝关节伸展角度在双支撑相比较差异有统计学意义(P<0.001);踝关节背屈角度在四个时相比较差异有统计学意义(均P<0.001)。②关节力矩:两组髋关节、膝关节伸展力矩、踝关节跖屈力矩在单支撑相比较差异有统计学意义(均P<0.001);踝关节跖屈力矩在双支撑相比较差异有统计学意义(P<0.001)。③关节功率:两组髋关节、膝关节、踝关节在双支撑相1能量吸收比较差异有统计学意义(均P<0.001);膝关节在单支撑相、踝关节在双支撑相2能量释放比较差异有统计学意义(均P<0.001)。④表面肌电RMS:两组股二头肌及腓肠肌在双支撑相比较差异有统计学意义(均P<0.05);股直肌、胫骨前肌及腓肠肌在摆动相比较差异有统计学意义(均P<0.05);腓肠肌在单支撑相比较差异有统计学意义(P<0.05)。结论:三维步态分析联合表面肌电能够客观量化SHCP患儿步态特征差异性。与正常儿童相比,SHCP患儿下肢关键肌群离心收缩力下降,值得在步态治疗中进一步探索。 展开更多
关键词 痉挛型偏瘫脑瘫 三维步态分析 表面肌电 动力学 时相 离心收缩力
暂未订购
年、日双重区分下峰平谷电量计算与实施峰谷电价社会效益分析的探讨
11
作者 吴晋萍 张卫 张淑红 《山西电力》 2025年第1期56-62,共7页
介绍了以持续负荷曲线的洛桑德公式和数学家华罗庚提出的概率倍加原理为理论依据提出的年负荷曲线中大、正常、小3种方式区段分割计算方法,据此构建了反映3种方式区段内负荷变化规律对应的洛桑德公式。阐述了省地年典型日负荷曲线的建... 介绍了以持续负荷曲线的洛桑德公式和数学家华罗庚提出的概率倍加原理为理论依据提出的年负荷曲线中大、正常、小3种方式区段分割计算方法,据此构建了反映3种方式区段内负荷变化规律对应的洛桑德公式。阐述了省地年典型日负荷曲线的建立和均值时点概念,以反映峰电量转移程度的响应度曲线斜率为媒介,由年典型日峰电量转移比率确定分时电价中峰电时段长度。在典型日负荷曲线峰、平、谷时段确定的基础上,完成3种方式区段内各自的峰、平、谷电量计算,实现了省、地年、日双重区分下峰平谷电量的精准预测。分析了网损率对峰谷电量比的影响,为确定分时电价结构提供了计算条件。以某省区的数据为例,在双重区分方法基础上,对代理购电后采取合约电量非均匀配置取得的效益进行了分析计算,对代理购电前后分时电价重大改革对社会、电网企业、用电企业三者的影响和取得的效益作了对比,肯定了在分时电价改革基础上,电力市场化持续改革取得的新成果。 展开更多
关键词 持续负荷曲线 洛桑德公式 分时电价 双重区分 合约电量
在线阅读 下载PDF
采用双向收缩优化的TDOA区间定位算法
12
作者 张文健 苏轩 周彪 《电讯技术》 北大核心 2025年第10期1681-1687,共7页
针对传统基于到达时间差(Time Difference of Arrival,TDOA)定位方法存在的数值结果不确定性导致的定位误差问题,提出了一种采用双向收缩优化的TDOA区间定位算法。该算法在区间前向收缩阶段利用坐标系旋转解决了基站布型导致的定位失败... 针对传统基于到达时间差(Time Difference of Arrival,TDOA)定位方法存在的数值结果不确定性导致的定位误差问题,提出了一种采用双向收缩优化的TDOA区间定位算法。该算法在区间前向收缩阶段利用坐标系旋转解决了基站布型导致的定位失败问题,并巧妙地将时差测量转换为双曲线区间,利用二分法将双曲线区间离散成矩形集,并进行区间交叠运算缩小初始定位区间;在区间后向收缩阶段,利用初始定位区间反向收缩双曲线区间。由该算法最终可以得到收敛的区间定位结果。仿真结果表明,优化后的算法在不影响定位精度并且达到了克拉美罗下界的同时,定位结果的面积由40.10 m^(2)缩小到22.20 m^(2),降低了44.6%,置信度始终保持在99.3%以上。 展开更多
关键词 到达时间差 区间定位 双向收缩优化 二分法 坐标系旋转
在线阅读 下载PDF
Euclidean Model of Space and Time 被引量:1
13
作者 Radovan Machotka 《Journal of Modern Physics》 2018年第6期1215-1249,共35页
The aim of this work is to show that the currently widely accepted geometrical model of space and time based on the works of Einstein and Minkowski is not unique. The work presents an alternative geometrical model of ... The aim of this work is to show that the currently widely accepted geometrical model of space and time based on the works of Einstein and Minkowski is not unique. The work presents an alternative geometrical model of space and time, a model which, unlike the current one, is based solely on Euclidean geometry. In the new model, the pseudo-Euclidean spacetime is replaced with a specific subset of four-dimensional Euclidean space. The work shows that four-dimensional Euclidean space allows explanation of known relativistic effects that are now explained in pseudo-Euclidean spacetime by Einstein’s Special Theory of Relativity (STR). It also shows simple geometric-kinematical nature of known relativistic phenomena and among others explains why we cannot travel backward in time. The new solution is named the Euclidean Model of Space and Time (EMST). 展开更多
关键词 SPECIAL Theory of RELATIVITY Euclidean SPACE Four-Dimensional SPACE time DILATION LENGTH contractION
在线阅读 下载PDF
Special Relativity in Three-Dimensional Space-Time Frames
14
作者 Tower Chen Zeon Chen 《International Journal of Astronomy and Astrophysics》 2016年第4期410-424,共15页
In Newton’s classical physics, space and time are treated as absolute quantities. Space and time are treated as independent quantities and can be discussed sepa-rately. With his theory of relativity, Einstein proved ... In Newton’s classical physics, space and time are treated as absolute quantities. Space and time are treated as independent quantities and can be discussed sepa-rately. With his theory of relativity, Einstein proved that space and time are de-pendent and must be treated inseparably. Minkowski adopted a four-dimensional space-time frame and indirectly revealed the dependency of space and time by adding a constraint for an event interval. Since space and time are inseparable, a three-dimensional space-time frame can be constructed by embedding time into space to directly show the interdependency of space and time. The formula for time dilation, length contraction, and the Lorenz transformation can be derived from graphs utilizing this new frame. The proposed three-dimensional space-time frame is an alternate frame that can be used to describe motions of objects, and it may improve teaching and learning Special Relativity and provide additional insights into space and time. 展开更多
关键词 Four-Dimensional Space-time Frame Three-Dimensional Space-time time contraction Length contraction Lorenz Transformation Big Bang Multiple Big Bangs Quantum Entanglement
在线阅读 下载PDF
狭义相对论时空观的图像解译 被引量:1
15
作者 缪劲松 胡海云 《物理与工程》 2024年第3期22-27,共6页
狭义相对论的时空观之所以抽象且难以理解,一方面是因为狭义相对论所涉及的时空效应,如同时性的相对性、长度收缩和时间延缓等,在实际中都很难被观测到;另一方面是因为我们很难将这些时空效应同时直观形象地描述出来,并且给出不同参考... 狭义相对论的时空观之所以抽象且难以理解,一方面是因为狭义相对论所涉及的时空效应,如同时性的相对性、长度收缩和时间延缓等,在实际中都很难被观测到;另一方面是因为我们很难将这些时空效应同时直观形象地描述出来,并且给出不同参考系各自观测到的时空效应之间的对应关系。本文针对这一问题,利用图示法将两个参考系在不同时刻观测到的时空图像表示出来,并结合具体数值对他们间的对应关系进行讨论。在图示法中同时考虑了同时性的相对性、长度收缩和时间延缓这三个狭义相对论重要的时空效应,这样可直观形象地看到在一个参考系中得到的观测结果会被另一个参考系所认同,正是这些彼此认同的观测结果构成了狭义相对论的时空观。通过对不同参考系中观察到的时空图像及其相互联系的讨论,可以加深学生对狭义相对论时空效应及洛伦兹变换的物理意义的理解。 展开更多
关键词 狭义相对论 时间延缓 长度收缩 同时性的相对性 洛伦兹变换 时空图像
在线阅读 下载PDF
考虑合同类型和需求不确定性的IT外包时机研究
16
作者 张宗明 柴建 廖貅武 《中国管理科学》 CSSCI CSCD 北大核心 2024年第8期182-193,共12页
针对IT外包的需求不确定性和投资不可逆性,考虑了两类合同:成本加成合同和固定价格合同,运用实物期权理论构建了外包时机的分析框架。研究结果表明:对于低技术业务,无论是采用成本加成合同还是固定价格合同,随着不确定性的增加,外包概... 针对IT外包的需求不确定性和投资不可逆性,考虑了两类合同:成本加成合同和固定价格合同,运用实物期权理论构建了外包时机的分析框架。研究结果表明:对于低技术业务,无论是采用成本加成合同还是固定价格合同,随着不确定性的增加,外包概率降低、等待时间增加;对于高技术业务,随着不确定性的增加,固定价格合同下外包概率降低、等待时间增加,而成本加成合同下的结果则相反(外包概率提高、等待时间减少),较高的不确定性有利于外包。无论是成本加成合同还是固定价格合同,内制固定成本越高、外包固定成本和转换成本越低,越有利于外包。对于低技术业务,无论是采用成本加成合同还是固定价格合同,可变成本越高,越有利于外包;对于高技术业务,固定价格合同下可变成本较高有利于外包,但成本加成合同下则相反。成本加成合同下服务商的成本优势有利于外包,固定价格合同下服务商的成本优势对外包时机没有影响。 展开更多
关键词 IT外包 合同类型 外包时机 实物期权理论
原文传递
基于角色的区块链拍卖合约抽象建模及其时间安全性与公平性验证
17
作者 王昌晶 欧阳俊媛 +3 位作者 张取发 左正康 程着 卢家兴 《通信学报》 EI CSCD 北大核心 2024年第10期225-242,共18页
为提升拍卖合约时间安全性验证效率及验证公平性,提出基于角色的拍卖合约抽象建模及其验证方法。首先,对合约源代码进行基于账户角色的抽象建模,转换为时间自动机网络模型,并对时间安全性进行形式化描述,用UPPAAL工具验证。其次,提取合... 为提升拍卖合约时间安全性验证效率及验证公平性,提出基于角色的拍卖合约抽象建模及其验证方法。首先,对合约源代码进行基于账户角色的抽象建模,转换为时间自动机网络模型,并对时间安全性进行形式化描述,用UPPAAL工具验证。其次,提取合约源代码机制,建立智能合约机制模型,同样转换为时间自动机网络模型,并对4种公平性进行形式化描述,再用UPPAAL验证。最后,通过2个经典案例证明了所提方法的可行性和有效性。 展开更多
关键词 拍卖合约 时间安全性 公平性 时间自动机 UPPAAL
在线阅读 下载PDF
近代中国东北的土地契约文书形制与特点探析
18
作者 王广义 潘婉洁 《农业考古》 北大核心 2024年第3期90-96,共7页
土地契约文书是中国社会中极具特色的土地交易凭证,是契约文化得以发展传承的重要载体。近代东北的土地契约文书类型繁多,名目不一。按契约是否得到政府承认分有白契和红契,按性质分有买卖契约和典押契约等,还分有上手老契和本身契。契... 土地契约文书是中国社会中极具特色的土地交易凭证,是契约文化得以发展传承的重要载体。近代东北的土地契约文书类型繁多,名目不一。按契约是否得到政府承认分有白契和红契,按性质分有买卖契约和典押契约等,还分有上手老契和本身契。契约有较为固定的订立程序,内容简省,格式化明显,主要包含订立契约当事人的信息和出手原因、不动产的情况和价格、买卖双方及中间人的权利和义务、签字画押及时间等。近代东北的土地契约文书以白契为主,中间人在订立过程中发挥重要作用,这些契约文书反映了近代东北地区土地所有权制度、土地管理制度以及社会演变。 展开更多
关键词 土地契约 近代 东北地区 契约格式
在线阅读 下载PDF
关于魔力弹簧的收缩时间和上端运动问题
19
作者 于凤军 张希威 +2 位作者 汤振杰 鞠林 田俊龙 《大学物理》 2024年第5期13-18,共6页
针对有关魔力弹簧研究中的几个问题进行探讨和澄清.建立了预收缩力弹簧的模型,推出其形变规律.根据质心运动定理,导出这种弹簧自由下落时,收缩到原长所用的时间、其上端的运动方程和速度公式.研究表明,对于通常演示所用的魔力弹簧,在自... 针对有关魔力弹簧研究中的几个问题进行探讨和澄清.建立了预收缩力弹簧的模型,推出其形变规律.根据质心运动定理,导出这种弹簧自由下落时,收缩到原长所用的时间、其上端的运动方程和速度公式.研究表明,对于通常演示所用的魔力弹簧,在自由下落时的收缩阶段,其上端不是作匀速直线运动. 展开更多
关键词 魔力弹簧 预收缩力弹簧 收缩时间 质心运动定理
在线阅读 下载PDF
The Study of Construction Claims for International Project under FIDIC Conditions of Contract
20
作者 焦清杰 《海外英语》 2012年第15期281-283,288,共4页
Claims over contracts in the building,engineering and construction industry are become common issues in business today.The text aims at presenting the key concepts of construction claim,and construction claim manageme... Claims over contracts in the building,engineering and construction industry are become common issues in business today.The text aims at presenting the key concepts of construction claim,and construction claim management,focusing on the common classifica tion.In addition,it introduces some measures trying to prevent the event of claim.The result from the text can help the contractors im prove their weaknesses and maintain their strengths of their claim management process.Meanwhile,it also gives some measures for owner to prevent the contractor's claim. 展开更多
关键词 FIDIC CONDITIONS of contract CLAIMS additional COS
在线阅读 下载PDF
上一页 1 2 23 下一页 到第
使用帮助 返回顶部