摘要：工作流是一类能够部分或全部由计算机支持或自动处理的业务过程,工作流模型是对工作流的抽象表示,也就是对业务过程的抽象表示。论文以过程工程理论建立的企业模型作为工作流模型的扩展思想,归纳出了工作流模型设计原则,并对现有的扩展方法进行了分析;最后提出了一种工作流模型,该模型由过程模型、活动模型、组织模型、资源模型和信息模型五个子模型组成,并给出了各子模型的形式化描述。

摘要：介绍了自主知识产权的1553B总线IP核的系统结构、实现方法与容错设计.IP核使用Verilog语言设计,可在10万等效门以上的现场可编程逻辑芯片上实现.其他自行研制的1553B解决方案均建立在嵌入式处理器或DSP基础上,其协议芯片仅完成数据链路层功能.本IP核不但可进行数据链路层操作,而且一经配置即可完成大部分传输层工作,并具备内建自检测能力.在实验系统中可无缝替换Aeroflex/UTMC的UT1553BBCRTM商用芯片.

摘要：介绍了一种适用于5000逻辑单元以上规模电路的可配置EDA仿真验证方法.它由可配置的测试台生成器自动产生测试台,并管理测试向量的注入和仿真状态的存储.与以往研究采用的定时触发的激励信号注入方式不同,本方法采用事件触发,从而保持了与被测电路仿真过程的实时交互.自动生成测试台代码可避免设计人员进行重复性编码并提高了可靠性.事件触发的仿真状态保存机制大大节省了存储空间.