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

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

[发明专利]一种基于共形几何代数的机械臂运动规划的形式化分析方法及系统-CN201610055938.2无效
发明人：施智平;马莎;关永;邵振洲;张倩颖;王瑞;李晓娟;李黎明 -专利权人：首都师范大学
申请日： 2016-01-27 - 公布日： 2016-07-13 - 主分类号： G06F17/50 文献下载
摘要：本发明公开了一种基于共形几何代数的机械臂运动规划的形式化分析方法和系统。所述方法其包括：基于共形几何代数理论对机器人的基本构件、运动规划约束构建对应的几何模型，再用高阶逻辑语言描述所建立的几何模型，形成机器人的基本几何逻辑模型系统；确定机器人的具体结构参数和运动规划参数；基于基本几何逻辑模型系统对具体机器人运动过程的形式化建模，得到具体机器人运动过程的几何关系逻辑模型；用逻辑公式描述需要验证的机器人运动过程的约束或属性；将具体机器人运动过程的所述几何关系逻辑模型和待验证的运动过程的约束或属性组成一个逻辑命题；利用逻辑推理引擎证明所述逻辑命题是否成立。
一种基于几何代数机械运动规划形式化分析方法系统

[发明专利]钙激活氯离子通道拮抗剂的用途-CN201510928370.6在审
发明人：武双婵;张倩颖;岳源;杜思达;丁虹 -专利权人：武汉华纳联合药业有限公司
申请日： 2015-12-15 - 公布日： 2016-04-20 - 主分类号： A61K45/06 文献下载
摘要：本发明属于医药领域，具体是钙激活氯离子通道拮抗剂的用途，即钙激活氯离子通道拮抗剂在制备治疗神经脱髓鞘疾病药物中的用途。本发明首次提出将钙激活氯离子通道拮抗剂用于制备治疗神经脱髓鞘疾病药物，能够安全、高效、稳定地治疗多发性硬化、急性感染性多神经根神经炎、多灶性白质脑炎、亚急性硬化性全脑炎、脑桥中央型髓鞘崩解症、进行性皮质下缺血性脑病、老年痴呆、精神分裂症等疾病。
激活氯离子通道拮抗剂用途

[发明专利]ABS尾端导流罩加工方法-CN201511021741.9在审
发明人：李建国;张敬;谢学浩;张倩颖;季顺延 -专利权人：天津市汇通仪器设备公司
申请日： 2015-12-30 - 公布日： 2016-03-30 - 主分类号： B23P15/00 文献下载
摘要：本发明涉及一种ABS材料的加工技术，进一步涉及一种ABS尾端导流罩加工方法。该方法包括：下料；钻中心通孔；车削，得到外圆周面201、外圆锥面301，端面401；镗孔，内圆周面102；加工端面402；车削，获得外圆周面202；镗削，获得内圆周面103、内曲面104、内锥面105；堵头5与活顶尖9，按照一夹一顶的原则，将工序五获得的零件装夹在车床上，车削外轮廓，获得外曲面203；铣削，获得两个通槽3、4；加工螺孔7。本发明的有益效果是：通过设置堵头，解决了外曲面203由于壁薄无法加工的问题。
abs 尾端导流加工方法

[发明专利]一种机械臂运动学形式化分析方法-CN201510233901.X有效
发明人：施智平;关永;吴爱轩;李黎明;李晓娟;王瑞;邵振洲;张倩颖;吴敏华 -专利权人：首都师范大学
申请日： 2015-05-08 - 公布日： 2015-07-15 - 主分类号： B25J19/00 文献下载
摘要：本发明涉及一种机械臂运动学形式化分析方法，包括如下步骤：步骤一，确定机械臂机构的结构参数；步骤二，用高阶逻辑语言建立机械臂机构运动学逻辑模型；步骤三，用逻辑公式描述需要验证的运动学约束或属性；步骤四，将机械臂机构运动学逻辑模型和需要验证的运动学约束或属性组成一个逻辑命题；步骤五，利用逻辑推理引擎证明所述逻辑命题是否成立，成立表明所述模型满足所述的约束或者具备所述的属性，否则，不成立表明所述模型不满足所述的约束或者不具备所述的属性。本发明中的形式化验证根据系统形式规范或属性，使用数学方法证明系统的正确性，对所验证的性质而言是精确和完备的。
一种机械运动学形式化分析方法

[发明专利]食品级嗜酸乳杆菌发酵天然防腐剂的制备方法及产品-CN201310610685.7有效
发明人：陆兆新;张倩颖;赵海珍;吕凤霞;别小妹;张充 -专利权人：南京农业大学
申请日： 2013-11-26 - 公布日： 2014-03-05 - 主分类号： A23L3/3571 文献下载
摘要：本发明涉及食品级嗜酸乳杆菌发酵产天然防腐剂的制备方法及产品，属于食品生物技术领域。将番茄汁、啤酒、脱脂乳、纯净水按照5~10:15~25:5~20:65~80的比例配制成发酵培养基，121℃灭菌7min，即为发酵培养基。嗜酸乳杆菌(Lactobacillusacidophilus)NX2-6种子培养基扩大培养后，2~4%接种，37℃静置培养36h，发酵液离心收集上清液，-20℃预冻24h后真空冷冻干燥，获得天然生物防腐剂。该产物对食品中主要致病菌和腐败菌，均有显著抑制作用。该天然防腐剂抑菌谱广、安全性高，因此可用于食品、医药、饲料等行业。
食品级酸乳杆菌发酵天然防腐剂制备方法产品

