|
1
|
深空导航系统状态描述形式的选取问题研究 |
刘宇飞
崔平远
崔祜涛
|
《宇航学报》
EI
CAS
CSCD
北大核心
|
2008 |
4
|
|
|
2
|
Berlekamp-Massey算法的新描述形式 |
贺智勇
龙陈锋
尹乾
|
《计算机工程与设计》
CSCD
北大核心
|
2008 |
0 |
|
|
3
|
从Petri网到形式描述技术和协议工程 |
罗军舟
seu.edu.cn
沈俊
顾冠群
|
《软件学报》
EI
CSCD
北大核心
|
2000 |
41
|
|
|
4
|
阅卷信息的形式化描述及其应用 |
金炳尧
马永进
骆红波
吴樟兴
|
《计算机科学》
CSCD
北大核心
|
2005 |
14
|
|
|
5
|
工作流模型及其形式化描述 |
李红臣
史美林
|
《计算机学报》
EI
CSCD
北大核心
|
2003 |
105
|
|
|
6
|
C^4ISR体系结构服务视图及其演化的形式化描述方法 |
王磊
罗雪山
舒振
|
《国防科技大学学报》
EI
CAS
CSCD
北大核心
|
2011 |
13
|
|
|
7
|
云制造中的制造能力服务形式化描述方法 |
肖莹莹
李伯虎
柴旭东
公静
|
《系统仿真学报》
CAS
CSCD
北大核心
|
2015 |
12
|
|
|
8
|
三维拓扑关系形式化描述及拓扑关系模型研究 |
邓念东
侯恩科
张志华
赵洲
|
《西安建筑科技大学学报（自然科学版）》
CSCD
北大核心
|
2007 |
5
|
|
|
9
|
模型检测中的CTL形式化描述模板 |
陈志远
黄少滨
白玉
纪明宇
|
《哈尔滨工程大学学报》
EI
CAS
CSCD
北大核心
|
2013 |
3
|
|
|
10
|
形式化描述驱动的数据帧解析与处理 |
彭四伟
朱群雄
|
《计算机工程与应用》
CSCD
北大核心
|
2006 |
8
|
|
|
11
|
RSL在协议形式化描述中的应用研究 |
顾翔
邱建林
蒋峥峥
|
《计算机应用》
CSCD
北大核心
|
2007 |
3
|
|
|
12
|
硬件构件的形式化描述及其组装机制 |
黄万伟
兰巨龙
于婧
李鹏
|
《计算机工程》
CAS
CSCD
北大核心
|
2010 |
2
|
|
|
13
|
UML2.0类图的一种形式化描述方法 |
杨敬中
张广泉
戎玫
|
《计算机科学》
CSCD
北大核心
|
2007 |
5
|
|
|
14
|
蜕变关系形式化描述与分解技术 |
惠战伟
黄松
李辉
刘剑豪
|
《计算机工程与设计》
北大核心
|
2016 |
3
|
|
|
15
|
基于RSL的协议形式化描述与验证方法 |
顾翔
邱建林
邵浩然
|
《计算机工程》
CAS
CSCD
北大核心
|
2009 |
3
|
|
|
16
|
指挥控制的形式化描述与性质验证 |
邓小妮
袁卫卫
曾熠
罗雪山
|
《国防科技大学学报》
EI
CAS
CSCD
北大核心
|
2003 |
2
|
|
|
17
|
EPr／TN网系统及网络协议形式描述技术 |
顾冠群
罗军舟
|
《计算机学报》
EI
CSCD
北大核心
|
1994 |
8
|
|
|
18
|
基于GTP单纯剖分的地下实体拓扑关系形式化描述方法 |
邓念东
侯恩科
|
《煤炭学报》
EI
CAS
CSCD
北大核心
|
2008 |
5
|
|
|
19
|
UML顺序图的形式化描述 |
李景峰
李琰
陈平
|
《计算机科学》
CSCD
北大核心
|
2002 |
6
|
|
|
20
|
机械产品选配问题的二分图非形式化描述 |
刘明周
陈诚和
葛茂根
张铭鑫
扈静
|
《农业机械学报》
EI
CAS
CSCD
北大核心
|
2007 |
2
|
|
