摘要：传统的工作流模型注重流程的结构化、自动化控制,难于应付复杂的跨组织、多角色、知识密集型流程的建模和管理.提出一个面向知识和内容协作、支持复杂多角色、多主体(人机、机机)交互的工作流系统模型和应用框架.具体工作有:引入了虚拟资源抽象层,将结构化、半结构化和非结构化资源以及元数据资源纳入统一的管理;提出一个面向资源协同的工作流系统(Resource-Oriented Collaborative Workflow,ROCWF)的过程模型和资源控制模型,过程模型在Petri-Net的基础上扩充了条件变迁和上下文状态控制,资源控制模型基于ICN(Information Control Net),提出一种支持多角色多任务资源协同的控制模型(Task Resource Multi-Role Collaboration Model,TRRC);在此基础上,对流程服务进行了扩展,设计和实现了一组面向资源的REST(Representational State Transfer,表现状态转移)风格的接口.最后给出的实例表明基于此模型和架构,可以更好的支持跨组织、多角色、知识密集型流程的建模和管理,且基于REST架构的扩展提供了一种异构系统间协作的新方法.

摘要：在逻辑电路的化简和设计中,经常使用的方法是代数法和卡诺图法,但两者在逻辑变量很多的情况下,运用起来显得非常的繁琐,给出VEM的具体的读出规则、合并方法及特殊使用规则,这种方法不仅使多变量函数化简工作更简化,而且使逻辑设计更简单,同时给出VEM的应用实例.