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…     

T-RBAC访问控制模型及其约束描述语言

一种结合了基于任务的访问控制模型TBAC和基于角色的访问控制模型RBAC特点的新型访问控制模型-T-RBAC.该模型采用了以任务为中心的"用户-角色-任务-权限"的四级访问控制结构,较好地解决了当前工作流系统中存在的安全性问题.此外,在新模型的基础上设计了一套描述约束机制的语言ETCL,该语言在RCL2000的基础上扩充了时间特性和任务的概念,使新模型具备了较完整的约束描述能力.     

褐云玛瑙螺的微量元素分析

采用等离子体发射光谱法(ICP—AES)对褐云玛瑙螺进行了12种微量元素的测定分析。结果表明，褐示玛瑙螺体内含有丰富的人体必需微量元素Fe、Se、Cu、Zn、V、B、Ca等。为深入研究开发利用褐云玛瑙的药用功能和营养价值提供了科学依据。     

一种考虑云相互作用的积云对流参数化方案及其在降水预报中的应用

本文根据我国江淮地区梅雨期间积云和层状云的特点,设计了一种适合于中纬度地区的积云对流参数化方案,该方案通过考虑积云内部的微物理结构及降水机理,增加了在积云降水过程中起很大作用的冰晶胶性不稳定增长过程及碰并降水等过程,发现:冰晶的增长造成的降水有时可达总降水的30—40％或更多;在一般情况下,碰并降水的加强作用则没有那么大,根据这个积云对流参数化方案,用武汉中心气象台的细网格降水数值预报模式对长江流域梅雨期6次暴雨过程进行了数值模拟,发现其预报效果有明显的改进,尤其是对流云与层云混合存在的条件下,效果更好。     

泵闸混凝土施工期智能温控关键信息识别

为实现施工期大体积混凝土温控要素的智能快速识别,提高智能温控系统的反馈及预测模型精度,提出了一套智能算法对物联网技术采集到的各类温控要素原始测值进行识别及转化。针对浇筑温度、浇筑时间、最高温度、内外温差、冷却通水起止时间与表面保温覆盖等施工期关键温控参数,结合工程经验分别给出相应识别任务的判定逻辑并编写对应程序,然后应用多个实际工程数据进行验证,并分析各识别功能的准确率。验证结果表明,本文算法识别效果良好,能够实现温控要素采集的自动化、智能化、快速化、精准化,具有较强的工程实用价值。     

多vCPU环境中基于容器的科学工作流调度策略

现有科学工作流调度研究较少考虑计算资源的多道程序设计,难以同时实现有效的容器共享并优化任务并行度与资源利用率。为了解决以上难点,文章提出了一种分布式多vCPU环境中基于容器技术的分段式工作流调度策略。该策略通过分段调度方法,降低启发式算法的解空间大小,使用带遗传算子的自适应离散粒子群优化算法(ADPSOGA),在设备使用成本的约束下优化各个工作流的完成时间,并制定一种容器与设备间的动态伸缩方案,实现容器的复用并解决单个设备中任务并行时的资源争用问题。结果表明：ADPSOGA的性能优于其他同类启发式算法,并且分段调度方法与容器伸缩方案在工作流调度方面表现出良好的性能,能很好地适应因任务并行度增加所带来的影响。     

液体燃料爆炸抛撒过程分析

该文建立了描述液体燃料空气炸药云雾运动规律的模型,给出了云雾膨胀过程３个阶段的速度—半径关系或速度—时间关系,以及云雾中燃料液滴的尺寸估计。     

“化学在抗击新冠肺炎疫情中扮演的重要角色”专题教学

Considering COVID-19 epidemic prevention and control, education materials were excavated and refined, such as chemical disinfectants, typical drugs used in clinical treatment or trial and materials for preparation of medical protective equipment. We have carried out thematic teaching on "The important role of chemistry in the fight against COVID-19 epidemic", and integrated ideological and political education into the thematic teaching. Through thematic teaching, we can make students feel the charm of chemistry subject, stimulate students' interest in learning chemistry, fully mobilize students' learning enthusiasm and initiative, strengthen students' confidence and courage to overcome difficulties, cultivate the students' professional disciplines literacy and scientific literacy, activate students' love for the motherland, the people and the Communist Party of China.     

基于现代企业应用的工作流过程模型研究

针对现代企业的实际经营状况,分析了工作流过程元模型在现代企业过程建模应用中存在的不足.在此基础上,对工作流元模型以及工作流定义语言作了适当的改进和扩展,以适应现代企业过程建模的需求和新技术的使用.     

基金项目管理系统的工作流建模

文章概述了基金项目管理的一般流程,并利用工作流技术对该流程进行了建模,提供了该工作流模型的实现.