“程序简化”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

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

[发明专利]简化内存烧录程序的方法-CN02159657.3无效
发明人：蔡英川 -专利权人：英业达股份有限公司
申请日： 2002-12-30 - 公布日： 2004-07-14 - 主分类号： G06F9/22 文献下载
摘要：一种简化内存烧录程序的方法，适用于资料内容输入及变更需借由烧录方式处理的内存，用以减少更改资料内容所需的步骤，该方法是在烧录过程中，对表示内存内容的文字文件所含的每一数据域位用代号表示，所命名的代号与其所要存放的资料性质对应，如此，当资料输入完毕后，程序即可正确、有效地将资料自动填入相应的字段，对每次资料修改的工作仅需变更文字文件而不必对原始烧录程序的撰写内容作任何修改，也就是可用同一程序烧录不同对象所附内存的资料内容，无须针对每一个对象撰写新的烧录程序
简化内存程序方法

[实用新型]简化安装程序的通风装置-CN02288761.X无效
发明人： -专利权人：
申请日： 2002-12-09 - 公布日： 2003-12-03 - 主分类号： F24F13/32 文献下载
摘要：一种简化安装程序的通风装置，是将一通风主机接置在一座体底板上，并在该座体底板沿通风主机侧缘形成一定位部，以有效将该通风主机卡在该座体中，同时在该定位部周边形成有一向外凸出的卡合部，供该座体上结合有通风主机的通风装置
简化安装程序通风装置

[发明专利]一种应用程序安装包的简化方法和装置-CN202210127396.0在审
发明人：温元波;吴晓勇;汪永利 -专利权人：北京沃东天骏信息技术有限公司;北京京东世纪贸易有限公司
申请日： 2022-02-11 - 公布日： 2022-05-20 - 主分类号： G06F8/71 文献下载
摘要：本发明公开了一种应用程序安装包的简化方法和装置，涉及计算机技术领域。该方法的一具体实施方式包括：对应用程序安装包的主包进行检测，以确定该主包中的待简化信息；对应用程序安装包的插件进行检测，以确定该插件中的待简化信息；将主包中的待简化信息和插件中的待简化信息进行合并，得到应用程序安装包的待简化信息，按照应用程序安装包的待简化信息对应的简化策略，对应用程序安装包进行简化。该实施方式能够支持使用了插件化方案的App安装包简化，避免造成类似无用资源扫描信息不准确等问题，对App存在的待简化问题，快速定位待简化信息，并给出简化解决方案，使简化操作升级，实现自动化。
一种应用程序安装简化方法装置

[发明专利]应用程序推送方法及装置-CN201310247588.6有效
发明人：李自军 -专利权人：华为技术有限公司
申请日： 2013-06-20 - 公布日： 2017-06-06 - 主分类号： G06F9/46 文献下载
摘要：本发明实施例提供一种应用程序推送方法及装置，其中应用程序推送方法包括接收通知服务器发送的应用程序推送通知，所述应用程序推送通知包括应用程序的简化版信息；根据所述应用程序的简化版信息获取所述应用程序的简化版内容，并显示所述应用程序的简化版内容，本发明实施例还提供了对应的装置。本发明实施例提供的技术方案能够方便用户快速、准确地下载到满意的应用程序，提高应用程序推送的准确率。
应用程序推送方法装置

[发明专利]一种渲染程序的在线优化方法-CN201610256550.9有效
发明人：王锐;鲍虎军;袁亚振 -专利权人：浙江大学
申请日： 2016-04-21 - 公布日： 2018-06-19 - 主分类号： G06T15/00 文献下载
摘要：本发明公开了一种渲染程序的在线优化方法，包括：构建原始渲染程序的简化程序，根据渲染代价和绘制误差选择若干作为代表渲染程序根据依赖关系构建简化依赖图；在渲染过程中，监测待绘制场景参数，当发生剧烈变化时使用新一轮在线优化，通过多次循环来完成一次优化，每次优化中循环进行如下操作：根据简化依赖图从所有代表简化程序中选择K个作为候选简化程序，依据绘制误差和渲染代价确定本次循环结果，并根据若干次循环结果决定当前在线优化是否结束动态选择最优的简化渲染程序，实现渲染程序与场景的解耦合，避免离线优化的枚举参数空间问题，且同时进行渲染程序的误差计算和时间测量与场景绘制，速度快，实时性强。 1
渲染在线优化绘制依赖图构建优化场景本次循环参数空间场景参数代价确定动态选择多次循环剧烈变化时间测量误差计算依赖关系次循环解耦合实时性离线枚举监测

