信息物理系统软件设计自动化专题
信息物理系统软件设计自动化专题前言卜磊;陈铭松;朱祺;刘超;1585-1586
基于SHML的CPS行为建模及仿真杜德慧;管春琳;王耀;郭童;1587-1599
垂悬指针检测与防御方法王豫;高凤娟;马可欣;司徒凌云;王林章;陈碧欢;刘杨;赵建华;李宣东;1600-1618
自主机器人多智能体软件架构及伴随行为机制毛新军;杨硕;黄裕泓;王硕;1619-1637
轨道交通联锁领域特定语言的形式化赵梦瑶;陈小红;孙海英;刘静;陈良育;周庭梁;1638-1653
基于AADL的失效概率分配及安全性评估方法魏晓敏;董泽乾;肖明睿;田聪;1654-1671
马尔可夫信息物理系统拒绝服务攻击安全控制马超;吴伟;1672-1680系统软件与软件工程
基于动态分析的软件不变量综合技术王博;卢思睿;姜佳君;熊英飞;1681-1702
基于堆叠泛化的设计模式检测方法冯铁;靳乐;张家晨;王洪媛;1703-1722模式识别与人工智能
跨领域文本情感分类研究进展赵传君;王素格;李德玉;1723-1746
基于端到端句子级别的中文唇语识别研究张晓冰;龚海刚;杨帆;戴锡笠;1747-1760数据库技术
持续监控下差分隐私保护梁文娟;陈红;吴云乘;赵丹;李翠平;1761-1785计算机网络与信息安全
基于ICN网络架构的社区感知型MSN路由机制石峻岭;王兴伟;黄敏;1786-1801
节点度估计和静态博弈转发策略的Ad Hoc网络路由协议王庆文;戚茜;程伟;李冬;1802-1816
面向公有云的支持快速解密的CP-ABE方案邹莉萍;冯朝胜;秦志光;袁丁;罗王平;李敏;1817-1828
对简化版MORUS算法的改进动态立方攻击李俊志;关杰;1829-1838计算机图形学与计算机辅助设计
基于概率模型检验的云渲染任务调度定量验证高洪皓;缪淮扣;刘浩宇;许华虎;于芷若;1839-1859操作系统
面向大数据分析作业的启发式云资源供给方法吴悦文;吴恒;任杰;张文博;魏峻;王焘;钟华;1860-1874
基于分片复用的多版本容器镜像加载方法陆志刚;徐继伟;黄涛;1875-1888
移动边缘计算中资源受限的串行任务卸载策略刘伟;黄宇成;杜薇;王伟;1889-1908
持久化内存文件系统的磨损攻击与防御机制杨朝树;诸葛晴凤;沙行勉;陈咸彰;吴林;吴挺;1909-1929
《软件学报》2020年专刊/专题出版计划1930