逻辑表示

作品数：18被引量：21H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：王兆明王伦耀储著飞夏银水张琦更多>>
相关机构：微软公司微软技术许可有限责任公司国际商业机器公司UT斯达康更多>>
相关期刊：《科学通报》《计算机研究与发展》《软件学报》《计算机工程》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国防科技技术预先研究基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
美国国防部系统工程中的建模与仿真方法
《电子工程信息》2019年第4期45-48,共4页陈卓(编译) 
1概述模型是系统实体、现象或过程的物理、数学或逻辑表示。仿真是一个模型随时间的变化而实现的过程。模拟使模型变得生动,并展现一个特定的物体或现象将如何表现。它对于测试、分析或培训非常有用,在这些测试、分析或培训中,真实世界...
关键词：系统工程 美国国防部 仿真 模型表示 建模 逻辑表示 测试 培训 
事物特性表的描述逻辑表示
《桂林电子科技大学学报》2018年第1期55-60,共6页刘晗 钟艳如 申松坡 
国家自然科学基金(61562016);广西自然科学基金(2014GXNSFDA118039);广西研究生教育创新计划(YJCXS201540)
针对传统的基于事物特性表的变型设计方法不能快速有效地对产品数据进行推理的问题,将描述逻辑引入到变型设计过程中,建立事物特性表的语义表示模型。用描述逻辑刻画事物特性表,构建事物特性表的描述逻辑表示模型,在此基础上构建了事物...
关键词：事物特性表 描述逻辑 表示模型 变型设计 
领域模型中关联语义的描述逻辑表示与应用被引量：6
《软件》2015年第6期66-74,共9页张力生 年欢 宋辉 雷大江 
国家自然科学基金(61171060);重庆市教委自然科学基金(KJ130527);重庆市科委前沿与应用基础研究计划一般项目(cstc2014jcyj A40049)
从领域模型生成代码是MDA中模型驱动开发过程的重要环节。工程中领域模型一般用UML类图表示,然后生成数据访问层代码。UML组合关联的语义定义不明确,导致从领域模型生成的数据访问层代码不能精确地实现组合关联语义问题的出现。本文研...
关键词：领域模型 组合关联 描述逻辑 
一种采用动态描述逻辑表示的RBAC管理模型
《信息工程大学学报》2013年第6期727-734,共8页任志宇 陈性元 马军强 
国家973计划资助项目(2011C13311801);河南省科技创新人才计划(114200510001)
针对现有RBAC的管理模型中管理范围划分不明晰、管理权限分配不明确等问题,提出一种分布式RBAC管理模型。采用基于角色的管理思想,通过合理设置管理角色,将管理范围的划分、用户授权和角色授权工作进行分离,使模型具有较好的实用性。应...
关键词：基于角色的授权管理模型 访问控制 授权管理 动态描述逻辑 
模糊面向对象数据模型的描述逻辑表示与推理被引量：2
《软件学报》2012年第3期594-612,共19页张富 严丽 马宗民 程经纬 
国家自然科学基金(61073139;60873010);新世纪优秀人才支持计划(NCET-05-0288);中央高校基本科研业务专项资金(N090504005;N090604012)
通过分析描述逻辑与面向对象数据模型之间的关系,研究了基于描述逻辑的模糊面向对象数据(fuzzy object-oriented data,简称FOOD)模型的表示与推理.首先,进一步研究了FOOD模型,提出了FOOD模型的形式化定义和语义定义,以便更好地在FOOD模...
关键词：模糊面向对象数据(fuzzy OBJECT-ORIENTED data 简称FOOD)模型 模糊描述逻辑 表示 推理 推理机 
面向服务业的通用业务知识模型与逻辑表示
《计算机科学》2011年第7期243-249,共7页周平 王卫民 罗伟民 陈其铭 郑宇飞 曹存根 
国家自然科学基金面上项目(60773059)资助
现有的知识管理方法多种多样,但是不存在统一的解决方法。在服务业中,借鉴都柏林核心的思想,建立一种普适的结构模型,采用分层的思想,对服务业知识进行建模。为了更清楚地表述模型,引入动态描述逻辑(DDL)的方法描述模型,对模型中的动作...
关键词：通用业务模型 主题 动态描述逻辑 动作 
ER模型的逻辑表示途径被引量：1
《电子科技大学学报》2010年第3期435-439,共5页李鑫 李凡 刘启和 
利用Answer set编程表示ER模型,从而为ER模型提供了一种新颖的逻辑表示途径。首先,完成ER模式的语法与语义定义;其次,利用Answer set编程实现ER模式的逻辑编程表示,并且这里的编程可自动实现;最后,完成以上表示的合理性证明。工作不仅...
关键词：ANSWER set编程 ER模型 模式 语义 语法 
基于XML的web报表的设计与实现被引量：1
《科技信息》2010年第3期I0086-I0087,共2页刘鹏程 
本文在充分理解了web统计业务的需求后,分析web报表的物理结构和逻辑表示,阐释了web报表的处理过程,探讨了web报表的总体框架,分析说明了web报表中的一些关键问题。
关键词：WEB报表 物理结构 逻辑表示 
如何正确使用逻辑联结词被引量：2
《科教文汇》2009年第20期145-145,共1页郑德祥 
对逻辑联结词“或”、“且”、“非”的使用，新课标中明确要求：通过教学实例加以了解，使学生正确表述数学内容。掌握常用逻辑用语的用法，纠正出现的逻辑错误。下面从人们习惯的逻辑表示中提出问题，进行分析、发现矛盾，指出错误原因。
关键词：逻辑联结词 教学实例 数学内容 逻辑错误 提出问题 逻辑表示 错误原因 
报文过滤策略的逻辑表示及冲突解决方法被引量：1
《电子学报》2005年第B12期2517-2523,共7页韩智文 龚正虎 荣霓 
国家自然科学基金重大研究计划“网络与信息安全”（No.90104001）;国家973项目基金（No.2003CB314802）;国防预研项目基金“系统管理与网络管理”（No.413150202）
报文过滤策略是基于报文头部及相关信息对其进行分类的规则集合，报文分类是提供网络服务如路由、QoS、安全等的关键技术．策略中的冲突会导致不一致的系统行为．提出了一种具有精确语义的过滤策略语言，并给出了该语言到Horn程序的转...
关键词：报文过滤策略 策略管理 策略冲突 冲突解决 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部