建设项目全生命周期评价方法体系——以公共租赁住房项目为例

项目全生命周期评价包含项目事前评估、事中监测和后评价的流程和内容。通过调查研究和经验总结,总结项目事前评估、事中监测与评价、后评价目前在国内应用中分别存在的主要问题,建立项目全生命周期评价方法体系。以公共租赁住房项目为例,采用逻辑框架法、项目绩效评价、综合指标体系评价法等一级评价方法对公共租赁住房项目开展全生命周期评价,可为各行业的政府投资项目建立全生命周期评价方法和指标体系提供参考。

青年学逻辑分析法研讨

青年学逻辑分析法源自青年学研究的实践活动,是对青年学研究合逻辑性的客观反映。青年学逻辑分析法具有明确的含义、鲜明的特征和独特的价值。青年学逻辑分析法的关键内容是:如何遵循逻辑规律和规则提出论点、提供论据和开展论证,以保持青年学研究的确定性、准确性和科学性。青年学逻辑分析法的常用方法有归纳与演绎的方法、分析与综合的方法、排列与对应的方法。在青年学研究方法体系中,逻辑分析法既是一种独立的研究方法,又渗透到其他研究方法之中,对各种研究方法起到支撑作用,从而成为一种基础性的研究方法。建构青年学逻辑分析法,有助于完善青年学研究方法体系,促进青年学学科建设,提升青年学研究的知识层次和学术水平。

粮食补贴政策的运行机制与改革逻辑——基于不确定性状态依存方法的解释

从种粮主体视角出发,引入劳动市场收入跨度概念,基于空间向量和不确定性状态依存方法构建了粮食补贴政策运行机制与改革逻辑的理论分析框架。基于该理论框架发现:(1)粮食补贴政策的核心作用之一是为粮食产业吸引较高技能禀赋的种粮者;(2)不同类型粮食补贴都会被当成收入性补贴,其产生的收入效应会起到扩大粮食种植面积和促进粮食科技进步的作用。因此应从政策空间、政策目标和政策弹性3个维度改革完善我国粮食补贴政策:一是进一步聚焦政策目标,提高技能型经营主体种粮意愿;二是充分发挥政策乘数效应,补贴聚焦产业链中后端;三是着力优化政策响应机制,抓住信息技术革命契机。

基于二维光子晶体全光逻辑门的设计

在二维光子晶体中嵌入了线缺陷,利用线性干涉效应和波导耦合,设计了一种基于二维光子晶体的同或门和与非门结构。主要采用平面波展开法对该二维光子晶体的能带结构进行分析,采用时域有限差分法,结合线性干涉效应,在Rsoft平台对所设计的同或门和与非门进行稳定电场图和归一化功率仿真。仿真结果标明:设计的同或门对比度高达29.5 dB,响应时间为0.073 ps,数据传输速率为13.7 Tbit/s;设计的与非门对比度高达24.15 dB,响应时间为0.08 ps,数据传输速率为12.5 Tbit/s。这些结果表明所设计的结构对比度高、响应时间短和数据传输速率快。

教育法典编纂的“公因式元素”及其逻辑主线

编纂契合新时代需求的教育法典,需要运用提取公因式的立法技术。运用该技术提取“公因式元素”,契合法典总分模式的体例要求,符合司法裁判的规范适用要求,得到国内外法典编纂的有效验证,符合中国教育国情的实际需求。教育法典提取“公因式元素”的过程分为三步:首先确定提取范围,其次通过因式分解法以相似性确定提取类别,最后通过逻辑涵摄方法以共有性提取特定“公因式元素”。教育法基本原则具有天然“公因式元素”属性;以法律效果和构成要件为双重标准,可进一步提取其他“公因式元素”,大致包含受教育权、教育主体、教育客体、教育内容等。基于逆向逻辑检视,可以洞察教育法典的各“公因式元素”之间存在一条以“权力-权利”为核心紧密联结的逻辑主线,其以保障受教育权为逻辑起点,保障教育主体权利、规范教育活动和呈现合理教育内容为联结中介,以国家教育权为外部保障,最终指向人的全面发展这一终极目标。

