基于事前分析方法的工作流过程模型的验证

工作流执行过程中经常会出现非正常终止的情况,对此,将事前分析方法应用于工作流过程模型的验证中,即在工作流过程实例化前进行模型的有效性分析和结构正确性验证。该方法对传统的有向网络图进行扩展并以此来描述工作流过程,确定模型的有效性;进一步将扩展有向网络图转换成工作流网模型,应用Petri网技术分析该模型的冲突结构,以确保工作流过程的逻辑合理性。     

脑的微环路

<正>前言脑中微环路的研究,是介于还原到神经元、综合到心理与行为两个层次间的大问题。简单的定义,就是研究神经元相互之间是什么关系,几十个到几千个神经元作为整体是怎样运作的,并怎样产生高级功能的。只有理解了这个中间层次的问题,我     

单神经元自适应PID在阳极化电源中的应用研究

以阳极化电源为研究背景,并针对阳极化电镀要求恒流、抗干扰能力强、超调小且工况变化剧烈等特点,对单神经元PID算法进行了多方面的优化和改进.仿真及实验结果表明,改进后的算法响应速度快,超调量小,抗干扰能力强,对于模型参数的变化具有良好的自适应能力,且可提高系统的稳定性及生产效率.     

论网络环境下图书馆职能的变化

根据由于电子信息网络的发展状况,论述了网络图书馆职能的变化。     

再议网络图的逻辑同构变换

图对同一个逻辑问题可有不同的表达方式，在必要时需进行逻辑同构变换＾［１］。本文对“节点型网络向箭线型网络的逻辑风构变换”的研究进行了补充，增加了三种情况的图开有子模，进一步谁了逐节生长法的通用性。同时，提出了箭线型网络向节点型网络逆向变换的算法；逐线收缩法。     

记忆形成之谜

很久以来，科学家们就认为，用于构筑记忆电路的神经元是一种不可再生的资源，我们每一个人获得的细胞数量都是有限的。而且细胞的供应量每一年都在减少，所以，人到中年记忆便模糊不清，而且要学习新东西也越来越困难。但是，新的实验结果已经使这些旧观念开始动摇了。     

网络图书馆研究

介绍了网络图书馆的概念及其特征,阐述了网络图书馆的服务内容,分析了网络图书馆的运行模式和管理体制。     

大规模产品生产作业计划作业事项号的自动生成

大规模产品生产作业计划作业事项号的自动生成王克海（云南省计算技术研究所，昆明６５０２２３）ＴｈｅＡｕｔｏｍａｔｉｃＧｅｎｅｒａｔｉｏｎｏｆｔｈｅＥｖｅｎｔＮｕｍｂｅｒｆｏｒｔｈｅＬａｒｇｅ…ＳｃａｌｅｄＰｒｏｄｕｃｔｉｎｇＴａｓｋＳｃｈｅｄｕｌｉｎｇ...     

一种基于神经网络的直流传动控制系统

基于梯度学习算法,提出一种具有自适应功能的ＰＩＤ控制器。它采用一种改进型神经网络,在线学习相控整流直流传动系统的动力学特性,继而给控制器提供必要的灵敏度信息以实现自适应补偿控制。从而提高整个控制系统在参数变化及受到负载扰动时的鲁棒性,改进型神经网络由两个子神经网络综合构成;一个是应用递推最小二乘算法的线性神经网络;一个是应用动态ＢＰ算法的动态递归网络。对基于相控整流直流传动系统的自适应控制实现策略