Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…     

带约束的Kantorovich不等式在最小二乘相对效率中的应用

利用带约束的Ｋａｎｔｏｒｏｖｉｃｈ不等式获得了一般Ｇａｕｓｓ－Ｍａｒｋｏｖ和方差分量模型中最小二乘的相对效率的下界．这些下界比采用无约束的Ｋａｎｔｏｒｏｖｉｃｈ不等式得到的下界更好     

Laminin五肽对胃癌细胞系MGc－803的体外抑制作用

描述了Ｌａｍｉｎｉｎ五肽（ＹＩＧＳＲ）对胃癌细胞系ＭＧｃ－８０３的体外抑制作用，在多肽浓度为１ｍｇ／ｍｌ时抑制率高达７３％．抑制作用的机理可能是Ｌａｍｉｎｉｎ五肽竞争了肿瘤细胞上Ｌａｍｉｎｉｎ受体，从而封闭了肿瘤细胞对基底膜的结合及增殖．因此，利用Ｌａｍｉｎｉｎ五肽一类的药物有可能为肿瘤术后防止扩散提供一个新方法．     

初中生学习化学兴趣的发展趋势

针对目前初中化学教学中学生因缺乏应有的学习兴趣而导致学习动力不足和影响其个性和谐发展的问题，运用现代教育学、心理学的理论，结合初中生的心理特点和化学学科特点，提出把初中生学习化学兴趣提到学生稳定的个性心理品质上来研究，是符合马克思主义关于人的学说和现代教育心理学理论以及初中化学教学实际的；初中生学习化学兴趣的形成和发展是一个立体发生的过程，其纵向趋势为：直感兴趣→解析兴趣→探索兴趣；其横向品质为：指向性、持久性、广泛性和有效性，初中生学习化学兴趣水平的提高应当在有效的教学中进行     

VM—1邻频电视调制器电路原理分析

分析了一种射频处理邻频电视调制器的电路原理，阐述了为满足邻频电视信号传输要求而采取的带外寄生分量抑制技术及ＳＡＷＦ的应用。     

同构问题的关联矩阵亚字典排序判别法

通过研究关联矩阵行列变换对两图同构性的影响情况，定义了关联矩阵的亚字典排序，探讨了关联矩阵亚字典排序的唯一性及两图同构的一个充要条件。最后给出一个通过对关联矩阵的亚字典排序，判定两图是否同构的有效算法。     

多专家集成式决策支持系统探讨

本文在文献[1]给出集成式决策支持系统(I—DSS)的基本概念及提出I—DSS的两种主要形式的基础上,对I—DSS的形式之一——多专家集成式决策支持系统(MEI—DSSS)作了较深入的探讨。本文阐述了MEI—DSS提出的原因,给出了MEI—DSS的基本概念,概述了MEI—DSS同相关学科和技术的关系,提出了MEI—DSS的基本结构框架,并从知识表示、推理机制以及多专家系统动态组合进行问题求解的算法实现等方面探讨了该系统在大型决策中的应用。本文最后提出了MEI—DSS今后有待深入研究的课题。     

BP网络及其应用

基函数选取和系数求解是函数逼近中的两个关键问题,目前广泛应用的回归分析或其它映射方法均有局限性。采用人工神经网络中的BP网较好地解决了这两个问题,对理论和实际的数据进行了比较与验证,结果表明.BP网络有助于提高数据处理的可靠性与预测的精度.     

关于理想气体任意准静态直线过程的最高温度点与吸放热转折点

讨论理想气体任意准静态直线过程吸热放热问题时，关键是如何确定过程中吸放热转折点的位置．阐述了最高温度点与吸放热转折点并不重合的原因，并给出了确定最高温度点和吸放热转折点的方法．     

GOSCA－CFAR检测器在干扰边缘中的性能分析

本文研究ＧＯＳＣＡ—ＣＦＡＲ检测器￣［１，２］干扰边缘中的性能。文中推导出了它的干扰边缘环境中虚警概率的解析表达式，分析了它抗边缘干扰的性能，并且与ＯＳ、ＣＡ、ＧＯ和ＳＯ等检测器进行了比较。结果表明，ＧＯＳＣＡ的抗干扰边缘性能比ＣＡ和Ｋ＿（ｏｓ）＝（ｋ＋ｌ）＿（ＧＯＳＣＡ）和ＯＳ相近，比抗边缘干扰性能较好的ＧＯ要差。