基于MBSE的系统功能逻辑检验及设计优化

1

作者 陈启明 毛寅轩 +1 位作者 卢志昂 张金辉 《火力与指挥控制》 北大核心 2025年第1期160-168,共9页

面对武器装备呈现出愈发明显的技术密集、软件密集、功能链条长并且逻辑复杂的特点,各个部件会受到不确定因素的影响,可能导致系统表现出随机行为,给系统早期功能设计带来了挑战。为了解决上述问题,提出了基于MBSE的系统功能逻辑检验及... 面对武器装备呈现出愈发明显的技术密集、软件密集、功能链条长并且逻辑复杂的特点,各个部件会受到不确定因素的影响,可能导致系统表现出随机行为,给系统早期功能设计带来了挑战。为了解决上述问题,提出了基于MBSE的系统功能逻辑检验及设计优化方法,基于MBSE模型构建系统的复杂和随机行为,基于系统模型进行系统的功能逻辑检验,并应用蒙特卡洛仿真方法对系统的可靠性进行分析,并提出系统设计的优化思路,以小行星探测器系统设计为例进行验证。实验表明,该方法可以在系统设计的早期阶段对系统的功能逻辑进行检验,优化系统设计,提高系统开发效率。 展开更多

关键词 MBSE 系统设计 优化设计 功能逻辑检验 SYSML

在线阅读 下载PDF 职称材料

物理不可克隆函数-多位并行异或运算一体化设计技术

2

作者 李刚 周俊杰 +2 位作者 汪鹏君 张茂林 郭宇锋 《电子与信息学报》 EI CAS CSCD 北大核心 2024年第11期4101-4111,共11页

物理不可克隆函数(PUF)和异或(XOR)运算在信息安全领域均发挥着重要作用。为突破PUF与逻辑运算之间的功能壁垒,通过对PUF工作机理和差分串联电压开关逻辑(DCVSL)的研究,该文提出一种基于DCVSL异或门级联单元随机工艺偏差的PUF和多位并... 物理不可克隆函数(PUF)和异或(XOR)运算在信息安全领域均发挥着重要作用。为突破PUF与逻辑运算之间的功能壁垒,通过对PUF工作机理和差分串联电压开关逻辑(DCVSL)的研究,该文提出一种基于DCVSL异或门级联单元随机工艺偏差的PUF和多位并行异或运算电路一体化设计方案。通过在DCVSL异或门差分输出端增加预充电管并在对地端设置管控门,可实现PUF特征信息提取、异或/同或(XOR/XNOR)运算和功率控制3种工作模式自由切换。此外,针对PUF响应稳定性问题,提出极端工作点和黄金工作点共同参与标记的不稳定位混合筛选技术。基于TSMC 65 nm工艺,对输入位宽为10位的电路进行全定制版图设计,面积为38.76 μm^(2)。实验结果表明,PUF模式下,可产生1024位输出响应,混合筛选后可获得超过512位稳定的密钥,且具有良好的随机性和唯一性;运算模式下,可同时实现10位并行异或和同或运算,功耗和延时分别为2.67 μW和593.52 ps。功控模式下,待机功耗仅70.5 nW。所提方法为突破PUF“功能墙”提供了一种新的设计思路。 展开更多

关键词 物理不可克隆函数 逻辑运算 一体化设计 稳定性筛选 硬件安全

在线阅读 下载PDF 职称材料

航空发动机健康管理系统功能架构优化方法

3

作者 王净巍 吴新 +3 位作者 蔡景 张瑞 杨旭 陈晓哲 《航空发动机》 北大核心 2024年第5期47-55,共9页

航空发动机健康管理系统是目前先进发动机提升自身安全性、可靠性以及经济可承受性的核心系统之一,而架构设计是该系统的关键技术,高效合理的系统架构能够充分发挥系统的功能与作用。针对航空发动机健康管理系统架构设计需求,为了提升... 航空发动机健康管理系统是目前先进发动机提升自身安全性、可靠性以及经济可承受性的核心系统之一,而架构设计是该系统的关键技术,高效合理的系统架构能够充分发挥系统的功能与作用。针对航空发动机健康管理系统架构设计需求,为了提升系统架构的高效性、合理性,实现系统功能的最优分配,开展航空发动机健康管理系统功能架构优化方法研究。比较和分析了国外发动机和飞机健康管理系统功能架构,总结了健康管理系统共同特征,并结合健康管理系统用户需求分析,提炼形成通用的发动机健康管理系统功能架构;基于该架构采用逻辑决断图和层次分析法(AHP),提出了一种针对部件和故障的功能分配方法。结果表明:所提出的分配方法可实现状态监测、故障诊断、故障预测、寿命管理及趋势分析功能向机载和地面系统的定性与定量分配;在军民用航空发动机健康管理系统设计中,可应用通用健康管理系统架构实现发动机健康管理系统核心功能及用户需求的全面覆盖,并根据发动机结构及特点采用功能分配方法实现机载、地面系统功能的优化配置。 展开更多

