FPGA组合逻辑程序的Petri网建模方法

针对现场可编程门阵列(FPGA)组合逻辑程序,提出其普通Petri网建模方法.首先,将状态变量描述为库所对,程序中的逻辑运算描述为变迁,从而将系统程序转换为一个普通Petri网结构;然后,根据Petri网的动态分析性能,给出系统状态可达图的计算方法,实现了状态可达图等价描述FPGA组合逻辑系统运行过程.研究结果表明:该Petri网能够准确地描述变量间的逻辑关系,提出的方法可以为FPGA组合逻辑程序的形式化设计和验证提供建模依据.     

大学科技园创新能力影响因素探析——基于系统动力学方法

以创新理论,系统动力学理论和大学科技园运作机制为基础,定义创新能力,确定创新能力反映指标。运用系统动力学方法．构建流图模型,使用Vensim软件进行仿真。通过仿真结果深入剖析影响大学科技固创新能力的因素及其作用效果,并多角度为大学科技园创新战略的制定提出相应建议和对策。