|
搜索
搜 索
高等教育领域数字化综合服务平台
基于HybridUML向微分代数程序转换的CPS建模与验证方法
本发明提出了一种基于HybridUML向微分代数程序转换的CPS建模与验证方法，实现了由HybridUML模型向DAP的转换，并依据微分代数动态逻辑(Differential-AlgebraicDynamicLogic，DAL)推理规则对CPS实例进行验证。该方法使用HybridUML对CPS进行建模，将其转换成DAL的操作模型DAP，并且基于DAL对CPS属性进行验证。
东南大学
2021-04-10
设计·IT
平面·UI、原画·插画、IT·技术、互联网·运营、其他设计等，零基础入门、精品小课。
上海享互网络科技有限公司
2021-02-01
一种数控机床加工程序的修正方法
本发明公开了一种数控机床的加工程序修正方法，属于数控技 术领域，包括如下步骤：S1 采集机床运行状态数据，建立机床运行状 态数据与加工程序的映射关系；S2 确定阈值，对不连续特征对应的加 工程序段进行标记，所述不连续特征即为机床运行状态数据中大于阈 值的数据；S3 计算不连续特征对应的加工程序段的修正值；S4 将步骤 S2 中所述标记以及步骤 S3 中所述修正值反馈给数控系统界面，以用 于修正加工程序。本发明方法可对数控加工过程中造成工件质量缺陷 的程序进行快速定位并进行修正。
华中科技大学
2021-04-11
一种数控机床加工程序的修正方法
本发明公开了一种数控机床的加工程序修正方法，属于数控技术领域，包括如下步骤：S1 采集机床运行状态数据，建立机床运行状态数据与加工程序的映射关系；S2 确定阈值，对不连续特征对应的加工程序段进行标记，所述不连续特征即为机床运行状态数据中大于阈值的数据；S3 计算不连续特征对应的加工程序段的修正值；S4 将步骤S2 中所述标记以及步骤 S3 中所述修正值反馈给数控系统界面，以用于修正加工程序。本发明方法可对数控加工过程中造成工件质量缺陷的程序进行快速定位并进行修正。
华中科技大学
2021-04-14
产品形象系统设计（工业设计）
成果简介产品形象系统设计是工业设计的核心内容， 将技术与艺术进行了有机融合，基于机械工程学、 人机工程学、 美学、 设计学、 市场营销学等多学科知识， 着力解决产品外观造型设计、 色彩设计、 人机合理性、 制造工艺性等多方面问题， 从而有效提升产品形象、 彰显企业品牌特征。成熟程度和所需建设条件本项目先后成功应用于马鞍山环农机械制造有限公司、 宁波千普机械制造有限公司、 安徽三力机床制造有限公司、 安徽惊天液压智控股份有限公司、 南京欧优科学仪器制造有限公司
安徽工业大学
2021-04-14
基于动态二进制翻译的驱动程序跨平台复用技术
出于对国家安全、国民经济发展等多方面因素考虑，具有自主知识产 权的处理器芯片和操作系统有着至关重要的战略意义。近年来国内自 主研发的芯片和操作系统不断涌现，但由自主研发的处理器芯片和操 作系统所构成的自主计算平台真正的实用和普及还面临来自同现有 大量外部设备协同工作的挑战。然而当前硬件厂商提供的官方驱动程序往往只支持最主流的平台且只提供二进制可执行程序。对于新近研 发的计算平台，完全重新自主开发所有的设备驱动程序并不现实。驱 动程序的实现依赖于操作系统所提供的驱动编程模型，两者紧密耦合
复旦大学
2021-01-12
一种嵌入式多核环境下应用程序的调试方法
一种嵌入式多核环境下应用程序的调试方法，属于应用程序调 试方法，解决现有调试方法存在的不能独立于操作系统、不适于两个 以上核调试，且功能不够全面的问题。本发明包括建立远程连接步骤、 发送调试命令步骤、分析调试命令步骤、线程核绑定步骤、插入断点 步骤、查询断点步骤、删除断点步骤、单步执行步骤、持续执行步骤、 执行至结束步骤、查看变量步骤、查看线程运行核步骤、获取核运行 线程步骤和统计线程运行时间步骤。本发明能够独立于操
华中科技大学
2021-04-14
一种检测 Android 权限提升攻击的应用程序重写方法和系统
本发明公开了一种用于检测 Android 权限提升攻击的应用程序 重写方法，包括：将用户上传的 Android 应用程序进行反编译，以生 成中间文件和应用程序配置文件，对生成的中间文件插入调用链构建 代码，以使应用程序在运行时自动地构建调用链，对生成的中间文件 插入调用链获取代码，以使应用程序在运行时自动地获取调用程序发 送的调用链，对生成的中间文件插入检测代码，以使应用程序访问系 统敏感资源时自动地判断是否存在权限
华中科技大学
2021-04-14
一种网盘应用程序编程接口的测量方法和系统
本发明公开了一种对网盘的应用程序编程接口进行测量分析的 系统，旨在测量网盘的应用程序编程接口的性能，并分析其底层的系 统架构，供第三方应用进行针对性的优化设计以保证应用性能，并帮 助网盘提供商分析性能瓶颈。系统包括三层。系统顶层根据用户给定 的测量参数对网盘应用程序编程接口进行测量，并将测量数据输出到 文件。系统中层包含多个模块，每个模块对应一个网盘，实现该网盘 的应用程序编程接口的应用层协议。系统预定义了网盘模块向
华中科技大学
2021-04-14
两部门发出通知：规范军民通用的国家标准制定程序
为贯彻落实军民融合发展战略，统筹推进标准化军民融合工作，有效支撑引领军民通用的国家标准体系建设，根据《中华人民共和国标准化法》及《关于进一步加强标准化军民融合工作的意见》（国标委联〔2019〕17号）等规定，现将军民通用的国家标准制定（含修订和国家军用标准转化为国家标准）程序通知。
华质卓越生产力促进（北京）有限公司
2021-02-23