1
|
基于有限状态机最小化理论的同余关系研究 |
郭凯红
李文立
|
《计算机应用研究》
CSCD
北大核心
|
2009 |
1
|
|
2
|
基于关系代数的模糊综合评判算法的研究和实现 |
郭伟宏
闪四清
刘鲁
|
《计算机工程与应用》
CSCD
北大核心
|
2001 |
1
|
|
3
|
量子逻辑中一个形式化的状态-性质对偶关系(英文) |
钟盛阳
|
《逻辑学研究》
CSSCI
|
2017 |
0 |
|
4
|
指向模型意识整体进阶的结构化学习活动——“基本数量关系的复习”教学片断与思考 |
李相林
姚春香
|
《小学数学教育》
|
2024 |
0 |
|
5
|
理想状态下泛逻辑的形式演绎系统B的完备性 |
罗敏霞
何华灿
|
《计算机科学》
CSCD
北大核心
|
2005 |
0 |
|
6
|
关于有限状态机最小化理论的一个注记 |
郭凯红
|
《辽宁大学学报(自然科学版)》
CAS
|
2008 |
0 |
|
7
|
大数据分区管理模型及其应用研究 |
张文燚
项连志
王小芳
|
《哈尔滨工程大学学报》
EI
CAS
CSCD
北大核心
|
2014 |
12
|
|
8
|
UML模型中并发对象的组合验证 |
董威
王戟
齐治昌
|
《计算机科学》
CSCD
北大核心
|
2005 |
0 |
|
9
|
基于关系代数的软集合理论研究与应用 |
邹艳
肖智
|
《数学的实践与认识》
CSCD
北大核心
|
2010 |
0 |
|
10
|
网络体系结构建模和性能评价的形式化方法——随机进程代数 |
冯烟利
余镇危
潘耘
刘克俭
|
《数学的实践与认识》
CSCD
北大核心
|
2004 |
0 |
|
11
|
浅谈逻辑设计法在继电控制线路中的应用 |
李利文
|
《教师》
|
2013 |
1
|
|
12
|
用二次量子化方法解决全同粒子的一个例证 |
吕志新
田耘
|
《电大理工》
|
2003 |
0 |
|
13
|
经营过程的形式化 |
李斌
|
《管理观察》
|
1999 |
0 |
|
14
|
浅谈班主任的协调工作 |
高宝芹
|
《呼伦贝尔学院学报》
|
2000 |
0 |
|
15
|
大数据如何惠民 |
胡奎
|
《中国信息界》
|
2015 |
0 |
|
16
|
广播监测网中的数据库同步技术 |
刘冬姝
于阳
|
《信息与电脑(理论版)》
|
2014 |
2
|
|