编辑配置文件（在新选项卡中打开） 王淑玲 合著者距离 作者ID： 王树龄 发布日期： 王淑玲；王淑玲 已编制索引的文档： 46出版物自1966年起，包括1本书 合著者： 70位合著者具有41联合出版物 1720合著作者 全部的 前5名合著者 1 单作者的 15 詹乃军 7 李海涛 4 邱宗燕 三 刘志明 三 Jean-Pierre塔宾 三 徐，熊 三 詹伯华 2 冯、余 2 傅华华 2 Dimitar P.Guelev。 2 焦、李 2 李瑞雪 2 李，杨佳 2 刘涛 2 舒、秦 2 严、高高 2 姚凯伦 2 张丽君 2 赵恒军 2 赵亮 1 马克·安斯沃思 1 巴博萨、路易斯·索亚雷斯 1 曹红燕 1 陈明帅 1 陈兴伟 1 陈永明 1 戴、江涛 1 丁雪英 1 Fränzle，马丁 1 郭东兴 1 黄丹军 1 金、项羽 1 柯伟 1 唐纳德·凯利。 1 李晓东 1 李，鸭绿 1 梁，宋 1 廖文华 1 林倩倩 1 刘爱新 1 刘俊毅 1 刘新斌 1 Yida刘 1 刘一静 1 刘玉娜 1 龙，权 1 苗、连英 1 查尔斯·莫里塞特 1 倪，云 1 牛、本 1 彭，于 1 浦、葛光 1 安德斯·雷文（Anders P.Ravn）。 1 保拉·里贝罗。 1 伊恩·休·斯隆 1 孙伟伟 1 曾裕熙 1 王居平 1 吴冉超 1 夏美霞 1 杨百强 1 杨孟飞 1 杨新荣 1 英明生 1 应胜刚 1 岳、钟琪 1 詹浩兰 1 张赤晨 1 张翠华 1 赵国栋 1 赵祥鹏 1 朱海阳 1 朱俊雷 1 邹亮 全部的 前5名系列 三 富兰克林学院学报 三 《物理快报》。A类 2 IEEE自动控制汇刊 2 计算机科学前沿 1 IMA数值分析杂志 1 国际机械科学杂志 1 波浪运动 1 SIAM控制与优化杂志 1 理论计算机科学 1 实践与理论中的数学 1 计算的形式方面 1 黑龙江大学自然科学学报 1 边界元工程分析 1 组合优化期刊 1 应用统计学杂志 1 东北大学学报。自然科学 1 软件杂志 1 合肥工业大学学报。自然科学 1 中国数学 1 中国计算机科学前沿 1 控制理论与技术 1 程序设计中的逻辑和代数方法杂志 1 华中师范大学学报。自然科学 全部的 前5名领域 24 计算机科学（68至XX） 14 系统论；控制（93至XX） 4 数学逻辑和基础（03-XX） 三 统计学（62-XX） 2 常微分方程（34-XX） 2 可变形固体力学（74-XX） 2 流体力学（76-XX） 2 统计力学，物质结构（82-XX） 2 运筹学、数学规划（90-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 组合数学（05-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 偏微分方程（35-XX） 1 动力系统和遍历理论（37至XX） 1 数值分析（65-XX） 1 量子理论（81-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 33出版物有被引用127中的次98文件 引用人▼ 年份▼ 随机函数扰动下布尔网络稳定性和镇定的鲁棒性。 Zbl 07352071号 李海涛；杨新荣；王淑玲 26 2021 逻辑控制网络可控性的扰动分析。 Zbl 1454.93027号 李海涛；王淑玲；李晓东；赵国栋 19 2020 混合值逻辑网络干扰解耦问题的事件触发控制。 Zbl 1429.93230号 王淑玲；李海涛；李，鸭绿；孙伟伟 11 2020 设置具有概率时延的逻辑网络的稳定性和同步。 Zbl 1398.93353号 丁雪英；李海涛；王淑玲 9 2018 Simulink/Stateflow图的正式验证。 Zbl 1471.68159号 邹亮；詹乃军；王淑玲；Fränzle，马丁 8 2015 Simulink/Stateflow图的正式验证。演绎法。 Zbl 1412.68006号 詹乃军；王淑玲；赵恒军 6 2017 一种求解亥姆霍兹方程内外逆问题的有效数值方法。 Zbl 0825.76732号 王S.L。；陈永明。 5 1991 混合系统的形式化建模、分析和验证。 Zbl 1444.68105号 詹乃军；王淑玲；赵恒军 5 2013 模糊关系不等式系统的列叠加解法。 兹比尔1411.93106 王淑玲；李海涛 5 2019 类似BPEL4WS的故障和补偿处理的语义。 Zbl 1120.68324号 邱宗燕；王淑玲；浦、葛光；赵祥鹏 5 2005 通过网络聚合实现大规模逻辑控制网络的状态反馈镇定。 Zbl 07480615号 李海涛；刘玉娜；王淑玲；牛、本 5 2021 非线性热传导问题有限元近似的可计算误差界后处理。 Zbl 0890.65109号 M.安斯沃思。；D.W.凯利。；I.H.斯隆。；王S.L。 4 1997 一种基于假设/保证的混合CSP合成演算。 Zbl 1354.68204号 王淑玲；詹乃军；迪米塔尔·盖列夫 4 2012 使用量子霍尔逻辑对量子算法进行形式验证。 Zbl 07805824号 刘俊毅；詹伯华；王淑玲；应胜刚；刘涛；李，杨佳；英明生；詹乃军 三 2019 随机混合系统的组合建模和验证框架。 兹比尔1370.68220 王淑玲；詹乃军；张丽君 2 2017 关于过渡制度的练习。 Zbl 1279.68265号 保拉·里贝罗。；巴博萨，L.S。；王淑玲 2 2008 关于哈尔系列。 兹标0178.07001 王，S.-l。 2 1966 通过最小载波简化合作博弈的Shapley值。 Zbl 1488.91008号 李海涛；王淑玲；刘爱新；夏美霞 2 2021 无线移动自组网中的多路径QoS路由协议。 Zbl 0987.68927号 廖文华；曾裕熙；王淑玲；Sheu，Jang-Ping先生 1 2001 具有随机权利审查的非参数回归模型的统计诊断。 Zbl 1223.62053号 王淑玲；冯、余；刘新斌 1 2010 梯级偶合自旋1/2反铁磁梯中的基态性质和量子纠缠。 Zbl 1306.82003年 李瑞雪；王淑玲；姚开伦；傅华华 1 2013 三eg反铁磁Heisenberg自旋1/2梯状结构中的0-和2/3-磁化平台。 Zbl 1298.82013年 李瑞雪；王淑玲；倪，云；姚凯伦；傅华华 1 2014 嵌入式系统正式和非正式设计之间的双向路径。 Zbl 1483.68074号 陈明帅；安德斯·雷文（Anders P.Ravn）。；王淑玲；杨梦飞；詹乃军 1 2017 用概率和随机性扩展混合CSP。 Zbl 1369.68264号 彭，于；王淑玲；詹乃军；张丽君 1 2015 混合CSP的近似互模拟和离散化。 Zbl 1427.68218号 严、高高；焦、李；李，杨佳；王淑玲；詹乃军 1 2016 Gurtin和Murdoch对弹性半空间在体力作用下的弹性行为的表面效应。 Zbl 1521.74173号 陈兴伟；王淑玲；岳、钟琪 1 2022 基于图形的面向对象Hoare逻辑。 Zbl 1390.68192号 赵亮；王淑玲；刘志明 1 2013 限制和局部性定理的语义模型。 兹比尔1267.68091 王淑玲；舒、秦；刘一静；邱宗燕 1 2010 FJ和FGJ的类型安全。 兹比尔1168.68346 王淑玲；龙，权；邱宗燕 1 2006 通过结合AADL和Simulink/Stateflow，对网络物理系统进行统一的图形联合建模、分析和验证。 Zbl 07467466号 徐，熊；王淑玲；詹伯华；金、项羽；Jean-Pierre塔宾；詹乃军 1 2022 使用AADL和Simulink/Stateflow对网络物理系统进行统一图形联合建模。 Zbl 07168636号 詹浩兰；林倩倩；王淑玲；Jean-Pierre塔宾；徐，熊；詹乃军 1 2019 具有高阶UTP的simulink的一种指称语义。 Zbl 07618116号 徐，熊；詹伯华；王淑玲；Jean-Pierre塔宾；詹乃军 1 2023 从延迟混合CSP合成SystemC代码。 Zbl 1503.68186号 严、高高；焦、李；王淑玲；詹乃军 1 2017 具有高阶UTP的simulink的一种指称语义。 Zbl 07618116号 徐，熊；詹伯华；王淑玲；Jean-Pierre塔宾；詹乃军 1 2023 Gurtin和Murdoch对弹性半空间在体力作用下的弹性行为的表面效应。 Zbl 1521.74173号 陈兴伟；王淑玲；岳、钟琪 1 2022 通过结合AADL和Simulink/Stateflow，对网络物理系统进行统一的图形联合建模、分析和验证。 Zbl 07467466号 徐，熊；王淑玲；詹伯华；金、项羽；Jean-Pierre塔宾；詹乃军 1 2022 随机函数扰动下布尔网络稳定性和镇定的鲁棒性。 Zbl 07352071号 李海涛；杨新荣；王淑玲 26 2021 通过网络聚合实现大规模逻辑控制网络的状态反馈镇定。 Zbl 07480615号 李海涛；刘玉娜；王淑玲；牛、本 5 2021 通过最小载波简化合作博弈的Shapley值。 兹比尔1488.91008 李海涛；王淑玲；刘爱新；夏美霞 2 2021 逻辑控制网络可控性的扰动分析。 Zbl 1454.93027号 李海涛；王淑玲；李晓东；赵国栋 19 2020 混合值逻辑网络干扰解耦问题的事件触发控制。 Zbl 1429.93230号 王淑玲；李海涛；李，鸭绿；孙伟伟 11 2020 模糊关系不等式系统的列叠加解法。 Zbl 1411.93106号 王淑玲；李海涛 5 2019 使用量子霍尔逻辑对量子算法进行形式验证。 Zbl 07805824号 刘俊毅；詹伯华；王淑玲；应胜刚；刘涛；李，杨佳；英明生；詹乃军 三 2019 使用AADL和Simulink/Stateflow对网络物理系统进行统一图形联合建模。 Zbl 07168636号 詹浩兰；林倩倩；王淑玲；Jean-Pierre塔宾；徐，熊；詹乃军 1 2019 设置具有概率时延的逻辑网络的稳定性和同步。 兹比尔1398.93353 丁雪英；李海涛；王淑玲 9 2018 Simulink/Stateflow图的正式验证。演绎法。 Zbl 1412.68006号 詹乃军；王淑玲；赵恒军 6 2017 随机混合系统的组合建模和验证框架。 兹比尔1370.68220 王淑玲；詹乃军；张丽君 2 2017 嵌入式系统正式和非正式设计之间的双向路径。 Zbl 1483.68074号 陈明帅；安德斯·雷文（Anders P.Ravn）。；王淑玲；杨梦飞；詹乃军 1 2017 从延迟混合CSP合成SystemC代码。 Zbl 1503.68186号 严、高高；焦、李；王淑玲；詹乃军 1 2017 混合CSP的近似互模拟和离散化。 Zbl 1427.68218号 严、高高；焦、李；李，杨佳；王淑玲；詹乃军 1 2016 Simulink/Stateflow图的正式验证。 Zbl 1471.68159号 邹亮；詹乃军；王淑玲；Fränzle，马丁 8 2015 用概率和随机性扩展混合CSP。 Zbl 1369.68264号 彭，于；王淑玲；詹乃军；张丽君 1 2015 三eg反铁磁Heisenberg自旋1/2梯状结构中的0-和2/3-磁化平台。 Zbl 1298.82013年 李瑞雪；王淑玲；倪，云；姚凯伦；傅华华 1 2014 混合系统的正式建模、分析和验证。 Zbl 1444.68105号 詹乃军；王淑玲；赵恒军 5 2013 梯级偶合自旋1/2反铁磁梯中的基态性质和量子纠缠。 Zbl 1306.82003年 李瑞雪；王淑玲；姚凯伦；傅华华 1 2013 基于图形的面向对象Hoare逻辑。 Zbl 1390.68192号 赵亮；王淑玲；刘志明 1 2013 一种基于假设/保证的混合CSP合成演算。 Zbl 1354.68204号 王淑玲；詹乃军；迪米塔尔·盖列夫 4 2012 具有随机权利审查的非参数回归模型的统计诊断。 Zbl 1223.62053号 王淑玲；冯、余；刘新斌 1 2010 限制和局部性定理的语义模型。 兹比尔1267.68091 王淑玲；舒、秦；刘一静；邱宗燕 1 2010 关于过渡系统的练习。 兹比尔1279.68265 保拉·里贝罗。；巴博萨，L.S。；王淑玲 2 2008 FJ和FGJ的类型安全。 Zbl 1168.68346号 王淑玲；龙，权；邱宗燕 1 2006 类似BPEL4WS的故障和补偿处理的语义。 Zbl 1120.68324号 邱宗燕；王淑玲；浦、葛光；赵祥鹏 5 2005 无线移动自组网中的多路径QoS路由协议。 Zbl 0987.68927号 廖文华；曾裕熙；王淑玲；Sheu，Jang-Ping先生 1 2001 非线性热传导问题有限元近似的可计算误差界后处理。 Zbl 0890.65109号 M.安斯沃思。；D.W.凯利。；I.H.斯隆。；王S.L。 4 1997 一种求解亥姆霍兹方程内外逆问题的有效数值方法。 Zbl 0825.76732号 王S.L。；陈永明。 5 1991 关于哈尔系列。 Zbl 0178.07001号 王，S.-l。 2 1966 所有引用出版物 前5名被引用出版物 全部的 前5名200位作者引用 12 李海涛 12 王淑玲 10 傅世华 8 詹乃军 7 刘，杨 7 陆建全 6 冯俊娥 5 王建军 4 De Leone，雷纳托 4 夏建伟 4 杨新荣 4 赵建丽 三 陈增强 三 桂伟华 三 郭玉谦 三 李璐璐 三 刘忠信 三 卢，军港 三 乔丽珊 三 Jean-Pierre塔宾 三 王彪 三 吴宇虎 三 詹伯华 三 张志鹏 三 赵国栋 三 钟，杰 2 巴博萨、路易斯·索亚雷斯 2 安娜·卡瓦尔坎蒂 2 Cheng，Daizhan（代战） 2 西蒙·福斯特 2 高慧 2 蒋春峰 2 小林，小一 2 拉诺特，拉格罗 2 李博文 2 刘雯 2 刘志明 2 吕晓东 2 阮其华 2 石凯波 2 孙敏儿 2 西蒙·蒂尼 2 文青峰 2 詹姆斯·C·P·伍德科克。 2 吴彦坤 2 徐，熊 2 杨宇静 2 张安国 2 张洪斌 2 赵亮 2 赵蓉 1 朱利叶斯·阿德尔特 1 埃桑·艾哈迈德 1 亚明·艾特阿默尔 1 瓦西里·阿拉伊巴 1 苏丹M·阿尔甘迪。 1 安德烈·特凡 1 马可·安东尼奥·巴博萨 1 费边·鲍尔·马尔夸特 1 亚历山大·本特坎普 1 比约纳，迪内斯 1 塞尔吉·博戈莫洛夫 1 安东尼·博尔吉 1 贝诺·博伊尔 1 丹尼尔·布雷特施奈德 1 蔡超 1 陈浩东 1 陈明帅 1 陈琪 1 陈兴伟 1 魏恩根·钦 1 吉纳迪·奇托夫。 1 楚天光 1 戴超群 1 戴、江涛 1 戴丽云 1 戴少余 1 丁成祥 1 丁雪英 1 董云伟 1 窦文辉 1 杜雷豪 1 纪尧姆·杜邦 1 穆纳乔·埃切宁 1 范吉祥 1 傅坤坤 1 甘婷 1 高焕兵 1 高金武 1 哈利勒·戈尔巴尔 1 桂、徐东 1 郭培莲 1 韩昌达 1 韩晓光 1 何义军 1 保拉·赫伯 1 德克·霍夫曼 1 杨洪丽 1 徐元腾 1 胡云峰 …还有100多名作者 全部的 前5名34篇连载文章中引用 13 富兰克林学院学报 11 应用数学与计算 4 电路、系统和信号处理 4 计算的形式方面 4 系统科学与复杂性杂志 4 非线性分析。混合动力系统 三 国际控制杂志 三 Automatica公司 三 系统和控制信件 三 控制理论与技术 三 程序设计中的逻辑和代数方法杂志 三 国际系统科学杂志。系统与集成原理与应用 2 信息科学 2 SIAM控制与优化杂志 2 理论计算机科学 2 符号计算杂志 2 自动推理杂志 2 统计力学杂志：理论与实验 2 计算机科学前沿 1 国际工程科学杂志 1 模糊集与系统 1 计算机与系统科学杂志 1 控制论与系统 1 计算机程序设计科学 1 信息与计算 1 神经网络 1 国际鲁棒非线性控制杂志 1 系统设计中的形式化方法 1 欧洲控制杂志 1 应用统计学杂志 1 动力系统定性理论 1 模糊优化与决策 1 科学中国。信息科学 1 亚洲控制杂志 全部的 前5名18个领域被引用 61 系统论；控制（93至XX） 31 计算机科学（68至XX） 9 博弈论、经济学、金融和其他社会和行为科学（91-XX） 8 生物学和其他自然科学（92-XX） 5 数学逻辑和基础（03-XX） 4 信息与通信理论、电路（94-XX） 三 线性代数和多线性代数；矩阵理论（15-XX） 三 量子理论（81-XX） 三 统计力学，物质结构（82-XX） 三 运筹学、数学规划（90-XX） 2 范畴理论；同调代数（18-XX） 2 动力系统和遍历理论（37至XX） 2 变分法与最优控制；最优化（49至XX） 2 概率论与随机过程（60-XX） 1 组合数学（05-XX） 1 差分方程和函数方程（39至XX） 1 统计学（62-XX） 1 可变形固体力学（74-XX） 按年份列出的引文