基于数理逻辑的安全协议本征逻辑分析方法

本文提出了一种基于数理逻辑的安全协议本征逻辑分析方法—SPALL方法.该方法在一阶谓词逻辑的基础上,增加了基于密码学的若干新语义,包括新的密码函数项、与密码学和安全协议分析相关的一阶谓词和二阶谓词等,并给出了十三类二十九条公理,仍使用谓词逻辑的分离规则和概括规则,形成新的安全协议分析系统,称为本征(latent)逻辑系统(也称本征逻辑或L逻辑).该系统是一阶谓词系统的扩充,以密码学和安全协议为“特定解释”,并定义了“概率真”的概念,力求每条公理在“特定解释”下是概率真的,而分离和概括规则又能保证从概率真演绎出概率真,从而使每条定理都概率真,以保证公理系统的可靠性.清晰的语义可以精确描述安全协议的前提与目标,基于公理和定理的协议分析,可简洁有效地推导出协议自身具有的安全特性.本文给出了详细的语义和公理,以及若干实用定理,然后对著名的密钥建立协议进行了详细分析,并对比了可证安全方法的分析结果,展示了本文方法的优势.此外还分析了电子选举协议和非否认协议,展示了本文方法有着广泛的适用范围.

基于模糊逻辑的飞机电推进系统能量管理策略研究

为了提升飞机电推进动力系统的关键性能,需要设计和优化内部能量管理控制策略并实现功率合理分配。本文基于MATLAB/Simulink平台,建立了电推进动力系统仿真模型,并在能量管理系统模块中提出了基于模糊逻辑的能量管理策略(EMS),其用于动力系统内部的功率分配和控制。针对从滑跑直到巡航稳定点的飞行任务段,对电推进动力系统进行了时段级仿真实验,研究了氢气消耗量等量化指标的表现。在此基础之上,基于遗传算法的优化方法,对模糊控制系统的隶属度函数参数进行了寻优。计算结果表明,在本文基于模糊逻辑的EMS作用下电推进动力系统的氢气消耗量减少9.27%,而且氢燃料电池功率波动剧烈程度减少25.11%;优化后,主指标氢气消耗量进一步减少6.5%,同时次要指标的变化被约束。

现场工程师培养的价值内涵与运行逻辑

现场工程师作为应用型、复合型技能人才,在生产、工程、管理、服务等领域发挥着关键性作用,他们科学运用技术手段,创造性地解决各类堵点问题。文章从多个维度出发,旨在梳理现场工程师培养的价值内涵,厘清培养现状与内在逻辑,整合资源、创新举措、完善机制,通过优化专业布局、完善专业管理、增效专业教学,打造现场工程师队伍建设的新体系。

基于模糊逻辑法的石油勘探开发数据自动集成方法

石油勘探开发数据集成时存在数据难以处理、利用价值低等问题,引入模糊逻辑法,开展对石油勘探开发数据自动集成方法的研究。采用建立石油勘探开发数据库、结合数据分片方式,实现数据同步与自动集成。通过应用模糊逻辑集成方法绘制的勘探线路、与其他两种集成方法绘制勘探线路的结果对比,实验表明:模糊逻辑集成方法可以有效提高开发数据的利用价值,并且根据集成结果绘制成的石油勘探线路可以有效控制在安全范围内,提升了石油开采的安全性。

以习近平文化思想破除文化虚无主义:文化逻辑、理路遵循、践行方式

