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

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

分子电子学

作为纳米电子学的一个重要分支,分子电子学在近年来得到了巨大的发展,并成为国际上研究的热点。本文介绍了各种分子器件的制作技术及基本工作原理,回顾了近年来分子电子学的最新进展,展望了分子电子学的未来发展。     

一类T-S模糊有记忆系统的保性能控制器设计

在控制系统中,不仅要求系统能够保持稳定,还要求系统能够满足一定的性能指标,由于T-S模型可以有效的描述许多非线性系统,所以采用带有状态不确定项的T-S模糊系统对控制系统进行描述,又由于被控量的时滞现象大量存在于系统中,所以通过设计有记忆模糊状态反馈控制器,实现系统的保性能控制,同时找到保性能函数的一个上界。首先,通过构造李雅普诺夫(Lyapunov)二次函数,根据李雅普诺夫(Lyapunov)稳定性理论,证明在此有记忆模糊状态反馈控制器下,对于T-S模糊系统中含有的所有不确定项,形成的闭环系统是渐近稳定的,同时找到保性能函数的一个上界;其次,通过利用线性矩阵不等式(LMI)技术,应用Matlab中的LMI工具箱求解出有记忆状态反馈控制器的反馈增益矩阵;最后,通过仿真算例说明方法的有效性。     

生成有向图中全部简单回路的一种新算法

提出了生成有向图中全部简单回路的一种新算法.算法的主要思想是对图中顶点进行缩减,在缩减过程中巧妙地利用字符串标记保存图中原有信息,不断减少图中顶点的数量,最终将图缩为一点,逐步得到全部简单回路.这种缩减过程隐藏在矩阵运算中,在运算中不断简化矩阵,从而降低了运算复杂度,提高运算效率.此算法生成的回路中不包含重复的回路,算法结构清晰,易转化为计算机程序.文中给出了算法的详细证明和实例应用.     

无线电波透视法及其应用

无线电波透视法是利用无线电波在钻孔中的发射和接收来确定地下介质特性和地质构造的一种物探方法，当电磁波在地下有耗介质中传播时，遇到岩性不同的分界面就会产生不同的电磁波反射，折射，透射和频散，吸收等，通过研究接收到的电磁波的性质达到探测地下目标物的目的，本文简述了该方法的理论，描述了方法的分类，概述了目前使用的发射天线，接收天线和常用的仪器，总结了野外工作方法和解释方法，最后给出了应用实例说明其应用效果。     

子任务调度和时延联合优化的MEC卸载方案

移动边缘计算(mobile edge computing, MEC)为5G超低时延业务提供了解决方案。如何设计低时延、高效率的任务卸载方案,是MEC面临的主要难题之一。为此,针对端-边协同MEC服务场景,研究了大型计算任务的低时延、低能耗部分卸载方案,通过将用户任务划分为多个有顺序依赖关系的子任务并构建子任务的有向无环关系图,设计了能够最小化卸载时延的子任务调度方案,提出了基于任务复制的最早卸载执行算法,解决了能耗受限下的任务最小时延卸载计算。仿真结果表明,提出的MEC卸载方案能够有效减少任务处理时延,降低系统能耗。     

SO_2法浸出锰矿石中的有价元素

在小型浮选槽和3连圆底烧瓶浸出实验的基础上,在实验型空气搅拌浸出槽中进行了用SO_2浸出东湘桥地区氧化锰矿石2kg的实验。取得了良好的、与小型实验相符的实验结果。Mn、Co、Ni的平均浸出率分别为94.80％、89.70％和81.50％。尾气中SO_2浓度可以降低到0.01％以下,符合排放标准。     

矩形广义系统的极点配置的一种方法

研究了矩形广义系统的有穷极点配置问题.提出了利用动态补偿器对矩形广义系统进行有穷极点任意配置的一种方法及一个充要条件,并且得出了此方法所能任意配置的有穷极点的数目是r r_c个。通过动态补偿,将矩形广义系统的有穷极点配置问题转化为正常系统的极点配置问题,使整个闭环系统实现正则,无脉冲,任意极点配置。     

完备格中的超因子

给出了超因子元的概念,然后讨论了完备格中超因子的性质,得到了一个超因子元是连续并既约元的一些等价条件.运用超因子刻画了有补模格的部分结构,并得到了一个完备格L是Boole格的充要条件是格L是下连续的分配格,且任意非零元只有零超因子.     

给学生创设探索舞台——《有余数除法》教学片断及反思

一．教学片段：片断一：动手操作，在探索与交流中培养学生的创新意识。师：请小组长数出12个草果，要分给小组成员（连组长共4人），怎么分公平？（平均分）下边请小组长将12个苹果平均分给组员。