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

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

[发明专利]一种结构测试中的被测程序改造方法及其系统-CN201410564233.4在审
发明人：宫云战;杨忆文;王雅文;黄俊飞;金大海 -专利权人：北京邮电大学
申请日： 2014-10-21 - 公布日： 2015-01-28 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种结构测试中被测程序的改造方法及其系统，所述方法包括：S1、根据被测程序的结构生成抽象语法树和控制流图，并得到所述被测程序的输入/输出函数信息；S2、改造被测程序，并在所述被测程序中分别构造驱动函数、桩函数和探针函数；S3、执行所述被测程序，得到所述探针函数的插桩返回信息，根据所述插桩返回信息和所述控制流图分析所述被测程序的路径覆盖情况。该方法通过改造被测函数单元，构造驱动函数，构造桩函数，构造探针函数，使被测程序可独立执行，大大提高了结构测试的自动化程度。
一种结构测试中的程序改造方法及其系统

[发明专利]基于迭代的区间运算的软件测试用例自动生成方法及系统-CN201410562727.9有效
发明人： 王雅文;邢颖;宫云战;张旭舟;黄俊飞;金大海 -专利权人：北京邮电大学
申请日： 2014-10-21 - 公布日： 2015-01-28 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种基于迭代的区间运算的软件测试用例自动生成方法及系统，包括：S1、读取待测程序中的预定路径，通过遍历所述待测程序的控制流图得到所述预定路径的各个变量的变量取值区间；S2、将所述变量取值区间通过迭代的区间运算遍历所述控制流图，得到各个所述变量的初始稳定变量取值区间；S3、对所述初始稳定变量取值区间中的无穷变量取值区间进行初始化处理，通过迭代的区间运算遍历所述控制流图，并将运算结果保存到所述初始稳定变量取值区间；S4、根据预设的机制对变量进行排序，并确定当前变量；S5、对所述当前变量的初始稳定变量取值区间进行回退运算、迭代的区间运算及回溯运算，生成测试用例；S6、对生成的所述测试用例进行验证。
基于区间运算软件测试自动生成方法系统

[发明专利]用户登录认证方法及装置-CN201310295620.8在审
发明人：李冰;顾健;王雅文;李宏昌;迟建德;付载国;李佳记;于志卓 -专利权人：中国移动通信集团黑龙江有限公司
申请日： 2013-07-15 - 公布日： 2015-01-21 - 主分类号： H04L29/06 文献下载
摘要：本发明公开了一种用户登录认证方法及装置。其中该方法包括：在用户输入登录信息的同时，根据预设的用户行为指标捕捉用户的输入行为特征数据；根据输入行为特征数据判断用户行为是否异常；当用户行为正常时，对登录信息进行验证；当用户行为异常时，对登录的用户进行身份验证，判断是否为合法用户本人进行的登录操作；当是合法用户本人进行的登录操作时，对登录信息进行验证；当不是合法用户本人进行的登录操作时，向合法用户本人发送告警信息。本发明还提供一种用于实现上述方法的用户登录认证装置。
用户登录认证方法装置

[发明专利]一种AgBr/CuO可见光光催化材料的再生方法及其应用-CN201410457258.4有效
发明人：王韵芳;王雅文;张雪;樊彩梅;丁光月;张小超 -专利权人：太原理工大学
申请日： 2014-09-10 - 公布日： 2014-12-10 - 主分类号： B01J27/08 文献下载
摘要：一种AgBr/CuO可见光光催化材料的再生方法及其应用，属于光催化及环境治理技术领域。其特征在于本发明采用3%的溴水对AgBr/CuO光催化材料进行简单处理，即可显著恢复其光催化活性，达到循环利用的目的，适用于在可见光条件下降解水中微量有机污染物。该发明制备过程简单，条件温和，对于光催化技术对水中微量有机污染物的无害化处理领域具有广阔的应用前景。
一种 agbr cuo 可见光光催化材料再生方法及其应用

