混合exactly-one约束的模型计数研究

模型计数是求给定命题公式的模型数,是人工智能领域的一个基本问题.在贝叶斯网络、有界模型检测、精确集合覆盖等众多实际问题中,存在许多exactly-one约束.常见的处理方法是将exactly-one约束编码为CNF公式,再调用模型计数器求解.这种方法扩大了命题公式的规模,容易导致求解时间过长.本文分别提出从CNF公式中还原exactly-one约束的ECR算法和处理exactly-one约束的ECP算法.ECR算法能明显提高C2D编译器的求解效率.基于最新的模型计数器ExactMC,本文改进了能识别和单独处理exactly-one约束的模型计数器ECMC.实验结果表明,ECMC的时间效率相比ExactMC有显著提高.

激励差异、行权约束与企业创新——来自医药上市公司股权激励的证据

医药企业创新活动具有研发经费投入高、风险高、回报率高、周期长的特点,医药企业如何开展创新激励成为提高其创新绩效的关键问题。使用2009—2022年医药类上市公司的数据探究股权激励对企业创新的影响,采用倾向得分匹配法和双重差分模型(PSM-DID)进行检验,并从激励契约条款的微观视角,就股权激励差异、行权有效期、行权业绩考核条件等激励契约条款的设计差异对企业创新的影响进行了系统分析。研究表明,股权激励可以显著提升企业创新水平,适当扩大股权激励差异有利于调动企业成员的竞争积极性,增强对企业创新的促进作用。在激励契约条款中,行权有效期设置越长,越能够对管理层和核心员工形成持续性激励和约束,进而促进企业创新;行权业绩考核设置越严格,管理层盈余管理和规避风险的动机越强,进而抑制企业创新。

磁约束核聚变托卡马克装置研究进展与展望

本文围绕磁约束核聚变实验阶段的重点科学问题以及聚变工程化过程中面临的主要挑战,重点介绍了国内外托卡马克装置的发展历程及现状,概述了主要在役托卡马克装置的基本参数、主要任务、重要里程碑、当前重点研究方向及相关发展规划等。国际磁约束聚变研究已由等离子体物理实验为主逐步迈向重点聚焦聚变堆核工程与技术研发阶段,加快建立聚变能开发产业体系是推动受控核聚变技术发展的关键。本文还对磁约束核聚变托卡马克的未来发展方向和技术路径进行了分析和展望,并归纳提出加速聚变发展需尽快布局的核工程与核技术重点方向。

多约束条件下四旋翼机动轨迹跟踪一体化控制方法

四旋翼无人机高动态飞行需求的增加使其成为一个越来越热门的研究主题。针对四旋翼执行废墟裂缝和树林缝隙穿越任务时的大机动轨迹状态跟踪控制问题,提出基于模型预测控制的一体化控制方法,包含多约束条件下的高机动轨迹规划和多参考状态量的一体化跟踪控制,并通过飞行试验验证了所提方法相比前馈PID控制方法在跟踪规划的高机动轨迹时的优越性能。在飞行试验中,四旋翼成功穿越了60°滚转角的窄框,其实际滚转角达到60°大角度的同时,z轴误差仅为0.065 m。

金融开放、融资约束与企业创新投资

金融开放是金融供给侧结构性改革的重要组成部分,其能否改善融资环境、驱动企业创新发展是当前亟待研究的问题。本文使用2007—2020年A股上市企业数据,从跨境资本流动视角检验了金融开放对企业创新投资的影响及作用机制。结果显示,金融开放提升了企业创新投资水平,经过工具变量法、PSM法、Heckman两步法以及一系列稳健性检验之后,结论依然成立。机制检验表明,金融开放通过缓解整体融资约束、降低债权和股权融资成本、增加股权融资规模等路径驱动企业增加创新投资。调节效应分析表明,上述关系在非国有产权、资产规模小、区域金融欠发达以及不具有政治关联的企业中更加明显。进一步研究发现,知识产权保护和信息化水平强化了金融开放对企业创新投资的促进效应,并且金融开放有利于提升企业创新投资的市场绩效和经营绩效。本研究有助于理解金融开放、融资环境改善与企业创新投资之间的内在联系,研究结论对金融开放的政策调整具有启示意义。

计及多目标约束的成品卷烟销售订单配送调度优化

