论文部分内容阅读
为克服非形式化技术描述系统规格说明带来的二义性,本文采用一种形式化技术——有穷状态机来描述电梯系统的规格说明,有穷状态机技术准确、无歧义,可以正确地描述一个系统。
基于形式化技术的电梯系统规格说明
【摘 要】
：
为克服非形式化技术描述系统规格说明带来的二义性,本文采用一种形式化技术——有穷状态机来描述电梯系统的规格说明,有穷状态机技术准确、无歧义,可以正确地描述一个系统。
【机 构】
：
菏泽学院计算机与信息工程系
【出 处】
：
牡丹江大学学报
【发表日期】
：
2011年6期
其他文献
<正> 广博的收藏翁偶虹先生收藏的东西既广且杂、雨花石子、橄榄核雕刻工艺品、面人汤的佳作、戏曲表演艺术家的书画扇面、唱片等等。而其中搜求最下功夫、汇集最多的是戏曲
随着牡丹江市农业和农村经济的快速发展,农民和涉农企业对于金融产品的需求呈现出急剧增长的态势,但是目前我市金融企业对农业的支持范围需进一步扩大,力度还需提升,构建我市
<正> 我国向有“词山曲海”之说。据古今各家著录可知,宋元戏文计有320余种,金元明清杂剧计有1,830余种,明清传奇计有2,590余种,汇总起来,古典戏曲剧目约4,750余种。花部乱弹
本文介绍了一种基于类似稀疏表征的核函数方法的人脸识别算法FRC,用流程图的方式描述了FRC的编码实现过程。对FRC、PCA和SRC算法分别在Yale、ORL和AR数据库下进行对比测试实验,得出了三种算法在不同特征提取维度下各自的识别率,并绘出表格和曲线图进行对比分析,综合比较了三个算法的性能优劣。
<正> 去年,成都市川剧院三团来京演出,其骨干力量全是一批富有艺术才华的中青年演员,几位主演几乎都有各自的独到之处,给人一种群星闪烁、交相辉映之感。其中著名小生晓艇的
<正> 在秦腔艺苑的鲜花丛中,西北地区广大观众对硕果仅存的一代著名小生靖正恭的演唱艺术,早就结下了不解之缘。
一 出海壮举明朝永乐二年（1405年）六月的一天，太监郑和应侣进见，行过君臣之礼以后，明成祖朱棣说：“朕白即位以来，广播天朝国威，日本、朝鲜等同已经派遣使臣前来朝贡，但西洋一带还没有
<正> 任桂林,戏曲艺术家、剧作家,生于1915年,山东省立剧院毕业,工京剧、昆曲小生。卢沟桥事变后,在西安与刘仲秋、郭建英、封至模创办夏声戏剧学校;1939年就读于延安鲁迅文