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

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

[实用新型]窗间ALC墙板结构外装饰-CN202320869528.7有效
发明人：唐超;王思岚;陈杨;湛珊珊;唐凯;郭振华 -专利权人：中建四局第一建设有限公司
申请日： 2023-04-18 - 公布日： 2023-08-08 - 主分类号： E04F13/073 文献下载
摘要：一种窗间ALC墙板结构外装饰，窗间ALC墙板结构外装饰中，窗间结构外板具有水平的上表面，窗间结构外梁具有水平的下表面，窗间结构外梁与窗间结构外板平行布置，立柱竖直固定于窗间结构外梁与窗间结构外板之间，窗框竖直固定于窗间结构外梁与窗间结构外板之间且位于所述立柱一侧，所述窗框中嵌设玻璃层，ALC墙板竖直固定于窗间结构外梁与窗间结构外板之间且位于所述立柱相反于所述窗框的另一侧。本窗间ALC墙板结构外装饰安装质量高且耐久。
窗间 alc 板结装饰

[发明专利]一种超长结构密肋模壳运输装置及方法-CN202310415141.9在审
发明人：陈杨;湛珊珊;王思岚;唐超;刘超;吴道福 -专利权人：中建四局第一建设有限公司
申请日： 2023-04-18 - 公布日： 2023-06-23 - 主分类号： E04G19/00 文献下载
摘要：一种超长结构密肋模壳运输装置及方法，密肋模壳(12)架设在盘扣架立杆(8)之间，木枋(2)横向铺设在结构板面(1)上，作为运输导轨线路的基础，运输钢管(3)水平放置在木枋(2)上，U型塑料卡扣(4)通过射钉(5)安装在木枋(2)上，运输钢管(3)利用U型塑料卡扣(4)固定，从而形成运输装置的导轨；盘扣架立杆(8)和盘扣件横杆(9)连接并设置在所述的运输装置的导轨之上。操作人员将密肋楼盖板上的模壳拆除后叠放在运送小车上，然后进行运输。该运输装置及方法能够减小人工搬运量及搬运过程中的模壳材料损耗量。
一种超长结构密肋模壳运输装置方法

[实用新型]一种用于天顶仪竖向投点确定测站坐标的辅助工具-CN202223172158.6有效
发明人：杨辉;王思岚;李刚;贾文鑫;杨学文;焦利朋;火茜 -专利权人：甘肃华原工程设计监理有限公司
申请日： 2022-11-29 - 公布日： 2023-03-24 - 主分类号： G01C15/00 文献下载
摘要：本申请涉及一种用于天顶仪竖向投点确定测站坐标的辅助工具，包括激光靶板（4）和激光反射器（5），所述激光反射器（5）设在所述激光靶板（4）上表面的中心透光孔位置上，并且其一侧与所述激光靶板（4）之间设有角度调节机构，另一侧在所述角度调节机构的作用下能够自由旋转。本申请基于现有的天顶仪，在激光靶板上增设了激光反射器和角度调节机构，相较常规全站仪转点定位方法，本申请设计合理，减少了全站仪架站棱镜测设的环节，操作简单环节少，有效提高了竖向投点定位放线的精度和效率。
一种用于天顶竖向确定测站坐标的辅助工具

[发明专利]附着于钢管柱的施工电梯附墙装置及其安装方法-CN202110309326.2有效
发明人：李业;胡佑平;王思岚;龙瀚;赵朋;陈顺利 -专利权人：中建四局第一建设有限公司
申请日： 2021-03-23 - 公布日： 2023-01-31 - 主分类号： B66B11/00 文献下载
摘要：本发明公开了一种附着于钢管柱的施工电梯附墙装置及其安装方法，附墙装置中，第一节点板、第二节点板和第三节点板位于同一水平线上，第一撑杆一端固定于所述第二节点板，第二撑杆一端固定于所述第三节点板，另一端经由第一连接板固定连接所述第一撑杆，水平主梁一端固定于所述第一节点板，另一端经由第二连接板固定于所述第一撑杆的另一端，所述第二连接板经由第三撑杆支撑，所述第三撑杆的一端固定连接所述第二连接板的底部，另一端固定连接所述钢管柱。附着于钢管柱的施工电梯附墙装置简单、方便，更具经济性。
附着钢管施工电梯装置及其安装方法

[发明专利]限域生长的金属有机框架化合物柔性膜的合成方法-CN202011189199.9有效
发明人：杨国锐;延卫;王筱珺;丁书江;王玲;王思岚 -专利权人：西安交通大学苏州研究院;西安交通大学
申请日： 2020-10-30 - 公布日： 2022-04-15 - 主分类号： D04H1/728 文献下载
摘要：本发明公开了限域生长的金属有机框架化合物柔性膜的合成方法，包括如下步骤：1)、配制静电纺丝前驱体溶液：包括外层前驱体溶液和内层前驱体溶液；2)、同轴静电纺丝：将外层前驱体溶液加入至同轴静电纺丝机的外层溶液通道中；同时，将内层前驱体溶液加入至同轴静电纺丝机的内层溶液通道中，喷丝头采用同轴型，经静电纺丝得到核壳型前驱体纤维；3)、MOFs限域生长：将步骤2)得到的核壳型前驱体纤维置于第三溶剂中进行反应；内层的第二高分子聚合物溶解释放出中心原子与配体并在纤维内部空腔中生长；待MOFs生长完毕后，对得到的限域生长MOFs柔性膜进行清洗和烘干。该方法不仅可以控制MOFs的生长尺寸，还可以将其加工成柔性膜材料，拓展其使用领域。
生长金属有机框架化合物柔性合成方法

