Application of PetriNet to workflow specification Petri Net在工作流管理系统形式说明中的应用

随着信息技术和管理理论的发展 ,工作流技术正在成为当今技术的热点。于是对于工作流管理系统的描述和验证也变得越来越重要了。Petri Net是一种强有力的形式描述技术 ,它广泛地应用于各种软件、硬件的形式描述和验证过程中。本文给出用 petri net描述工作流的一种方法 ,并给出一个具体实例     

一种基于模糊推理的模糊本体的插入技术

本文介绍了在模糊本体检索插入中使用模糊推理的一种方法.并给出了一种模糊本体的生成方法,通过使用模糊蕴含和模糊合成,对这种方法生成的模糊本体进行矩阵推理计算并得出结论.     

英语类比在新词构成过程的规律和作用

本以英语语言学为指导，从英语词汇学的角度出发，理论结合实际，通过大量的实例探讨了类比在新词形成过程中所起的重要作用；揭示了英语类比的构词规律。     

我国失业状况探析

在讨论西方经济学和发展经济学对失业存在的形式的基础上，结合我国经济处于转轨时期的特点指出：由于体制性因素，除存在公开性失业，还存在隐性失业与隐性就业。应客观评价我国失业状况，力提出合乎现实的失业救助与社会保障政策提供参考。     

产学研合作过程中交易障碍的实证分析

产学研合作在诸多文献中被从理论上推举为一种科技成果转化的主流模式选择，此结论基于产学研各方各自拥有丰度（数量、质量）不同的资源秉赋类型，如经营人力资源、资金资源、技术资源、市场网络资源、管理资源等，期望以不同利益主体的资源互补，取得科技成果转化为生产力的最高效率，应当说，这一结论在理论上的逻辑性无呆辩驳，然而在实际上，这一主流模式选择究竟如何？产学研合作过程中遇到的交易障碍有哪些？交易成本有多高？怎样才能克服这些障碍？这些，还是有待破解的课题。     

师范教育中的化学教学改革与实践

针对新时期师范教育中的化学教学改革，从内容和具体措施方面进行研究和探索。     

再见,文艺兵

"欧巴"们没有特权了韩国文艺兵在演出结束后到按摩房"放松",并把手机带回宿舍,在韩国引起轩然大波,直接导致文艺兵制度的终结。6月21日,韩国举行朝鲜战争(韩称"6·25战争")63周年纪念演出,参加演出的演员不乏正在服役的知名艺人。演出结束后,国防部宣传支援队的文艺兵"生菜"(本名李相哲)和SE7EN(崔东昱)并没有按规定回到营地,而是于凌晨前往夜店密集区的按摩房"放松",结果被"狗仔队"逮个正着。     

浅谈基层图书馆如何开展讲座服务

阐述了基层图书馆开展讲座服务的必要性,指出了开展讲座服务应注意的几个问题。     

培养兴趣与改良习惯：高职英语教改的着力点

高职英语教改可以有所作为的方面很多,培养学生学习英语的兴趣和自主学习的习惯,是高职英语教改的两大着力点。