期刊文献+
共找到47篇文章
< 1 2 3 >
每页显示 20 50 100
Casper/FDR和串空间在物联网通信协议中的形式化分析 被引量:4
1
作者 吴名欢 程小辉 《桂林理工大学学报》 CAS 北大核心 2014年第2期338-344,共7页
通过应用实例研究了如何用Casper/FDR和串空间两种分析方法对通信协议进行形式化分析:用Casper/FDR对协议的有穷状态进行穷举验证,当发现协议漏洞时会自动给出攻击的迹,但是此方法会产生状态爆炸的问题;串空间方法正好可以解决状态爆炸... 通过应用实例研究了如何用Casper/FDR和串空间两种分析方法对通信协议进行形式化分析:用Casper/FDR对协议的有穷状态进行穷举验证,当发现协议漏洞时会自动给出攻击的迹,但是此方法会产生状态爆炸的问题;串空间方法正好可以解决状态爆炸问题,用串空间对协议的各种状态进行证明,但是如果发现了协议漏洞,该方法不能给出攻击者的迹。 展开更多
关键词 casper FDR 协议形式化分析方法 串空间
下载PDF
CASPER-POP-CRC学习动力设计模型在信息技术课程中的理论应用与实践 被引量:1
2
作者 李玉霞 《中国教育技术装备》 2012年第29期13-15,共3页
北京师范大学杨开城教授认为学习动力是一种系统,并提出CASPER-POP-CRC学习动力设计模型,作为设计学习动力的思考工具。在该理论指导下,将学习动力设计模型应用到信息技术课程教学设计中,增强学习动力设计的操作性,以期有效激发学生学... 北京师范大学杨开城教授认为学习动力是一种系统,并提出CASPER-POP-CRC学习动力设计模型,作为设计学习动力的思考工具。在该理论指导下,将学习动力设计模型应用到信息技术课程教学设计中,增强学习动力设计的操作性,以期有效激发学生学习动机,培养学生关键能力,从而优化信息技术课程学习效果。 展开更多
关键词 信息技术课程 学习动力 设计模型 模型应用 北京师范大学 casper 动力设计 教学设计
下载PDF
casper斑马鱼体色观察及过表达mitfa对其体色发育的影响 被引量:1
3
作者 张广婧 王梅 +5 位作者 刘利生 张永勤 彭亮跃 刘文彬 肖亚梅 刘锦辉 《激光生物学报》 CAS 2021年第5期429-434,共6页
小眼畸形相关转录因子(MITF)与黑色素细胞的形成关系密切。casper突变体斑马鱼是一种nacre与roy orbison杂交选育得到的双基因突变斑马鱼品系(mitfaw2/w2;roya9/a9)。通过对casper斑马鱼的鱼鳍和鳞片以及早期体色发育过程的观察,证实了c... 小眼畸形相关转录因子(MITF)与黑色素细胞的形成关系密切。casper突变体斑马鱼是一种nacre与roy orbison杂交选育得到的双基因突变斑马鱼品系(mitfaw2/w2;roya9/a9)。通过对casper斑马鱼的鱼鳍和鳞片以及早期体色发育过程的观察,证实了casper斑马鱼的臀鳍、背鳍与背部鳞片均无黑色素细胞,并且在早期体色发育的过程中,也未有黑色素细胞生成。构建mitfa过表达重组质粒,并将其显微注射至casper斑马鱼受精卵中,在其发育过程中观察到黑色素细胞的产生。结果进一步证实mitfa在鱼类体色形成尤其是在黑色素细胞发生方面发挥着重要作用。同时,mitfa过表达casper斑马鱼的制备,也为深入开展鱼类体色分子调控机制研究提供了材料平台。 展开更多
关键词 斑马鱼 mitfa 黑色素 casper突变体 基因过表达
下载PDF
基于Casper和Simulink的射电谱仪信号处理系统设计与实现 被引量:2
4
作者 赵翠霞 赵飞 阎敬业 《空间科学学报》 CAS CSCD 北大核心 2020年第2期280-288,共9页
基于Casper硬件平台的射电望远镜数字系统正在被广泛应用.在Simulink中通过调用Casper模块可以实现复杂的数字信号设计,加快FPGA开发射电望远镜系统的效率.利用Casper模块和Simlink中Xilinx模块设计射电望远镜单元样机的数字信号处理单... 基于Casper硬件平台的射电望远镜数字系统正在被广泛应用.在Simulink中通过调用Casper模块可以实现复杂的数字信号设计,加快FPGA开发射电望远镜系统的效率.利用Casper模块和Simlink中Xilinx模块设计射电望远镜单元样机的数字信号处理单元,完成子带的抽取、下变频和整体频谱分析等功能.在Casper通用硬件平台ZYNQ7020上进行相关功能的仿真,验证了利用Casper模块和Xilinx模块设计基于FPGA的射电望远镜单元样机信号处理系统的可行性和高效性. 展开更多
关键词 正交数字下变频 频谱分析 System GENERATOR casper模块
下载PDF
彩色显示器(CASPER)故障检修一例
5
作者 吴雪珍 《电脑与微电子技术》 1992年第4期17-17,共1页
关键词 彩色显示器 casper 故障 检修
下载PDF
论M.Casper的“吉布斯佯谬的佯谬” 被引量:1
6
作者 杜复钦 《大学物理》 1984年第12期20-23,共4页
关键词 吉布斯佯谬 casper 物理教科书 热力学 国内外 混合 气体
下载PDF
赛默飞世尔科技任命Marc N.Casper为总裁兼首席执行官
7
《食品与发酵工业》 CAS CSCD 北大核心 2009年第9期187-187,共1页
关键词 首席执行官 高科技材料 总裁 casper MARC 作物营养 拜耳公司 董事会
下载PDF
颈椎体次全切除Casper钢板内固定术的护理
8
作者 张士兰 《中医正骨》 2002年第8期55-55,共1页
关键词 颈椎体次全切除 casper钢板内固定术 护理
下载PDF
The NCC: An Improved Anonymous Method for Location-Based Services Based on Casper
9
作者 Wenqi Liu Jie Feng Guangwei Wang 《国际计算机前沿大会会议论文集》 2017年第2期129-131,共3页
Casper Cloak is a privacy protection method based on K-anonymity algorithm. To be anonymous, Casper Cloak needs to search regional sibling and parent node, which requires a complex process and huge expenditure. In add... Casper Cloak is a privacy protection method based on K-anonymity algorithm. To be anonymous, Casper Cloak needs to search regional sibling and parent node, which requires a complex process and huge expenditure. In addition,the anonymous area has space redundancy and it is not accurate enough to achieve high Location-Based Services (LBS) quality. To address these problems,this paper proposes an improved privacy protection method-NCC, based on the Casper Cloak. To reduce the unnecessary search, NCC introduced the concept of the first sibling node. NCC also improves the LBS quality by considering the characteristics of user mobility. Moreover, the improved method,NCC, which is incorporated with a redundancy optimization processing strategy,realizing more precise in the anonymous area and accurately guaranteeing the related degree of privacy. Adopting NCC verification experiments reflects varied advantages as bellow: (1) By reducing 80% searching time, NCC highly improved searching process. (2) The anonymous area produced in NCC not only meet users' anonymous demands, but the direction of the mobility which improves 4 times accuracy of services in comparison with Casper mode.(3) According to optimization strategy, NCC can reach minimum anonymous area index, increasing the rates of anonymous optimization in original algorithm. 展开更多
关键词 PRIVACY protection casper CLOAK Location-based services REDUNDANCY optimization
下载PDF
赛默飞世尔科技任命Marc N.Casper为总裁兼首席执行官
10
《现代仪器》 2009年第5期98-98,共1页
赛默飞世尔科技近日宣布,其董事会已任命Marc N.Casper为公司总裁兼首席执行官及公司董事,任命自2009年10月15日起生效。Casper先生现任公司执行副总裁兼首席运营官。原任公司总裁、首席执行官及董事会成员的Marijn E.Dekkers先生... 赛默飞世尔科技近日宣布,其董事会已任命Marc N.Casper为公司总裁兼首席执行官及公司董事,任命自2009年10月15日起生效。Casper先生现任公司执行副总裁兼首席运营官。原任公司总裁、首席执行官及董事会成员的Marijn E.Dekkers先生将加盟拜耳公司。 展开更多
关键词 casper 首席执行官 总裁 科技 拜耳公司 董事会
下载PDF
CASPER试验的原理和设计:心力衰竭患者应用CR剂型卡维地洛1次/d和IR剂型卡维地洛2次/d其依从性和生活质量的比较研究
11
作者 Hauptman P.J. Pressler S.J. +2 位作者 Sackner-Bernstein J. J.E. Udelson 张媛 《世界核心医学期刊文摘(心脏病学分册)》 2007年第3期27-27,共1页
慢性心力衰竭患者需依赖复杂药物治疗是一个重要问题。在医疗保险人群中,心力衰竭患者平均每天需服用7~8种不同药物,有11种以上的剂量。此类患者中相当大比例的住院是源于对上述药物的不依从。
关键词 casper CR IR 依从性 生活质量 药物治疗 医疗保险 统计方法
下载PDF
美国床垫品牌Casper的超级强大产品研发实验室
12
《纺织装饰科技》 2017年第4期23-23,共1页
美国互联网床垫品牌Casper在2014年刚刚成立时,还是一家只有一位负责产品研发工程师的小型初创公司。公司的五位创始人都来自设计巨头IDEO,2016年的销售额据说已经达到了2亿美元!
关键词 casper 产品研发 品牌 床垫 美国 实验室 互联网 工程师
下载PDF
在线床垫零售商Casper获5500万美元B轮融资
13
《信息技术与信息化》 2015年第5期12-12,共1页
6月23日,在线床上用品零售商Casper获5500万美元B轮融资,此轮融资由Institutional Venture Partners领投,现有投资者Lerer Hippeau Ventures, New Enterprise Associate等参投,投资人中还包括著名经济人Scooter Braun。据知情人士... 6月23日,在线床上用品零售商Casper获5500万美元B轮融资,此轮融资由Institutional Venture Partners领投,现有投资者Lerer Hippeau Ventures, New Enterprise Associate等参投,投资人中还包括著名经济人Scooter Braun。据知情人士透露,公司融资后估值为5.55亿美元。据悉,Casper的主营业务是向消费者直接销售由该品牌打造的塑胶和记忆海绵床垫,让任何体重和睡眠姿势的人都能获得更好的睡眠体验。 展开更多
关键词 casper 零售商 融资 床垫 在线 睡眠姿势 床上用品 主营业务
下载PDF
CASPER彩显无显示检修
14
作者 韩军春 王平 《家庭电子》 2002年第9期29-29,共1页
故障现象:一台 CASPER G-5型彩色显示器,接通电源后,无任何显示并呈黑屏,电源指示灯呈黄色且闪烁(正常应发出绿色光),机内发出'啾啾'声。分析检修:根据故障现象分析,初步认为电源电路工作基本正常,判断电源的负载电路有严重短... 故障现象:一台 CASPER G-5型彩色显示器,接通电源后,无任何显示并呈黑屏,电源指示灯呈黄色且闪烁(正常应发出绿色光),机内发出'啾啾'声。分析检修:根据故障现象分析,初步认为电源电路工作基本正常,判断电源的负载电路有严重短路现象。打开显示器后盖,先测量行输出管 Q506的 c 极电压在4~5V 之间摆动,其正常电压应为90V。测开关变压器 T801第⑧脚输出并经二极管 D815整流后的直流电压在6~7V 之间摆动; 展开更多
关键词 casper 彩色显示器 故障 检修
下载PDF
赛默飞世尔科技任命Marc N.Casper为总裁兼首席执行官
15
《流程工业》 2009年第19期12-12,共1页
赛默飞世尔科技近日宣布其董事会已任命Marc N Casper为公司总裁兼首席执行官及公司董事,任命自2009年10月15日起生效。Casper先生现任公司执行副总裁兼首席运营官。原任公司总裁、首席执行官及董事会成员的Marijn E.Dekkers先生将加... 赛默飞世尔科技近日宣布其董事会已任命Marc N Casper为公司总裁兼首席执行官及公司董事,任命自2009年10月15日起生效。Casper先生现任公司执行副总裁兼首席运营官。原任公司总裁、首席执行官及董事会成员的Marijn E.Dekkers先生将加盟全球医药保健、作物营养、高科技材料领域的领先者拜耳公司。 展开更多
关键词 casper 首席执行官 高科技材料 MARC 总裁 作物营养 拜耳公司 董事会
下载PDF
CASPER1498/D单色显示器电源原理与维修
16
作者 刘继山 《家电维修》 1998年第8期24-25,共2页
关键词 微机 单色显示器 电源原理 维修 casper1489/D
下载PDF
赛默飞世尔科技任命 MarcN.Casper为新任总裁兼首席执行官
17
《流程工业》 2009年第20期10-10,共1页
赛默飞世尔科技近日宣布其董事会已任命MarcN.Casper为公司总裁兼首席执行官及公司董事,任命自2009年10月15日起生效。Casper先生现任公司执行副总裁兼首席运营官。原任公司总裁、首席执行官及董事会成员的MarijnE.Dekkers先生将加... 赛默飞世尔科技近日宣布其董事会已任命MarcN.Casper为公司总裁兼首席执行官及公司董事,任命自2009年10月15日起生效。Casper先生现任公司执行副总裁兼首席运营官。原任公司总裁、首席执行官及董事会成员的MarijnE.Dekkers先生将加盟全球医药保健、作物营养、高科技材料领域的领先者拜耳公司。 展开更多
关键词 casper 首席执行官 高科技材料 总裁 医药保健 作物营养 拜耳公司 董事会
下载PDF
Marc N.Casper先生任命赛默飞世尔总裁兼首席执行官
18
《现代制造》 2009年第41期33-33,共1页
赛默飞世尔科技近日宣布其董事会已任命Marc N.Casper为公司总裁兼首席执行官及公司董事,任命自2009年10月15日起生效。Casper先生现任公司执行副总裁兼首席运营官。原任公司总裁、首席执行官及董事会成员的Marijn E.Dekkers先生将加... 赛默飞世尔科技近日宣布其董事会已任命Marc N.Casper为公司总裁兼首席执行官及公司董事,任命自2009年10月15日起生效。Casper先生现任公司执行副总裁兼首席运营官。原任公司总裁、首席执行官及董事会成员的Marijn E.Dekkers先生将加盟全球医药保健、作物营养、高科技材料领域的领先者拜耳公司。 展开更多
关键词 casper 首席执行官 总裁 高科技材料 医药保健 作物营养 拜耳公司 董事会
下载PDF
赛默飞世尔科技任命Marc N.Casper为新任总裁兼首席执行官
19
《实验与分析》 2009年第5期9-9,共1页
赛默飞世尔科技近日宣布其董事会已任命Marc N.Casper为公司总裁兼首席执行官及公司董事,任命自2009年10月15日起生效。Casper先生现任公司执行副总裁兼首席运营官。原任公司总裁、首席执行官及董事会成员的Marijn E.Dekkers先生将加... 赛默飞世尔科技近日宣布其董事会已任命Marc N.Casper为公司总裁兼首席执行官及公司董事,任命自2009年10月15日起生效。Casper先生现任公司执行副总裁兼首席运营官。原任公司总裁、首席执行官及董事会成员的Marijn E.Dekkers先生将加盟全球医药保健、作物营养、高科技材料领域的领先者拜耳公司。 展开更多
关键词 casper 首席执行官 高科技材料 总裁 医药保健 作物营养 拜耳公司 董事会
下载PDF
床垫企业Casper立志做“睡眠界的NIKE”
20
《环球聚氨酯》 2019年第5期34-35,共2页
人的一生有三分之一的时间是在睡眠中度过,但如今快节奏、高强度的工作生活,使得80后、90后成为了失眠大军的主力,好的睡眠变成一种奢侈,同时也意味着睡眠经济的兴起。为了有好的睡眠,人们越来越重视家居用品及床品的选择,特别是对枕头... 人的一生有三分之一的时间是在睡眠中度过,但如今快节奏、高强度的工作生活,使得80后、90后成为了失眠大军的主力,好的睡眠变成一种奢侈,同时也意味着睡眠经济的兴起。为了有好的睡眠,人们越来越重视家居用品及床品的选择,特别是对枕头和床垫的挑剔。 展开更多
关键词 casper
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部