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…     

韩国中小企业信息化现状与发展趋势

中小企业是我国国民经济和社会发展中的一支重要力量，如何搞好中小企业信息化不仅关系到企业自身的生存和发展，还会影响到整个国家的信息化建设。通过对韩国中小企业信息化现状及发展趋势的分析，旨在为我国中小企业信息化建设提供一些借鉴。     

依托就业导向的民族高校计算机专业实训——以大连民族学院为例

分析计算机专业毕业生实训现状,根据大连民族学院计算机专业开展的3年实训课程经验,构建依托就业导向的专业实训体系。论述了实训体系的指导思想,介绍了教学内容与形式、师资建设和网络教学辅助平台等方面的具体措施。     

计算机类课程语码转换双语教学改革实践

根据计算机类相关专业具有信息更新快,词汇和短语专业性、时代性强等特点,提出了几种适合其专业特点的语码转换双语教学模式及组织方式,取得较好效果,以期对国内普通高校计算机类课程双语教学有所参考。     

剪切散斑干涉技术及应用研究进展

剪切散斑干涉技术是一种非接触测量物体变形缺陷的光学无损测量方法,其通过计算物体变形前后的散斑图中的相位获取被测物的应变缺陷信息。近年来该技术在航空、航天等工业无损检测领域得到了广泛的应用。本文从系统关键技术、散斑图像处理技术两方面介绍了剪切散斑干涉技术的研究进展,详细论述了多种剪切装置实现大视角测量、空间载波实现动态测量、多种图像处理算法的一系列剪切散斑干涉技术;最后介绍了剪切散斑干涉技术的国内外应用进展,展望了剪切散斑干涉技术在动态测量、光滑表面测量及定量反算形变量等方面的发展趋势。     

稀土强化Al2O3/Ti(C,N)陶瓷材料的组分设计及其使用性能研究

以稀土强化Al2O3/Ti(C,N)陶瓷材料为基础,进行了基于抗冲击性能、抗热震性能和耐磨性能的组分设计.结果发现,与最佳的抗冲击性能、抗热震性能和耐磨性能相对应,弥散相Ti(C,N)的最优体积含量分别为27.7;、26.5;和30.7;,其最优性能分别比纯Al2O3陶瓷提高约71.4;、40.4;和28.9;.在此基础上,实验研究了稀土强化Al2O3/Ti(C,N)陶瓷材料用于刀具时的切削特性.表明该材料具有良好的耐磨性能,可以作为刀具材料使用.     

软件工程专业人才培养的研究与实践

针对软件工程专业教育现状,分析了人才培养中存在的问题,讨论了以人本理念推进专业教育教学改革的措施,提出并实施了在人才定位、课程观、课程体系改革、实践环节建设、专业方向设置等方面的具体做法。