关键词 发动机健康管理系统 架构设计 逻辑决断图 层次分析法 功能分配

在线阅读 下载PDF 职称材料

基于智能教育的实训教学平台设计与应用

4

作者 周璇 《集成电路应用》 2024年第11期409-411,共3页

阐述在智能教育背景下的实训教学平台建设特点,包括可用性能强、高应用性能、全兼容、易运维。从基础支撑层、业务逻辑层、应用场景层的设计方面,探讨实训教学平台的整体架构设计方案,并介绍实训教学功能模块和平台运维功能模块的设计方... 阐述在智能教育背景下的实训教学平台建设特点,包括可用性能强、高应用性能、全兼容、易运维。从基础支撑层、业务逻辑层、应用场景层的设计方面,探讨实训教学平台的整体架构设计方案,并介绍实训教学功能模块和平台运维功能模块的设计方案,以提升职业院校实训教学质量。 展开更多

关键词 智能教育 实训教学 平台设计 业务逻辑 应用场景 功能模块

在线阅读 下载PDF 职称材料

逻辑函数FGOC展开的最小化技术 被引量：1

5

作者 应时彦 肖林荣 杭国强 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2007年第3期423-426,455,共5页

为了减少已有图形法的最小化算法的计算量,提出了新的逻辑函数在固定极性下的或-符合(FGOC)展开最小化算法.引入了逻辑函数FGOC展开的矩阵,分析了单变量与二变量逻辑函数的FGOC展开及其矩阵.基于符合运算的性质,推导出此矩阵的递推律.... 为了减少已有图形法的最小化算法的计算量,提出了新的逻辑函数在固定极性下的或-符合(FGOC)展开最小化算法.引入了逻辑函数FGOC展开的矩阵,分析了单变量与二变量逻辑函数的FGOC展开及其矩阵.基于符合运算的性质,推导出此矩阵的递推律.推广至任意多变量逻辑函数,可以得到全部FGOC的展开矩阵.并提出了FGOC展开最小化方法.通过分析逻辑函数的FGOC展开过程,研究了变量数与符合算法的运算次数的规律.结果表明,与图形法的FGOC展开最小化方法相比较,随着变量数的增加,符合运算次数大幅度减少.该方法适合于计算机编程实现,并能快速获得计算结果. 展开更多

关键词 或-符合展开 固定极性 逻辑函数化简 逻辑设计

在线阅读 下载PDF 职称材料

多值对称函数基于二值全加器的电路实现 被引量：2

6

作者 陈偕雄 沈继忠 《电子科学学刊》 CSCD 1996年第5期532-536,共5页

本文讨论了多值对称函数的定义和性质,指出了多值对称函数可以按函数值j分解,而与j相应的子函数L_j必为对称函数。且可表示成蜕化多值基本对称函数乘积项之和的形式。在此基础上提出了多值对称函数基于二值全加器的逻辑综合。

关键词 多值逻辑 对称函数 逻辑设计 逻辑电路

在线阅读 下载PDF 职称材料

基于对称函数产生器的对称函数实现 被引量：4

7

作者 徐月华 杜歆 陈偕雄 《科技通报》 2000年第1期21-26,共6页

为直接利用现有逻辑器件实现多输出对称函数,通过对2 线-4 线译码器的逻辑功能和二变量基本对称函数的定义的比较,提出2 线-4 线译码器可用作二变量基本对称函数产生器. 由于任意n 变量的基本对称函数均可通过二变量基本对称函数产生器... 为直接利用现有逻辑器件实现多输出对称函数,通过对2 线-4 线译码器的逻辑功能和二变量基本对称函数的定义的比较,提出2 线-4 线译码器可用作二变量基本对称函数产生器. 由于任意n 变量的基本对称函数均可通过二变量基本对称函数产生器的树型扩展得到实现,因此,任意n 变量的对称函数可以用2 线-4 线译码器予以实现. 文中分别就变量数为奇数和偶数的情况进行了讨论. 展开更多