习近平总书记关于中华优秀传统文化、革命文化、社会主义先进文化的重要论述,分别对应破除传统文化虚无主义、革命文化虚无主义、社会主义先进文化虚无主义三大症候,构成了以习近平文化思想破除文化虚无主义的文化逻辑,引领并指导其理路遵循,为践行方式提供解析路径。以习近平文化思想破除文化虚无主义,其理路遵循的三个方面,分别是以“历史回顾—理论阐释—实践检验”破除“历史—当下—未来”的文化叙事理路、以“实事求是—与时俱进—守正创新”破除“反思—质疑—重评”的文化建构理路、以“以中为主—明体达用—体用贯通”破除“丑化—矮化—西化”的文化发展理路。其践行方式的三个方面,分别为将坚定文化自信作为文化叙事的基本内容进而从文化叙事上否定文化虚无主义的“合理性”、将秉承“两个结合”作为文化建构的方法遵循进而从文化建构上否定文化虚无主义的“合规性”、将建设中华民族现代文明作为文化发展的崇高使命进而从文化发展上否定文化虚无主义的“合情性”。以习近平文化思想破除文化虚无主义,将指引我们从容应对百年未有之大变局下的文化变局。

公共研发投入经济影响评估的国际实践与启示

对公共研发投入的科技活动开展经济影响评估是发达国家政府普遍做法。选取了欧盟框架计划(Framework Programmes,FP)、人类基因组计划(Human Genome Project,HGP)、加拿大自然科学与工程理事会(Natural Sciences and Engineering Research Council of Canada,NSERC)合作研发计划和美国国家标准与技术研究院(National Institute of Standards and Technology,NIST)研发项目的经济影响评估实践。具体分析了4个评估实践的经济影响评估逻辑框架、反事实分析、经济计量方法和选用指标。研究发现,完整的评估逻辑框架,科学的评估设计,成熟的经济计量模型和完备的指标数据等是经济影响评估的重要因素。通过国际评估实践分析与总结为中国国家科技计划影响评估提供经验借鉴。

广西河池某矿水文地质特征分析及涌水量预测

以广西河池某矿区为研究对象,通过对矿区相关的水文地质条件进行分析,并采用水文地质比拟法、大井法和修正后大井法公式对矿区涌水量进行预测对比。结果表明:含水岩组之间水力联系密切,断层破碎带裂隙水发育明显,岩溶破碎带对矿床开采影响较大。矿区北、东以及西部为隔水边界,南部为透水边界。地下水径流赋存运移于岩溶裂隙、断层破碎带及岩溶管道中,汇流集中于北东、北西径流带进行排泄。水文地质比拟法的矿区平水期、枯水期及丰水期涌水量分别为18364.72 m^(3)/d、15 893.31 m^(3)/d、79 794.11 m^(3)/d;大井法用裘布依公式预测结平水期、枯水期及丰水期涌水量分别为23 108.90 m^(3)/d、21 044.15 m^(3)/d、27 418.04 m^(3)/d;修正后的大井法平水期、枯水期及丰水期涌水量分别为16 028.25 m^(3)/d、15 421.58 m^(3)/d、23 485.05 m^(3)/d。研究表明水文地质比拟法和修正后大井法公式预测结果更准确合理,符合预期结果。

花椒挥发油化学成分及药理作用研究进展

花椒挥发油主要包含萜烯类、醇类、醛类、酮类、酯类、环氧化合物类及脂肪烃类成分,具有抗炎、镇痛、抑菌、杀虫、止痒、抗肿瘤、抗氧化、促进透皮吸收、改善中枢神经系统障碍等多种药理作用。通过查阅国内外相关文献,对花椒挥发油的提取方法、化学成分及其影响因素、药理作用进行系统综述,同时指出目前花椒挥发油研究存在的问题,并展望未来研究方向,为花椒挥发油的深入研究和临床应用提供有益参考。参考文献76篇。

改进的栖息地法求解多种产漂流性卵鱼类生态流量方法研究

为了解决产漂流性卵鱼类产卵场栖息地模拟的多鱼种生态流量求解不足的问题,提出一种通过鱼类产卵场栖息地模拟计算,在耦合多种产漂流性卵鱼类生态需求的基础上进行生态流量及阈值计算的求解方法,包括:①采用模糊逻辑法进行产卵场栖息地模拟;②改进优势度模型,并运用熵权法确定鱼种的生态流量权重,加强鱼类产卵场生态流量结果的适用性;③耦合多种鱼类产卵需求求解生态流量,并基于单、多鱼种最适生态流量求解综合生态流量阈值。方法考虑了多种鱼类产卵期间的生态流量需求,增加了鱼种对河流生态需求指示作用的可靠性,研究成果可为水库生态调度提供理论基础,为河流水资源管理提供必要参考。

