本发明公开了一种混合验证JavaScript程序正确性的方法。本发明包括以下步骤：将JavaScript程序划分为静态部分和动态部分两大部分；使用开放时态逻辑规约JavaScript程序的正确性；使用程序证明方法验证静态部分正确性和静态...

本发明公开了一种基于无线网络传输实现跑步机智能化的方法与系统，包括，将无线网络传输模块预先集成到跑步机的智能控制检测设备；创建智能控制检测设备与智能终端间的无线网络传输协议；智能控制检测设备搜索周围环境中携带有无线网络信号的智能终端；无...

本发明提出了一种android应用程序防盗版的方法及系统，包括将android应用程序程序分成两部分：关键程序和不完整的部分应用程序，两者结合才能正常运行。将两部分都上传至服务器，服务器对关键代码进行加密处理，用户下载了不完整的部分程序...

本发明公开了一种在android系统的虚拟机上加载java类的方法及系统，该方法包括以下步骤：android系统的外部java类生成器预先加载并链接所需的java类，获取java类对应的结构信息；外部java类生成器根据结构信息查找所述...

本发明涉及一种基于数据挖掘的节能家电能耗监督评测系统，它包括远程计量插座、后台数据存储处理服务器、终端web浏览端；1）远程计量插座：家电插在远程计量插座上，计量出其每段时间的用电量，用以与其标榜的节能等级比较看是否符合标准，远程计量插...

本发明公开了一种钢材的优化切割方法，本发明通过对实际加工过程多种约束情况的分析，找出其主要的约束条件，并根据分析结果建立相应的切割模型和优化算法，有助于促进钢材、玻璃、布料等行业材料裁剪的整体优化，提高生产率、减少材料消耗，同时确保生产...

本实用新型涉及一种笔记本电脑便携式支撑架以及与其相配的电脑包，其中便携式支撑架，包括支撑平面，其特征在于：它还设有支架、伸缩杆及背带，支撑平面、支架通过轴连接，背带的两端也连接轴两端，支架可插入电脑包内相应的插口内，支架的侧面设有滑道，...

本实用新型涉及一种便携式平板电脑支撑架，包括面板、支撑板、支撑杆，其特征在于：所述面板和支撑板之间由折叠处连成一体，支撑板和面板通身一体构成封面，所述的平板电脑支撑架还设有背带，面板、支撑杆以及背带，通过一个轴穿插连接，工作状态时，支撑...

本发明公开了一种增强JavaScript函数封装性的方法，包括如下步骤：附加访问权限控制符到JavaScript函数，定义JavaScript函数的封装性；根据JavaScript函数访问权限控制符和函数封装性定义，设计JavaScri...

本实用新型涉及一种建筑工程结构，尤其是涉及一种注浆地基坑结构。注浆地基坑结构，在驳岸上开挖地基坑，地基坑两侧形成驳岸壁和灌注壁，灌注壁垂直地基表面，灌注壁外侧设置有一层坑外注浆层，坑外注浆层边设置有钻孔灌注桩。本实用新型具有设计较合理，...

本实用新型涉及一种建筑工程结构，尤其是涉及一种嵌岩锚碇桩结构。嵌岩锚碇桩结构是在桩内设置嵌岩锚杆，桩内壁设置有钢筋笼，钢筋笼内设置有导向管，导向管的顶部设置有锚固体，锚固体与嵌岩锚杆连接固定。本实用新型具有设计较合理，施工成本较低，抗拔...

本实用新型涉及一种建筑工程施工结构，尤其是涉及一种软土地基接桩结构。软土地基接桩结构由软土地基和打入在软土地基内的水泥粉煤灰碎石桩组成，水泥粉煤灰碎石桩分桩尖和桩尾，桩尖成锥形且设置在软土地基内，桩尾留置在软土地基外，桩尾外包有混凝土断...

本实用新型涉及一种建筑工程结构，尤其是涉及一种真空预压软地基密封沟结构。密封沟由围堰和软土地基围成，截面形状上宽下尖，软土地基分为真空区和砂垫层，真空区和砂垫层组成密封沟的第一侧壁，第一侧壁上由内到外依次铺有土工布、密封膜。本实用新型具...

本实用新型公开了一种锁具的防火自锁结构。它包括锁体（1）和锁芯（2），所述的锁体（1）上固定一支杆（3），支杆（3）的上端铰接一杠杆（4），杠杆（4）的一侧设有一自锁榫（5），自锁榫（5）与支杆（3）之间还设有一连接杠杆（4）与锁体（1...

本实用新型涉及一种建筑工程施工结构，尤其是涉及一种塔吊桩加固结构。塔吊桩加固结构，由两个塔吊桩打入基础底板构成，第一塔吊桩和第二塔吊桩上各设置有一对抱箍，抱箍成环形状且分别环抱在第一塔吊桩和第二塔吊桩上，抱箍上焊接有工字钢，工字钢的两端...

本实用新型涉及一种建筑工程施工结构，尤其是涉及一种刚架护坡桩结构。刚架护坡桩结构由设置在地面和基底之间的刚架桩组成，刚架桩由前桩和后桩构成，前桩长度大于后桩长度，前桩由地面穿入基底，后桩由地面穿入且止于基底，前桩和后桩的顶端之间连接有横...

本实用新型涉及一种建筑工程施工结构，尤其是涉及一种旋挖桩排泥结构。旋挖桩排泥结构由护壁和设置在护壁内的旋挖桩组成，旋挖桩顶部设置有空压机，旋挖桩外设置有导管，空压机与导管连接，旋挖桩下段侧壁开有桩孔，桩孔与导管相通。本实用新型具有设计较...

本发明公开了石膏基无机保温砂浆系统的施工方法，主要包括基层墙体清理；吊垂直、套方、弹控制线；用保温砂浆作灰饼、作冲筋和护角；涂刷建筑石膏；保温砂浆施工；抗裂防护层施工；通风干燥养护；刮腻子；涂料饰面施工的步骤。具有施工便捷的优点，无机保...

高精度微调斜面测量静动及圆柱体滚动摩擦力系数实验仪，属于静动及圆柱体滚动摩擦力系数测量实验仪技术领域。其包括水平台和斜面实验台，斜面实验台包括底座，设置在底座上的转动斜面，设置在转动斜面前和/或后侧的主尺盘以及设置在底座和转动斜面之间的...

本实用新型涉及一种智有手机心图仪，包括智能手机，智能手机通过手机接口电路连接心图仪；所述的心图仪包括信号采集电路和信号放大电路，信号放大电路连接手机接口电路，信号采集电路用于采集听诊数据；本实用新型只要将智能手机连接到一个心图仪工具上，...