关键词 对称函数 对称函数产生器 逻辑设计 电路结构

在线阅读 下载PDF 职称材料

基于逻辑函数的电路可测性设计及多故障测试 被引量：2

8

作者 潘中良 《应用科学学报》 CAS CSCD 2002年第2期111-115,共5页

逻辑函数可以根据需要被表示成多种不同的形式 ,其中的 ESOP形式所需积项较少且具有一般性 .针对数字电路的多故障 ,基于逻辑函数的 ESOP形式 ,采用与门阵列和异或门树来进行电路的可测性设计 ,提出了在这种电路结构下的多故障测试方法 ... 逻辑函数可以根据需要被表示成多种不同的形式 ,其中的 ESOP形式所需积项较少且具有一般性 .针对数字电路的多故障 ,基于逻辑函数的 ESOP形式 ,采用与门阵列和异或门树来进行电路的可测性设计 ,提出了在这种电路结构下的多故障测试方法 ,给出了检测电路中多故障的通用测试集 .该测试集可从电路结构图直观求得 ,无需进行复杂处理 ,从而使测试生成变得简单快捷 . 展开更多

关键词 多故障测试 逻辑函数 可测性设计 数字电路 测试集 ESOP形式 XOR树

在线阅读 下载PDF 职称材料

基于数据选择器输出函数关系的逻辑电路设计 被引量：1

9

作者 马敬敏 《吉林大学学报（信息科学版）》 CAS 2015年第5期611-614,共4页

为完善用数据选择器进行组合逻辑电路设计的方法,分析了数据选择器输出函数的与或形式逻辑表达式,发现利用输出原函数、输出反函数互为反函数的关系,对于某些逻辑问题的设计可使数据选择器的数据输入端有变量接入时都为原变量,而不需要... 为完善用数据选择器进行组合逻辑电路设计的方法,分析了数据选择器输出函数的与或形式逻辑表达式,发现利用输出原函数、输出反函数互为反函数的关系,对于某些逻辑问题的设计可使数据选择器的数据输入端有变量接入时都为原变量,而不需要附加非门对反变量进行取非运算,简化了电路结构。 展开更多

关键词 数据选择器 输出函数 反函数 逻辑设计

在线阅读 下载PDF 职称材料

基于三变量双输出通用阈值逻辑门的逻辑函数查表综合 被引量：3

10

作者 肖林荣 陈冠军 +2 位作者 历晓华 陈偕雄 宋弘 《科技通报》 2005年第6期747-751,共5页

介绍了逻辑函数的分类和两种三变量通用阈值逻辑门,提出了使用三变量双输出通用阈值逻辑门实现任意三变量逻辑函数的查表综合方法,并给出了若干设计实例。

关键词 函数分类 通用阈值逻辑门 逻辑综合

在线阅读 下载PDF 职称材料

一种快速逻辑函数的优化方法 被引量：1

11

作者 朱幼莲 《微电子学与计算机》 CSCD 北大核心 2005年第1期73-76,共4页

针对数字系统设计中计算机优化逻辑函数普遍存在操作复杂、存贮容量大、运算速度慢等问题,本文提出了易于计算机实现的优化方法,即:列表法和十进制表示的多维体运算结合起来求素项,选择极值法求最小覆盖的优化方法,并对循环函数进行处... 针对数字系统设计中计算机优化逻辑函数普遍存在操作复杂、存贮容量大、运算速度慢等问题,本文提出了易于计算机实现的优化方法,即:列表法和十进制表示的多维体运算结合起来求素项,选择极值法求最小覆盖的优化方法,并对循环函数进行处理。这种方法大大减少了存储容量、加快了运算速度,并且增大了程序的应用范围。大量的实验证明了该方法的正确性和易于计算机实现的有效性。因此,本文方法在数字系统EDA中具有广泛的应用前景。 展开更多

关键词 数字系统 逻辑设计 函数优化 多维体

在线阅读 下载PDF 职称材料

基于模型的系统工程技术探析 被引量：32

12

