深化农村集体产权制度改革的逻辑框架、难点阻点与制度构建 被引量：7

1

作者 魏广成 孔祥智 《南京农业大学学报（社会科学版）》 CSSCI 北大核心 2024年第6期14-24,共11页

深化农村集体产权制度改革是新时期全面深化改革的重要组成部分,也是实现乡村全面振兴的重要支撑。在中国式现代化的时代背景下,全国集体经济组织在运行机制、分配方式、决策制度等方面仍普遍存在着一些共性问题,这些问题并未因农村集... 深化农村集体产权制度改革是新时期全面深化改革的重要组成部分,也是实现乡村全面振兴的重要支撑。在中国式现代化的时代背景下,全国集体经济组织在运行机制、分配方式、决策制度等方面仍普遍存在着一些共性问题,这些问题并未因农村集体产权制度改革任务的完成而得到解决。在产权理论与契约理论的基础上,从管理、机制与制度三个视角展开分析,总结出新时期深化农村集体产权制度改革的“逻辑框架、三重阻滞、重点方向与制度构建”的逻辑框架,并指出新时期仍需以规范农村集体经济组织运行机制、推动新型农村集体经济市场化改革、构建新型农村集体经济现代企业制度作为重点任务。因此,应巩固提升农村集体产权制度改革成果、推进新型农村集体经济市场化改革、构建农村集体经济组织的现代企业制度。 展开更多

关键词 农村集体产权制度 新型农村集体经济 逻辑框架

在线阅读 下载PDF 职称材料

基于规则的关系数据库到本体的转换方法 被引量：10

2

作者 余霞 刘强 叶丹 《计算机应用研究》 CSCD 北大核心 2008年第3期767-770,785,共5页

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

关键词 数据集成 关系模式 本体 框架逻辑 资源描述框架

在线阅读 下载PDF 职称材料

基于本体论的电子商务知识描述语言 被引量：7

3

作者 何坚 覃征 贾晓琳 《电子学报》 EI CAS CSCD 北大核心 2005年第2期297-300,共4页

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

关键词 本体论 电子商务 描述逻辑 框架系统 一阶逻辑

在线阅读 下载PDF 职称材料

国家知识基础设施中的数学知识表示 被引量：2

4

作者 曹存根 眭跃飞 +1 位作者 孙瑜 曾庆田 《软件学报》 EI CSCD 北大核心 2006年第8期1731-1742,共12页

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

关键词 数学知识 框架 描述逻辑 本体

在线阅读 下载PDF 职称材料

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

5

作者 龚红 宁向东 崔涛 《南开管理评论》 CSSCI 2007年第5期26-30,共5页

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

关键词 董事会 战略过程 评价 逻辑架构 指标体系

在线阅读 下载PDF 职称材料

庭审叙事特征分析 被引量：6

6

作者 余素青 《外国语文》 CSSCI 北大核心 2011年第2期61-66,共6页

叙事首先是作为文学要素发展起来的,因此通常被用于文学作品的研究。随着叙事理论研究的不断深入,现在叙事学已经成了一个多学科研究方法,并被广泛用于各个领域的研究。从法庭审判的功能来看,开庭审理即人民法院在当事人和所有诉讼参与... 叙事首先是作为文学要素发展起来的,因此通常被用于文学作品的研究。随着叙事理论研究的不断深入,现在叙事学已经成了一个多学科研究方法,并被广泛用于各个领域的研究。从法庭审判的功能来看,开庭审理即人民法院在当事人和所有诉讼参与人的参加下,全面审查认定案件事实,并依法作出裁判或调解的活动。因此,庭审中认定事实的过程就是一个案件事实的构建过程,构建的主要方式是叙述。庭审中的叙事有很多其自身的特征。 展开更多

关键词 叙事学 文学叙事 法庭事实构建 法律框架 逻辑相关性

在线阅读 下载PDF 职称材料

一种基于混合高斯模型的运动目标检测新算法 被引量：4

7

作者 茅正冲 王丹 徐昊 《科学技术与工程》 北大核心 2013年第14期4070-4073,4078,共5页

针对传统的混合高斯模型算法检测时存在较多噪声的不足,提出了一种基于混合高斯模型与三帧差法相结合的运动目标检测算法。该算法首先分别通过混合高斯模型算法和三帧差法各获得一幅前景图像,然后将两幅图像进行逻辑或运算;再对获得的... 针对传统的混合高斯模型算法检测时存在较多噪声的不足,提出了一种基于混合高斯模型与三帧差法相结合的运动目标检测算法。该算法首先分别通过混合高斯模型算法和三帧差法各获得一幅前景图像,然后将两幅图像进行逻辑或运算;再对获得的图像进行自适应中值滤波处理,并利用连通域阈值面积去噪法除去剩余的噪声,最终提取出运动目标。实验仿真结果表明,利用该方法可以有效地提高运动目标的检测率。 展开更多

