检索结果-维普期刊中文期刊服务平台

集成CCS和B语言的形式化方法被引量：2: 1; 作者匡春临潘孝铭蒋胜利《计算机工程与科学》 CSCD 2007年第11期102-104,共3页; 本文尝试集成通信系统演算(CCS)和B语言,以扩展CCS在数据和操作定义方面的能力,以及B方法在描述并发系统方面的能力。集成后的形式化模型BCCS可以描述和分析系统的不同方面(结构、控制、数据和功能)和不同类型的系统(顺序、并发和分布式)。; 关键词形式化方法 CCS 集成; 在线阅读下载PDF 职称材料

谈中职校的教育信息化建设被引量：5: 2; 作者蒋胜利匡春临《职教论坛》 2004年第11期56-,共1页; 　　目前,大部分中等职业学校特别是中专学校开始建设或已建成校园网,少数学校已接人中国教育和科研网.随着办学投入的加大,以计算机为代表的教学辅助设备大量购入,并开始更新换代.中等职业学校在全球信息化的浪潮中,要生存发展下去,就... 展开更多; 关键词中职学校教育信息化现代教育技术中等职业学校教学媒体计算机房电教设备; 在线阅读下载PDF 职称材料

一种用于特征提取的保局判别分析算法: 3; 作者蒋胜利匡春临张军英《计算机科学》 CSCD 北大核心 2011年第4期272-274,285,共4页; 针对保局投影(LPP)为无监督算法的局限,提出了一种新的监督版的LPP,即保局判别分析(LPDA)算法。LPDA吸收了流形学习算法与最大边界准则(MMC)的共同特点,可以将高维的人脸数据投影到低维子空间,具有能处理新样本与无小样本问题的优点。... 展开更多; 关键词保局投影最大边界准则特征提取人脸识别流形学习; 在线阅读下载PDF 职称材料