作者 吴颖 刘俊堂 郑党党 《航空科学技术》 2015年第9期69-73,共5页

介绍了基于模型的系统工程(MBSE)技术基本概念,结合飞机研制过程,分析了MBSE技术的实施方法,详细阐述了MBSE技术的需求定义、功能分析、逻辑设计、物理设计以及测试、集成和验证的数字化设计与验证流程。

关键词 基于模型的系统工程 需求定义 功能分析 逻辑设计 物理设计 系统工程 飞机

在线阅读 下载PDF 职称材料

基于校园网的网络教学资源平台构建与实现 被引量：7

13

作者 刘兆君 储久良 《电子设计工程》 2011年第21期14-16,20,共4页

高等学校处于推广应用信息化技术的前沿,有需要也有责任创设丰富的教学与学习资源,藉此为教师开展多样化教学与学生开展自主学习提供平台。网络教学资源平台将有效延展课堂授课,弥补课堂授课的时空限制,成为教师日常课堂授课和学生自主... 高等学校处于推广应用信息化技术的前沿,有需要也有责任创设丰富的教学与学习资源,藉此为教师开展多样化教学与学生开展自主学习提供平台。网络教学资源平台将有效延展课堂授课,弥补课堂授课的时空限制,成为教师日常课堂授课和学生自主探究学习结合的桥梁与纽带,有效拓展学生的思维空间,促进对知识的迁移与应用。基于此,笔者从平台需求分析、模块功能设计、数据库设计、业务逻辑设计4个方面对高校网络教学资源平台的构建方法与过程加以阐释。 展开更多

关键词 资源平台 需求分析 功能设计 数据库设计 业务逻辑设计

在线阅读 下载PDF 职称材料

基于Multisim的病床呼叫电路仿真设计与研究 被引量：4

14

作者 廖春蓝 《山西电子技术》 2021年第6期88-90,93,共4页

病床呼叫系统是智能社区医院的重要组成部分,本文根据社区医院病床呼叫系统的功能要求,采用自上而下的方法进行了三人病房的病床呼叫电路的系统设计、模块设计、器件设计和版图设计,同时利用Multisim软件进行了电路仿真验证。该电路实... 病床呼叫系统是智能社区医院的重要组成部分,本文根据社区医院病床呼叫系统的功能要求,采用自上而下的方法进行了三人病房的病床呼叫电路的系统设计、模块设计、器件设计和版图设计,同时利用Multisim软件进行了电路仿真验证。该电路实现了呼叫显示、闪烁指示和鸣叫提醒等功能。本文详细阐述了病床呼叫电路的结构和工作原理,电路设计与仿真过程,具有良好的实用性和推广价值。 展开更多

关键词 数字电路 电路仿真 自上而下设计 逻辑功能

在线阅读 下载PDF 职称材料

基于稳健神经网络的CMOS电路开关级设计

15

作者 王柏祥 林弥 吕伟锋 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2004年第7期835-838,共4页

基于数字电路开关级设计的优越性、稳健布尔神经网络和开关级电路结构的相似性,提出了一种基于稳健布尔神经网络的互补金属-氧化物半导体(CMOS)晶体管电路的开关级设计方法.该方法通过神经元激活函数推导开关级电路的开关函数,同时引入... 基于数字电路开关级设计的优越性、稳健布尔神经网络和开关级电路结构的相似性,提出了一种基于稳健布尔神经网络的互补金属-氧化物半导体(CMOS)晶体管电路的开关级设计方法.该方法通过神经元激活函数推导开关级电路的开关函数,同时引入神经网络中卡诺图化简和最小项限制的化简方法.所得电路可以和传统的开关级电路相吻合,电路结构清晰,并进一步减少了金属-氧化物半导体(MOS)晶体管的数目. 展开更多

关键词 稳健神经网络 数字逻辑 CMOS电路 开关级设计

在线阅读 下载PDF 职称材料

基于三变量双输出通用阈值逻辑门的查表设计 被引量：3

16

作者 潘伟珍 宋向炯 金国娟 《兰州理工大学学报》 CAS 北大核心 2007年第4期93-96,共4页

介绍并讨论了逻辑函数的分类,给出三变量函数的P分类表和接线顺序表.对于以RM展开式表示的任意三变量逻辑函数,提出使用三变量双输出通用阈值逻辑门实现任意三变量函数的查表设计方法,通过若干设计实例证明此方法的有效性.