[实用新型]多功能护理车-CN201420371639.6有效
发明人：胡延节;冯平;胡义柱;兰瑞文;王雅文 -专利权人：胡延节
申请日： 2014-06-30 - 公布日： 2014-11-26 - 主分类号： A61G7/10 文献下载
摘要：多功能护理车，具有车轮、吊拉滑轮、钢丝绳、推拉手柄、吊钩、滑轮转动手柄，其特征是车架由钢管焊接制成，车架下方有车轮，上方有吊拉滑轮，两斜撑中间以及滑轮转轴和横撑之间装有一平板，滑轮转动手柄安装在平板的下方，并由钢丝绳与吊拉滑轮相连，钢丝绳端部装有吊钩，其优点是解决重症病人长期卧床换洗被褥，擦洗身体时，减轻了护理人员的劳动强度，同时适用于手术后病人的移动，养老院及家庭卧床不起老人的擦洗，更换被褥，还可以进行腰椎和颈椎的牵引康复治疗。
多功能护理

[实用新型]城镇居民小区沼气池-CN201420343156.5有效
发明人：胡延节;冯平;胡义柱;兰瑞文;王雅文 -专利权人：胡延节
申请日： 2014-06-20 - 公布日： 2014-10-22 - 主分类号： C12M1/107 文献下载
摘要：城镇居民小区沼气池具有沼气池、化粪池、粪尿抽吸泵、三通阀，垃圾粉碎机，出渣抽泵，防爆装置及管道，其特征是居民小区的粪尿排放管与化粪池连通，粪尿吸入管与粪尿抽吸泵进口相连，其出口经三通阀分别与左、右粪尿进料管及左、右沼气池相连通，生活垃圾经垃圾粉碎机粉碎通过粉碎垃圾入料管分别送入两个沼气池，沼气池上方设有沼气出气管和防爆装置，沼气池底部设有出渣管，其另一端与出渣抽泵进口相连。优点是沼气池，化粪池建在地下，解决居民小区生活垃圾处理问题，粪便和垃圾经过预处理后进入沼气池，使沼气池内的物料细化，发酵均匀、充分，产气量增加。多个沼气池，错时进料换料，保证对居民小区连续稳定供气，沼渣作为有机肥料。
城镇居民小区沼气池

[发明专利]污泥合成燃料及其合成方法-CN201410304624.2无效
发明人：胡延节;冯平;胡义柱;兰瑞文;王雅文 -专利权人：胡延节
申请日： 2014-06-24 - 公布日： 2014-10-01 - 主分类号： C10L5/46 文献下载
摘要：污泥合成燃料及其合成方法，污泥合成燃料的配方重量百分比是，污泥51～60％，煤粉20～40％，草粉10～20％，助燃粘合剂5～10％。其合成方法是将污泥、煤粉、草粉、助燃粘合剂按相应的百分比重量在搅拌机内搅拌均匀后，用传送带运至成型机挤压成型，再用传送带运到烘干焙烧炉内烘干，并焙烧碳化，碳化后出炉冷却。优点是污泥与煤粉等合成燃料，解决了环境污染，保护了环境，污泥被废物利用，创造了经济效益和社会效益，并节省了煤炭，缓解燃料的紧缺现象。
污泥合成燃料及其方法

