中国式现代化系统运行研究论纲

推进中国式现代化是一个系统工程。中国式现代化系统运行蕴含着深刻的内在逻辑,文化根基的深厚滋养是发生前提,战略目标的辩证统一是方向引领,核心要素的稳定运转是现实根基,评估优化的高效实施是可靠保证,系统机制的勾联融通是核心要旨。以内在逻辑为支撑,中国式现代化系统运行具备由文化根基层、目标引领层、核心要素层、评估优化层、系统机制层所构成的立体结构,呈现出开放性、整体性、结构性、稳定性、层次性的鲜明特征,理解中国式现代化系统运行需要把握好顶层设计与实践探索、战略与策略、守正与创新、效率与公平、活力与秩序、自立自强与对外开放等重大关系。中国式现代化系统运行的实践路径包括坚持和加强党的全面领导,构建中国式现代化评估指标体系,提供坚实的学科体系支撑,注重系统运行的风险防范。

公共体育治理助推中华民族伟大复兴的逻辑理路与优化路径

运用逻辑推演和案例分析等研究方法,对公共体育治理助推中华民族伟大复兴的逻辑理路与框架进行系统研究,旨在探究其优化路径。沿着中华民族伟大复兴目标与公共体育治理的逻辑理路,探索并推演出中国特色的公共体育多元互动治理结构,提出面向中华民族伟大复兴的公共体育治理优化框架,即运行机制更完善、治理方式更现代、治理目标更明晰;优化路径包括优化党领导下的政府主导型公共体育治理机制、创新互动式协同网络治理方式以及确立以人民为中心的全民体育治理目标3个方面,以期推动我国公共体育治理体系和治理能力在现代化道路上不断取得新突破。

智能通风精准调控系统架构及实现

为满足矿井通风系统智能化升级的战略需求,研究了智能通风精准调控系统的设计原则、逻辑架构及具体实现。从状态感知、控制算法和调控策略3个方面梳理了智能通风调控系统的现状,针对当前智能通风调控系统各研究领域相互割裂、数据难以相互支撑的不足,从顶层设计入手,提出以融合感知算法与控制算法为核心的系统全生命周期设计原则,以此为基础提出了以边缘端“感控一体”为核心的逻辑框架;设计并搭建了矿井智能调风软硬件平台,采取各种措施保障人车安全与系统可靠运行;针对传统框架中状态感知与精准控制算法相对分离,导致风量控制对噪声敏感的具体问题,提出采用结合卡尔曼滤波的比例积分微分闭环控制算法精准追踪巷道风量,并融入了专家建模、算法寻优和设备联动的决策与控制理念。最后,在矿井智能调风软硬件平台中开展了正常时期的风窗风量精准追踪实验和灾变时期的风烟流排除实验。实验结果表明,结合卡尔曼滤波的比例积分微分闭环控制算法相比传统比例积分微分闭环控制算法在风量追踪的准确性、抗干扰性和整体效率3个方面分别提高了20.3%、17.4%和13.9%,实现了正常时期风量的精准高效控制;风烟流排除实验中,风窗两侧恒定压差实时调控可以兼顾窒息灭火与防止烟流入侵,实现了灾变时期烟流的精准控制。2者验证了智能通风精准调控系统设计原则和逻辑框架的有效性。

本科生导师制下的师生行为逻辑与调适路径——基于IAD分析框架

本科生导师制是高校选聘专业教师对本科生进行深入指导的制度,对培养学生批判性思维、提升本科人才培养质量具有重要作用。文章基于制度分析与发展(IAD)框架,探讨在外生变量影响下,导师和学生两个参与主体的行为逻辑和互动结构,从获益程度、强制程度两个维度定义师生潜在的四种行为选择,并归纳了影响师生行为选择的关键因素。研究发现,筛选参与制度的行动者、明确导学理念与职能、建立权责利统一的激励制度,有助于本科生导师制的有效运转。

基于本体论的电子商务知识描述语言

应用本体论对电子商务知识建模 ,提出电子商务知识描述的分层框架 ,并结合描述逻辑、框架系统设计面向电子商务的知识描述语言 (KDL) .介绍了KDL的语法 ,从一阶逻辑的角度分析KDL的语义特征 ,提供KDL描述到一阶逻辑表达式的映射方法 .最后 ,通过实例证明KDL具有规范的语法、精确的语义和较强的逻辑推理能力 .

