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

火炮系统总体优化设计的形式方法探讨: 1; 作者王苏滨张月林《计算机辅助设计与图形学学报》 EI CSCD 1994年第1期65-71,共7页; 提出了一个用于总体优化设计的形式方法──设计方案空间方法，形式地描述地面火炮系统设计过程，找出总体设计、评价、优化的关系，以形成集成ＣＡＤ系统，支持地面火炮系统总体优化设计。实验系统用ＦＯＲＴＲＡＮ和Ｃ语言编写，运行... 展开更多; 关键词火炮总体设计 CAD; 在线阅读下载PDF 职称材料

显示控制群中大规模控制的形式方法被引量：1: 2; 作者王苏滨张泽焕汪红宇《控制理论与应用》 EI CAS CSCD 北大核心 2011年第6期881-884,共4页; 显示控制系统逐渐成为控制中心的例行基础设施.本文采用形式化方法,从虚拟设备集及其运算出发,借助数学中群论的一些方法和结果,用于大规模的系统与设备控制.定义了显示控制群和子群,讨论了与之相应的控制系统和虚拟设备的实现.显示控... 展开更多; 关键词大规模自动控制显示控制群论虚拟设备演化硬件; 在线阅读下载PDF 职称材料

用交际法教学思想指导JEFC教学: 3; 作者王苏滨《高校教育管理》 1997年第1期113-114,共2页; 关键词交际法教学思想指导课堂教学师生关系英语教师 JEFC教材语言基础知识语言知识背景知识教师的作用; 在线阅读下载PDF 职称材料