检索范围:
排序: 展示方式:
一种基于描述逻辑的体系质量需求建模与验证方法 Article
Qing-long WANG,Zhi-xue WANG,Ting-ting ZHANG,Wei-xing ZHU
《信息与电子工程前沿(英文)》 2017年 第18卷 第3期 页码 346-361 doi: 10.1631/FITEE.1500309
关键词: 体系;云模型;描述逻辑;需求验证
杨启亮,邢建春
《中国工程科学》 2023年 第25卷 第5期 页码 222-232 doi: 10.15302/J-SSCAE-2023.07.027
BIPM中的基本信息模型用于对建筑空间结构的数字描述,相应状态的时空轨迹表现为离散、静态、有穷、串行,逻辑基础多为离散数学。BIPM可信分析与验证理论
BIPM是信息 - 物理耦合、多物理场融合、具有多尺度层级、构造性复杂的逻辑体,内部逻辑交互的正确性、执行路径的畅通程度、执行结果的有效性唯有经过严格的分析和验证从建筑单元要素实体关系,拓展至几何、物理、交互等单个模型,再到多模型组装的BIPM复合模型,由此形成分层级严格推理的验证与分析方法,具有完备性验证、功能验证、性能验证、一致性验证、兼容性验证等能力。开展离散与连续逻辑融合的建筑状态时空建模、信息空间与物理空间耦合的建筑交互行为建模、BIPM可信分析构造与验证等研究,形成BIPM理论基础。
杨炳儒,唐菁
《中国工程科学》 2000年 第2卷 第5期 页码 44-50
文中提出基于模糊语言场和模糊语言结构的知识表示新型框架,并提出能够综合处理模糊不确定性与随机不确定性的广义细胞自动机和广义归纳逻辑因果模型。在此基础上,又提出基于模糊状态描述的新型不确定因果归纳自动推理机制,并讨论其在智能控制器研制中的应用。
路峰,吴慧中
《中国工程科学》 2008年 第10卷 第10期 页码 84-90
何伟,孙克
《中国工程科学》 2018年 第20卷 第2期 页码 9-14 doi: 10.15302/J-SSCAE-2018.02.002
李祖欣,王万良,雷必成,陈惠英
《中国工程科学》 2008年 第10卷 第7期 页码 104-111
在网络带宽受限的网络控制系统中,设计了一个基于一维输入输出映射关系的模糊逻辑调节器,对 控制系统的带宽进行动态管理。通过调整该模糊逻辑调节器中的非线性偏移因子可以进一步改善系统的控 制性能和带宽需求。同时利用线性矩阵不等式及资源受限条件来确定带宽动态分配的上下界来保证系的 稳定性。另外,定义了多回路归一化控制质量和归一化带宽需求度性能衡量指标来评价网络控制系统的全 局性能。在此评价方法下,提出的模糊带宽管理方法和采用固定带宽分配方法进行仿真比较。
李德毅,刘常昱,淦文燕
《中国工程科学》 2011年 第13卷 第4期 页码 20-23
用于毫米波性能空口测试的空间衰落信道重现技术:概念和实验验证
范伟1,Lassi HENTILÄ2,Pekka KYÖSTI2,3
《信息与电子工程前沿(英文)》 2021年 第22卷 第4期 页码 548-559 doi: 10.1631/FITEE.2000484
杨炳儒,申江涛,陈泓婕
《中国工程科学》 2003年 第5卷 第6期 页码 49-54
关键词: 基于知识库的知识发现 卡尔纳普归纳逻辑 科恩归纳逻辑 假设评估
可持续科技的研究与创新策略——评《探索知识体系的逻辑与架构》
Augusta Maria Paci
《工程(英文)》 2018年 第4卷 第3期 页码 306-308 doi: 10.1016/j.eng.2018.05.003
王青娥,王孟钧,郑俊巍,朱卫华
《中国工程科学》 2013年 第15卷 第11期 页码 103-107
中国工程管理的理论研究总是沿袭西方项目管理知识体系的思想,缺乏对具有本土特色的逻辑严密、层次分明的理论体系进行深入系统的分析和研究。本文遵循从抽象到具体的逻辑过程,按照科学的理论体系构建方法,构建了工程管理理论体系概念模型,即“树”模型。“树”模型将工程管理的基础理论、主体理论以及应用理论有机地联系起来,同时生动地体现了理论研究与实践,理论发展与环境之间的互动关系,具有开放、动态、发展的特点。
李德毅
《中国工程科学》 1999年 第1卷 第2期 页码 41-46
文章提出了定性和定量之间转换的云模型的形式化表示方法,用来反映语言值中蕴涵的模糊性和随机性,给出云发生器的生成算法,解释多条定性推理规则同时被激活时的不确定性推理机制。
标题 作者 时间 类型 操作