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

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

分子电子学

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

中间锦鸡儿之研究

本文确认了中间锦鸡儿的学名应为Caragana davazamcli Sancz.,而C. intermedia Kuang et H. C. Fu, C. erenensis Liou f., C. korshinskill Kom. var. davazamcii(Sancz.)Yakovl.和C. korshinskii Kom. var. ordosica Yakovl.均为其异名。     

一些笛卡尔乘积图的限制连通度

子集S(∩)V(G)称为限制割,若任何点v∈V(G)的邻点集NG(v)都不是S的子集且G-S不连通.若G中存在限制割,则定义限制连通度κ1(G)=min{| S|S是G的一个限制割}.考虑了笛卡尔乘积图,证明了设G=G1×G2×…×Gn,若Gi是满足某些给定条件的ki连通ki正则且围长至少为5的图,其中i=1,2,…,n,则κ1(G)=2n∑i=1ki-2.     

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

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

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

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

α 拓扑空间的乘积性

研究了由拓扑空间(X,T)诱导出的α-拓扑空间(X,Tα)中的α闭包、α内部、α边界,证明了Tα=Tαα,得到了α-拓扑空间的乘积性,研究了αT2-空间的一些性质.     

欧拉应用分析于数论研究综述

扼要而又系统地综述了欧拉应用分析于数论研究的早期工作.其中有许多激动人心的数论公式与定理.例如,关于自然数方幂倒数的无穷和公式、关于Zeta函数的欧拉乘积公式、欧拉对4平方数定理的思考与证明,及其欧拉在解决这些问题的同时所创造的有关数论函数、分拆函数和理想数的概念等等.这些概念、定理或公式都是欧拉首先发现并加以精确论证的.与众不同的是,他善于把一个纯数论问题变换为一个分析问题,事实上欧拉的想法更具一般性.它足以展示欧拉的数学工作的深刻与广博.最后我们引述了欧拉发现的数论中几个著名的级数公式和二次互反性定律,它们都是欧拉在数论文库中留给我们的宝贵遗产.     

无线电波透视法及其应用

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

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

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