退出
我的积分:
中文文献批量获取
外文文献批量获取
姜科; 洪玫; 赵鹤; 张光兰;
四川大学计算机学院 四川成都610000;
微电网; 组件建模; 微电网建模; 产能组件; 形式化验证;
机译:集成UML和UPPAAL,以设计,指定和验证基于组件的实时系统
机译:基于燃料电池微电网成本分析的设备产能优化及运行方法
机译:基于UPPAAL的GPS交通防撞预警系统(TCAS)建模与分析。
机译:一种基于组件的混合Petri网方法,用于工艺业生产能源耦合系统建模
机译:在存在不同物理和网络组件的情况下,对基于混合多Agent的微电网进行建模和控制。
机译:基于多主体系统的MACSimJX智能微电网动态能源管理建模与实现
机译:集成UmL和UppaaL用于设计,指定和验证基于组件的实时系统
机译:基于面向方面的生成域建模的组件装配方法;杂志文章
机译:基于CBD的安全套接字层建模方法,加密和解密机密性组件的方法,完整性组件的处理方法以及SSL组件的处理方法
机译:基于移动终端及其记录介质的基于信息建模的通信系统,基于信息建模的通信服务器和基于信息建模的通信方法
机译:移动终端及其记录介质中基于建筑物信息建模的通信系统,基于建筑物信息建模的通信服务器和基于建筑物信息建模的通信方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。