“卜磊”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果117个，建议您升级VIP下载更多相关专利

[发明专利]一种面向线性约束代码的有界可达性验证方法-CN201610122074.1在审
发明人：卜磊;李鑫;李一超;梁永隽;王林章;李宣东 -专利权人：南京大学
申请日： 2016-03-03 - 公布日： 2016-07-27 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种面向线性约束代码的有界模型验证方法，包括如下步骤：步骤1：构建代码的控制流程图CFG状态模型；步骤2：结合步骤1中构建的CFG状态模型，从程序的起始状态起，验证代码的CFG状态模型在有界步数K之内是否可达，直到K步之内的所有路径遍历结束或者某条路径可达为止；最后给出验证结果。本发明使用了SAT，SMT和IIS反馈等技术对代码模型的可达性验证过程进行了优化，可以有效缩短代码的验证时间和减少待寻找路径的数目，较现有的DFS算法的可达性验证效率更高，可以帮助软件测试人员更高效地进行代码的验证工作。
一种面向线性约束代码可达性验证方法

[发明专利]一种混成系统的可达性分析方法-CN201310280740.0有效
发明人：解定宝;卜磊;李宣东 -专利权人：南京大学
申请日： 2013-07-04 - 公布日： 2013-11-20 - 主分类号： G06F19/00 文献下载
摘要：本发明提出一种混成系统的可达性分析方法，包括以下步骤：解析混成自动机输入文件，将该自动机的有界图结构编码成一组命题逻辑公式集合；利用SAT求解器对该公式集合进行求解，若不可解则输出结果不可解，如果可解则将可满足赋值解码成输入自动机图结构上的一条路径；根据混成自动机的语义对目标路径进行编码形成线性约束；对该线性约束求解，如果可解则输出该路径作为结果，否则转下一步；给出线性约束的不可约不可解集合；将不可达路径编码成一组命题逻辑公式集合并加到自动机图结构的公式集合里。采用本发明方法可快速找出到达目标节点的候选路径，减少对混成自动机图结构进行搜索的时间。
一种混成系统可达性分析方法

[发明专利]一类非线性混成系统的建模与面向路径的可达性分析方法-CN201310209987.3无效
发明人：卜磊;杨阳;赵建华;李宣东 -专利权人：南京大学
申请日： 2013-05-30 - 公布日： 2013-10-02 - 主分类号： G06F19/00 文献下载
摘要：本发明提出一类非线性混成系统的建模与面向路径的可达性分析方法，步骤1：对非线性混成系统进行建模，得到非线性混成自动机；步骤2：判断非线性混成自动机的凸性混成；当混成自动机每一个节点上的状态空间都为凸集时，称该混成自动机为凸性混成自动机；步骤3：若为凸性混成自动机，则根据规则将待验证可达性问题编码为凸规划问题进行求解；对于编码后的凸规划问题，若该问题有解，则对应的路径满足可达性规约；最后针对其面向路径的可达性问题，给出将其可达性问题编码为凸规划可满足性问题的方法，并通过求解凸规划问题，给出半判定过程；本发明给出了凸性混成自动机的可达性分析，相对于基于近似和抽象的分析方法，有更好的效果。
一类非线性混成系统建模面向路径可达性分析方法

[发明专利]基于抽象解释的线性混成系统不变式的生成方法-CN201310149282.7有效
发明人：卜磊;刘春能;蒋慧;李宣东 -专利权人：南京大学
申请日： 2013-04-25 - 公布日： 2013-09-25 - 主分类号： G06F17/50 文献下载
摘要：本发明提供一种线性混成系统不变式的生成系统，输入为线性混成系统模型——线性混成自动机，输出该线性混成系统的节点不变式；线性混成系统不变式生成系统包括转换模块和不变式生成部分两个组成部分如下：1）转换模块基于面向线性混成系统的等价迁移系统构造的模块，其输入侧为线性混成系统模型——线性混成自动机，输出侧为迁移系统模型；2）不变式生成部分，连接上述转换模块，针对上述迁移系统进行分析并根据其分析结果反馈得到线性混成系统模型的不变式；根据转换模块转换生成的迁移系统，输出为原线性混成系统的节点不变式；然后利用新工具进行不变式生成工作。
基于抽象解释线性混成系统不变生成方法