[发明专利]网站图形即时预览系统-CN00108761.4无效
发明人：赵国仁 -专利权人：龙卷风科技股份有限公司
申请日： 2000-06-01 - 公布日： 2004-06-09 - 主分类号： G06F15/163 文献下载
摘要：网络服务器包含应用程序、图像简化程序，至少一原始网页，原始网页包含原始数字图像文件的图像位置，图像简化程序以预定方式将原始文件缩小为简化文件，应用程序依据原始网页产生新网页，新网页包含有简化文件的图像位置，及一超链接联系于简化文件。当浏览程序要求应用程序传送原始网页时，会传送新网页来取代原始网页，使用者触动超链接时，将传送包含有原始文件的网页至终端，其将该原始文件显示于显示端。
网站图形即时预览系统

[发明专利]电子装置及程序升级方法-CN201310209409.X无效
发明人：杨小伟;高俊娟;王阳;陈俊卿 -专利权人：鸿富锦精密工业（深圳）有限公司;鸿海精密工业股份有限公司
申请日： 2013-05-30 - 公布日： 2014-12-17 - 主分类号： G06F9/445 文献下载
摘要：一种电子装置，能够在电池供电时获取标准版升级程序进行升级。电子装置包括侦测单元及处理单元。电子装置还能够获取与标准版升级程序对应的简化版升级程序，其中简化版升级程序仅维持标准版升级程序的基本功能。侦测单元用于在电子装置进入程序升级后侦测电池的电量是否低于预设值。处理单元用于在电池电量低于预设值时，放弃标准版程序升级转而升级简化版升级程序。本发明还提供一种程序升级方法。
电子装置程序升级方法

[发明专利]一种面向Java原型系统的自动验证方法及系统-CN202210295048.4在审
发明人：杨溢龙;冯劲草;郑寒月 -专利权人：北京航空航天大学;上海工业控制安全创新科技有限公司
申请日： 2022-03-23 - 公布日： 2022-06-24 - 主分类号： G06F8/41 文献下载
摘要：本发明提供了一种面向Java原型系统的自动验证方法及系统，该方法包括：由需求模型生成原型Java程序；对所述原型Java程序进行简化，得到简化版原型Java程序；在所述简化版原型Java程序中加上JML前后置条件，得到基于JML的原型Java程序；对所述基于JML的原型Java程序进行验证。本发明基于由需求模型生成的原型Java系统，通过抽象语法树的理论和技术，可以实现原型Java系统每一个类以及每一个方法的简化，可有效提高验证效率和精准性，节省人力物力成本，使软件更新和完善过程更简单化。
一种面向 java 原型系统自动验证方法

[发明专利]一种基于加权依赖图的并发程序执行轨迹静态简化方法-CN201810860882.7有效
发明人：姜淑娟;薄莉莉 -专利权人：中国矿业大学
申请日： 2018-08-01 - 公布日： 2021-07-30 - 主分类号： G06F11/36 文献下载
摘要：本发明提供一种基于加权依赖图的并发程序执行轨迹静态简化方法，包括下列步骤：1）事件依赖关系计算；2）加权依赖图构建；3）加权依赖图简化；4）拓扑排序。本发明解决了目前存在的并发程序执行轨迹方法不能快速有效地获得最优简化后轨迹的问题，不仅最大限度地减少了原始轨迹中的上下文切换，而且减少了并发程序执行轨迹简化过程因随机性消耗的大量时间，进而提高了并发程序调试的效率
一种基于加权依赖并发程序执行轨迹静态简化方法

[发明专利]一种基于中间语言的形式化规约语言简化方法-CN201911328421.6有效
发明人：李昂;曾惟如;晏昃晖;杨拯;唐琴;钱伟中 -专利权人：成都互诚在线科技有限公司;电子科技大学
申请日： 2019-12-20 - 公布日： 2023-03-10 - 主分类号： G06F8/72 文献下载
摘要：本发明公开了一种基于中间语言的形式化规约语言简化方法，将应用程序转化为中间语言程序，然后将中间语言程序映射为Lolisa语言程序；所述中间语言程序包括类型finitpar_type和结构list_pars本发明将应用程序转化为中间语言程序，中间语言将简化形式化语言的语法，然后根据中间语言和底层的Lolisa语言的转换关系，将中间语言程序转化为Lolisa编写的形式化程序。本发明简化了形式化语言的数据类型和文法规则，提高了形式化验证的用户友好度。
一种基于中间语言形式化规约简化方法

[发明专利]一种客户端程序简化管理和安全性保护方法-CN200610027659.1无效
发明人：张勇进;郑朝晖 -专利权人：上海海加网络科技有限公司
申请日： 2006-06-13 - 公布日： 2007-12-19 - 主分类号： H04L9/08 文献下载
摘要：一种客户端程序简化管理和安全性保护方法。该方法包括：定制SSL VPN客户端打包程序并分发安装、SSL VPN客户端程序的配置更新与升级、SSL VPN客户端程序的安全检测与恢复。通过在安装程序中增加了SSL VPN客户端程序的定制打包程序；在客户端程序中增加了自动升级与配置更新模块和系统安全模块；在SSL VPN设备端，开发程序设计和配置更新模块。来简化客户端程序的安装、方便客户端程序的配置与升级以及通过数据恢复来提高软件使用的安全性。
一种客户端程序简化管理安全性保护方法