基于模糊逻辑的人为差错概率量化方法

为满足人机系统概率风险评估的需要,提出一种人为差错概率量化方法。分析技能、规则和知识为基础(skill,rule and knowledge-based,SRK)框架和行为模式的确定方法Hanaman决策树法,指出在确定行为模式的过程中考虑行为模式影响因素的不确定性是必要的;使用模糊逻辑方法处理行为模式各个影响因素的不确定性,根据Hanaman决策树构建模糊推理规则,利用系统人为行为可靠性程序(systematic human action reliability procedure,SHARP)方法所提供的人为差错概率区间确定人为差错概率的隶属度函数。结果表明:该方法考虑了任务场景的不确定性,可以得到人为差错概率的精确值,满足人机系统概率风险评估的需要。

案例行动学习法:内涵、价值逻辑及推广路径

案例行动学习法是“案例教学+行动学习”模式相融合而成的创新型情境式教学模式,其以能够大幅度提升商科学员培养效果而引起学界广泛关注。在对案例行动学习法内涵理解的基础上,探索案例行动学习法的价值逻辑及大规模推广路径。研究发现:理论层面和实践层面的设计奠定了案例行动学习法大范围推广的观念基础;教学内容模块化搭建了案例行动学习法大范围推广的核心架构;标准化的教学流程建构了案例行动学习法大范围推广的实现逻辑。通过明晰商科学员知识能力建构的内在机理及知识能力的演化路径,推导出案例行动学习法大范围的推广路径、标准化的实现路径,同时构建了案例行动学习法大范围推广的实现逻辑。研究深化了对案例行动学习法内涵的理解,为高质量、高效率地推广应用案例行动学习法提供了新思路。

机械装备CAN总线网络故障分析诊断

车载总线网络在机械装备中的应用日益广泛,但有关CAN总线网络故障诊断理论及其方法的研究尚不多见。以某型轮式冲击桥元件为研究对象,介绍了故障逻辑诊断法的步骤,提出了逻辑诊断的流程,给出了CAN总线网络故障的详细诊断流程,解决了装备电控系统总线网络故障的诊断难题。该研究成果具有重要的适用性和指导性,其推广应用可提高机械装备电控系统的故障检测与维修保障水平,提高装备的完好率。

法律论证研究在中国:成长与变化

法律论证研究在中国可以划分为三个阶段:一是法律论证研究的孕育和出场,二是法律论证研究的兴起和迅猛发展,三是新时代的法律论证研究。中国法律论证研究在不同的历史时段具有不同的境遇和任务,亦有不同的理论表现和发展重心。经过几十年发展,法律论证在中国已发展成为一项重要的独立研究课题,形成了诸多研究进路、研究论题和研究团队,并成为指引和引领法学理论和部门法研究的基础理论。同时,中国法律论证研究还面临如何立足于中国文化传统与现实语境,学习镜鉴域外法律论证理论,创建中国自主的法律论证理论等问题。

可满足性模理论综述

可满足性模理论(SMT)是指判定一阶逻辑公式在特定背景理论下的可满足性问题。基于一阶逻辑的SMT相比SAT描述能力更强、抽象能力更高,能处理更加复杂的问题。SMT求解器在各个领域都有应用,已经成为重要的形式化验证引擎。目前,SMT已被广泛应用在人工智能、硬件RTL验证、自动化推理和软件工程等领域。根据近些年SMT的发展,首先阐述SMT基本知识和常见的背景理论;然后分析总结Eager方法、Lazy方法和DPLL(T)方法的实现流程,并进一步介绍主流求解器Z3、CVC5和MathSAT5的实现过程;接着介绍SMT的扩展问题#SMT、SMT应用在深度神经网络的SMTlayer方法和量子SMT求解器;最后对SMT的发展进行展望,并讨论其面临的挑战。