期刊文献+
共找到64篇文章
< 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
河南省科技奖励工作后评估逻辑框架构建及应用
2
作者 冯文军 王淼 +1 位作者 项勇 张辉 《河南科技》 2024年第17期144-149,共6页
【目的】探索河南省科技奖励工作后评估框架和指标体系,推进科技奖励工作不断完善。【方法】根据河南省科技奖励工作的特点,基于ATP通用逻辑模型构建科技奖励工作后评估逻辑框架,建立融合相关性、效率、效果和影响等评估准则的科技奖励... 【目的】探索河南省科技奖励工作后评估框架和指标体系,推进科技奖励工作不断完善。【方法】根据河南省科技奖励工作的特点,基于ATP通用逻辑模型构建科技奖励工作后评估逻辑框架,建立融合相关性、效率、效果和影响等评估准则的科技奖励后评估指标体系,并运用隶属度函数对后评估逻辑框架和指标体系在2022年河南省科技奖励工作后评估中的应用效果进行检验。【结果】2022年河南科技奖励工作评估结论为成功,但在奖种设置、奖励制度建设等方面有待提升。【结论】通过开展后评估工作,初步建立了科技奖励工作第三方监督和评估结果反馈机制,提升了河南省科技奖励工作的质量和整体绩效。 展开更多
关键词 科技奖励 后评估 ATP通用逻辑模型 评估准则 指标体系 隶属度函数
下载PDF
教育家精神融入高校教师教育:逻辑、功能与模式 被引量:21
3
作者 吴叶林 徐涵 高凌希 《黑龙江高教研究》 北大核心 2023年第4期1-7,共7页
教育家精神是教师职业精神的凝练与升华,是培育“大国良师”和落实国家强师战略的重要精神支柱和引导力量。教育家精神蕴含了教育家服务家国的教育使命、仁爱高尚的教育情怀、树人为本的教育理念和变革创新的教育行动,具有理想性、国家... 教育家精神是教师职业精神的凝练与升华,是培育“大国良师”和落实国家强师战略的重要精神支柱和引导力量。教育家精神蕴含了教育家服务家国的教育使命、仁爱高尚的教育情怀、树人为本的教育理念和变革创新的教育行动,具有理想性、国家性和人民性特质。教育家精神融入高校教师教育全过程遵循情感逻辑、实践逻辑和知识逻辑,具有强化未来教师立德树人能力、助力教育家型教师培养、增强未来教师多维领导力等多重功能。立足教育家精神融入的逻辑与功能等,有必要从目标、动力、内容和载体等多个维度尝试构建教育家精神融入高校教师教育的可能模式。 展开更多
关键词 教育家精神 教师教育 逻辑 功能 模式
下载PDF
卫星电源系统功能特征及逻辑架构设计的模型化研究
4
作者 王乐乐 刘元默 +1 位作者 刘朋雨 孟翔翼 《电源技术》 CAS 北大核心 2023年第9期1219-1222,共4页
目前以文档为载体、以实物试验为主要验证手段的卫星电源系统研制方法,存在信息一致性难以保证、技术状态控制难度大、实物验证暴露问题晚等诸多问题。特别是随着卫星研制任务需求的不断提高,电源系统的设计也变得越来越复杂,在设计过... 目前以文档为载体、以实物试验为主要验证手段的卫星电源系统研制方法,存在信息一致性难以保证、技术状态控制难度大、实物验证暴露问题晚等诸多问题。特别是随着卫星研制任务需求的不断提高,电源系统的设计也变得越来越复杂,在设计过程中会花费很多精力进行方案的反复迭代和变更。而捕获的设计信息在多次的文字传递过程中容易造成遗漏和不一致的情况。如何规范电源系统设计过程,降低电源系统方案设计和验证工作中的风险成为亟需解决的问题。而将电源系统设计模型化是解决这些问题的有效方案。利用MagicDraw工具,对卫星电源系统的功能特性和系统内部单机逻辑关系进行了建模设计,并且通过建立追溯验证以及能量平衡分析实现设计闭环,探讨了电源系统模型化设计的方法在某型号遥感卫星研制过程中的具体实践,系统验证了该方法的实用性和有效性,探索了一条基于模型的电源系统功能特征和逻辑设计的新路径。 展开更多
关键词 电源系统 功能特性 逻辑架构 模型
下载PDF
基于IEC61850的地铁直流馈线保护信息建模研究
5
作者 苗斌 《西安轨道交通职业教育研究》 2023年第2期17-21,64,共6页
合理的设备信息建模是实现地铁智能变电站信息交互的关键问题。采用IEC61850标准现有逻辑节点(LN)实例化保护逻辑节点(定时限过电流保护PTOC、低电压保护PTUV和接触网热过负荷保护PTTR),根据标准扩充电流上升率和电流增量保护(DDL保护)... 合理的设备信息建模是实现地铁智能变电站信息交互的关键问题。采用IEC61850标准现有逻辑节点(LN)实例化保护逻辑节点(定时限过电流保护PTOC、低电压保护PTUV和接触网热过负荷保护PTTR),根据标准扩充电流上升率和电流增量保护(DDL保护)及框架泄露保护LN类(PDDL、PFLC)信息。综合“虚端子”工程方案和标准中Inputs的定义,刻画保护智能电子设备(保护IED)与其他设备之间信息交互模型(虚拟输入/输出信息模型)和保护IED内各LN之间信息交互模型。通过某地铁牵引降压混合变电所保护配置及功能实现案例表明:越区隔离开关闭锁、所内直流馈线保护和双边联跳保护实现过程可通过信息交互模型清晰展现,验证了地铁直流馈线保护信息建模方案的合理性和可能性。 展开更多
关键词 地铁直流馈线保护 IEC61850标准 保护功能逻辑节点 虚端子 信息交互模型
下载PDF
浅谈1∶10000基础地理信息数据库升级技术路线
6
作者 闻静 《测绘与空间地理信息》 2023年第3期102-105,共4页
数据库设计、建立、管理与维护等均应符合相关规范要求,在技术指标、标准体系、库体结构等方面应具有系统性、整体性。同时还应有严格的安全保密措施,确保数据库的建设、运行等过程正常、安全。数据库建设是一项需要循序渐进、逐步完善... 数据库设计、建立、管理与维护等均应符合相关规范要求,在技术指标、标准体系、库体结构等方面应具有系统性、整体性。同时还应有严格的安全保密措施,确保数据库的建设、运行等过程正常、安全。数据库建设是一项需要循序渐进、逐步完善、长期持续开展的工作,不能一蹴而就。 展开更多
关键词 概念模型 逻辑设计 功能设计
下载PDF
数据分析在传动轴装配决策中的应用与前景
7
作者 尹久红 喻擎天 陈仁涛 《传动技术》 2023年第3期21-25,共5页
设计了一种数据计算和分析模型。此模型基于Excel表格工具,以物流生产需求作为输入,总成装配数据库和装配线特征表作为底层计算框架。通过逻辑函数计算,按照一定的规则将所有传动轴产品进行定线分类,根据定线结果对装配产线进行产能分... 设计了一种数据计算和分析模型。此模型基于Excel表格工具,以物流生产需求作为输入,总成装配数据库和装配线特征表作为底层计算框架。通过逻辑函数计算,按照一定的规则将所有传动轴产品进行定线分类,根据定线结果对装配产线进行产能分配及溢出分配,得出产能分析结果,并以此来指导产线规划、生产规划和风险预判等工作。进一步地,此模型可横展应用于机加、热处理、锻造,提升效能,亦可拓展至Power BI数据可视化工具,更加直观地展示分析结果,给予决策者有力的数据支撑。 展开更多
关键词 数据分析 模型 逻辑函数
下载PDF
基于IEC 61850的电能质量监测终端数据分析及模型实现 被引量:43
8
作者 余晓鹏 李琼林 +2 位作者 杜习周 张晓东 王昕 《电力系统自动化》 EI CSCD 北大核心 2011年第4期56-60,共5页
电能质量监测网的建设关键在于通信协议的统一和数据共享,基于IEC 61850通信协议实现电能质量监测终端的开发和应用已成为必然趋势。电能质量监测涉及到稳态、暂态及事件顺序记录(SOE)等多种数据类型,其具体实现及数据存储方式也不尽相... 电能质量监测网的建设关键在于通信协议的统一和数据共享,基于IEC 61850通信协议实现电能质量监测终端的开发和应用已成为必然趋势。电能质量监测涉及到稳态、暂态及事件顺序记录(SOE)等多种数据类型,其具体实现及数据存储方式也不尽相同。从电能质量监测领域实际的数据测量、传输和存储需求出发,分析了电能质量监测终端的功能分配,以及基于IEC 61850标准的监测终端的测量、暂态事件检测、运行及越限监视、数据存储等功能模型的具体实现。该模型对于基于IEC 61850标准实现电能质量监测终端的设计和开发具有较好的实际指导价值。 展开更多
关键词 IEC 61850 电能质量 监测终端 数据类型 逻辑节点 功能建模
下载PDF
基于IEC 61850标准的保护功能建模分析 被引量:45
9
作者 王丽华 江涛 +1 位作者 盛晓红 许巧兰 《电力系统自动化》 EI CSCD 北大核心 2007年第2期55-59,共5页
分析了基于IEC61850标准的保护功能建模方法,给出了三段式过流保护和纵联差动保护模型实例。给出了保护定值、软压板和故障电量等建模问题工程化应用的实现方法。认为有必要成立专门的机构规范信息模型的扩充,以充分保证IEC61850对互操... 分析了基于IEC61850标准的保护功能建模方法,给出了三段式过流保护和纵联差动保护模型实例。给出了保护定值、软压板和故障电量等建模问题工程化应用的实现方法。认为有必要成立专门的机构规范信息模型的扩充,以充分保证IEC61850对互操作性的支持。 展开更多
关键词 IEC 61850 逻辑节点 保护功能 建模
下载PDF
多态关联系统典型逻辑结构 被引量:1
10
作者 夏胜平 曾亮 谢红卫 《系统工程与电子技术》 EI CSCD 1998年第5期72-77,共6页
多态关联系统逻辑建模是多态关联系统可靠性理论的基本研究内容。由于逻辑建模中的NP问题,给出多态关联系统通用的逻辑结构是不现实的。本文借鉴多值逻辑中有关函数构造的理论,定义了三类典型的多态关联系统逻辑结构。
关键词 系统分析 可靠性 模拟 逻辑运算
下载PDF
基于Hash轻量级RFID安全认证协议 被引量:13
11
作者 张兴 李畅 +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
铁路到达旅客离站交通方式选择模型研究 被引量:2
12
作者 云亮 蒋阳升 谢寒 《重庆交通大学学报(自然科学版)》 CAS 北大核心 2014年第3期119-123,144,共6页
针对常用出行方式选择模型对铁路到达旅客离站交通服务水平需求考虑不足的问题,分析了到达旅客离站交通方式选择机理,定义了服务水平期望作为服务水平因素变量;改进了到达旅客离站交通方式选择模型以及效用函数;根据成都东客站调查数据... 针对常用出行方式选择模型对铁路到达旅客离站交通服务水平需求考虑不足的问题,分析了到达旅客离站交通方式选择机理,定义了服务水平期望作为服务水平因素变量;改进了到达旅客离站交通方式选择模型以及效用函数;根据成都东客站调查数据进行了模型验证。研究表明:服务水平指标参数β取值较低时,部分对于服务水平要求较高的乘客可能会由公共交通方式转向私人交通方式;β取值较高时由于交通信息不对称,乘客不能做出最有利的决策,使得部分公共交通资源没有发挥作用。 展开更多
关键词 交通工程 服务水平期望 改进的效用函数 NL模型
下载PDF
基于语义的产品功能形式化建模 被引量:7
13
作者 郭钢 汤华茂 罗妤 《计算机集成制造系统》 EI CSCD 北大核心 2011年第6期1171-1177,共7页
由于缺乏形式语义,很难利用计算机在功能空间中进行有效的推理,以辅助设计人员进行功能分析和产品设计。为了解决传统功能模型存在的缺点,将基于描述逻辑的形式语义及其推理模型引入产品功能建模。从系统的观点出发,在功能基模型的基础... 由于缺乏形式语义,很难利用计算机在功能空间中进行有效的推理,以辅助设计人员进行功能分析和产品设计。为了解决传统功能模型存在的缺点,将基于描述逻辑的形式语义及其推理模型引入产品功能建模。从系统的观点出发,在功能基模型的基础上,定义了描述功能行为和流的原子概念,建立了基于本体的产品功能描述模型。举例说明了使用描述逻辑语言对产品功能进行形式化建模的方法。该形式化建模方法可使人和计算机共同理解各项功能的含义,并利用计算机在功能空间中进行推理,辅助设计人员进行功能分析和产品设计。 展开更多
关键词 语义 功能建模 形式化 本体 描述逻辑 产品设计
下载PDF
南方电网高压直流保护的PSCAD/EMTDC仿真模型研究 被引量:8
14
作者 余江 周红阳 +2 位作者 黄佳胤 梁旭 毛岚 《南方电网技术》 2007年第2期31-35,共5页
详细阐述了建立直流保护仿真模型的重要性,并根据西门子提供的控制保护模块说明以及直流保护逻辑图,基于PSCAD/EMTDC软件平台,建立了不依赖于厂家的高肇直流保护仿真模型。利用该模型分析了直流线路行波保护、站内接地网过流保护、交流... 详细阐述了建立直流保护仿真模型的重要性,并根据西门子提供的控制保护模块说明以及直流保护逻辑图,基于PSCAD/EMTDC软件平台,建立了不依赖于厂家的高肇直流保护仿真模型。利用该模型分析了直流线路行波保护、站内接地网过流保护、交流过流保护等直流保护功能的动作特性,充分说明直流保护仿真模型在提高直流运行水平、保障交直流并联运行的电力系统的安全稳定运行能起到重要的作用。 展开更多
关键词 直流保护 仿真模型 功能模块 保护逻辑 SIMADYN D
下载PDF
基于ALAP元模型的产品功能模型 被引量:1
15
作者 郝泳涛 唐涛 马冲 《计算机辅助工程》 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
可控串补装置的动态建模及数字仿真研究 被引量:40
16
作者 张慧媛 姜建国 冯宇 《中国电机工程学报》 EI CSCD 北大核心 2003年第5期14-18,共5页
可控串补(TCSC)动态建模是暂态特性分析和控制策略研究的基础。该文用逻辑开关函数法建立了能系统描述TCSC变拓扑电路暂态全过程的解析数学模型,分析了电容电压暂态特征分量的作用及特点,并通过数字仿真研究了不同同步信号下TCSC的暂态... 可控串补(TCSC)动态建模是暂态特性分析和控制策略研究的基础。该文用逻辑开关函数法建立了能系统描述TCSC变拓扑电路暂态全过程的解析数学模型,分析了电容电压暂态特征分量的作用及特点,并通过数字仿真研究了不同同步信号下TCSC的暂态响应过程,揭示了电容电压同步下产生超调振荡主要是由w0分量的暂态过程引起的,并提出以电容电压基波分量作同步信号。仿真结果表明,TCSC的容性调节过程快速且无超调。 展开更多
关键词 可控串补装置 动态建模 电力系统 数学模型 数字仿真
下载PDF
基于逻辑模型的雷达目标识别方法研究 被引量:1
17
作者 杨峰 赵鹏鹏 李磊 《弹箭与制导学报》 CSCD 北大核心 2012年第1期199-200,204,共3页
文中定义了目标逻辑模型概念。根据目标逻辑模型,建立了目标属性分布函数和目标属性矩阵(MS矩阵),提出了基于逻辑模型的目标识别方法。以目标高度、目标速度和散射面积为目标逻辑模型参量,任意抽取三组目标参数样本对逻辑模型识别法进... 文中定义了目标逻辑模型概念。根据目标逻辑模型,建立了目标属性分布函数和目标属性矩阵(MS矩阵),提出了基于逻辑模型的目标识别方法。以目标高度、目标速度和散射面积为目标逻辑模型参量,任意抽取三组目标参数样本对逻辑模型识别法进行了仿真,结果表明该方法具有原理简单、易于实现、可信度高等特点。 展开更多
关键词 目标识别 逻辑模型 属性分布函数 属性矩阵
下载PDF
CAD中的逻辑结构造型方法研究 被引量:5
18
作者 孙正兴 张福炎 《机械设计》 CSCD 北大核心 1999年第3期1-4,44,共5页
本文将逻辑结构单元作为设计过程中产品各组成环节的抽象,进而提出了逻辑结构造型的形式化表示方法,重点探讨了产品功能的形式化描述、产品结构的抽象化表达、逻辑结构模型的组织方式及逻辑结构造型的一般算法等主要技术。所提出的方... 本文将逻辑结构单元作为设计过程中产品各组成环节的抽象,进而提出了逻辑结构造型的形式化表示方法,重点探讨了产品功能的形式化描述、产品结构的抽象化表达、逻辑结构模型的组织方式及逻辑结构造型的一般算法等主要技术。所提出的方法为产品功能设计到结构设计的有效集成提供了基础。 展开更多
关键词 CAD 设计模型 逻辑结构造型 逻辑结构单元
下载PDF
基于J2EE技术的企业管理信息系统设计 被引量:1
19
作者 王正成 《科技进步与对策》 CSSCI 北大核心 2004年第10期152-154,共3页
在简单介绍J2EE技术的基础上,提出了基于J2EE技术的企业管理信息系统的软件架构。并对软件分层实现机制和系统业务功能模型进行了设计与阐述。最后介绍了系统的开发与运行环境。
关键词 体系结构 软件架构 分层机制 功能模型 业务逻辑
下载PDF
条分理论及其在下川岛某岩石边坡分析中的应用 被引量:1
20
作者 曾斌 余宏明 《探矿工程(岩土钻掘工程)》 2005年第1期39-42,共4页
将岩石边坡上楔形块体的几何条件归纳成逻辑函数式 ,在分析其稳定性的过程中 ,将它分割成若干铅直条块 ,通过计算每一条块的不稳定量 ,确定滑体中稳定性最差的部位 ,进而分析整个滑体的稳定性。
关键词 条分法 岩石边坡 楔形滑体 逻辑函数式 条分法 稳定性分析
下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部