[发明专利]最小不满足树制导的混成系统可达性分析方法-CN201310146921.4有效
发明人：解定宝;卜磊;李宣东 -专利权人：南京大学
申请日： 2013-04-24 - 公布日： 2013-09-04 - 主分类号： G06F17/30 文献下载
摘要：本发明提出最小不满足树制导的混成系统可达性分析方法，包括以下步骤：解析混成自动机，生成该混成自动机的图结构；在混成自动机的图结构上，从初始节点开始做深度优先搜索，在每遍历一个节点前，对已遍历的路径与以该节点为根的最小不满足树进行匹配，如果匹配成功，则不遍历该节点并回溯至另外的节点进行深度优先搜索，否则遍历该节点并根据目标节点遍历出一条到达目标节点的目标路径；根据混成自动机的语义对遍历出的目标路径进行编码，形成一组线性约束；调用线性规划求解器对该组线性约束进行求解，如果可解则输出该路径作为结果，否则转下一步骤。
最小不满足制导混成系统可达性分析方法

[发明专利]一种基于活动图模型的系统行为仿真方法-CN201310168258.8有效
发明人：王林章;俞磊;卜磊;李宣东;陈志 -专利权人：南京大学
申请日： 2013-05-08 - 公布日： 2013-08-14 - 主分类号： G06F17/50 文献下载
摘要：本发明是一种基于活动图模型的系统行为仿真方法，首先读取并解析待仿真的统一建模语言活动图模型，从中抽取出重要的模型元素信息并在内存中构建一个完整的模型映射；然后对读入的统一建模语言活动图模型进行解析，分别从统一建模语言活动图模型中解析出各种模型元素；再结合采用混合执行的思想对其进行持续的具体执行、符号执行以及约束求解，在达到节点覆盖度阈值的情况下结束该过程；最后使用上一步收集到的仿真用例对统一建模语言活动图模型进行仿真执行。实现了用于统一建模语言活动图模型仿真执行的仿真用例自动生成、统一建模语言活动图模型的仿真执行环境构建、统一建模语言活动图模型仿真用例的节点覆盖度信息统计以及仿真执行结果反馈。
一种基于活动模型系统行为仿真方法

[发明专利]面向线性混成系统的等价迁移系统构造方法-CN201310145470.2有效
发明人：卜磊;蒋慧;刘春能;李宣东 -专利权人：南京大学
申请日： 2013-04-24 - 公布日： 2013-08-07 - 主分类号： G05B13/04 文献下载
摘要：本发明提供一种面向线性混成系统的等价迁移系统构造方法，包括输入侧和输出侧，输入侧为线性混成系统模型，输出侧为迁移系统模型，其中：以线性混成自动机作为线性混成系统模型表示为H＝(X,Σ,V,E,V⁰,α,β,γ)，其中：X为实数值系统变量的有限集合且X中变量的个数为混成自动机的维度，Σ为事件名的有限集合，V是位置节点的有限集合，转换系统中引入时间变量t来代表一个任意时间长度的时间段，同时在每个节点v上添加指向自己的状态迁移τ形成自循环来模拟位置节点v内部的连续变化。根据节点变化率和t计算可得节点当前状态与迁移后的新状态间取值关系。本发明的转换系统可将线性混成系统模型等价转换成迁移系统模型，使现有的用于迁移系统的分析验证工具能够用于线性混成系统验证。
面向线性混成系统等价迁移构造方法

[发明专利]基于增量线性规划的动态系统在线增量式快速验证系统及方法-CN201310146928.6有效
发明人：卜磊;杨阳;李宣东 -专利权人：南京大学
申请日： 2013-04-24 - 公布日： 2013-07-24 - 主分类号： G06F17/50 文献下载
摘要：本发明提供一种基于增量线性规划的动态系统在线增量式快速验证系统及方法。所述方法是首先加载动态系统的问题模型，然后将其与原问题模型进行对比，根据对比结果修改原问题模型；然后使用新的问题模型、原线性规划求解模型根据编码规则修改原线性规划求解模型，从而得到修改后的线性规划求解模型；最后使用线性规划的增量求解技术，利用修改后的线性规划求解模型求解新的问题模型，并给出求解结果。该方法在基于线性规划的线性混成自动机可达性分析方法的基础上，提出了动态的问题模型修改策略，并复用原问题的求解结果来加速新问题的求解，以达到动态系统的在线增量式快速验证，显著提高了问题的求解速度，可以满足动态系统验证的实时性要求。
基于增量线性规划动态系统在线快速验证方法