关键词 混合高斯模型 三帧差法 逻辑或运算 自适应中值滤波

在线阅读 下载PDF 职称材料

农业供给侧结构性改革:理论逻辑和决策思路 被引量：26

8

作者 祁春节 《华中农业大学学报（社会科学版）》 CSSCI 北大核心 2018年第4期89-98,170,共11页

农业供给侧改革是农业生产力与生产关系的重大变革,不仅仅是结构性改革,同时也是功能性改革和组织性改革。从宏观经济分析框架入手,阐述农业"需求侧"与"供给侧"的相互关系,以科斯参照系替代新古典的阿罗-德布罗参照... 农业供给侧改革是农业生产力与生产关系的重大变革,不仅仅是结构性改革,同时也是功能性改革和组织性改革。从宏观经济分析框架入手,阐述农业"需求侧"与"供给侧"的相互关系,以科斯参照系替代新古典的阿罗-德布罗参照系,初步提出现代农业生产-供给体系理论;重新认识现代农业,尝试性地提出现代农业的"三维系统"理论,从学理上基本厘清了供给侧结构性改革的理论逻辑。研究认为,农业生产-供给系统是"生产要素+技术+组织形式+制度安排"的有机综合体。据此提出农业供给侧改革决策的一个核心是思维创新,两个关键是科技创新和制度创新。 展开更多

关键词 农业供给侧 参照系 结构性 理论逻辑 决策思路

在线阅读 下载PDF 职称材料

框架时序逻辑语言MSVL中面向对象机制的实现 被引量：1

9

作者 王小兵 段振华 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2010年第3期559-564,575,共7页

针对目前时序逻辑语言存在框架问题、缺少面向对象机制、形式化程度过高等不足,提出了框架时序逻辑语言MSVL,包含新的框架操作符、等待语句和非确定的选择语句等技术,并且能够支持面向对象的程序设计.基于正则形和正则图,给出了MSVL解... 针对目前时序逻辑语言存在框架问题、缺少面向对象机制、形式化程度过高等不足,提出了框架时序逻辑语言MSVL,包含新的框架操作符、等待语句和非确定的选择语句等技术,并且能够支持面向对象的程序设计.基于正则形和正则图,给出了MSVL解释器的实现方案.并发访问共享资源的实例表明,MSVL比其他时序逻辑语言更接近高级语言,并且解释器的实现方案是切实可行的. 展开更多

关键词 框架 时序逻辑 时序逻辑语言 面向对象程序设计 解释器

在线阅读 下载PDF 职称材料

太湖流域望虞河工程后评价 被引量：4

10

作者 张睿 杨高升 周玉康 《水利经济》 2005年第1期23-24,31,共3页

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

关键词 水利工程 望虞河 后评价 逻辑框架 太湖流域

在线阅读 下载PDF 职称材料

面向电子商务的知识描述语言 被引量：1

11

作者 何坚 覃征 +1 位作者 贾晓琳 谢国彤 《中文信息学报》 CSCD 北大核心 2004年第6期37-42,共6页

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

关键词 人工智能 自然语言处理 本体论 电子商务 描述逻辑 框架系统 一阶逻辑

在线阅读 下载PDF 职称材料

PLC在龙门刨铣床数控化改造中的应用 被引量：3

12

作者 俞鸿斌 《机电工程》 CAS 2007年第7期97-99,共3页

采用三菱FX2N-64MR型PLC对B2016龙门刨铣床进行数控化改造,设计了龙门刨铣床刀架、横梁外部接口电路及主运动控制电路,完成了主运动、刀架、横梁PLC控制程序设计,实现了对龙门刨铣床刀架、横梁进给运动及工作台主运动电气控制系统的PLC... 采用三菱FX2N-64MR型PLC对B2016龙门刨铣床进行数控化改造,设计了龙门刨铣床刀架、横梁外部接口电路及主运动控制电路,完成了主运动、刀架、横梁PLC控制程序设计,实现了对龙门刨铣床刀架、横梁进给运动及工作台主运动电气控制系统的PLC逻辑时序控制。实践证明,改造好的龙门刨铣床大大提高了机床的性能和加工能力,有效地提高了工件的加工精度,产生了显著的经济效益和社会效益。 展开更多

关键词 龙门刨铣床 可编程逻辑控制器 数控化改造

在线阅读 下载PDF 职称材料

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

13

作者 冉晓强 汶德胜 +2 位作者 郑培云 王华 梁义涛 《光子学报》 EI CAS CSCD 北大核心 2007年第2期364-367,共4页

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

关键词 空间面阵CCD相机 驱动时序发生器 复杂可编程逻辑器件 可调帧频和曝光时间 硬件电路

在线阅读 下载PDF 职称材料

