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…     

机助数据采集与通用平差系统

PC-1500袖珍计算机是理想的野外数据采集工具,IBM系列微机又是比较普及的内业处理机,PC-1500与IBM又可以联机通讯.从而可达到从野外数据采集到内业数据处理的自动化.本文就控制测量的野外数据采集与内业数据处理作了一系列理论研究与实用试验,编制出一整套实用软件.可用于生产实际中.     

BP网络及其应用

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

一维量子反铁磁链格点自旋对易关系与广义拉氏表示

以晶格自旋体系的Heisenberg模型为依据，计算了大s的极限情况下，一维量子反铁磁链转动生成元l与Neel矢量间的对易关系，求出了以广义坐标和广义动量形式表示的格点自旋间的拉氏函数密度表示。     

数据库管理系统自定义函数过程编写探索

当今信息化社会,人们利用计算机来处理大量的数据信息,数据库技术显得尤为重要。本文针对近年来数据库管理系统FoxBASE和Visual FoxPro程序设计课程教学中函数过程的编写提出一些经验和应用技巧,旨在启发广大数据库管理系统爱好者的编程思路。     

扩散过程样本的Holder连续性及其应用

本文讨论扩散过程样本的Ｈｏｌｄｅｒ连续性，在局部Ｌｉｐｓｃｈｉｔｚ条件下，我们证明了扩散过程样本类似于Ｂｒｏｗｎ运动样本一样的Ｈｏｌｄｅｒ连续性，进一步，我们还了扩散过程样本的象与图集的Ｈａｕｓｄｒｏｆｆ维数。     

二氢香芹醇的研制

用Bouvealt-Blane法将香芹酮还原成二氢香芹醇。在反应混和物中添加碱土金属的中性盐可抑制焦油的生成,提高产率。本文就碱土金属盐的种类及其用量、反应时间和反应温度对还原产率的影响进行了研究,选出了较好的反应条件,使香芹酮的转化率提高到66.3％。     

微型计算机中西文表格自动处理软件的算法设计

本文讨论了在微机中西文表格自动处理技术中一些特殊功能的算法设计,分析了设计思想,提供了部份实用算法,并对某些算法的时间复杂度进行了评述。这些算法均已在本校研制的“IBM-PC/XT微型机中西文数据库管理系统”的表格自动处理软件中实现,并已应用于百多家企、事业单位的计算机管理系统中。     

考虑声源非相干性的城市轨道交通全封闭声屏障降噪预测

以某轨道交通全封闭声屏障为研究对象,考虑简化线声源的非相干性,建立2.5维边界元衍射声场模型;通过现场沿线环境噪声测试,验证了该模型的准确性,并与相干源衍射声场预测结果比较;最后预测了在近场高层建筑附近,全封闭声屏障对近轨或远轨车辆噪声的降噪效果。研究结果表明,非相干线声源更符合城市轨道交通噪声源特性;对于轮轨噪声（315～1 000 Hz）,全封闭声屏障在高层住宅建筑区域有显著的降噪效果,1/3倍频程插入损失最大为30.0 dB。对于低频噪声（50～250 Hz）,全封闭声屏障会加重高层住宅建筑区域的声压级,使插入损失出现负值。针对高层建筑附近场点,全封闭声屏障的顶端拱形透光板对远轨车辆噪声有更为显著的附加降噪效果,大部分场点附加插入损失均高于5.0 dB。     

基于自注意力机制的新生儿胆道闭锁识别

新生儿胆道闭锁是新生儿常见的致命疾病之一,并且该病在亚洲的发病率高于世界其他地区.新生儿胆道闭锁需要及时发现及时治疗,然而由于缺少专业的儿科医生和辅助诊疗手段,新生儿父母往往不能及时发现而错过了最佳治疗时间.因此,本文开发了一个具有实际应用价值的预诊算法,通过新生儿粪便图片预测新生儿是否患有新生儿胆道闭锁,并提醒新生儿父母及时就诊.为了让算法在应用场景下识别率更高,本文的算法基于一个真实场景下拍摄的新生儿粪图片数据集开发.首先我们设计了一个自注意力网络模型BANet(Biliary Atresia Network),将图片的浅层特征和深层特征相结合,可以得到更好的分类效果.由于拍摄自应用场景下的图片存在过暗和过曝等问题.通过分析数据集的亮度分布,我们设计了一个自动亮度调节算法解决.此外,图片中的阴影也会对识别结果造成干扰,因此我们在训练阶段增加了一种阴影数据增强方式来缓解这一问题.为验证本文提出算法的有效性,本文设计了一个和医生的对比试验.结果证明BANet在四分类的识别率、二分类的识别率、特异性和敏感性等客观评价指标上占有明显优势.本文提出的BANet能够有效利用图片中的颜色、异常点...