论文部分内容阅读
讨论了微机仿真软件开发中的若干基本问题，论述了使用形式化方法进行规格说明的基本原则以及面向对象的方法和UML在设计中的应用．重点论述了微机仿真系统中采用形式化方法进行需求描述的特点和关键问题，并在系统状态分析的基础上，提出了相关解决方案。
微机系统仿真软件的设计
【摘 要】
：
讨论了微机仿真软件开发中的若干基本问题，论述了使用形式化方法进行规格说明的基本原则以及面向对象的方法和UML在设计中的应用．重点论述了微机仿真系统中采用形式化方法进行
【机 构】
：
嘉应学院计算机系
【出 处】
：
湖北民族学院学报：自然科学版
【发表日期】
：
2004年2期
【基金项目】
：
广东省自然科学基金(010059),,广东省高校自然科学研究项目基金资助(Z03024)
其他文献
采用调查法对土家族棉花球运动进行挖掘、整理，通过实验对土家族棉花球运动进行创新．经过创新后的棉花球运动是一项以扣篮为显著特点的竞技体育运动，具有独特的运动环境，观赏性强
采用高分辨电镜、透射电镜、扫描电镜、光学显微镜和显微硬度测试等方法,研究大尺寸Al-Mg-Sc-Zr铸锭均匀性及不同温度均匀化后组织性能的变化。结果表明,大尺寸铸锭铸态组织
据海关统计，2012年中国原铝锭进口量518kt，同比增长129％，出口126kt，同比增长54％，净进口392kt。同比增长172％。
彭加贵教授推广了三角形中著名的Neuberg-pedoe不等式。对于Neuberg-Pedoe不等式在高维欧氏空间E^n(n≥2）中的推广，冷岗松分别给出了n维单形中楼长型和侧面积型两种推广的加强
镁合金的耐腐蚀性能不理想,从而严重阻碍了镁合金大规模的商业应用。在商用AZ31镁合金表面制备了植酸转换膜,采用扫描电镜、能谱仪、电化学工作站等进行了合金电化学腐蚀性能
英国是历史上第一个进行工业革命,率先完成工业化的国家,钢铁工业在英国迈向工业化的道路上起到了关键性作用。十八世纪至十九世纪末是英国钢铁工业发展兴盛的历史时期,也是
校园文化建设是学校发展的重要环节,是学校、教师、学生共同成长的精神文明与物质文明必不可少的元素。校园文化引领学校发展。校园文化建设要了解掌握文化的本质特征、要与
泛型程序设计是继面向对象程序设计之后对程序设计领域的又一次大的冲击.它对问题高效,而优雅的处理方法是很值得计算机专业人员参考与借鉴的.总结了一些最常用的泛型程序设