基于优势资源创建竞争优势 被引量：8

14

作者 蒋运通 《湘潭大学学报（哲学社会科学版）》 2004年第5期149-153,共5页

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

关键词 企业 优势资源 竞争优势 战略逻辑 创建构架

在线阅读 下载PDF 职称材料

中国现代管理理论的学科考察与启示 被引量：2

15

作者 张越 周建波 张亚光 《河北经贸大学学报》 CSSCI 北大核心 2017年第6期42-48,共7页

"中国现代管理理论"是辛亥革命以来中国现代化建设中的具有中国特色、风格与精神的现代管理理论体系,是关于中国现代管理实践与理论的归纳、概括与总结,是推进我国经济社会可持续发展与中华民族伟大复兴的重要理论支撑。考察&... "中国现代管理理论"是辛亥革命以来中国现代化建设中的具有中国特色、风格与精神的现代管理理论体系,是关于中国现代管理实践与理论的归纳、概括与总结,是推进我国经济社会可持续发展与中华民族伟大复兴的重要理论支撑。考察"中国现代管理理论"学科建设的基本过程,探究与审视其框架结构与学科要件,阐释其内在逻辑与发展趋势,是"中国现代管理理论"研究的重要方面。 展开更多

关键词 中国现代管理理论 框架结构 学科要件 内在逻辑

在线阅读 下载PDF 职称材料

框架投影时序逻辑程序设计语言中的指针 被引量：4

16

作者 王小兵 段振华 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2008年第6期1069-1074,共6页

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

关键词 形式语言 时序逻辑程序设计 数据结构 程序设计语言

在线阅读 下载PDF 职称材料

机械手肋骨冷弯机控制系统 被引量：4

17

作者 胡勇 王呈方 《船海工程》 北大核心 2005年第4期45-47,共3页

针对新型的机械手肋骨冷弯机,提出了以可编程控制器(PLC)为中心的控制系统,实现了对该机的进料、夹紧、夹松、弯曲、回弹等操作的程序控制,讨论避让、时间控制、回弹问题的处理方法,该控制系统工作稳定可靠,满足使用要求。

关键词 肋骨冷弯机 控制系统 可编程控制器(PLC) 造船

在线阅读 下载PDF 职称材料

基于时间区间的并行行为与并发事件逻辑 被引量：2

18

作者 朱娟 刘玉树 《计算机工程》 CAS CSCD 北大核心 2002年第3期13-15,17,共4页

在基于时间区间的时态逻辑基础上,提出了一种处理主体并行行为与并发事件的逻辑理论框架。文章提出的逻辑系统将事件与动作置于同一个逻辑体系下,以时间区间为基础,深入分析了二者之间的关系,充分发挥了事件的作用,动作的描述得到简化... 在基于时间区间的时态逻辑基础上,提出了一种处理主体并行行为与并发事件的逻辑理论框架。文章提出的逻辑系统将事件与动作置于同一个逻辑体系下,以时间区间为基础,深入分析了二者之间的关系,充分发挥了事件的作用,动作的描述得到简化。文章给出了逻辑系统的语法和语义描述,还提出了基于领域描述结构的并发事件冲突消解方法。 展开更多

关键词 并行行为 并发事件逻辑 时间区间 多主体系统 神经网络

在线阅读 下载PDF 职称材料

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

19

作者 杜江 《沈阳体育学院学报》 CSSCI 北大核心 2023年第6期116-122,129,共8页

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

关键词 中华民族伟大复兴 公共体育治理 逻辑契合 治理框架 优化路径

在线阅读 下载PDF 职称材料

积分时间可调的CCD相机驱动时序设计与实现 被引量：4

20

作者 周建康 陈新华 +1 位作者 周望 沈为民 《光子学报》 EI CAS CSCD 北大核心 2008年第11期2300-2304,共5页

在分析帧转移CCD的结构和驱动时序的基础之上,对时序关系和积分时间选择进行了计算,并给出积分时间可调的循环嵌套时序设计方案.以现场可编程逻辑门阵列为硬件载体,用硬件描述语言对方案进行设计.考虑到CCD驱动时序复杂、相位要求严格,... 在分析帧转移CCD的结构和驱动时序的基础之上,对时序关系和积分时间选择进行了计算,并给出积分时间可调的循环嵌套时序设计方案.以现场可编程逻辑门阵列为硬件载体,用硬件描述语言对方案进行设计.考虑到CCD驱动时序复杂、相位要求严格,提出运用锁相环技术进行高频信号的精确移相,用嵌入式逻辑分析仪对时序进行采样验证,在CCD电路板上实现了积分时间可调的CCD空间相机驱动时序. 展开更多

关键词 帧转移CCD 积分时间 锁相环 嵌入式逻辑分析仪

在线阅读 下载PDF 职称材料