[发明专利]基于电力线载波通信与动态图像检测的防盗系统-CN201310421200.X无效
发明人：刘乃安;宋利娜;周绯昊;尚渭萍;冀琼;孙海建;张倩颖 -专利权人：刘乃安
申请日： 2013-09-16 - 公布日： 2014-01-08 - 主分类号： H04B3/54 文献下载
摘要：本发明公开了一种基于电力线载波通信与动态图像检测的防盗通信系统，它属于通信技术领域。其包括图像采集模块、对动态图像分析处理的图像处理系统、电力线载波通信模块，管理服务器模块，图像显示及其报警模块。图像采集模块是对图像的采集，然后将采集后的图像传输给图像处理系统，若发现动态图像信号的存在，将该信号进行处理并通过电力线载波通信模块进行传输。然后通过电力线与管理服务器模块进行通信，并在显示器上显示，发出报警信号。本发明有效地利用电力线载波通信、具有通信距离长、抗干扰能力强、可传输速率高、可靠性高的优点，可用于实现博物馆、银行无人时的检测防盗功能。
基于电力线载波通信动态图像检测防盗系统

[发明专利]一种基于移动设备的可信模块及其可信服务方法-CN201310072567.5有效
发明人：冯登国;冯伟;秦宇;初晓博;张倩颖;奚瓅;杨波 -专利权人：中国科学院软件研究所
申请日： 2013-03-07 - 公布日： 2013-06-12 - 主分类号： G06F21/57 文献下载
摘要：本发明公开了一种基于移动设备的可信模块及其可信服务方法。本发明的可信模块包括一移动设备和一可信平台模块；所述移动设备上构建有安全世界和正常世界，所述可信平台模块部署在所述移动设备的安全世界；所述可信平台模块包括可信服务进程、可信模块库和密码库；其中：可信服务进程负责监听并解析来自各种计算平台的可信命令请求，并根据可信命令的类型信息交给可信模块库中相应的可信功能模块进行处理；可信模块库包括多个可信功能模块，每个可信功能模块完成与各种选定安全芯片兼容的可信功能；密码库包括多个密码算法，为可信模块库提供支撑的密码服务。本发明真正地实现了跨多种平台的便携式可信模块，能够为各种应用提供安全和可信保障。
一种基于移动设备可信模块及其服务方法

[发明专利]基于椭圆曲线和双线性对密码体制的直接匿名证明方法-CN201010588240.X有效
发明人：冯登国;秦宇;初晓博;张倩颖;冯伟 -专利权人：中国科学院软件研究所
申请日： 2010-12-07 - 公布日： 2011-06-15 - 主分类号： G06F21/00 文献下载
摘要：本发明公开一种基于椭圆曲线和双线性对密码体制的直接匿名证明方法，包括如下步骤：1)证书颁发方系统初始化，将公共参数发送给证明方和验证方；2)颁发匿名凭证；3)证明方匿名证明DAACert；4)验证方匿名验证证明方的匿名凭证DAACert。本发明的直接匿名证明方法，证明方向验证方进行证明验证的同时保持高度匿名性，完成证明的信息存储在安全芯片中，不会外泄。即使外泄，本发明的方法也能检测到这种真实但已被攻破的证明方，保证了证明信息的安全性。同时，本发明的运算速度快、通信量小。当采用128比特安全强度时，本发明的运算速度至少为基于有限域运算的方案的14倍，而通信量不超过基于有限域运算的方案的10％。
基于椭圆曲线双线密码体制直接匿名证明方法

[发明专利]一种基于平台身份的信任服务连接方法与信任服务系统-CN201010588248.6有效
发明人：冯登国;张立武;汪丹;李昊;张倩颖 -专利权人：中国科学院软件研究所
申请日： 2010-12-07 - 公布日： 2011-04-27 - 主分类号： H04L29/06 文献下载
摘要：本发明提供了一种基于平台身份的信任服务连接方法和信任服务系统，其方法包括1)终端设备发送长期身份请求信息给颁证方，由颁证方向终端设备发送平台长期身份证书信息；2)终端设备发送请求临时身份信息给颁证方，由颁证方向终端设备发送临时身份信息；3)终端设备发送请求访问信息给设置在网络服务上的验证方，验证方发送一个验证信息给颁证方，验证终端设备的平台临时身份和平台长期身份证书有效性；4)在验证通过后终端设备与网络服务之间建立信任连接；本发明的方法可以建立基于平台身份的网络空间信任服务框架，保证参与网络活动的终端设备安全可信，从而有效的提高网络的防御能力。
一种基于平台身份信任服务连接方法系统

首页
«上一页
1
2
3
4
5
6
7
8
9
共 129 条