[发明专利]应用内购买的方法和相关装置-CN201811301155.3有效
发明人：吴岩;武盼盼;赵晓东;张宝岩;韩生亮 -专利权人：北京汉迪移动互联网科技股份有限公司
申请日： 2018-11-02 - 公布日： 2021-07-06 - 主分类号： G06Q30/06 文献下载
摘要：本发明实施例提供应用内购买的方法和相关装置，以实现简化程序流程的目的。在本发明实施例中，通用的内购模块为主程序模块提供的是统一的处理接口，不再区分购买接口和验证接口。主程序模块只需要通过处理接口输入商品标识和回调函数等，内购模块即可进行相应的交易处理，最终调用回调函数向主程序模块返回交易处理结果，在此过程中，主程序模块不再需要判断交易状态，从而简化了主程序模块的执行流程同时，上述通用的内购模块是已经设计好的，不需要程序员进行开发。程序员只需要关注主程序模块的设计，并且在设计主程序模块时，不需要考虑虚拟商品的交易状态，从而简化了设计难度，避免出现因考虑交易状态不周而带来的错误。
应用购买方法相关装置

[发明专利]图形渲染方法、装置及存储介质-CN202110977666.2在审
发明人：孙黎;尹朝阳;李卫;刘金晓 -专利权人：荣耀终端有限公司
申请日： 2021-08-24 - 公布日： 2023-04-07 - 主分类号： G06T15/00 文献下载
摘要：本申请实施例提供一种图形渲染方法、装置及存储介质，涉及图像处理技术领域，该方法包括终端设备利用目标着色器进行应用程序的图形渲染；在终端设备确定应用程序运行至复杂场景时，终端设备获取目标简化着色器；复杂场景为应用程序运行所需的指令的个数大于第一预设阈值的场景，目标简化着色器对终端设备计算资源的占用小于目标着色器对终端设备计算资源的占用；终端设备利用目标简化着色器在复杂场景中进行应用程序的图形渲染，由于目标简化着色器对终端设备计算资源的占用小于目标着色器对终端设备计算资源的占用，因而有助于使得终端设备中的应用程序运行至复杂场景下时仍然能够保持流畅运行。
图形渲染方法装置存储介质

[发明专利]一种优化ebpf程序CO-RE的方法及系统-CN202310861327.7在审
发明人：陈旭;袁曙光;王震 -专利权人：北京小佑网络科技有限公司
申请日： 2023-07-14 - 公布日： 2023-08-18 - 主分类号： G06F8/41 文献下载
摘要：本申请提供了一种优化ebpf程序CO‑RE的方法及系统，该方法包括：获取eBPF源文件；将eBPF源文件编译出eBPF字节码的中间文件；将eBPF字节码的中间文件转化成eBPF字节码的skel头文件；调用skel头文件的相关接口；编译load源码程序获取二进制程序；运行二进制程序，指定btf的路径，加载btf文件即可CO‑RE运行。在上述技术方案中，基于linux内核提供的btf文件，libbpf库以及bpfgen功能开发go版本的eBPF库，使得发布程序仅需要用户态二进制程序以及btf文件；发布包含内容简化步骤；开发流程简化步骤；简化了eBPF的go版本开发库对于CO‑RE方案实施。
一种优化 ebpf 程序 co re 方法系统

[发明专利]一种用于中子输运的基于MCAM-Geant4自动建模方法的转换简化方法-CN201410570850.5有效
发明人：汪冬;俞盛朋;程梦云;董良;吴宜灿 -专利权人：中国科学院合肥物质科学研究院
申请日： 2014-10-23 - 公布日： 2015-02-18 - 主分类号： G06F17/50 文献下载
摘要：本发明公开了一种用于中子输运的基于MCAM-Geant4自动建模方法的转换简化方法，根据基本体特征，根据查找和组合的思想，对从半空间几何到基本体几何的转换进行简化的方法。该转换方法简化了从半空间描述转换为基于基本体的蒙特卡罗计算模型，从而使Geant4蒙特卡罗计算程序在转换时提供简化。该方法对于核辐射评估等必须利用蒙特卡罗程序的领域提供了使用基于基本体描述的蒙特卡罗计算程序的简便方法，具有重要的科学研究与工程应用价值。
一种用于中子输运基于 mcam geant4 自动建模方法转换简化

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
下一页»
尾页
共 100000 条