关键词 RM展开 函数分类 双输出通用阈值逻辑门 逻辑设计

在线阅读 下载PDF 职称材料

基于三变量函数的计算机辅助逻辑综合

17

作者 厉晓华 朱敏 陈偕雄 《科技通报》 2006年第1期101-104,共4页

本文讨论了逻辑函数的分类,在查表综合的基础上,用计算机辅助来实现三变量函数的基于一位全加器、通用逻辑门、通用阈值逻辑门的逻辑综合。

关键词 逻辑综合 函数分类 通用逻辑门 一位全加器 通用闽值逻辑门 计算机辅助综合

在线阅读 下载PDF 职称材料

基于B/S模式的物流企业信息系统的设计与实现 被引量：6

18

作者 李建华 周鹏 +1 位作者 陈祥儒 史晓娟 《现代电子技术》 北大核心 2020年第23期90-93,98,共5页

针对西安某速运公司的物流管理状况,设计并实现了物流信息系统。论述了物流信息系统总体框架及其主要功能,对用户提交订单后系统进行自动分单的业务逻辑实现进行了重点描述,强调了在系统间远程调用使用消息队列,并加入了缓存技术Redis,... 针对西安某速运公司的物流管理状况,设计并实现了物流信息系统。论述了物流信息系统总体框架及其主要功能,对用户提交订单后系统进行自动分单的业务逻辑实现进行了重点描述,强调了在系统间远程调用使用消息队列,并加入了缓存技术Redis,以实现网站业务的可拓展性设计及高并发情况下对系统性能的提升。最终,通过该物流信息系统对该物流企业的协助,提高了企业整体的信息化水平及客户满意度,同时改善了运营管理效率。 展开更多

关键词 物流管理 物流信息系统 功能论述 业务逻辑描述 远程调用 拓展性设计

在线阅读 下载PDF 职称材料

基于OKFDDs的Reed-Muller逻辑混合极性转换算法 被引量：2

19

作者 汪鹏君 李辉 《电子与信息学报》 EI CSCD 北大核心 2011年第4期932-937,共6页

混合极性转换是RM(Reed-Muller)电路逻辑综合过程的一个重要环节,能够实现从Boolean逻辑最小项表达式到RM逻辑MPRM(Mixed-Polarity Reed-Muller)表达式的转换。该文通过对OKFDDs(Ordered Kronecker Functional Decision Diagrams)展开... 混合极性转换是RM(Reed-Muller)电路逻辑综合过程的一个重要环节,能够实现从Boolean逻辑最小项表达式到RM逻辑MPRM(Mixed-Polarity Reed-Muller)表达式的转换。该文通过对OKFDDs(Ordered Kronecker Functional Decision Diagrams)展开规律的研究,建立MPRM表达式与OKFDDs数据结构的对应关系。在此基础上,根据最小项系数与MPRM系数的下标包含关系,结合多输出函数描述方式,提出一种直接从最小项表达式展开到MPRM表达式的新型混合极性转换算法。最后通过对多个Benchmark测试的实验结果表明其转换效率相比其它混合极性转换算法有明显提高。 展开更多

关键词 电路设计 电路逻辑综合 OKFDDs MPRM表达式 极性转换

在线阅读 下载PDF 职称材料

一种改进的多级逻辑优化算法 被引量：1

20

作者 吕宗伟 林争辉 张镭 《上海交通大学学报》 EI CAS CSCD 北大核心 2001年第2期209-211,共3页

基于变换化简法 ,提出了一种改进的适用于局部逻辑网络优化的多级逻辑优化算法 .通过计算逻辑网络中门或连线处的可观测性无关项 ,可迅速得到最大允许函数集 ,从而节省了计算时间 ,并且提高了原算法的适用性 .实验结果表明 ,改进后的算... 基于变换化简法 ,提出了一种改进的适用于局部逻辑网络优化的多级逻辑优化算法 .通过计算逻辑网络中门或连线处的可观测性无关项 ,可迅速得到最大允许函数集 ,从而节省了计算时间 ,并且提高了原算法的适用性 .实验结果表明 ,改进后的算法可用于大规模集成电路的设计 . 展开更多

关键词 集成电路 计算机辅助设计 逻辑综合 可观测性无关项 允许函数 变换化简法 算法

在线阅读 下载PDF 职称材料