搜索筛选:
搜索耗时0.9591秒,为你在为你在102,285,761篇论文里面共找到 1,000 篇相符的论文内容
类      型:
[会议论文] 作者:,, 来源:1999信息安全国际会议 年份:1999
认证协议设计和实现的安全性分析是网络安全的重要课题,越来越多的人关注这个方向的发展。在此系统地讨论了证证协议形式验证研究的前沿课题和发展趋势,并介绍了基于时序逻辑的认证协议研究成果和基于时序逻辑的Model Checking的构想。......
[会议论文] 作者:, 来源:全国第十三届旅游地学研讨会 年份:1998
[会议论文] 作者:张海燕;;, 来源:2001年西部浆料与浆纱技术研讨会 年份:2001
随着纺织产品更新换代,高档织物的大量需求及无梭织机的涌现,对浆料质量提出更高的需求。特别是国际市场上近年来禁止使用PVA浆料,且PVA浆料成本高。研究、开发应用适合现代化纺......
[会议论文] 作者:, 来源:第六届中国密码学学术会议 年份:2000
该文针对加密协议面临的各种攻击,提出了一个基于时序逻辑的加密协议描述语言(the Description Language of Encryption Protocols Basing Temporal Logic,简称为TL-EPDL)。TL-...
[会议论文] 作者:顾, 来源:第九届流体动力与机电控制工程及制造学术会议 年份:1998
建筑用钢筋砼构件中连续式正方形及矩形螺旋箍筋自动弯曲成形机械设备的开发研究、设计要点及经济价值。...
[会议论文] 作者:崔, 来源:全国第二届超声医学学术会议 年份:1998
对1457例子宫内带节育器来就诊的育龄妇女做了B超检查。宫内节育器异常者397例,其中节育器脱落81例;节育器下移121例;节育器偏至子宫前壁98例;偏至子宫后壁58例;偏至子宫底39例。带节育器合并妊娠201例。......
[会议论文] 作者:,, 来源: 年份:2001
番茄又名西红柿,属茄科植物.番茄中的胡萝卜素,抗坏血酸的含量较高,被人们称之为蔬菜中的上品.此外,还含有钙、铁、磷、硫、钾、钠、镁等多种矿物盐类,食用时既可供给营养,且...
[会议论文] 作者:,, 来源: 年份:2002
城市形成于一定的自然环境基础之上,并因特殊的人文环境因素的变化而有所变化,是社会经济发展到一定阶段的必然产物。徐州在历史上曾先后作为诸侯国都、军事重镇及漕运枢...
[会议论文] 作者:, 来源:'2000全国农产品加工技术与装备研讨会 年份:2000
以新鲜冬瓜为原料,配以食盐、食醋、食糖、洋葱、大蒜、肉桂、丁香等辅料制成了一种与两餐配套的调味料-冬瓜沙司。该文介绍了制作冬瓜沙司的工艺流程及操作要点。...
[会议论文] 作者:, 来源:中国食品科学技术学会东方食品国际会议 年份:2000
彩色豆腐是在传统豆腐的基础上,充分利用各种蔬菜汁所具有的不同颜色和风味,在不影响传统豆腐加工艺的前提下加入适量的蔬菜汁而制作的一种新型豆腐食品。与传统的豆腐的相比,它......
[会议论文] 作者:, 来源:中国煤炭学会注浆堵水加固技术及其应用学术研讨会 年份:1998
[会议论文] 作者:, 来源:中国煤炭学会矿井建设专业委员会'99学术年会 年份:1999
该文介绍了BQJ-100B型潜孔钻机的结构、工作原理及在煤矿工作面预注浆工程中的推广应用。...
[会议论文] 作者:, 来源:第十二届全国图学教育研讨会暨第四届制图CAI课件演示交流会 年份:2000
该文列举了作者在编辑加工制图教材书稿过程中发现的比较普遍的一些贯彻新国家标准方面的问题并列出了机械制图课程教材常用最新国家标准目录,供编写制图教材和进行教学时参考......
[会议论文] 作者:, 来源:中国电工技术学会电动车辆委员会第十次学术大会 年份:2002
本文介绍基于现场总线技术和专用芯片DS243的实用轻型电动车电池管理系统,用于电动自行车和电动摩托车的蓄电池组的检测管理.介绍系统的方案设计,性能和特点,以及将蓄电池监...
[会议论文] 作者:, 来源:教育部 年份:2002
武汉市武昌区数学学科选用新世纪(版)实验教材。经过一学期的学习和实践,认为这套教材与传统教材有了彻底的变化。较次图文并茂,深入浅出,真正做到了以人为本,一切从学生的生活实际和学生的认知规律出发,一切都是以促进学生的发展为目标来编写教材。为教师的“教”和学......
[会议论文] 作者:, 来源:2001全国中西医结合急救医学学术会议 年份:2001
[会议论文] 作者:, 来源:中国系统工程学会第12届学术年会 年份:2002
西部地区人力资源的可持续发展是实现其社会-经济-自然可持续发展的根本保证.本文分析了西部地区的人力资源现状,阐述了人在实现西部地区社会经济发展、环境保护和充分利用自然资源中的作用,给出了人力资源可持续发展的对策.......
[会议论文] 作者:, 来源:中国(天津)农产品加工及储藏保鲜国际研讨会 年份:2001
阐述了食品与人们的营养,指出当前食品安全方面存在的一系列问预防方法,描述了本世纪食品发展方向-功能性食品...
[会议论文] 作者:,夏新林, 来源:第十届全国遥感技术学术交流会 年份:1997
该文建立了空间光学系统内部构件热辐射引起的谱段杂散辐射物理模型和有关概率模型,用蒙特卡洛计算方法编制的分析软件对一研究中的光学系统进行了大量统计计算,并得到一些有益......
[会议论文] 作者:陈嵘,, 来源:中国电子学会'95首届全国显示技术委员会学术研讨会 年份:1995
相关搜索: