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

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

[发明专利]基于模型的运行时验证方法及系统-CN202210933681.1在审
发明人： 刘颖娜;符凯 -专利权人：华东计算技术研究所（中国电子科技集团公司第三十二研究所）
申请日： 2022-08-04 - 公布日： 2022-12-02 - 主分类号： G06F11/36 文献下载
摘要：本发明提供了一种基于模型的运行时验证方法及系统，包括：根据系统需求和系统满足预期的安全属性，分别构建系统模型和性质模型；将所述系统模型和性质模型转化为模型描述语言；通过模型构建器将所述模型描述语言转化为相应的数据模型；通过运行时验证器检测验证所述数据模型。本发明通过在模型的基础上提出基于模型的性质，再使用运行时验证器对建立的系统模型和性质进行验证，提高了所搭建的模型的安全性和可靠性。
基于模型运行验证方法系统

[发明专利]远程实验方法、装置及终端设备-CN202010706305.X有效
发明人：闫德立;赵晓博;狄卫国;白雪飞;刘颖娜;王晶;王伟明;马增强;刘先红 -专利权人：石家庄铁道大学
申请日： 2020-07-21 - 公布日： 2022-04-12 - 主分类号： G09B23/18 文献下载
摘要：本发明适用于计算机技术领域，提供了一种远程实验方法、装置及终端设备，该方法包括：获取电子技术实验板的监控图像和远程终端的用户根据监控图像发送的用户操作信息，并根据用户操作信息确定用户的操作指令和动作显示信息；根据位置信息将动作显示信息标记于监控图像的相应位置，并将标记后的监控图像发送至远程终端；将操作指令发送至远程实验支持面板，以使所述远程实验支持面板根据所述操作指令对电子技术实验板进行相应动作。本申请通过上述过程能够实现实验硬件在环，加强实验训练的真实有效性，并可使用户从远程终端同步查看到标记后的监控视频，从而优化用户的体验。
远程实验方法装置终端设备

[发明专利]基于国产BMC芯片的KVM图像高速重定向的实现方法及系统-CN202110341962.3有效
发明人：蒋鹏程;彭宏;符凯;刘颖娜;刘荣宽 -专利权人：华东计算技术研究所（中国电子科技集团公司第三十二研究所）
申请日： 2021-03-30 - 公布日： 2022-03-18 - 主分类号： G06F3/0487 文献下载
摘要：本发明提供了一种基于国产BMC芯片的KVM图像高速重定向的实现方法及系统，消减冗余数据编码压缩与网络传输的处理工作，提高显示质量。屏幕视频数据因其局部变化的特性，相邻帧之间的数据大部分都是相同的，导致编码压缩与网络传输的数据有着相当程度的重复冗余数据。硬件模块在video方面的设计与市面上流行的BMC芯片基本是一致的，能够兼容通用的KVM实现方案，适用性好。实际压缩传输的数据量小，能够节省大量的网络带宽，因而能够支持更高质量的远端图像显示。优先更新鼠标所在显示区域的策略能够更快的将显示画面的变化反馈到客户端，有效的减少延迟。
基于国产 bmc 芯片 kvm 图像高速定向实现方法系统

[发明专利]一种达格列净口腔膜剂及其制备方法-CN201611190385.8有效
发明人：李志伟;禹叶广;刘颖娜;张任飞;付德才 -专利权人：河北科技大学
申请日： 2016-12-21 - 公布日： 2019-08-23 - 主分类号： A61K9/70 文献下载
摘要：本发明涉及一种达格列净口腔膜剂及其制备方法。该膜剂包含主药达格列净1％‑24％，药用高分子材料18％‑90％，添加剂5％‑60％组成。其中所述药用高分子材料是羟丙甲纤维素的成膜材料。该膜剂外观良好、崩解迅速、韧性较好且高温较稳定。该口腔速溶膜用于治疗糖尿病，生物利用度高，服药方便，能够提高少儿人群和老年患者的顺应性。
一种达格列净口腔膜剂及其制备方法