董事会对公司战略过程评价:逻辑架构与指标体系

公司的战略管理是所有管理活动的重中之重,它包括战略判断、计划与预算活动、战略执行以及适应(Adaptive)与交互(Interactive)性的战略控制体系。而现代公司治理原则要求董事会应关注和评价公司的战略管理活动。本文进一步认为,在资本市场不够发达的情况下,董事会应关注公司战略管理的全过程。为此,我们提出了一个针对公司战略管理体系有效性评价的基本框架和评价指标体系,目的在于使公司治理有效地作用于管理过程,最终为企业创造价值。

经济责任审计研究:评价体系的逻辑框架设计

经济责任审计评价体系研究不仅有利于提升经济责任审计工作质量,加强经济责任审计规范化建设,还有助于完善我国经济责任审计的理论体系。本文阐述了经济责任审计评价体系的研究背景,分析我国不同经济责任审计的各自审计内容,并在此基础之上,提出了构建经济责任审计的指导思想与原则,设计出以共性指标群、类型特征群以及前瞻性指标群为主体的经济责任审计评价体系逻辑框架。

基于规则的关系数据库到本体的转换方法

提出了一种新的全自动的关系数据库到本体的转换方法,通过分析关系模式的主键、属性、引用关系、完整性约束和部分数据来创建本体,尽量保持了关系数据库的信息,并在构建的过程中对信息进行初步的集成和分类。系统实践证明,该方法可自动进行关系模式和数据到本体的等价转换,而且完成了对关系数据库中部分语义信息的辅助挖掘。

太湖流域望虞河工程后评价

以望虞河工程为研究对象,采用有无对比、前后对比法,建立该工程项目后评价的逻辑框架,着重探讨了该工程后评价中的过程后评价。后评价表明整个工程达到了预定目标,发挥了显著的综合效益。但由于当时水利工程管理体制的落后及建筑市场的不规范,在进度控制、运行管理、招投标等方面存在一些问题。

逻辑框架法在黑河调水及近期治理可持续性评价中的应用

逻辑框架法是通过垂直逻辑关系检验项目的效果和作用,通过水平逻辑关系对资源和成果进行说明和评价。运用逻辑框架法对黑河调水及近期治理可持续性进行评价,同时综合运用成功度评价法和层次分析法对各单项指标进行等级评定和层次分析,得出黑河调水及近期治理可持续性评价总的评价等级结果。

基于本体的数学知识获取与知识继承机制研究

基于本体、框架和逻辑给出了数学知识表示语言,采用了面向概念的数学知识获取方法,利用半自动的方式对数学知识进行了获取。提出了知识树的概念用于所获得的知识的管理,设计并实现了数学知识获取和管理平台。研究了数学概念知识体系结构以及概念之间的知识继承机制,并对知识继承的一致性进行了分析。在数学知识的应用方面,对基于Web的数学知识问答系统、数学智能教学系统、数学知识的多语言版本自动生成等进行了初步的探讨。

WDS-A微扫测井测斜系统电路设计

为了完成测斜系统传感器信号调制、控制、三总线信号驱动、转换及上传数据解调电路功能,根据三总线信号特点,设计出一套数据接口、信号采集与控制电路,帧形成及字形成电路.经过室内及十余次野外油田试验,表明:接口及信号调制控制传输电路达到功能设计要求,微电扫测斜系统电子仪传输后转换精度达到4.2‰,表示每帧数据传输时间的时间字偏差不超过0.3‰,说明该短节电路设计可靠稳定,满足功能要求.

基于CPLD的空间面阵CCD相机驱动时序发生器的设计与硬件实现

在分析e2v公司的CCD47-20 Backthinned NIMO型CCD器件驱动时序关系的基础上,设计了可调帧频和曝光时间的空间面阵CCD相机驱动时序发生器及其硬件电路.选用可编程逻辑器件作为硬件设计载体,使用VHDL语言对驱动时序发生器进行了硬件描述.针对ALTERA公司的EPM9400LC84-15对设计进行了RTL级仿真及配置,完成了时序发生器的硬件电路.硬件实验结果表明,所研制的驱动时序发生器不仅可以满足空间CCD相机的驱动要求,而且还可以调节帧频和曝光时间.

面向电子商务的知识描述语言

