QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 限定条件 发表日期：2016     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 SOFL-based dependency graph generation for scheduling 会议论文 11th Systems of Systems Engineering Conference, SoSE 2016, Kongsberg, Norway, June 12, 2016 - June 16, 2016 作者:  Cheng, Zhuo;  Zhang, Haitao;  Tan, Yasuo;  Lim, Yuto 收藏  |  浏览/下载：3/0  |  提交时间：2017/01/18 Formal specification  Computer control  Control systems  Cruise control  Formal methods  Scheduling  Specifications  Systems engineering  Dependency graphs  Feasible solution  Formal engineerings  Multi task system  Requirement specification  SOFL  Task dependencies   Decomposed unit commitment model for long term system with large scale wind power penetration 期刊论文 Hsi-An Chiao Tung Ta Hsueh/Journal of Xi'an Jiaotong University, 2016, 卷号: 50, 页码: 143-151 作者:  Gong, Benhui;  Wang, Xiuli;  Dang, Can;  Yao, Li;  Hou, Furui 收藏  |  浏览/下载：4/0  |  提交时间：2019/11/26 Continuous variables  Density curves  Feasible solution spaces  Large-scale power systems  Large-scale wind power  Production simulation  Unit commitment problem  Unit-commitment   The research of difference frequency disturbance in parallel switching power suppliy system 会议论文 作者:  Yin, Nan;  Li, Liangming;  Pei, Yunqing;  Hu, Dingwen 收藏  |  浏览/下载：2/0  |  提交时间：2019/11/26 Difference frequency  Feasible solution  Inductor currents  Output voltage ripple  Parallel operations  Parallel switching  Switching power supplies  Voltage feedback   A case study: SOFL + Model checking for OSEK/VDX application 会议论文 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, Paris, France, November 6, 2015 - November 6, 2015 作者:  Cheng, Zhuo;  Zhang, Haitao;  Tan, Yasuo;  Lim, Yuto 收藏  |  浏览/下载：6/0  |  提交时间：2017/01/18 Formal specification  Automobiles  Computational linguistics  Computer control  Formal languages  Formal methods  Model checking  Specifications  Automotive applications  Development process  Feasible solution  Formal engineerings  High quality  Requirement specification