[发明专利]基于统计模型检验的不稳定网络鲁棒性评测方法-CN201310148619.2无效
发明人：卜磊;张凤玲;王林章;赵建华;李宣东 -专利权人：南京大学
申请日： 2013-04-25 - 公布日： 2013-07-24 - 主分类号： H04L12/24 文献下载
摘要：本发明提供一种网络系统的鲁棒性的评测系统及其工作方法。评测系统首先构造网络系统协议的时间自动机，描述协议的整体工作流程。然后，在模型中引入加权迁移对该时间自动机进行扩展，构建系统的随机时间自动机，以对环境中的不确定因素建模。基于该随机时间自动机，可以使用统计模型检验技术对系统的性能进行分析与评估，以在协议设计和选择阶段，实现参数配置、性能比较等目标。本方法主要是通过对不稳定网络系统中协议及环境的建模，分析与评估网络系统在特定环境下的性能，以此评测该网络系统的鲁棒性。统计模型检验技术基于仿真及统计的方法避免了对系统状态的穷尽搜索，在时间和空间上的消耗大大降低，能够用于处理大规模系统。
基于统计模型检验不稳定网络鲁棒性评测方法

[实用新型]基于无线视频传输的移动远程监控系统-CN201220122212.3有效
发明人：张钦宇;林威;张勇勇;黄立伟;李云鹤;梁玉锋;卜磊 -专利权人：哈尔滨工业大学深圳研究生院
申请日： 2012-03-28 - 公布日： 2012-12-12 - 主分类号： H04N7/18 文献下载
摘要：本实用新型提供基于无线视频传输的移动远程监控系统，其包括处理器、摄像头、电机、存储芯片、无线通信模块和移动终端，所述摄像头、电机和存储芯片分别与处理器连接，处理器读取摄像头采集的视频图像到存储芯片进行存储，移动终端和处理器通过无线通信模块进行通信，移动终端通过无线通信模块向处理器发送命令控制电机的运转从而带动摄像头移动。通过把服务端做成可移动平台，其视频监控范围远远扩大，而且可以满足客户对可移动平台周边环境状况的欲望，同时又能满足客户根据可移动平台周边环境状况进行对可移动平台的控制，从而实现客户对未知环境状况的探究和实时监控，客户端采用的是手机终端或PC机，克服了以往客户端移动性不足的问题。
基于无线视频传输移动远程监控系统

[发明专利]基于音频特征的歌曲智能识别方法-CN201110285850.7有效
发明人：张钦宇;林威;梁玉锋;李云鹤;卜磊;潘振鹏 -专利权人：哈尔滨工业大学深圳研究生院
申请日： 2011-09-23 - 公布日： 2012-01-25 - 主分类号： G10L15/02 文献下载
摘要：本发明提供了一种基于音频特征的歌曲智能识别方法，其包括以下步骤：(1)服务器对歌曲建立音频特征库；(2)在客户端设置好采样率，对外界歌曲进行录音t秒时间以上；(3)然后采用特定的音频特征提取算法提取该段音频的特征值；(4)处理完毕后，将音频特征参数通过网络上传到服务器；(5)在接受到待匹配的特征值后开始采用匹配算法进行相似度匹配；(6)匹配成功则将歌曲的原信息如歌曲名称、歌手、专辑名称等发送到客户端；匹配失败则反馈匹配失败的信息。本发明的目的在于设计出一种高性能高识别率的歌曲识别方案，实现起来比较灵活又具有良好的模块化和可扩展性。
基于音频特征歌曲智能识别方法

[实用新型]一种儿童用可调高度安全带-CN201020019669.2无效
发明人：卜磊 -专利权人：卜磊
申请日： 2010-01-12 - 公布日： 2010-10-13 - 主分类号： B60R22/10 文献下载
摘要：本实用新型涉及一种儿童用可调高度安全带，解决了现有汽车安全设施对儿童的危险性大、使用有局限的技术问题。包括固定于车体内的斜向安全带和横向安全带，还包括可调长度安全带以及设置在斜向安全带上的挂件；可调长度安全带的下端为固定端，其上端为自由端；固定端与车体相对固定，其自由端设置有连接部件，挂件用于挂接连接部件。具有适用范围广、规避安全风险、占用空间小以及成本低廉的优点。
一种儿童可调高度安全带

首页
«上一页
1
2
3
4
5
6
7
8
共 117 条