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

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

[发明专利]一种实时操作系统内存管理算法性能测试方法及系统-CN202110671038.1有效
发明人：郭建;周城程;关钰千;蒲戈光 -专利权人：华东师范大学;上海工业控制安全创新科技有限公司
申请日： 2021-06-17 - 公布日： 2022-10-25 - 主分类号： G06F11/34 文献下载
摘要：本发明公开了一种基于多线程的POSIX标准的实时操作系统内存管理算法性能测试方法，所述方法首先在操作系统外部由自动数据集生成工具生成内存分配数据的测试集；并提出了双线程测试模型和第二多线程测试模型；针对基于POSIX接口的实时操作系统的内存管理算法，在测试模型下运行生成的数据集，以便获取在两个测试模型中运行的日志数据；最后将运行日志数据输入到自动数据分析工具中进行数据处理，得到该内存管理算法的时间性能和碎片性能的具体数据的分析结果和图表展示，从而得出该内存管理算法适合的数据场景。本发明应用到开源实时操作系统Zephyr中，对不同的内存管理算法进行分析，以得到不同内存管理算法的性能指标。
一种实时操作系统内存管理算法性能测试方法系统

[发明专利]基于边界模型检测技术的微内核操作系统接口的形式化验证方法-CN202010315705.8有效
发明人：郭建;周城程;蒲戈光;何积丰 -专利权人：华东师范大学;上海工业控制安全创新科技有限公司
申请日： 2020-04-21 - 公布日： 2022-07-26 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于边界模型检测技术的微内核操作系统接口的形式化验证方法。首先从微内核操作系统规范中提取微内核API的性质，把性质抽象为一阶逻辑公式；并将程序要满足的基本性质从通用基本性质库提取其一阶逻辑公式；微内核操作系统待验证的API从源代码中提取出来，包括相关的数据结构和内部调用的函数；将提取的微内核API分别和微内核API性质、通用性质进行合并获得含有API性质的微内核API、含有通用性质的微内核API；分别对两个API程序进行抽象建模，获得一阶逻辑公式；最后应用SMT求解器验证，如果验证失败，则根据验证公式给出的错误提示修改微内核API代码并重新验证，直到验证通过，说明该接口程序满足性质。
基于边界模型检测技术内核操作系统接口形式化验证方法

[发明专利]一种基于学生成果的在线服务方法和装置-CN201710017638.X有效
发明人：蒋献;董黎刚;陈龙;汤柳君;周城程;刘世欢;陈汝琪 -专利权人：浙江工商大学
申请日： 2017-01-11 - 公布日： 2021-09-07 - 主分类号： H04L29/08 文献下载
摘要：本发明公开了一种基于学生成果的在线服务方法和装置。方法包括：1）收集到的同一服务域的所有学生的成果，建立成果分类模型，对所有学生的成果进行分类，存储所有学生获得的成果事项和关注的成果事项；2）当学生申请在线成果事项推送服务时，按关注度对同一服务域的所有成果事项进行排序，查询出该学生最新获得的一项成果事项，并将同一类别的最受关注的成果事项推送给该学生；3）为学生提供个性化榜样服务：当有学生申请个性化榜样服务时，采用方差计算与该学生考试成绩相似度最高的一名优秀往届毕业生作为个性化榜样，并推送给该学生。装置包括：成果分类模块、消息推送模块、个性化榜样模块和存储模块，从而更精准地给学生提供服务。
一种基于学生成果在线服务方法装置