专利名称
主分类
A 农业
B 作业;运输
C 化学;冶金
D 纺织;造纸
E 固定建筑物
F 机械工程、照明、加热
G 物理
H 电学
专利下载VIP
公布日期
2023-10-24 公布专利
2023-10-20 公布专利
2023-10-17 公布专利
2023-10-13 公布专利
2023-10-10 公布专利
2023-10-03 公布专利
2023-09-29 公布专利
2023-09-26 公布专利
2023-09-22 公布专利
2023-09-19 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果1084673个,建议您升级VIP下载更多相关专利
  • [发明专利]领域操作平台-CN200710044518.5无效
  • 王鹏海;乔海兵 - 上海坦瑞信息技术有限公司
  • 2007-08-02 - 2008-05-14 - G06F9/44
  • DOP,领域操作平台,是一种新的软件平台。其建立并运行于现代通用操作系统之上,且使操作系统的理念和策略延伸到传统的应用软件领域。从资源管理范畴来看,DOP适用范围缩小到一个具体软件应用领域,而不再是通用的计算平台。从系统软件软件平台范畴来看,DOP使系统平台的范围延伸到传统上属于应用软件的领域。它所协调管理的资源也扩展到特定应用领域的软件系统甚至硬件设备。DOP是一个系统软件发展到一定阶段的产物。
  • 领域操作平台
  • [发明专利]一种基于形式化及统一软件模型的软件可信工程方法-CN201110046569.8无效
  • 李晓红;曹坤宇;陈世展;饶国政;邢金亮;曹燕 - 天津大学
  • 2011-02-25 - 2011-07-27 - G06F21/00
  • 本发明公开了一种基于形式化及统一软件模型的软件可信工程方法,属于软件可信领域,所述方法包括以下步骤:基于形式化语言、传统UML视图,构建包含软件需求设计信息、软件实现信息和运行环境信息的统一软件模型;根据软件可信工程技术架构,进行所述统一软件模型的一致性和有效性验证,并自动生成单元测试实例;构建基于所述统一软件模型的软件安全缺陷知识库;基于所述软件安全缺陷知识库,通过形式化语言定理证明机,发现所述统一软件模型中潜在的软件安全缺陷;并根据所述潜在的软件安全缺陷给出相应的缓和方案。本方法有效的提高了软件质量、消除了设计缺陷、降低了开发成本和提高了可维护性等有益效果,解决了传统软件工程的不足。
  • 一种基于形式化统一软件模型可信工程方法
  • [发明专利]软件云测试的实现方法和装置-CN201510629542.X有效
  • 朱泽全;李冰冰 - 百度在线网络技术(北京)有限公司
  • 2015-09-28 - 2019-03-08 - G06F11/36
  • 本发明提供了软件云测试的实现方法和装置,其中的方法包括:获取软件测试数据;确定软件测试数据所包含的各数据属性以及各数据属性各自对应的数据;根据语义字典确定各数据属性分别对应的基于软件云测试的数据属性以及各数据属性各自对应的数据分别对应的基于软件云测试的数据;根据基于软件云测试的数据属性以及基于软件云测试的数据生成用于软件云测试的软件云测试数据。本发明可以将软件测试数据批量的转换为用于软件云测试的软件云测试数据,避免了用户对所有测试数据逐一进行人工修改以使其适应云环境的现象;从而本发明极大的缩短了传统软件测试迁移到云环境的时间,降低了传统软件测试的云环境迁移成本,并提高了软件云测试的性能。
  • 软件测试实现方法装置
  • [发明专利]卫星软件扩散方法和系统-CN201910056936.9有效
  • 吴帆;梁旭文;程睿;刘会杰;漆庄平;丁志勇 - 上海微小卫星工程中心
  • 2019-01-22 - 2022-05-17 - G06F8/61
  • 本发明提供了一种卫星软件扩散方法和系统,其中,卫星测控中心选择种子卫星,向其下发目标软件包;卫星测控中心选择扩散卫星,向其下发扩散指令;扩散卫星按照扩散指令从种子卫星上下载目标软件传统的单星软件下载的下载源头为卫星测控中心。与传统单星软件下载方式不同,本发明的软件扩散方法,是以种子卫星为下载源头,并逐渐扩散到以多个扩散卫星为下载源头,最终实现扩散式的数据下载。进一步,将种子卫星信息、可下载扩散卫星的信息、软件列表信息在卫星中扩散传播,加快扩散卫星找到种子卫星、可下载扩散卫星和需要下载的目标软件,从而加速软件扩散速度。
  • 卫星软件扩散方法系统

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

400-8765-105周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top