针对制造业供应链中的跨地域多运输中心大数据订单物流调度问题,对涉及多约束条件和多目标的异构运输车辆调度问题展开研究。根据烟草制造工业的实际运输任务需求,考虑制造订单安排、车辆准运证限制、运输车辆物理限制、运输时间窗、排产出库时间等实际约束,搭建了以包括车辆等待卷烟出库的最短运输时间,最低运输费用及最高车辆利用率为优化目标的成品烟物流车辆跨地域调度优化模型。设计了基于差分进化的混合多元宇宙算法(DE-MVO)用以解决该模型。最后基于某烟草工业企业的实际生产订单数据进行实验,将所设计的算法分别与粒子群(PSO)算法、差分进化(DE)算法、鲸鱼优化(WOA)算法、遗传优化(GA)算法、乌鸦搜索(CSA)算法、天鹰座优化器(AO)、多元宇宙(MVO)等前沿算法进行横向对比,对比结果表明所设计的算法在全局搜索能力、寻优精度等方面更优于其他算法,进一步表明所建立的模型在求解制造业供应链运输车辆调度问题中具有可行性。

新型医用约束工具在老年痴呆病人中的应用

目的:探讨自行研制的新型医用约束工具在降低老年痴呆病人约束不良事件、提高病人和医务工作者满意度中的应用效果。方法:采取随机数字表法将2018年1月—2022年12月纳入的900例老年痴呆病人分为A、B、C 3组,各300例。A组给予传统约束带,B组给予简易约束工具,C组给予新型医用约束工具。观察3组病人约束不良事件(血液循环障碍、破损、勒痕、非计划性拔管、皮肤抓伤)发生率、满意度(包括病人和医务工作者)、病人智力状态和日常生活能力。结果:C组病人约束不良事件发生率低于B组和A组;C组病人及医务工作者满意度高于B组和A组(P<0.05);3组干预前后病人智力状态和日常生活能力量表得分差异无统计学意义(P>0.05)。结论:新型医用约束工具可有效降低临床约束不良事件的发生率,提高病人照护者和医务工作者的满意度。

MD&A语调、融资约束与企业创新

基于信号传递理论,以2012—2021年A股上市公司为样本,运用多元回归以及中介效应检验实证分析MD&A语调、融资约束与企业创新之间的关系。结果表明MD&A语调会对企业创新产生显著的正向影响,融资约束是MD&A语调影响企业创新的一条中介路径,即MD&A语调可以通过缓解融资约束促进企业创新。进一步研究发现会计信息质量对上述中介路径的前后路径均具有调节作用,并且企业成长机会和机构投资者持股均会促进MD&A语调与企业创新之间的正向关系。MD&A语调中蕴含的增量信息能够发挥改善信息披露质量的作用,进而对企业融资和创新产生积极的影响,研究为合理利用语调信息、提高信息披露质量提供了有价值的参考。

ESG评价对企业融资约束的影响研究

绿色发展潮流下,研究ESG评价对企业融资约束的影响,对于发现ESG评价的价值、投资者高效决策、企业应对融资约束,有着重要意义。基于2009-2021年我国部分上市企业的数据,实证分析ESG评价对企业融资约束的影响,并选取经营风险与信息风险为中介变量,构建中介效应模型,探究影响机制。结果显示:ESG评价与企业融资约束负相关,经营风险和信息风险是有效中介变量。因此,企业重视ESG建设、投资者高效利用ESG评价、评级机构保证评价质量及政府加强监管至关重要。

位姿约束下的双向扩展机械臂路径规划方法

针对机械臂路径规划方法存在的规划效率低、连杆通过性差、路径粗糙等问题,以渐进最优快速随机搜索树RRT*为基础,提出一种位姿约束下的双向扩展机械臂路径规划方法(PCO-BT-RRT*)。首先,设计目标偏置引导的双向扩展RRT*算法(BT-RRT*),改进了RRT*算法的初始化过程,将起始点和目标点分别作为两棵随机树的初始节点,并通过目标偏置策略引导其以一定概率相向生长,加快探索未知区域,在保证路径代价较低的同时提升路径生成速度。其次,提出一种位姿约束路径优化策略(PCO),采用机械臂运动学模型和碰撞检测规则共同约束新节点扩展过程,寻找机械臂可达空间内的避障路径;对生成路径剪枝剔冗,缩短可行路径长度,同时对消冗节点以迭代调整的方式进行平滑优化,提高路径生成质量。通过仿真实验分析,验证了所提方法在路径规划问题上的显著性成效;在自主研发的BIM信息融合下建筑砌筑系统进行真机避障测试,验证了该方法的实用性。

稀疏约束与时间一致的背景感知相关滤波目标跟踪

背景感知滤波算法通过循环移位采集真实负样本,有效解决了边界效应.但在复杂场景例如遮挡、快速移动、背景干扰等,其较大的采样区域导致过多背景在杂波干扰,从而影响跟踪效果.针对这一问题,本文首先提取灰度HOG特征与颜色CN特征来提高目标外观模型,在基准目标函数基础上引入L1稀疏正则约束形成弹性网络以自适应筛选关键特征,增强滤波器在复杂背景下的判别能力.同时针对BACF在跟踪过程中目标快速变化,本文引入时间正则项提高滤波器抑制畸变的能力.最后,本文提出了一种独立的尺度滤波器算法,准确提供目标尺度大小.实验仿真结果表明,在公开数据集OTB-2013和OTB-2015上,本文算法较基准算法有很大提升,能够较好应对不同复杂场景下的跟踪难题.

