【摘 要】
：
为解决模型语义不明确导致系统执行行为和结果不确定等问题,利用数学集合论的描述语言,针对与平台无关由功能块网络组成的应用模型,提出了一种形式化定义的方法。在该方法中,
【机 构】
：
华南理工大学机械与汽车工程学院,广东工业大学应用数学学院
论文部分内容阅读
为解决模型语义不明确导致系统执行行为和结果不确定等问题,利用数学集合论的描述语言,针对与平台无关由功能块网络组成的应用模型,提出了一种形式化定义的方法。在该方法中,定义了基本功能块和服务功能块的类型与实例,将应用模型形式化定义为一个由功能块类型、实例、应用模型的状态空间和外部输入/输出组成的集合,以此方便定制标准化语义,并为应用模型的形式化验证提供早期的形式化描述。以钻孔检测一体机为例,对工件加工的应用模型进行了形式化定义,为语义的形式化描述提供了数学基础。
其他文献
加入WTO后，面对国外集团公司的强大攻势，国内企业也可以搬出“本土优势”这块挡箭牌来应对。然而这块挡箭牌绝非“刀枪不入”，它或许可以挡一时，但绝不能挡一世。
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
本文通过查阅大量文献资料及工作经验总结,对微表处施工进行了简析,总结了微表处施工要点控制和微表处施工质量控制,希望能对相关从业工作人员有所帮助。
在盛产珍珠的日本某沿海小镇上,竖立着一尊令人费解的塑像。这座塑像既不是美丽动人的女神,也非勇猛刚毅的骑士,却是一个精工细雕的男性生殖器。看上去似乎有些不雅,甚至
在大数据时代,数据分析深度融合到各行各业中,教育作为数据挖掘逐步涉及的领域,许多技术得到了快速的发展。当今大部分高校对学生行为的分析存在着较大的盲区,本文依据教育数
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
保险监管执法资源的稀缺和繁重的执法负荷导致监管威慑不足,保险产品的特点形成了保险市场双重信息不对称,而现行营销模式更导致了低声誉市场的负效应扩大。保险市场行为监管
“季夏”这一概念是战国时的邹衍正式提出来的，本文归纳出古人对“季夏”最有代表性的两种说法：夏秋之交说与主四季最后十八天说。最后通过分析并得出：“季夏”处于夏秋之交说是
近年来社会化问答社区蓬勃发展,成为信息交流与获取的重要方式。论文以＂知乎＂为例,将知乎用户分为四个类型：普通用户、积极参与用户、专业用户和权威用户,并将四种用户之间的信