[实用新型]附着于钢管柱的施工电梯附墙装置-CN202120590228.6有效
发明人：李业;胡佑平;王思岚;龙瀚;赵朋;陈顺利 -专利权人：中建四局第一建设有限公司
申请日： 2021-03-23 - 公布日： 2022-01-25 - 主分类号： B66B19/00 文献下载
摘要：本实用新型公开了一种附着于钢管柱的施工电梯附墙装置，附墙装置中，第一撑杆一端固定于所述第二节点板，第二撑杆一端固定于所述第三节点板，另一端经由第一连接板固定连接所述第一撑杆，水平主梁一端固定于所述第一节点板，另一端经由第二连接板固定于所述第一撑杆的另一端，所述第二连接板经由第三撑杆支撑，所述第三撑杆的一端固定连接所述第二连接板的底部，另一端固定连接所述钢管柱。附着于钢管柱的施工电梯附墙装置简单、方便，更具经济性。
附着钢管施工电梯装置

[发明专利]无停机时间的数据库和服务升级-CN201780004715.6有效
发明人：郑重;林海波;王思岚 -专利权人：微软技术许可有限责任公司
申请日： 2017-01-16 - 公布日： 2021-09-17 - 主分类号： G06F8/656 文献下载
摘要：对在经由存储过程执行数据操作的多个机器(例如，服务)上的关系数据库进行升级。升级在不改变一个或多个存储过程的功能的集合的情况下发生。因此，即使机器本身没有升级，机器仍然可以经由该一个或多个存储过程的集合与数据库进行交互。关系数据库的升级通过向关系数据库添加新表并且然后向存储过程存储设备添加新的存储过程来发生，新的存储过程引用新表的参数。由于与关系数据库接口的机器仍然可以使用旧的存储过程在升级后的数据库上运行，因此每个机器可以按有序的方式进行升级以与新的存储过程接口。
停机时间数据库服务升级

[发明专利]一种选取路径的方法及装置-CN201210150054.7有效
发明人：宫云战;王雅文;王思岚;黄俊飞;金大海 -专利权人：北京邮电大学
申请日： 2012-05-07 - 公布日： 2012-09-19 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种选取路径的方法，包括：当确定为目标覆盖元素选取的初始路径为不可达路径，并且确定目标覆盖元素的重选路径为不可达路径时，利用保存的不可达路径为目标覆盖元素选出子路径，若检测出该子路径可达，则确定该子路径为目标覆盖元素的可达路径。本发明还同时公开了一种选取路径的装置，采用本发明能进行路径重选，提高单元测试的覆盖率。
一种选取路径方法装置

[发明专利]循环语句中变量抽象取值的迭代求精方法-CN201110400173.9无效
发明人：金大海;宫云战;赵云山;肖庆;王思岚 -专利权人：北京邮电大学
申请日： 2011-12-05 - 公布日： 2012-06-13 - 主分类号： G06F11/36 文献下载
摘要：本发明提供了一种循环语句中变量抽象取值的迭代求精方法，所述方法包括：根据控制流图CFG进行数据流迭代，得到上次迭代区间LastDomain；根据循环头节点LoopHead的循环条件进行循环语句块的数据流迭代，得到本次迭代区间ThisDomain；将LastDomain和ThisDomain进行加宽Widening操作。采用本发明公开的技术方案能够解决循环语句中变量抽象取值迭代计算收敛速度慢或不收敛的技术问题。
循环语句变量抽象迭代求精方法

[发明专利]基于覆盖率量化指标确定软件测试过程充分性的方法-CN201110338915.X有效
发明人：王雅文;宫云战;谭立力;韩春晓;王思岚;周傲;赖思佳 -专利权人：北京邮电大学
申请日： 2011-11-01 - 公布日： 2012-04-18 - 主分类号： G06F11/36 文献下载
摘要：本发明提供一种基于覆盖率量化指标确定软件测试过程充分性的方法，包括：A、对被测程序进行预编译、词法分析和语法分析，得到程序的抽象语法树、控制流图和函数之间的调用关系图，并根据用户测试需求，自动生成被测单元；B、根据覆盖准则，从所述抽象语法树和控制流图中提取被测单元中相应的待覆盖元素集合；C、根据所述的覆盖准则，在被测单元的程序中插入相应的探针函数；D、根据用户测试需求，选择系统自动执行或用户手动执行的方式对插入探针函数的被测单元进行动态测试；E、根据动态测试执行的返回信息，得到测试单元的被覆盖元素集合，并计算被测单元的覆盖率。应用该方法，能够提高软件评估测试的效率和准确性。
基于覆盖率量化指标确定软件测试过程充分方法

[发明专利]一种程序中不可达路径的静态检测方法-CN201010622214.4有效
发明人：王雅文;宫云战;肖庆;杨朝红;金大海;李青翠;王思岚 -专利权人：北京邮电大学
申请日： 2010-12-27 - 公布日： 2011-05-25 - 主分类号： G06F11/36 文献下载
摘要：本发明公开一种程序中不可达路径的静态检测方法，该方法包括：A、对待测试程序的函数单元进行词法分析、语法分析及语义分析，生成函数的控制流图；B、通过所述待测试程序中变量值范围的函数间分析得到被调用函数单元的函数摘要；C、在控制流图的入口和出口节点之间选取一条路径p，如果路径中含有循环语句节点，则采用进入循环体0次或1次的策略；D、从所述路径p的入口节点开始，计算各语句节点处的上下文状态；如果存在某节点的上下文状态中有变量取值为空的情况，则表示所述路径p为不可达路径，否则，为可达路径。应用本发明的方法，能够提高程序静态分析和测试用例生成的效率，以提高软件测试效率。
一种程序不可路径静态检测方法

1
共 11 条