基于产品质量差异的资金约束制造商最优融资决策研究

本文研究了资金约束制造商在线上线下双渠道中分别销售两种不同质量水平的产品时的最优融资决策,其中制造商可以通过电商平台融资和零售商融资两种方式来缓解资金压力。本文建立了两种融资模式下的Stackelberg博弈模型,得到了制造商与零售商的最优定价决策以及融资利率和双渠道中的产品质量差异对均衡决策的影响;对比分析了两种融资模式下的价格、销量以及供应链各成员企业的利润差异。结果表明融资利率的上升会带来双渠道定价的上升,但不一定会加剧双渠道间的价格竞争。制造商的最优融资决策同时受融资利率、消费者对产品质量的敏感程度以及双渠道产品质量差异的影响。当电商平台融资和零售商融资利率相同且消费者对产品质量的敏感程度较低时,制造商会选择零售商融资,并在零售商处销售高质量产品;当消费者对产品质量的敏感程度较高且双渠道产品质量差异较大时,制造商则会选择电商平台融资并在电商平台投放高质量产品。

顾及BDS-3星钟约束的GNSS超快速轨道钟差解算方法

BDS-3高稳定星载原子钟作为北斗星座的显著技术优势,在GNSS数据处理中尚未得到充分利用。针对严格时效性限制下GNSS超快速轨道钟差参数精度受限问题,本文提出顾及BDS-3星钟约束的GNSS超快速轨道钟差解算方法。首先,以GNSS轨道钟差参数间相关性为基础,构建顾及BDS-3星钟参数特性的GNSS定轨模型;然后,基于GNSS精密钟差产品,分析星钟约束对GNSS轨道钟差参数精度的影响规律;最后,为克服预报钟差精度与约束筛选对定轨影响,建立BDS-3星钟建模与GNSS超快速轨道钟差估计的同步处理方法。试验结果表明,在BDS-3星钟参数最优约束下,BDS-3与GPS轨道钟差精度可分别提升27.5%、5.1%和20.2%、5.2%;且较传统BDS-3星钟单历元处理策略,基于BDS-3星钟建模与GNSS超快速定轨同步处理方法,GNSS超快速轨道钟差精度可分别提升至4.8%与34.2%,轨道精度实现了毫米级改善。因此,顾及BDS-3星钟约束的GNSS超快速轨道钟差解算方法可有效对BDS-3高稳星钟信息模型化,并实现GNSS超快速轨道钟差精度的优化处理。

监管资源约束如何影响上市公司盈余质量?--以证券交易所一线监管为例

本文构建理论模型,探讨证券监管资源约束对上市公司盈余质量的异质性影响,并基于《证券交易所管理办法》发布的政策冲击进行实证检验。研究发现,尽管受到监管资源约束,证券交易所一线监管仍然对利润虚增动机的公司有明显的盈余质量提升效应;但由于“虹吸作用”,利润虚减动机公司的盈余质量提升效果会被削弱。机制检验表明,尽管利润虚减动机公司的盈余质量提升效果欠佳,但只要提高监管力度,同样能提升其盈余质量。监管效果的公司间差异并非由于监管虏获造成,监管资源不足是其产生的主要原因。良好的内部控制质量、较高的市场关注度能够显著缓解监管资源约束导致的虹吸效应。在我国加强和完善现代金融监管背景下,研究监管资源约束如何异质性影响上市公司盈余质量对创新监管方式、提高监管效能具有重要的借鉴意义。

考虑碳流约束的电力系统能碳安全域模型与计算方法

针对当前电力系统碳减排任务与安全稳定运行需求,研究电力系统低碳安全运行技术。现有的能量流安全域模型使电力系统安全监视与控制更加科学有效,但忽略了系统运行过程中可能存在的“高碳”风险。文中提出了一种考虑碳流约束的电力系统能碳耦合安全域(简称能碳安全域)模型与计算方法,旨在保证系统安全性的同时减排提效。为完整刻画电力系统的低碳运行能力极限,分别从负荷端和源端角度提出了考虑碳流约束的系统最大供电能力曲线及最大消纳能力曲线模型。基于系统最大供电能力工作点,提出了能碳安全边界仿真拟合计算方法,实现了能碳安全域的降维观测。最后,结合算例验证了所提模型的有效性。

基于热启动的大规模安全约束机组组合模型的快速求解方法

