逻辑描述

作品数：38被引量：73H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：谢峥赵秋奇马芝王新安张兴更多>>
相关机构：北京大学北京航空航天大学东南大学东华大学更多>>
相关期刊：《山西电力》《沈阳工程学院学报（自然科学版）》《计算机工程与设计》《商业研究》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划重庆市自然科学基金重庆市教育委员会科学技术研究项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
空间故障网络的柔性逻辑描述被引量：6
《智能系统学报》2021年第3期552-559,共8页崔铁军 李莎莎 
国家自然科学基金项目(51704141);国家重点研发计划重点专项项目(2017YFC1503102);国家自然科学基金委主任基金(61350003).
为使空间故障网络(space fault network,SFN)描述系统故障演化过程(system fault evolution process,SFEP)时能蕴含信息的不确定性和演化特征,克服因素、数据和演化本身的不确定性,提出使用柔性逻辑对SFN进行描述和改造。首先论述了SFN...
关键词：智能科学 安全科学 安全系统工程 空间故障网络 柔性逻辑 系统故障演化过程 因素影响 不确定性 
基于B/S模式的物流企业信息系统的设计与实现被引量：6
《现代电子技术》2020年第23期90-93,98,共5页李建华 周鹏 陈祥儒 史晓娟 
陕西省重点研发计划项目(2018GY-010)。
针对西安某速运公司的物流管理状况,设计并实现了物流信息系统。论述了物流信息系统总体框架及其主要功能,对用户提交订单后系统进行自动分单的业务逻辑实现进行了重点描述,强调了在系统间远程调用使用消息队列,并加入了缓存技术Redis,...
关键词：物流管理 物流信息系统 功能论述 业务逻辑描述 远程调用 拓展性设计 
基于硬件描述语言的可逆逻辑描述与验证方法
《电子科技》2016年第10期1-3,8,共4页梁晓雄 赵曙光 郭荣田 
国家自然科学基金资助项目(61272224)
针对可逆逻辑综合在设计较大规模可逆逻辑电路中遇到的瓶颈,文中借助于硬件描述语言的高层次抽象描述能力以及现有EDA平台的仿真验证功能,通过在模块中添加辅助位的方法,使得模块在具有相应功能的同时具备可逆性,并对模块进行实例化,实...
关键词：可逆逻辑电路 硬件描述语言 可逆算术逻辑单元 仿真验证 
基于常规逻辑门和原理图方式的可逆逻辑描述
《电子科技》2016年第9期139-141,144,共4页郭荣田 赵曙光 梁晓雄 
针对可逆逻辑综合在设计较大规模可逆逻辑电路(ALU)时遇到的瓶颈问题。文中借用现行EDA技术的逻辑描述和验证能力,可逆逻辑门的功能表达式为依据,设计具有等功能的常规逻辑组合电路,通过等功能代换的方法,设计实现以常规原理图方式描述...
关键词：原理图方式 常规逻辑 可逆逻辑 等功能代换 功能性描述和验证 
基于DL的数据库概化方法
《电脑知识与技术（过刊）》2014年第5X期3217-3219,共3页李婷婷 
该文简单介绍了一种新的数据库概化方法,其主要贡献是在逻辑语言的描述基础上,给出一种通用的方法,对数据库的模式和内容都能起到作用。概化的过程将导致概化晶格的生成,并且每个都给出了精度的特定量度。
关键词：数据库概化 逻辑描述 概化晶格 数据库模式 概化过程 
服装供应链集成信息管理系统的逻辑描述与IT架构被引量：2
《商业研究》2013年第10期178-183,共6页喻汇 
江西省文化厅艺术规划项目"江西省服装创意文化产业园区运营战略研究";项目编号:YG2012089
在服装产品需求日益个性化和服装电子商务蓬勃发展的市场环境下,服装企业的竞争已逐渐从产品竞争转向品牌竞争、服务竞争和市场反应速度竞争。SOA架构为服装企业提供了一种集成数据服务和应用服务的供应链信息管理模式。通过对不同发展...
关键词：服装供应链 信息管理 数据集成 SOA模式 
服装供应链集成信息管理系统的逻辑描述与IT架构
《江西服装学院学报》2013年第1期68-75,共8页喻汇 
江西省教改项目“应用型人才培养模式下的《服装生产管理》课程内容及其教学实践变革研究”（批准号：JXJG-11-23-13）
在服装产品需求日益个性化和服装电子商务蓬勃发展的市场环境下，服装企业的竞争巳逐渐从产品竞争转向品牌竞争、服务竞争和市场反应速度竞争。SOA架构为服装企业提供了一种集成数据服务和应用服务的供应链信息管理模式。本文通过对不...
关键词：服装供应链 信息管理 数据集成 SOA模式 
基于SCADE的形式化验证技术的改进研究被引量：2
《计算机工程与设计》2013年第6期2025-2030,共6页李耀 郭进 孔令晶 宋海权 
铁道部科技研究开发计划基金项目(2012X007-D)
为保证SCADE软件开发的安全性,研究了SCADE形式化验证技术,指出其不足,提出了基于代码生成器的解决方法。该方法对安全特性属性引入了逻辑描述,并利用SCADE编辑器及代码生成器的特点,对SCADE形式化验证技术进行改进,降低了模型正确性确...
关键词：高安全性应用开发环境 形式化验证 安全特性观察器 逻辑描述 模型安全 
二维云模型在中长期负荷预测中的应用被引量：1
《山西电力》2012年第6期5-9,共5页尚东慧 杜欣慧 彭玲 
指出了中长期负荷预测是一个时变不稳定系统,受到许多定性语言值的影响。阐述了二维云模型有效地将概念的定性值与数字的定量值进行自然转换,在云理论的基础上,实现概念计算的云计算方法和云模型与不确定推理,给出了计算的逻辑描述,将...
关键词：中长期负荷预测 逻辑描述 不确定推理 云化计算性 
不完美资本市场条件下的公司投资:一种实证研究的逻辑描述
《金融经济（下半月）》2012年第6期73-75,共3页孙建军 康丽 张绵宝 
国家自然科学基金项目地区科学基金项目(批准号:71163010);教育部人文社科青年基金项目(批准号:09YJC790064)
本文基于不完美资本市场条件下的公司投资这一领域核心文献的梳理,介绍了一种新古典框架下的标准公司投资动态模型;阐述了公司投资决策实证研究模型的构造方法与过程;不但说明了实证模型中的困难——投资机会Q测度,而且指出了相应的解...
关键词：不完美资本市场 公司投资 投资机会 边际Q Tobin’s Q 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部