期刊文献+
共找到68篇文章
< 1 2 4 >
每页显示 20 50 100
CONCEPTUAL MODELING BASED ON LOGICAL EXPRESSION AND EVOLVEMENT
1
作者 YI Guodong ZHANG Shuyou TAN Jianrong JI Yangjian 《Chinese Journal of Mechanical Engineering》 SCIE EI CAS CSCD 2007年第1期64-68,共5页
Aiming at the problem of abstract and polytype information modeling in product conceptual design, a method of conceptual modeling based on logical expression and evolvement is presented. Based on the logic expressions... Aiming at the problem of abstract and polytype information modeling in product conceptual design, a method of conceptual modeling based on logical expression and evolvement is presented. Based on the logic expressions of the product conceptual design information, a fimction/logic/strucmre mapping model is set up. First, the fimction semantics is transformed into logical expressions through fimction/logic mapping. Second, the methods of logical evolvement are utilized to describe the fimction analysis, fimction/strucmre mapping and structure combination. Last, the logical structure scheme is transformed into geometrical sketch through logic/structure mapping. The conceptual design information and modeling process are described uniformly with logical methods in the model, and an effective method for computer aided conceptual design based on the model is implemented. 展开更多
关键词 Conceptual modeling function/logic/structure mapping logical evolvement
在线阅读 下载PDF
河南省科技奖励工作后评估逻辑框架构建及应用 被引量:1
2
作者 冯文军 王淼 +1 位作者 项勇 张辉 《河南科技》 2024年第17期144-149,共6页
【目的】探索河南省科技奖励工作后评估框架和指标体系,推进科技奖励工作不断完善。【方法】根据河南省科技奖励工作的特点,基于ATP通用逻辑模型构建科技奖励工作后评估逻辑框架,建立融合相关性、效率、效果和影响等评估准则的科技奖励... 【目的】探索河南省科技奖励工作后评估框架和指标体系,推进科技奖励工作不断完善。【方法】根据河南省科技奖励工作的特点,基于ATP通用逻辑模型构建科技奖励工作后评估逻辑框架,建立融合相关性、效率、效果和影响等评估准则的科技奖励后评估指标体系,并运用隶属度函数对后评估逻辑框架和指标体系在2022年河南省科技奖励工作后评估中的应用效果进行检验。【结果】2022年河南科技奖励工作评估结论为成功,但在奖种设置、奖励制度建设等方面有待提升。【结论】通过开展后评估工作,初步建立了科技奖励工作第三方监督和评估结果反馈机制,提升了河南省科技奖励工作的质量和整体绩效。 展开更多
关键词 科技奖励 后评估 ATP通用逻辑模型 评估准则 指标体系 隶属度函数
在线阅读 下载PDF
基于IEC 61850的电能质量监测终端数据分析及模型实现 被引量:43
3
作者 余晓鹏 李琼林 +2 位作者 杜习周 张晓东 王昕 《电力系统自动化》 EI CSCD 北大核心 2011年第4期56-60,共5页
电能质量监测网的建设关键在于通信协议的统一和数据共享,基于IEC 61850通信协议实现电能质量监测终端的开发和应用已成为必然趋势。电能质量监测涉及到稳态、暂态及事件顺序记录(SOE)等多种数据类型,其具体实现及数据存储方式也不尽相... 电能质量监测网的建设关键在于通信协议的统一和数据共享,基于IEC 61850通信协议实现电能质量监测终端的开发和应用已成为必然趋势。电能质量监测涉及到稳态、暂态及事件顺序记录(SOE)等多种数据类型,其具体实现及数据存储方式也不尽相同。从电能质量监测领域实际的数据测量、传输和存储需求出发,分析了电能质量监测终端的功能分配,以及基于IEC 61850标准的监测终端的测量、暂态事件检测、运行及越限监视、数据存储等功能模型的具体实现。该模型对于基于IEC 61850标准实现电能质量监测终端的设计和开发具有较好的实际指导价值。 展开更多
关键词 IEC 61850 电能质量 监测终端 数据类型 逻辑节点 功能建模
在线阅读 下载PDF
基于IEC 61850标准的保护功能建模分析 被引量:45
4
作者 王丽华 江涛 +1 位作者 盛晓红 许巧兰 《电力系统自动化》 EI CSCD 北大核心 2007年第2期55-59,共5页
分析了基于IEC61850标准的保护功能建模方法,给出了三段式过流保护和纵联差动保护模型实例。给出了保护定值、软压板和故障电量等建模问题工程化应用的实现方法。认为有必要成立专门的机构规范信息模型的扩充,以充分保证IEC61850对互操... 分析了基于IEC61850标准的保护功能建模方法,给出了三段式过流保护和纵联差动保护模型实例。给出了保护定值、软压板和故障电量等建模问题工程化应用的实现方法。认为有必要成立专门的机构规范信息模型的扩充,以充分保证IEC61850对互操作性的支持。 展开更多
关键词 IEC 61850 逻辑节点 保护功能 建模
在线阅读 下载PDF
教育家精神融入高校教师教育:逻辑、功能与模式 被引量:37
5
作者 吴叶林 徐涵 高凌希 《黑龙江高教研究》 北大核心 2023年第4期1-7,共7页
教育家精神是教师职业精神的凝练与升华,是培育“大国良师”和落实国家强师战略的重要精神支柱和引导力量。教育家精神蕴含了教育家服务家国的教育使命、仁爱高尚的教育情怀、树人为本的教育理念和变革创新的教育行动,具有理想性、国家... 教育家精神是教师职业精神的凝练与升华,是培育“大国良师”和落实国家强师战略的重要精神支柱和引导力量。教育家精神蕴含了教育家服务家国的教育使命、仁爱高尚的教育情怀、树人为本的教育理念和变革创新的教育行动,具有理想性、国家性和人民性特质。教育家精神融入高校教师教育全过程遵循情感逻辑、实践逻辑和知识逻辑,具有强化未来教师立德树人能力、助力教育家型教师培养、增强未来教师多维领导力等多重功能。立足教育家精神融入的逻辑与功能等,有必要从目标、动力、内容和载体等多个维度尝试构建教育家精神融入高校教师教育的可能模式。 展开更多
关键词 教育家精神 教师教育 逻辑 功能 模式
在线阅读 下载PDF
基于Hash轻量级RFID安全认证协议 被引量:13
6
作者 张兴 李畅 +1 位作者 韩冬 颜飞 《计算机工程与设计》 北大核心 2018年第5期1269-1275,1309,共8页
为应对伪装攻击、位置攻击、重放攻击、异步攻击和DNS攻击等安全问题,提出一种轻量级安全认证协议—MH协议,对轻量级Hash函数的加密以及认证时间戳做出改进,有效减少逻辑位的操作。为验证该方法的正确性,使用BAN逻辑方法以及SPIN模型检... 为应对伪装攻击、位置攻击、重放攻击、异步攻击和DNS攻击等安全问题,提出一种轻量级安全认证协议—MH协议,对轻量级Hash函数的加密以及认证时间戳做出改进,有效减少逻辑位的操作。为验证该方法的正确性,使用BAN逻辑方法以及SPIN模型检测工具,从多个角度和方面,与其它轻量级安全协议进行比较,在运算复杂度相同的情况下,MH协议的安全强度达到了0.438,具有较强的安全性能。 展开更多
关键词 RFID系统 无源标签 安全认证协议 M-Hash函数 BAN逻辑 SPIN模型
在线阅读 下载PDF
可控串补装置的动态建模及数字仿真研究 被引量:40
7
作者 张慧媛 姜建国 冯宇 《中国电机工程学报》 EI CSCD 北大核心 2003年第5期14-18,共5页
可控串补(TCSC)动态建模是暂态特性分析和控制策略研究的基础。该文用逻辑开关函数法建立了能系统描述TCSC变拓扑电路暂态全过程的解析数学模型,分析了电容电压暂态特征分量的作用及特点,并通过数字仿真研究了不同同步信号下TCSC的暂态... 可控串补(TCSC)动态建模是暂态特性分析和控制策略研究的基础。该文用逻辑开关函数法建立了能系统描述TCSC变拓扑电路暂态全过程的解析数学模型,分析了电容电压暂态特征分量的作用及特点,并通过数字仿真研究了不同同步信号下TCSC的暂态响应过程,揭示了电容电压同步下产生超调振荡主要是由w0分量的暂态过程引起的,并提出以电容电压基波分量作同步信号。仿真结果表明,TCSC的容性调节过程快速且无超调。 展开更多
关键词 可控串补装置 动态建模 电力系统 数学模型 数字仿真
在线阅读 下载PDF
多态关联系统典型逻辑结构 被引量:1
8
作者 夏胜平 曾亮 谢红卫 《系统工程与电子技术》 EI CSCD 1998年第5期72-77,共6页
多态关联系统逻辑建模是多态关联系统可靠性理论的基本研究内容。由于逻辑建模中的NP问题,给出多态关联系统通用的逻辑结构是不现实的。本文借鉴多值逻辑中有关函数构造的理论,定义了三类典型的多态关联系统逻辑结构。
关键词 系统分析 可靠性 模拟 逻辑运算
在线阅读 下载PDF
基于语义的产品功能形式化建模 被引量:7
9
作者 郭钢 汤华茂 罗妤 《计算机集成制造系统》 EI CSCD 北大核心 2011年第6期1171-1177,共7页
由于缺乏形式语义,很难利用计算机在功能空间中进行有效的推理,以辅助设计人员进行功能分析和产品设计。为了解决传统功能模型存在的缺点,将基于描述逻辑的形式语义及其推理模型引入产品功能建模。从系统的观点出发,在功能基模型的基础... 由于缺乏形式语义,很难利用计算机在功能空间中进行有效的推理,以辅助设计人员进行功能分析和产品设计。为了解决传统功能模型存在的缺点,将基于描述逻辑的形式语义及其推理模型引入产品功能建模。从系统的观点出发,在功能基模型的基础上,定义了描述功能行为和流的原子概念,建立了基于本体的产品功能描述模型。举例说明了使用描述逻辑语言对产品功能进行形式化建模的方法。该形式化建模方法可使人和计算机共同理解各项功能的含义,并利用计算机在功能空间中进行推理,辅助设计人员进行功能分析和产品设计。 展开更多
关键词 语义 功能建模 形式化 本体 描述逻辑 产品设计
在线阅读 下载PDF
铁路到达旅客离站交通方式选择模型研究 被引量:2
10
作者 云亮 蒋阳升 谢寒 《重庆交通大学学报(自然科学版)》 CAS 北大核心 2014年第3期119-123,144,共6页
针对常用出行方式选择模型对铁路到达旅客离站交通服务水平需求考虑不足的问题,分析了到达旅客离站交通方式选择机理,定义了服务水平期望作为服务水平因素变量;改进了到达旅客离站交通方式选择模型以及效用函数;根据成都东客站调查数据... 针对常用出行方式选择模型对铁路到达旅客离站交通服务水平需求考虑不足的问题,分析了到达旅客离站交通方式选择机理,定义了服务水平期望作为服务水平因素变量;改进了到达旅客离站交通方式选择模型以及效用函数;根据成都东客站调查数据进行了模型验证。研究表明:服务水平指标参数β取值较低时,部分对于服务水平要求较高的乘客可能会由公共交通方式转向私人交通方式;β取值较高时由于交通信息不对称,乘客不能做出最有利的决策,使得部分公共交通资源没有发挥作用。 展开更多
关键词 交通工程 服务水平期望 改进的效用函数 NL模型
在线阅读 下载PDF
条分理论及其在下川岛某岩石边坡分析中的应用 被引量:1
11
作者 曾斌 余宏明 《探矿工程(岩土钻掘工程)》 2005年第1期39-42,共4页
将岩石边坡上楔形块体的几何条件归纳成逻辑函数式 ,在分析其稳定性的过程中 ,将它分割成若干铅直条块 ,通过计算每一条块的不稳定量 ,确定滑体中稳定性最差的部位 ,进而分析整个滑体的稳定性。
关键词 条分法 岩石边坡 楔形滑体 逻辑函数式 条分法 稳定性分析
在线阅读 下载PDF
南方电网高压直流保护的PSCAD/EMTDC仿真模型研究 被引量:8
12
作者 余江 周红阳 +2 位作者 黄佳胤 梁旭 毛岚 《南方电网技术》 2007年第2期31-35,共5页
详细阐述了建立直流保护仿真模型的重要性,并根据西门子提供的控制保护模块说明以及直流保护逻辑图,基于PSCAD/EMTDC软件平台,建立了不依赖于厂家的高肇直流保护仿真模型。利用该模型分析了直流线路行波保护、站内接地网过流保护、交流... 详细阐述了建立直流保护仿真模型的重要性,并根据西门子提供的控制保护模块说明以及直流保护逻辑图,基于PSCAD/EMTDC软件平台,建立了不依赖于厂家的高肇直流保护仿真模型。利用该模型分析了直流线路行波保护、站内接地网过流保护、交流过流保护等直流保护功能的动作特性,充分说明直流保护仿真模型在提高直流运行水平、保障交直流并联运行的电力系统的安全稳定运行能起到重要的作用。 展开更多
关键词 直流保护 仿真模型 功能模块 保护逻辑 SIMADYN D
在线阅读 下载PDF
基于逻辑模型的雷达目标识别方法研究 被引量:1
13
作者 杨峰 赵鹏鹏 李磊 《弹箭与制导学报》 CSCD 北大核心 2012年第1期199-200,204,共3页
文中定义了目标逻辑模型概念。根据目标逻辑模型,建立了目标属性分布函数和目标属性矩阵(MS矩阵),提出了基于逻辑模型的目标识别方法。以目标高度、目标速度和散射面积为目标逻辑模型参量,任意抽取三组目标参数样本对逻辑模型识别法进... 文中定义了目标逻辑模型概念。根据目标逻辑模型,建立了目标属性分布函数和目标属性矩阵(MS矩阵),提出了基于逻辑模型的目标识别方法。以目标高度、目标速度和散射面积为目标逻辑模型参量,任意抽取三组目标参数样本对逻辑模型识别法进行了仿真,结果表明该方法具有原理简单、易于实现、可信度高等特点。 展开更多
关键词 目标识别 逻辑模型 属性分布函数 属性矩阵
在线阅读 下载PDF
基于ALAP元模型的产品功能模型 被引量:1
14
作者 郝泳涛 唐涛 马冲 《计算机辅助工程》 2010年第3期73-78,共6页
针对当前产品功能建模理论没有覆盖智能设计完整生命周期的问题,提出应用—逻辑—算法—物理分层抽象模型(Application-Logic-Algorithm-Physics layer abstract model,ALAP),将其作为产品功能模型的元模型,并阐述产品功能模型的构建流... 针对当前产品功能建模理论没有覆盖智能设计完整生命周期的问题,提出应用—逻辑—算法—物理分层抽象模型(Application-Logic-Algorithm-Physics layer abstract model,ALAP),将其作为产品功能模型的元模型,并阐述产品功能模型的构建流程;提出用于描述产品功能模型的功能对象方法树(Function Object Method Tree,FOMT),并给出座椅设计描述的实例.ALAP具有一般性、开放性和通用性的特点,可为新的产品功能模型开发提供参考,也能规范已有模型,使不同模型之间可以通信. 展开更多
关键词 产品功能模型 应用—逻辑—算法—物理分层抽象模型 智能设计 功能对象方法树
在线阅读 下载PDF
工程系统一体化安全风险模型研究 被引量:6
15
作者 龚时雨 谭跃进 《中国安全科学学报》 CAS CSCD 2007年第2期149-154,共6页
借鉴功能模拟原理,利用目标树-成功树-主逻辑图(GTST-MLD)框架,提出了一个一体化安全风险模型。该模型对关联于工程系统安全特性的目标、功能、结构、行为等因素予以综合,提供了从多层次研究解决安全问题的模型基础,克服了基于事件树/... 借鉴功能模拟原理,利用目标树-成功树-主逻辑图(GTST-MLD)框架,提出了一个一体化安全风险模型。该模型对关联于工程系统安全特性的目标、功能、结构、行为等因素予以综合,提供了从多层次研究解决安全问题的模型基础,克服了基于事件树/故障树模型的概率风险评估等传统方法而分别对系统结构、行为、事件进行研究的问题,支持实现在更高的系统功能层面上对系统安全性的分析研究。通过研究该模型在安全风险评估、事故因果关联分析、潜在交互作用鉴别中的应用,表明研究成果为解决复杂工程系统安全问题提供了新的分析手段。 展开更多
关键词 安全管理工程 安全风险模型 目标树-成功树 主逻辑图 风险分析 功能模拟
在线阅读 下载PDF
非定常气动力辨识的模糊逻辑方法 被引量:8
16
作者 尹江辉 刘昶 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2000年第5期545-550,共6页
提出了用内部函数和二次型隶属函数对非线性非定常气动力进行模糊逻辑建模与辨识的方法 ,分别用 F- 18和 F- 16飞机强迫振荡的实验数据建立了非线性非定常气动力模型 ,讨论了隶属函数导数的连续性对模糊逻辑模型精度的影响 ,并与已有的 ... 提出了用内部函数和二次型隶属函数对非线性非定常气动力进行模糊逻辑建模与辨识的方法 ,分别用 F- 18和 F- 16飞机强迫振荡的实验数据建立了非线性非定常气动力模型 ,讨论了隶属函数导数的连续性对模糊逻辑模型精度的影响 ,并与已有的 Fourier模型和非线性代数模型进行了比较。结果表明 ,文中提出的建模方法能够给出更为满意的结果。 展开更多
关键词 模糊模型 模糊逻辑 非定常气动力 隶属函数
在线阅读 下载PDF
基于J2EE技术的企业管理信息系统设计 被引量:1
17
作者 王正成 《科技进步与对策》 CSSCI 北大核心 2004年第10期152-154,共3页
在简单介绍J2EE技术的基础上,提出了基于J2EE技术的企业管理信息系统的软件架构。并对软件分层实现机制和系统业务功能模型进行了设计与阐述。最后介绍了系统的开发与运行环境。
关键词 体系结构 软件架构 分层机制 功能模型 业务逻辑
在线阅读 下载PDF
关于逻辑函数化简的行为诊断的研究
18
作者 王萍 路志英 +1 位作者 余家红 林孔元 《电子学报》 EI CAS CSCD 北大核心 1997年第11期102-104,共3页
本文以逻辑函数化简的行为诊断为研究背景,提出了一种适合于解题型ICAI系统中学生行为的、符合人类思维特征的认知诊断系统模型,详细论述了逻辑函数化简过程中,学生行为认知诊断的具体实现,在准确捕捉学生行为中的错误及错误原... 本文以逻辑函数化简的行为诊断为研究背景,提出了一种适合于解题型ICAI系统中学生行为的、符合人类思维特征的认知诊断系统模型,详细论述了逻辑函数化简过程中,学生行为认知诊断的具体实现,在准确捕捉学生行为中的错误及错误原因等重要问题上取得了有意义的研究成果. 展开更多
关键词 诊断模型 逻辑函数化简 ICAI 专家系统
在线阅读 下载PDF
CAD中的逻辑结构造型方法研究 被引量:5
19
作者 孙正兴 张福炎 《机械设计》 CSCD 北大核心 1999年第3期1-4,44,共5页
本文将逻辑结构单元作为设计过程中产品各组成环节的抽象,进而提出了逻辑结构造型的形式化表示方法,重点探讨了产品功能的形式化描述、产品结构的抽象化表达、逻辑结构模型的组织方式及逻辑结构造型的一般算法等主要技术。所提出的方... 本文将逻辑结构单元作为设计过程中产品各组成环节的抽象,进而提出了逻辑结构造型的形式化表示方法,重点探讨了产品功能的形式化描述、产品结构的抽象化表达、逻辑结构模型的组织方式及逻辑结构造型的一般算法等主要技术。所提出的方法为产品功能设计到结构设计的有效集成提供了基础。 展开更多
关键词 CAD 设计模型 逻辑结构造型 逻辑结构单元
在线阅读 下载PDF
风电机组新型传动控制系统设计 被引量:3
20
作者 李奇敏 杨鑫 《机械科学与技术》 CSCD 北大核心 2014年第7期957-960,共4页
研究了一种新型无级调速传动系统,行星轮系与导叶可调式液力变矩器耦合形成了该无级调速传动系统。运用流体力学能头理论建立风电机组新型传动系统的非线性动态数学模型。本系统采用自适应模糊PID控制器,此控制器是基于模糊理论和PID控... 研究了一种新型无级调速传动系统,行星轮系与导叶可调式液力变矩器耦合形成了该无级调速传动系统。运用流体力学能头理论建立风电机组新型传动系统的非线性动态数学模型。本系统采用自适应模糊PID控制器,此控制器是基于模糊理论和PID控制原理建立的,并应用MATLAB/SIMULINK建立系统仿真模型,与常规PID控制器进行仿真结果的对比。结果表明:其控制效果强于常规PID,其具有更高的控制精度,更小的超调量。仿真结果表明:该控制器能够实现传动系统的无级调速,并具有好的稳定性和可靠性,传动效率较高。 展开更多
关键词 风电机组 无级调速 自适应模糊PID控制器 MATLAB SIMULINK
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部