[发明专利]一种BiOCl光催化剂的多元可控合成方法-CN201410201908.9在审
发明人： 王雅文;高晓亚;金州洋;温亚龙;张小超;樊彩梅;岳斌 -专利权人：太原理工大学
申请日： 2014-05-14 - 公布日： 2014-09-03 - 主分类号： B01J27/06 文献下载
摘要：一种BiOCl光催化剂的多元可控合成方法，属于环境化工光催化水处理技术领域。其特征在于该方法将适当浓度的BiCl₃加入到二乙二醇或二乙二醇和水的混合溶剂中，再加入尿素沉淀剂，混合均匀后，溶胶直接或进行超声前处理后转入Teflon高压反应釜中一定温度下进行溶剂热反应生成沉淀，沉淀经水和乙醇洗涤后在80℃烘干即可得到不同形貌的BiOCl光催化剂粉体。本发明提供的BiOCl制备周期短，避免了表面活性剂的使用，通过对溶剂的控制和超声前处理可方便实现颗粒晶面可控(110和102)和形貌可控（二维片状和三维花状、球状）的制备方法。该催化剂用于光催化降解卡马西平药物废水，在紫外和模拟太阳光下均显示出优于TiO₂(P25)的光催化活性，具有实际应用前景。
一种 biocl 光催化剂多元可控合成方法

[发明专利]一种降解药物废水BiOCl光催化剂的可控自组装合成方法-CN201410201905.5无效
发明人：高晓亚;张小超;郝元川;王韵芳;王雅文;候红串;樊彩梅;彭仕琪 -专利权人：太原理工大学
申请日： 2014-05-14 - 公布日： 2014-08-13 - 主分类号： B01J27/06 文献下载
摘要：一种降解药物废水BiOCl光催化剂的可控自组装合成方法，属于环境化工光催化水处理技术领域。其特征在于该方法将适当浓度的BiCl₃加入到二乙二醇溶剂中，再加入一定量的尿素沉淀剂，混合均匀后，溶胶转入Teflon高压反应釜中一定温度下进行溶剂热反应生成沉淀，沉淀经水和乙醇洗涤后在80℃烘干即可得到不同尺寸的自组装多级结构BiOCl光催化剂粉体。本发明提供的BiOCl制备工艺可控，避免了表面活性剂的使用，环境友好，通过反应参数的控制可方便实现尺寸可控(1~5µm)自组装多级结构BiOCl光催化剂的制备。该催化剂用于光催化降解卡马西平或者磺胺甲噁唑废水，在紫外光下具有优于商品TiO₂(P25)的光催化活性，具有实际应用前景。
一种降解药物废水 biocl 光催化剂可控组装合成方法

[发明专利]一种复杂符号运算的等价变换方法-CN201410119795.8在审
发明人：黄俊飞;李峰;宫云战;王雅文;金大海 -专利权人：北京邮电大学
申请日： 2014-03-27 - 公布日： 2014-07-09 - 主分类号： G06F9/44 文献下载
摘要：本发明涉及一种复杂符号运算的等价变换方法，包括：S1：定义简单运算和复杂运算，其中，简单运算为+、-、×，复杂运算为除去简单运算以外的所有其他运算；S2：依据预设变换原则进行变换及处理。本发明能处理符号表达式中的复杂运算，由于复杂的运算在逻辑上可以转化为简单运算，因此，提出等价变换的方法，将复杂运算转化为逻辑等价的简单运算。即只要能处理简单运算，就能处理复杂运算，从而大大降低了符号表达式的处理难度，然后进一步进行简单符号运算的处理方法，具有处理的简易型。本发明还提出了一种复杂符号运算的等价变换装置。
一种复杂符号运算等价变换方法

[发明专利]一种动态认证行为分析方法及系统-CN201210591672.5在审
发明人：李冰;顾健;王雅文;李宏昌;迟建德;付载国;李佳记;于志卓 -专利权人：中国移动通信集团黑龙江有限公司
申请日： 2012-12-29 - 公布日： 2014-07-09 - 主分类号： H04L12/24 文献下载
摘要：本发明公开了一种动态认证行为分析方法及系统。其中该方法包括：从动态认证行为涉及的网元中提取日志；根据所述日志对所述动态认证行为各个操作的内容进行状态分析；根据每个操作的状态分析结果判断是否需要启动下一个操作。本发明的动态认证行为分析方法及系统，通过提取网元日志对动态认证行为的每一步操作进行状态分析，自动化识别业务当前运行质量并引导提示用户进行下一步访问，提高人机交互性能，能够快速准确的识别故障点和故障原因，保障业务访问质量，提高访问速度。
一种动态认证行为分析方法系统

