农业高职高专"顶岗学习"的研究与实践

探讨农业专业如何实现理论与实践的结合，学习与就业的结合，课堂与岗位的结合，提高学生的岗位职业能力。提出了学校与就业岗位实现“零距离”的运作模式。     

计算一类递归方程的增广Petri网模型

递归方程的计算一直是一个较为复杂的问题,为更好的解决这一问题,建立各种模型是十分必要的.斐波那契数列是一个著名的递归方程,在这个方程的基础上,针对同类的递归方程建立了增广Petri网模型,并对模型的运行进行了分析.     

CORBA系统事务处理的模拟和分析

事务处理对于建立可靠的CORBA应用系统是很统设计的原则.CORBA的一个重要的服务是OMG的提出了对象事务处理服务OTS(ObjectTransaction Service),负责将事务处理与对象在ORB层上结合.事务成为分布式对象系统中恢复、一致性、并发的基本单位.用着色时序Petri网模拟和分析CORBA环境下的事务处理.     

Model Checking Workflow Net Based on Petri Net

The soundness is a very important criterion for the correctness of the workflow. Specifying the soundness with Computation Tree Logic （CTL） allows us to verify the soundness with symbolic model checkers. Therefore the state explosion problem in verifying soundness can be overcome efficiently. When the property is not satisfied by the system, model checking can give a counter-example, which can guide us to correct the workflow. In addition, relaxed soundness is another important criterion for the workflow. We also prove that Computation Tree Logic ＊ （CTL ＊ ） can be used to character the relaxed soundness of the workflow.     

创新与创新教育刍议

创造与创新是推动人类社会发展和进步的永恒动力。从理论上讲,二者是有一定差别的,创造主要体现原创性,而创新则更体现变革性。创新是21世纪教育面临的首要任务,创新教育是以培养受教育者的创新素质为目的的教育,是人类高层次的教育,也是弘扬人的个性的教育。创新教育是素质教育的核心,创新素质的培养必须改革应试教育中的唯知识教育和“注入式”教学。     

面向武器装备系列研制的灵境仿真研究

首先阐明面向武器装备系列研制的灵境仿真研究的重要性及其学科归属.根据实施约束条件,将本项研究定位于应用基础研究.基于90年代的计算技术基础设施,将VR仿真开发系统的技术目标设定为自学习、自优化、目标驱动的自产生式建模与仿真环境.在1995年已实现的人工智能嵌入面向对象编程AI+OOP形式化体系中,通过知识封装赋予对象以知识禀赋和似人的精神属性.把AIOOM开发平台提升到面向智能体层次.文章给出Agent设计及实现的形式化描述,并通过二个实例说明该系统的可行性和优势.最后,展望系统发展方向并指出待努力解决和问题.     

基于四阶累积量的线性调频信号参量估计

针对加性高斯有色噪声背景下的一维、二维线性调频信号的参量估计问题,引入高阶统计量,提出了一种基于四阶累积量的新方法。该方法利用高阶累积量对加性高斯噪声有较好的抑制能力的特性,结合极大似然方法,可获得较低信噪比下的线性调频信号参量的较高精度的估计。给出了应用该方法的具体步骤,通过仿真实验证明了该算法的有效性。     

基于模糊Petri网的供应链牛鞭效应的成因与控制建模分析

从信息流角度,建立了基于模糊Petri网的牛鞭效应成因与控制模型,给出了相应的模糊推理算法,通过仿真分析,验证了一些重要结果。该模型描述了供应链中信息对决策的影响及供应链成员同步运作的现象,将供应链中牛鞭效应成因与控制可视化,为牛鞭效应问题的进一步研究提供一个新的思路。     

Petri网共享PB型子网合成及其在系统设计中的应用

针对柔性制造系统的共享子系统设计问题，提出了经由Petri网共享PB-型子网（Place Bordered Subnet）构成共享PB-型子网合成网的解决方案；研究了共享PB-型子网合成的动态性质保持问题。给出了合成网保持活性和有界性的一组充分条件或充要条件；对一个柔性制造系统进行了设计和分析。结果可为Petri网系统合成的静态和动态性质的考察提供有效途径，对系统设计和分析具有重要的指导意义。     

基于Petri网的Web服务组合模型描述和验证

Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向.分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、安全性、有界性与活性等特性进行验证分析.最后是对一个具体的业务流程的建模和验证分析.由分析可知,该建模方法具有一定的表达和验证Web服务组合模型的能力.