一种基于AOcontPN的信息物理系统建模方法

信息物理系统(CPS)是计算、控制和通信相融合的系统。现有的建模方法不能很好地实现其离散和连续混合的复杂行为。对此提出了一种基于面向方面连续Petri网的AOcontPN建模方法。依据CPS需求分析,将一些普遍存在的物理连续过程抽取出来,作为一个功能性的方面连续Petri网,织入到基本Petri网中。这样不仅解决了CPS系统中连续过程的行为分析、复用等问题,也使得整个系统可以使用离散系统的形式化方法来验证。

基础软件技术的发展趋势

从分析基础软件的基本概念和特性出发,对基础软件的内容、需求、技术、产品等方面进行了系统论述。探讨了现有的主流开发技术及未来的发展趋势。通过分析现有部分国产软件系统在一些典型领域的应用,揭示我国基础软件发展的现状和难题,为现有国产基础软件产业的发展提供决策参考。

MySQL数据库课程的设计

近年来,MySQL因为自身一系列优势,已成为数据库应用中热门软件。目前作为计算机应用的重要课程在各个高校广泛开设。文章在分析数据库课程特点和现状的基础上,根据数据库课程特点,结合学生的实际情况,对教学内容进行了合理的安排,并将教学内容分阶段分步骤有效地运用到课堂教学的过程中。文章表明了,通过对教学内容和教学手段的改进,学生能快速有效地掌握运用数据库知识的方法,同时学生的综合应用能力也得到了一定的训练。