针对电子商务自动化、智能化和移动化的新趋势 ,应用本体论对电子商务知识建模 ,提出电子商务知识描述的分层框架 ,结合描述逻辑、框架系统设计了基于XML和本体论技术的电子商务知识描述语言(KDL)。介绍了KDL的语法 ,从一阶逻辑的角度分析KDL的语义特征 ,提供KDL描述到一阶逻辑表达式的映射方法。最后 ,通过实例证明KDL具有规范的语法、精确的语义和较强的逻辑推理能力。

国家知识基础设施中的数学知识表示

数学知识表示是知识表示中的一个重要方面,是数学知识检索、自动定理机器证明、智能教学系统等的基础.根据在设计NKI(nationalknowledgeinfrastructure)的数学知识表示语言中遇到的问题,并在讨论了数学对象的本体论假设的基础上提出了两种数学知识的表示方法:一种是以一个逻辑语言上的公式为属性值域的描述逻辑;另一种是以描述逻辑描述的本体为逻辑语言的一部分的一阶逻辑.在前者的表示中,如果对公式不作任何限制,那么得到的知识库中的推理不是可算法化的;在后者的表示中,以描述逻辑描述的本体中的推理是可算法化的,而以本体为逻辑语言的一部分的一阶逻辑所表示的数学知识中的推理一般是不可算法化的.因此,在表示数学知识时,需要区分概念性的知识(本体中的知识)和非概念性的知识(用本体作为语言表示的知识).框架或者描述逻辑可以表示和有效地推理概念性知识,但如果将非概念性知识加入到框架或知识库中,就可能使得原来可以有效推理的框架所表示的知识库不存在有效的推理算法,甚至不存在推理算法.为此,建议在表示数学知识时,用框架或描述逻辑来表示概念性知识;然后,用这样表示的知识库作为逻辑语言的一部分,以表示非概念性知识.

民族区域自治理论新解——纪念内蒙古自治区成立60周年

民族区域自治理论是中国共产党民族理论和政策中的重要的一部分。本文从民族区域自治的内容、地位、特点方面概说要点;从民族自治地方、自治机关、自治权关系论述了民族区域自治理论的逻辑构架;从民族区域自治的组织形式、实现形式、法制形式方面提出了创新思路。

基于优势资源创建竞争优势

"竞争优势"已成为理论界和企业界关注的焦点。基于优势资源创建竞争优势,以"优势资源———核心专长———核心竞争能力"三个主体因素的战略三角逻辑关系为理论依据,构思创建竞争优势的基本构架。为我国企业如何从目前立足于产品转向立足于优势资源创建竞争优势,增强竞争胜算的把握,从而快速、有效地提升竞争优势提供了一个新的思路。

一种简单有效的运动目标检测算法

针对固定场景中运动目标检测遇到的运动目标状态突变,非运动目标干扰以及阴影等问题,提出了一种背景差分和帧间差分相结合的运动目标检测算法;该算法首先通过平均法背景模型确立背景,使用背景差分得到一幅二值化前景图像,然后将通过连续的多帧图像进行相邻帧差分得到的多幅二值化前景图像进行逻辑或运算,最后将运算结果同背景差分所得到的二值化前景图像进行逻辑与运算,得到最终运动目标区域;实验表明,该算法运算速度快,准确率高,并能满足实时检测的需要;不足之处是在摄像机与运动物体夹角很小的情况下,检测效果较差,但可以通过多台摄像机协同操作来达到理想的效果。

经济法责任研究的逻辑起点与理论框架论略

结合对以往经济法责任研究的反思,确立"社会竞争利益维护"作为经济法责任研究的逻辑起点,将"社会竞争利益的补偿"作为经济法责任的承责基础;以"主体—行为—责任"作为透视经济法责任形态的理论框架;并以"成本—效益"作为分析经济法责任追究方式的理论框架,提出了经济法责任追究方式的"坐标构造"。

框架投影时序逻辑程序设计语言中的指针

针对框架投影时序逻辑程序设计语言Framed Tempura,提出了一种形式化指针及其实现的新方法.该方法扩展了投影时序逻辑,基于名字常量给出了指针引用和反引用的形式化定义,再使用框架操作符和极小模型,给出了指针在投影时序逻辑的可执行子集Framed Tempura中的实现方法.原地逆置单链表的实例说明该方法是切实可行的.