期刊文献+
共找到219篇文章
< 1 2 11 >
每页显示 20 50 100
Transition Logic Regression Method to Identify Interactions in Binary Longitudinal Data 被引量:1
1
作者 Parvin Sarbakhsh Yadollah Mehrabi +2 位作者 Jeanine J. Houwing-Duistermaat Farid Zayeri Maryam Sadat Daneshpour 《Open Journal of Statistics》 2016年第3期469-481,共13页
Logic regression is an adaptive regression method which searches for Boolean (logic) combinations of binary variables that best explain the variability in the outcome, and thus, it reveals interaction effects which ar... Logic regression is an adaptive regression method which searches for Boolean (logic) combinations of binary variables that best explain the variability in the outcome, and thus, it reveals interaction effects which are associated with the response. In this study, we extended logic regression to longitudinal data with binary response and proposed “Transition Logic Regression Method” to find interactions related to response. In this method, interaction effects over time were found by Annealing Algorithm with AIC (Akaike Information Criterion) as the score function of the model. Also, first and second orders Markov dependence were allowed to capture the correlation among successive observations of the same individual in longitudinal binary response. Performance of the method was evaluated with simulation study in various conditions. Proposed method was used to find interactions of SNPs and other risk factors related to low HDL over time in data of 329 participants of longitudinal TLGS study. 展开更多
关键词 logic Regression Longitudinal Data transition Model Interaction TLGS Study Low HDL SNP
在线阅读 下载PDF
新中国高校创新体系建设的历史演进、变迁逻辑与未来展望 被引量:1
2
作者 褚照锋 罗志敏 《国家教育行政学院学报》 北大核心 2025年第4期53-64,共12页
高校创新体系是国家科技力量和原始创新研究的重要支撑。在加快实现高水平科技自立自强的国家战略要求下,回溯高校创新体系建设的发展历程,剖析其变迁逻辑,对其今后进一步完善和发展具有重要意义。研究发现,自新中国成立以来,高校创新... 高校创新体系是国家科技力量和原始创新研究的重要支撑。在加快实现高水平科技自立自强的国家战略要求下,回溯高校创新体系建设的发展历程,剖析其变迁逻辑,对其今后进一步完善和发展具有重要意义。研究发现,自新中国成立以来,高校创新体系建设始终置于国家创新体系建设的重要位置,其建设历程可划分为萌芽探索期、初步创建期和形成完善期三个阶段;其历史演进呈现出相关要素不断走向规范化、系统化、一体化、法制化的发展趋势。这背后彰显的动力逻辑是国家统筹资源的制度优势,价值逻辑是面向不同时期国家的战略需求,操作逻辑是依托学科专业结构的不断调整。面向未来,高校创新体系建设需以科技强国为目标,充分发挥新型举国体制的支撑作用;以整体效能为导向,系统优化高校创新体系的要素;以生态结构为基础,培育面向未来社会的学科专业。 展开更多
关键词 高校创新体系 国家创新体系 国家战略 历史演进 变迁逻辑
在线阅读 下载PDF
可持续集约导向下的耕地利用转型:理论逻辑与调控路径
3
作者 刘晶 徐伟义 +2 位作者 金晓斌 应苏辰 王世磊 《地理研究》 北大核心 2025年第7期1861-1876,共16页
解构可持续集约导向下的耕地利用转型逻辑机理是因地制宜探索耕地转型调控路径、推进耕地利用向可持续集约化转型的重要前提。从耕地利用转型与耕地可持续集约利用的理论内涵出发,剖析可持续集约导向下的耕地利用转型特征变化、效应响... 解构可持续集约导向下的耕地利用转型逻辑机理是因地制宜探索耕地转型调控路径、推进耕地利用向可持续集约化转型的重要前提。从耕地利用转型与耕地可持续集约利用的理论内涵出发,剖析可持续集约导向下的耕地利用转型特征变化、效应响应与情景适应机理,构建面向可持续集约的耕地利用转型“特征-效应-情景”综合调控框架,探讨耕地利用转型调控中的治理逻辑体系、关键步骤及其技术路径,希冀为优化耕地转型调控、推动耕地可持续集约利用提供有益借鉴。结果表明:(1)耕地利用转型是涵盖景观格局、结构组成、经营利用、功能服务等多维形态属性的复合体系,其多维形态特征与耕地可持续集约利用的多元目标导向奠定了二者之间的内在关联逻辑。(2)面向可持续集约目标,耕地利用转型的逻辑机理主要包含特征趋向逻辑与变化机理、效应响应逻辑与作用机理、情景适应逻辑与匹配机理。耕地利用转型调控的本质即为立足耕地形态变化特征,通过适配性路径对其正负效应进行差异化干预-抑制或消解负向转型影响、维系并强化正向演进趋势,最终重塑契合区域耕地可持续集约利用目标且与环境情景相适应的农业生产模式及资源利用格局。(3)以耕地利用转型特征为基础,以其对耕地可持续集约利用的效应响应为依据,以实现转型与地方环境情景相适配为准则的耕地利用转型“特征-效应-情景”综合调控框架,通过解构复杂耕地转型调控决策中的两重体系建构逻辑、三维决策空间组合及5条关键技术路径,为从多维度、复合视角科学诊断耕地转型调控导向、促进耕地可持续集约利用等提供理论支撑和思路参考。 展开更多
关键词 耕地利用转型 可持续集约化 逻辑机理 调控框架
原文传递
国土空间规划中的人口预测问题——基于历史唯物主义的分析
4
作者 陈弘正 王红扬 《城市规划》 北大核心 2025年第6期54-66,共13页
系统理解人口与社会经济发展的关系是提升人口预测有效性的关键前提。基于历史唯物主义的基本原理,构建了“发展环境-发展逻辑-人口规律-规划逻辑-人口预测的一致性”的历史性分析框架,对1949年以来人口预测的历史分析发现,随着发展环... 系统理解人口与社会经济发展的关系是提升人口预测有效性的关键前提。基于历史唯物主义的基本原理,构建了“发展环境-发展逻辑-人口规律-规划逻辑-人口预测的一致性”的历史性分析框架,对1949年以来人口预测的历史分析发现,随着发展环境的转变,发展逻辑和规划逻辑的转型都会不同程度地影响人口规律,并相应地改变人口预测的思路和方法。本文提出,人口预测必须摆脱路径依赖,并重新审视人口规律,对深度转型期的发展逻辑和人口规律,及二者间的关系作出结构性阐释,指出人口对发展的约束性和对应性不断加深。在此基础上,澄清人口预测是人口自身发展规律与社会经济发展路径与结果的统一,提出人口预测在认识层面、思路层面和方法层面的转型方向,以期加强人口预测的有效性。 展开更多
关键词 人口预测 人口规律 发展逻辑 深度转型期 国土空间规划 历史唯物主义
在线阅读 下载PDF
列车无触点逻辑控制单元测试系统的设计与实现
5
作者 张启瑞 曹亚涛 +3 位作者 王一品 白鸿钧 王栋博 周敏 《现代城市轨道交通》 2025年第10期63-70,共8页
针对列车LCU传统人工测试效率低、覆盖率不足,且现有测试设备兼容性差(仅支持单一电压等级与通信协议)等问题,提出一种LCU测试系统方案,以满足多种项目LCU的自动化测试需求。该测试系统硬件以工控机为控制单元,通过RS485接口控制程控电... 针对列车LCU传统人工测试效率低、覆盖率不足,且现有测试设备兼容性差(仅支持单一电压等级与通信协议)等问题,提出一种LCU测试系统方案,以满足多种项目LCU的自动化测试需求。该测试系统硬件以工控机为控制单元,通过RS485接口控制程控电源输出DC110V/DC24V适配电压,搭配I/O板卡、MVB、CAN、ETH通信板卡及数字量信号转换箱实现数字量信号模拟与多协议通信测试。系统软件采用模块化设计,根据被测LCU的特征,创建测试逻辑项目工程程序模块文件,对LCU进行全面、高效的自动化测试。通过青岛地铁2号线列车LCU测试项目验证,该系统可以全面、高效地完成LCU各项功能的自动测试,有效提升测试效率与设备可靠性,可消除安全隐患,为轨道交通行业LCU测试提供标准化解决方案,保障列车的安全稳定运行。 展开更多
关键词 轨道交通 LCU 自动化测试 工控机 电气控制
在线阅读 下载PDF
面向DC 1500 V系统的轨道交通电气保护逻辑优化与联动控制研究
6
作者 上官硕 孙振保 《今日自动化》 2025年第7期72-74,共3页
为满足DC 1500V城市轨道交通系统的高可靠性和安全性,针对其结构与运行方式,提出电气保护逻辑优化与电气联动控制策略。从供电安全的角度考虑,通过故障特征识别算法、事件触发机制、动态保护区间与边缘侧逻辑下沉提升对故障的反应速度... 为满足DC 1500V城市轨道交通系统的高可靠性和安全性,针对其结构与运行方式,提出电气保护逻辑优化与电气联动控制策略。从供电安全的角度考虑,通过故障特征识别算法、事件触发机制、动态保护区间与边缘侧逻辑下沉提升对故障的反应速度与准确度;从协调控制角度出发,设计多级管理模式、实时传感设备与规范化的操作流程,并增加通信冗余配置进行封闭控制。 展开更多
关键词 DC1500V系统 轨道交通 电气保护逻辑
在线阅读 下载PDF
基于逻辑转段思想的应用型本科专业课建设研究——以航空发动机结构课程为例
7
作者 王书贤 张建华 《西安航空学院学报》 2025年第4期67-72,共6页
课程建设是应用型本科提升人才培养质量的关键任务之一。以逻辑转段思想为指导,结合某学院飞行器动力工程专业航空发动机结构课程的建设实践,探索研究应用型本科专业课程改革建设的路径。研究提出,从大逻辑转段的三个层面,即历史逻辑、... 课程建设是应用型本科提升人才培养质量的关键任务之一。以逻辑转段思想为指导,结合某学院飞行器动力工程专业航空发动机结构课程的建设实践,探索研究应用型本科专业课程改革建设的路径。研究提出,从大逻辑转段的三个层面,即历史逻辑、理论逻辑、现实逻辑进行顶层设计,强调课程建设服从社会经济和教育理念发展;从小逻辑转段的三个视角,即外延视角、内涵视角和高质量视角进行方案实施,强调将高质量作为目标和方式贯穿到课程体系建设的全过程。将逻辑转段思想应用于应用型本科专业课程建设,对人才培养能起到强支撑作用,为同类院校专业课程建设可提供参考。 展开更多
关键词 应用型本科 专业课建设 逻辑转段 人才培养
在线阅读 下载PDF
城市地铁道岔区段信号联锁逻辑的改进策略
8
作者 王歆童 《移动信息》 2025年第11期53-55,共3页
随着城市地铁线路结构的日益复杂和列车运行密度的不断提升,传统的信号联锁系统在地铁道岔区段的控制中逐渐显现出响应迟滞、资源利用率低和进路逻辑单一等问题。文中以城市轨道交通道岔区段为研究对象,系统梳理了信号联锁系统的基本原... 随着城市地铁线路结构的日益复杂和列车运行密度的不断提升,传统的信号联锁系统在地铁道岔区段的控制中逐渐显现出响应迟滞、资源利用率低和进路逻辑单一等问题。文中以城市轨道交通道岔区段为研究对象,系统梳理了信号联锁系统的基本原理与运行需求,深入分析了当前联锁逻辑存在的主要技术瓶颈。在此基础上,提出了引入动态联锁逻辑模型,优化道岔释放机制,实施交叉进路管理以及强化联锁与调度系统联动等改进策略,旨在提升地铁道岔区段运行效率与系统智能化水平。 展开更多
关键词 城市轨道交通 道岔区段 信号联锁 联锁逻辑 系统优化
在线阅读 下载PDF
转型金融驱动高碳产业低碳发展的介导方式与叙事逻辑
9
作者 刘中才 乌铁红 谢正发 《中国石油大学学报(社会科学版)》 2025年第5期22-30,共9页
气候危机背景下,推进高碳产业降碳减排是我国实现“双碳”目标的逻辑基础。金融工具作为助力绿色产业效率提升和高碳活动低碳转型的重要工具,具有多维服务效能。基于高碳行业低碳化发展存在资金缺口大、内驱力不足、融资难度大和减排壁... 气候危机背景下,推进高碳产业降碳减排是我国实现“双碳”目标的逻辑基础。金融工具作为助力绿色产业效率提升和高碳活动低碳转型的重要工具,具有多维服务效能。基于高碳行业低碳化发展存在资金缺口大、内驱力不足、融资难度大和减排壁垒高等制约因素,聚焦转型金融灵活性高、适配性强、触达范围广的特征,通过概念阐释、案例比较和运行模式分析,明确其在推动高碳产业降碳减排中的作用机制,并从宏观视角界定转型金融在降碳基准、评估规则、甄别方法等领域的介导方式。在此基础上,围绕政策红利释放、融资渠道建设、碳金融资源配置提出构建中国式转型金融的服务体系,以期为高碳产业绿色转型提供金融支持。 展开更多
关键词 转型金融 高碳产业 低碳发展 介导方式 逻辑路径
在线阅读 下载PDF
城轨电客车牵引电机轴温预警逻辑优化研究
10
作者 黄单栋 倪若钦 《现代城市轨道交通》 2025年第7期89-95,共7页
在城市轨道交通领域,电客车主要借助牵引电机驱动车辆运行。轴承保持架断裂、异物堵塞滤网等是较为常见故障形式,而此类故障往往会在牵引电机轴温上有所体现。为达成对牵引电机异常状态或故障的监测与预警,轴温监测不可或缺。然而,车辆... 在城市轨道交通领域,电客车主要借助牵引电机驱动车辆运行。轴承保持架断裂、异物堵塞滤网等是较为常见故障形式,而此类故障往往会在牵引电机轴温上有所体现。为达成对牵引电机异常状态或故障的监测与预警,轴温监测不可或缺。然而,车辆原有的软件逻辑仅聚焦于轴温绝对值监测,在实际运行情境中,对故障的预警效能存在一定局限性。鉴于此,文章深入剖析实际故障数据,并紧密结合线路运行环境,对现有温度监控预警逻辑展开进一步优化。综合权衡轴温绝对值与轴温温差值,历经多次试验与调试,明确当驱动端轴温绝对值高于95℃,或某轴位牵引电机驱动端轴温超出同车厢4个轴位牵引电机驱动端平均轴温20℃时,触发预警机制。实际应用结果表明,该优化方案可有效降低误报概率,针对滤网堵塞等故障具备良好预警效果。在线路“站站停”工况下,能够确保车辆安全运行至线路终点,为城轨电客车的安全稳定运行提供坚实保障。 展开更多
关键词 城市轨道交通 牵引电机 轴温监测 预警逻辑
在线阅读 下载PDF
由RTD构成的MOBILE单元电路研究 被引量:6
11
作者 牛萍娟 郭维廉 +3 位作者 梁惠来 张世林 元玉龙 吴霞宛 《微纳电子技术》 CAS 2002年第3期17-20,共4页
对由共振隧穿二极管(RTD)构成的单双稳态转换逻辑单元(MOBILE)电路进行了详细地研究与分析,并结合实际RTD的特性用PSPICE进行了MOBILE单元电路模拟,总结和验证了MOBILE单元电路变化的三条规律,为进一步研究由RTD构成的多种复杂数字电路... 对由共振隧穿二极管(RTD)构成的单双稳态转换逻辑单元(MOBILE)电路进行了详细地研究与分析,并结合实际RTD的特性用PSPICE进行了MOBILE单元电路模拟,总结和验证了MOBILE单元电路变化的三条规律,为进一步研究由RTD构成的多种复杂数字电路奠定了基础。 展开更多
关键词 MOBILE单元电路 PSPICE 共振隧穿二极管 单双稳态转换逻辑单元
在线阅读 下载PDF
我国体育社会组织治理模式变迁的逻辑与机制 被引量:6
12
作者 冯欣欣 胡孟蕃 曹继红 《沈阳体育学院学报》 CSSCI 北大核心 2023年第6期74-80,87,共8页
我国体育社会组织经过70余年发展,成为体育治理现代化的重要组织支撑。基于历史制度主义视角,运用文献资料法梳理我国体育社会组织治理模式变迁的历程,认为体育社会组织治理模式经历了“行政化”治理、“拟社会化”治理、“有限包容性... 我国体育社会组织经过70余年发展,成为体育治理现代化的重要组织支撑。基于历史制度主义视角,运用文献资料法梳理我国体育社会组织治理模式变迁的历程,认为体育社会组织治理模式经历了“行政化”治理、“拟社会化”治理、“有限包容性”治理和“包容性”治理4个阶段,科层逻辑支配体育社会组织的治理模式变迁,表现出明显的权威化治理和专职化治理倾向。治理模式变迁源于复杂的力量机制,表现为国家治理转型是体育社会组织治理模式变迁的制度性压力,长期以来形成的路径依赖成为变迁的阻力;此外,变迁还受到体育治理目标转向、地方政府政策创新、体育需求多元化等多重力量影响。 展开更多
关键词 体育社会组织 治理模式 变迁 逻辑 机制
在线阅读 下载PDF
带传递关系和存在量词的描述逻辑MSC推理 被引量:7
13
作者 蒋运承 唐素勤 +1 位作者 王驹 周生明 《计算机研究与发展》 EI CSCD 北大核心 2009年第6期979-987,共9页
分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能同时处理传递关系和存在量词的不足,研究了带传递关系和存在量词的描述逻辑εL+的MSC推理问题.提出了一种新的εL+-描... 分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能同时处理传递关系和存在量词的不足,研究了带传递关系和存在量词的描述逻辑εL+的MSC推理问题.提出了一种新的εL+-描述图,利用描述树和描述图给出了描述逻辑εL+的MSC近似推理算法,并利用εL+-描述树同态和εL+-描述树描述图同态证明了MSC近似推理算法的正确性.作为一个附带的结果,利用εL+-描述树描述图同态给出了εL+的实例推理算法,也证明了实例推理算法的正确性. 展开更多
关键词 描述逻辑 传递关系 存在量词 MSC 描述树 描述图
在线阅读 下载PDF
一种基于逻辑Petri网的过程挖掘方法 被引量:7
14
作者 杜玉越 朱鸿儒 +1 位作者 王路 刘伟 《电子学报》 EI CAS CSCD 北大核心 2016年第11期2742-2751,共10页
逻辑Petri网是抑制弧Petri网和高级Petri网的抽象和扩展,可在过程挖掘中简洁准确的表示活动之间复杂的业务逻辑关系.本文在传统Petri网挖掘方法的基础上,为了进一步提高复杂系统挖掘模型的简洁度和拟合度,尤其是对并行活动间存在复杂与... 逻辑Petri网是抑制弧Petri网和高级Petri网的抽象和扩展,可在过程挖掘中简洁准确的表示活动之间复杂的业务逻辑关系.本文在传统Petri网挖掘方法的基础上,为了进一步提高复杂系统挖掘模型的简洁度和拟合度,尤其是对并行活动间存在复杂与或关系的系统,提出了一种基于逻辑Petri网的过程挖掘方法,并给出了逻辑Petri网中逻辑变迁的挖掘算法.它可以充分挖掘活动之间的业务逻辑,并且业务逻辑可用逻辑表达式表示.通过与相应Petri网模型的实例比较分析,例证了本文方法的正确性和有效性,且逻辑Petri网模型更加适合日志行为. 展开更多
关键词 过程挖掘 PETRI网 逻辑Petri网 逻辑变迁 挖掘算法
在线阅读 下载PDF
基于模糊逻辑的单线路公交实时控制方法 被引量:6
15
作者 陈春晓 陈治亚 陈维亚 《公路交通科技》 CAS CSCD 北大核心 2016年第9期141-147,共7页
为解决公交车辆在运行过程出现的串车和大间隔等不可靠服务现象问题,提出基于模糊逻辑的公交实时调度控制模型。在智能公交系统环境下公交实时运行数据可获得性的前提下,以单条公交线路的车组为研究对象,考虑公交车辆位置和速度等实时数... 为解决公交车辆在运行过程出现的串车和大间隔等不可靠服务现象问题,提出基于模糊逻辑的公交实时调度控制模型。在智能公交系统环境下公交实时运行数据可获得性的前提下,以单条公交线路的车组为研究对象,考虑公交车辆位置和速度等实时数据,根据专家知识和经验确定模糊控制规则,分别设计站点间变速和站点处驻站两种模糊控制器,并采用遗传方法优化协调模糊控制器中隶属函数参数。仿真试验表明,与无控制和基于车头时距阈值驻站控制比较,基于模糊逻辑的实时组合控制方法能有效改善公交车辆在线路上车头时距的均衡性,显著地减少公交车辆串车和大间隔不可靠服务现象的发生,进而降低了乘客平均候车时间。 展开更多
关键词 交通工程 实时控制 模糊逻辑 公交系统 可靠性
原文传递
NDRHBT及其构成的单-双稳转换逻辑单元 被引量:1
16
作者 郭维廉 关薇 +4 位作者 牛萍娟 张世林 齐海涛 陈乃金 王伟 《固体电子学研究与进展》 CAS CSCD 北大核心 2007年第2期154-158,共5页
设计并研制了InGaP/GaAs/InGaP超薄基区(8nm)负阻异质结晶体管(UTBNDRHBT)。并用它构成一个单-双稳转换逻辑单元(Monostable-bistable transition logic element,简称MOBILE)。经过测试,证实其具有与GRTD、RTD/HEMT构成的MOBILE相类似... 设计并研制了InGaP/GaAs/InGaP超薄基区(8nm)负阻异质结晶体管(UTBNDRHBT)。并用它构成一个单-双稳转换逻辑单元(Monostable-bistable transition logic element,简称MOBILE)。经过测试,证实其具有与GRTD、RTD/HEMT构成的MOBILE相类似的逻辑功能。 展开更多
关键词 异质结晶体管 负阻器件 单-双稳转换逻辑单元
在线阅读 下载PDF
耕地需求量预测的加权模糊-马尔可夫链模型 被引量:21
17
作者 苗作华 刘耀林 王海军 《武汉大学学报(信息科学版)》 EI CSCD 北大核心 2005年第4期305-308,共4页
以耕地利用动态度为度量,利用模糊有序聚类方法将耕地需求量划分为不同的模糊状态区间,利用模糊集理论构建马尔可夫链状态转移概率矩阵,以规范化的各阶自相关系数为权重改进传统的马尔可夫链预测模型,用改进后的模型对土地利用规划中耕... 以耕地利用动态度为度量,利用模糊有序聚类方法将耕地需求量划分为不同的模糊状态区间,利用模糊集理论构建马尔可夫链状态转移概率矩阵,以规范化的各阶自相关系数为权重改进传统的马尔可夫链预测模型,用改进后的模型对土地利用规划中耕地需求量进行预测。实验结果表明,改进后的方法较传统的预测方法更具科学性和实用性。 展开更多
关键词 模糊聚类 模糊集理论 转移概率矩阵
在线阅读 下载PDF
一种带传递关系的认知描述逻辑研究 被引量:4
18
作者 曹逸 徐德智 +1 位作者 陈建二 管庆华 《计算机研究与发展》 EI CSCD 北大核心 2009年第3期452-458,共7页
描述逻辑是语义Web的逻辑基础,它是形式化表达领域知识的一种工具.描述逻辑是一阶逻辑的可判定子集,适合对领域知识的概念术语进行建模.因为某些应用程序的需要和领域知识难以完全描述的因素,Web上有大量的不完全知识.描述逻辑基于开放... 描述逻辑是语义Web的逻辑基础,它是形式化表达领域知识的一种工具.描述逻辑是一阶逻辑的可判定子集,适合对领域知识的概念术语进行建模.因为某些应用程序的需要和领域知识难以完全描述的因素,Web上有大量的不完全知识.描述逻辑基于开放世界假设,只能表达单调推理,不能处理不完全知识.在描述逻辑中加入认知运算符K可以得到认知描述逻辑.认知描述逻辑因其非单调特性和良好的时间复杂度等特点在处理不完全知识方面有较好的优势.在认知描述逻辑ALCK的基础上加入传递关系属性提出了新的认知描述逻辑语言ALCKR+,保留了描述逻辑原有的优点,增强了表达能力并通过认知查询拥有了非单调推理的能力.设计了ALCKR+的语法、语义以及表算法,给出了表算法的正确性以及可判定性证明,证明表算法的时间复杂度为PSPACE-complete. 展开更多
关键词 描述逻辑 认知描述逻辑 传递关系 认知查询 表算法
在线阅读 下载PDF
一种基于标准逻辑单元的GALS异步封装电路 被引量:2
19
作者 周端 朱樟明 +2 位作者 杨银堂 史明华 梁政 《电路与系统学报》 CSCD 北大核心 2009年第5期112-116,共5页
基于点对点GALS模型,给出了异步封装电路的信号状态转换图(STG),基于Petrify设计了一种基于标准逻辑单元的GALS异步封装电路,包括同步/异步接口电路、具有分频及暂停功能的局部时钟等设计。由于所设计的异步封装电路具有不存在延时器件... 基于点对点GALS模型,给出了异步封装电路的信号状态转换图(STG),基于Petrify设计了一种基于标准逻辑单元的GALS异步封装电路,包括同步/异步接口电路、具有分频及暂停功能的局部时钟等设计。由于所设计的异步封装电路具有不存在延时器件、没有使用特殊的异步逻辑单元等特点,所以论文基于两个同步计数器实现了GALS点对点模型进行仿真和FPGA验证,结果显示了整个异步封装及其GALS系统性能的正确性。 展开更多
关键词 全局异步局部同步 异步封装 信号转换 标准逻辑单元 FPGA
在线阅读 下载PDF
改革开放40年来我国高等教育供给的变迁逻辑与展望 被引量:7
20
作者 张旸 张雪 《复旦教育论坛》 CSSCI 北大核心 2018年第5期16-22,共7页
改革开放40年来高等教育的繁荣发展,隐匿着供需关系的变迁。高等教育供给经历了以调整重建为抓手的恢复供给、以启动体制改革为核心的初步供给、以扩张规模为重点的全面供给、以发展内涵为目标的规范供给四个阶段,体现出供给理念从工具... 改革开放40年来高等教育的繁荣发展,隐匿着供需关系的变迁。高等教育供给经历了以调整重建为抓手的恢复供给、以启动体制改革为核心的初步供给、以扩张规模为重点的全面供给、以发展内涵为目标的规范供给四个阶段,体现出供给理念从工具价值优先到基于本体价值的融通、供给主体关系从政府主要供给走向多元主体共存互生、实际提供能力由扩大体量的外延式供给到完善体制的内涵式供给、政府协调服务品质从教育管理下的无限政府到教育治理下的宏观指导、学校运行水平由泛行政化的实践逻辑到制度化的学校自治五个方面的变迁逻辑。高等教育供给只有坚持两种价值交相辉映的高等教育供给理念,构建多元主体互生共赢的高等教育供给格局,形成公平而有质量的高等教育供给品质,彰显勇于创新、富有活力的高等学校供给能力,才能更好地满足国家和人民对更美好的高等教育的需要。 展开更多
关键词 改革开放 高等教育供给 变迁逻辑
在线阅读 下载PDF
上一页 1 2 11 下一页 到第
使用帮助 返回顶部