[发明专利]一种充分识别指针引用检测对象的方法-CN201410115369.7有效
发明人： 王雅文;董玉坤;宫云战;金大海;黄俊飞 -专利权人：北京邮电大学
申请日： 2014-03-25 - 公布日： 2014-07-09 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种充分识别指针引用检测对象的方法，包括：对被分析函数进行词法分析和语法分析，生成被分析函数的抽象语法树；从所述抽象语法树上识别所述被分析函数内的指针引用表达式，根据所述指针引用表达式识别出被引用指针，并将被引用指针添加到被引用指针集合中；从所述抽象语法树上识别所述被分析函数内的函数调用，根据被调用函数的函数摘要的空指针引用前置约束识别出在调用点处的被引用指针，并将被引用指针添加到被引用指针集合中；如果存在未判断是不是指针引用检测对象的指针，识别出被其引用的外部指针，并将所述外部指针添加到被调用函数的函数摘要的空指针引用前置约束中，进一步提高了空指针引用缺陷检测的精度。
一种充分识别指针引用检测对象方法

[发明专利]一种基于抽象解释技术的缺陷警报分组方法及装置-CN201310687844.3无效
发明人：金大海;宫云战;黄俊飞;王雅文;张大林 -专利权人：北京邮电大学
申请日： 2013-12-13 - 公布日： 2014-03-26 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于抽象解释技术的缺陷警报分组方法，所述方法包括：获取函数控制流图上节点的抽象语义，并获取函数控制流图上所述节点的求精的抽象语义；当在所述节点上报告一个以上缺陷警报时，依据所述缺陷警报间的抽象依赖关系，对所述缺陷警报进行分组。本发明同时还公开了一种基于抽象解释技术的缺陷警报分组装置。采用本发明的技术方案，大大减少了部分缺陷警报的识别工作，提高了测试工作效率。
一种基于抽象解释技术缺陷警报分组方法装置

[发明专利]用于包括多个函数测试模块的单元测试方法及装置-CN201310581759.9有效
发明人：黄俊飞;宫云战;金大海;王雅文;李峰 -专利权人：北京邮电大学
申请日： 2013-11-18 - 公布日： 2014-02-19 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种用于包括多个函数测试模块的单元测试方法及装置，为解决现有的单元测试中无法实现函数调用语句中函数错误的测试而设计。所述方法包括构建测试模块，所述测试模块包括两个以上有调用关系的函数；根据测试模块内程序的逻辑关系及函数间的调用关系形成若干条函数间路径；为每一条所述函数间路径选择测试用例进行测试。所述方法及装置在单元测试阶段即可及时的发现函数调用中的错误，避免了将函数调用的错误延迟到集成测试中，进而及时的对软件中函数调用的错误进行修正，达到了降低测试成本的目的。
用于包括函数测试模块单元测试方法装置

[发明专利]一种可见光光催化材料的制备及其应用的方法-CN201310455691.X有效
发明人：王韵芳;付思美;刘建新;樊彩梅;丁光月;王雅文;张小超 -专利权人：太原理工大学
申请日： 2013-09-29 - 公布日： 2014-01-15 - 主分类号： B01J27/18 文献下载
摘要：一种C3N4/Ag3PO4可见光光催化材料的制备及其应用的方法，属于光催化及环境治理技术领域。其特征在于本发明采用无环境污染的H2O2对C3N4/Ag3PO4光催化材料进行简单处理，即可显著恢复其光催化活性，达到循环利用的目的，适用于在可见光条件下降解水中微量难降解有机污染物。该发明制备过程简单，条件温和，对于光催化技术对水中微量难降解有机污染物的无害化处理领域具有广阔的应用前景。
一种可见光光催化材料制备及其应用方法