|
1
|
基于MBSE的系统功能逻辑检验及设计优化 |
陈启明
毛寅轩
卢志昂
张金辉
|
《火力与指挥控制》
北大核心
|
2025 |
0 |
|
|
2
|
物理不可克隆函数-多位并行异或运算一体化设计技术 |
李刚
周俊杰
汪鹏君
张茂林
郭宇锋
|
《电子与信息学报》
EI
CAS
CSCD
北大核心
|
2024 |
1
|
|
|
3
|
航空发动机健康管理系统功能架构优化方法 |
王净巍
吴新
蔡景
张瑞
杨旭
陈晓哲
|
《航空发动机》
北大核心
|
2024 |
0 |
|
|
4
|
用阈函数实现任意逻辑函数的新方法 |
杜歆
郑茂生
陈偕雄
|
《浙江大学学报（理学版）》
CAS
CSCD
|
2000 |
16
|
|
|
5
|
基于三变量通用阈值逻辑门的三变量逻辑函数查表综合 |
肖林荣
陈偕雄
许冠
|
《浙江大学学报（理学版）》
CAS
CSCD
|
2004 |
9
|
|
|
6
|
对称逻辑公式在L3^＊逻辑度量空间中的分布 |
王庆平
王国俊
|
《计算机学报》
EI
CSCD
北大核心
|
2011 |
10
|
|
|
7
|
继电控制设计方法 |
鲁改凤
朱雪凌
李瑞珍
|
《电测与仪表》
北大核心
|
2009 |
9
|
|
|
8
|
RM分解图及其应用 |
王林
周期
陈偕雄
|
《浙江大学学报（理学版）》
CAS
CSCD
|
2003 |
4
|
|
|
9
|
基于语义的产品功能形式化建模 |
郭钢
汤华茂
罗妤
|
《计算机集成制造系统》
EI
CSCD
北大核心
|
2011 |
7
|
|
|
10
|
基于触发行为的J、K激励函数的最小化技术 |
吴训威
陈豪
|
《浙江大学学报（理学版）》
CAS
CSCD
|
2004 |
15
|
|
|
11
|
计算机辅助逻辑函数化简——多维体化简方法研究 |
李月桥
韩万余
孙淑艳
马永超
|
《现代电力》
|
2000 |
5
|
|
|
12
|
基于传输函数理论的多值多变量CMOS电路综合 |
陈偕雄
赵小杰
吴训威
|
《电子科学学刊》
CSCD
|
1991 |
3
|
|
|
13
|
基于三变量双输出通用阈值逻辑门的查表设计 |
潘伟珍
宋向炯
金国娟
|
《兰州理工大学学报》
CAS
北大核心
|
2007 |
3
|
|
|
14
|
基于CRM型三变量通用逻辑门的查表设计 |
潘张鑫
罗小华
陈偕雄
|
《浙江大学学报（理学版）》
CAS
CSCD
北大核心
|
2006 |
2
|
|
|
15
|
基于施密特电路的多值脉冲电路研究 |
汪鹏君
胡建平
卢仰坚
|
《浙江大学学报（理学版）》
CAS
CSCD
|
2003 |
1
|
|
|
16
|
多值对称函数基于二值全加器的电路实现 |
陈偕雄
沈继忠
|
《电子科学学刊》
CSCD
|
1996 |
2
|
|
|
17
|
功能树的EFVM求解算法 |
唐益明
刘晓平
|
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
|
2010 |
5
|
|
|
18
|
多态关联系统典型逻辑结构 |
夏胜平
曾亮
谢红卫
|
《系统工程与电子技术》
EI
CSCD
|
1998 |
1
|
|
|
19
|
将任意开关函数变换为对称函数的新方法 |
赵小杰
陈偕雄
|
《杭州大学学报（自然科学版）》
CSCD
|
1990 |
4
|
|
|
20
|
双端置数技术与高值CMOS触发器设计 |
吴训威
陈其翔
|
《电子科学学刊》
CSCD
|
1994 |
4
|
|
