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…     

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

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

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

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

BP网络及其应用

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

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

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

离心水泵性能的工业现场测定

将热力学方法与电工仪表测算电动机轴功率方法结合起来,可以较准确地测出一台工业用大型水泵的性能.文中将测算出的泵性能数据与样本性能曲线数据加以比较,说明此法的可行性。     

中专学生"厌学"现象分析及对策

针对目前中专学生“厌学”的普遍现象，分析了影响中专学生“厌学”的主要原因，提出了中专学生只有改变观念，克服“厌学”情绪，才能激发学习的积极性。     

对逐级递增负荷力竭性运动前后自由基代谢的灰色关联分析

采用灰色关联分析方法研究了逐级递增负荷力竭性运动前后自由基代谢指标的变化，结果显示，自由基代谢系统不同成分之间的相互影响是非常复杂的；尿液T—SOD的变化可能主要受到肾脏本身自由基代谢状态的影响；机体各组织细胞中生成的MDA对尿液MDA含量的变化有重要影响．     

用微波实验测定光速

实验中，利用微波源发出各种频率的电磁波，在波导中借助测量线测定相应的电磁波的波长λg，计算光速c，验证麦克斯韦电磁场理论。     

高等教育学学科研究方法综述

高等教育学研究方法历来存在着“无方法说”和“有方法说”两种对立的观点;而“有方法说”在高等教育学基本研究方法问题上也存在不同看法,概括起来有改造加工说、多学科研究方法说、价值评价说、问题研究说等;在高等教育学研究方法体系问题上也存在诸多不同的看法。