大规模安全约束机组组合(security constrained unit commitment,SCUC)问题的混合整数线性规划(mixed integer linear programming,MILP)模型因其高维、非凸的特点导致求解困难,尤其在考虑故障态安全约束后模型规模骤增,MILP算法常遇到收敛间隙下降瓶颈问题。为满足现货市场出清对SCUC问题求解时间的要求,提出了基于热启动的快速求解方法,从待求模型的一个可行解出发,根据节点边际电价和机组收益分析进行整数变量固定,同时削减无约束力的安全约束,以缩减模型规模,加快收敛进程。仿真结果表明:所提方法能够大幅缩减SCUC模型规模,尤其对于考虑故障态安全约束的大规模SCUC问题,能有效克服收敛间隙下降瓶颈问题,求解效率提高特别显著。

金融能力、正规信贷约束与农户创业行为

基于金融能力和正规信贷约束视角,利用2017年和2019年CHFS微观数据,通过构建Probit模型实证分析金融能力对农户创业行为的影响,探讨正规信贷约束在金融能力和农户创业行为关系中发挥的中介效应。结果表明:金融能力对农户创业行为具有显著正向影响,且在考虑内生性的情况下,该结论仍然成立;中介机制检验表明,金融能力能够通过缓解正规信贷约束来促进农户创业行为;异质性分析表明,中、西部地区和三线及以下城市的农户金融能力对其创业行为的影响更为显著。据此,建议建立完善的金融能力培养体系,加大对欠发达地区的政策扶持,且提高正规信贷支持力度。

企业ESG表现、融资约束与财务绩效

ESG与当前经济绿色转型的目标相契合,探究企业ESG表现对财务绩效的作用机制已成为学术界关注的热点。文章选取2009—2021年我国A股全部非金融类上市公司数据为样本,使用因子分析法综合衡量企业财务绩效,使用双向固定效应模型,从融资约束的角度实证研究了ESG表现对财务绩效的影响机制。研究表明:(1)ESG表现对财务绩效的促进作用显著,企业提高ESG表现有助于财务绩效的提升。(2)融资约束能够加强企业ESG表现对财务绩效的促进作用。(3)进一步分析发现,非国有企业与东部发达地区企业的调节作用显著。基于此,文章提出企业应提高ESG重视程度、加强自身ESG建设,政府监管部门应健全完善ESG考核评价体系,投资者做出决策时应当考虑企业ESG履行情况。

从GPT-4看人工智能的进化约束和伦理边界问题

以自然物为材料的传统技术,是没有自主性和主体能力的纯粹工具,它本身不具有伦理性,也不存在伦理问题。人工智能技术之所以获得伦理性,并不断地生成更新的伦理问题,是因为它以生物人脑为研发对象,通过模拟人脑工作原理和运行机制,发现人类模拟、学习、生成、创造的“化物为人”的进化法则,执着于探索“模拟的本质是学习,学习的本质是生成,生成的本质是创造”,成功地创造出几何学进化方式的GPT-4,不仅整体地展现了人工智能技术的自主性品质和主体能力,也将其根本的伦理问题暴露了出来。人工智能技术如何突破其自主性进化的伦理边界和应用的伦理约束,已成为人类将以何种方式存在的根本问题。

面向曲率及边界距离约束的弯曲管道内路径规划

弯曲管道结构是工业探测或医用诊察中常见的一种场景,传统机器人的路径规划大多基于管道中心线的提取,而忽略了在狭窄空间中作业的真实参数约束,易使得作业工具末端受到弯折或挤压,影响作业效率,增加作业风险.针对以上问题,提出了一种面向真实曲率和边界距离参数约束的路径规划方法,在可视化的三维模型中生成管道的中心稠密点集,针对该点集提出两步走的空间特征点识别策略.在选定作业路径的初始点、终止点后,依据邻近点间的曲率均值、极值及差分关系识别曲率极值点、分段点,通过对粗扫描特征点的遍历进一步识别出拐点和宽域节点以及过密点.将识别出的特征点作为型值点,反算得到NURBS曲线及对应插值点的曲率值,通过模型切片搜索得到曲线插值点的边界距离不合格点集.将极值点添加至特征点集中,再通过搜索得到的曲率不合格点集,将极值点进行拟合圆调整至后更新特征点集、在完成自适应轮次的特征点迭代后,检测并标记为空或连续不变的全区间参数不合格点区间集.实验结果证明:弯曲圆柱仿真模型和CT重建肾腔模型的规划路径经由迭代分别满足曲率10 mm^(-1)、8 mm^(-1)的约束.同时最短距离的全区间检测及标记结果也表明本文方法可以在满足曲率要求的前提下尽可能不碰撞管道内壁,验证了本文方法的有效性和可行性.