退出
我的积分:
中文文献批量获取
外文文献批量获取
葛季栋; 胡昊; 吕建;
计算机软件新技术国家重点实验室,南京大学,南京大学计算机科学与技术系,江苏南京,210093;
南京大学软件学院,江苏南京,210093;
工作流; Petri网; 过程建模; 合理性; 不变量; PERT图;
机译:从工作流网的结构到足迹的聚合时间转换方法及其应用
机译:工作流图与自由选择工作流网之间的关系
机译:基于UML活动图与BPEL4WS网格服务工作流程规范的基于同型映射的模型转换方法
机译:将VDM-SL编译为C:一种用户导向的转换方法
机译:逻辑Petri工作流网和工作流网之间的等效性
机译:常规数据流网络中的缓冲区分配:一种基于着色圆弧图的方法
机译:一种比较pERT数据电子处理成本的方法:pERT I与pERT III
机译:磁传感器,其包括基于不变量的换能器,该换能器以与共振频率不同的速率进行控制,以及基于不变量控制换能器的方法
机译:一种正面认证方法,其增强了计算机生成全息图转换的数字全息图标记的安全级别,这是一种基于计算机生成的全息图的正认证系统数字全息图标记发生器,用于基于计算机生成的全息图的正验证系统
机译:一种用于控制逆变器的装置和一个交流电侧的斯图芬变压器,其布置在附件中,以通过直流电在交流网络之间传输功率
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。