[!--title--]

来源 :北京工业大学 | 被引量 : [!--cite_num--]次 | 上传用户:[!--user--]
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
[!--newstext--]
其他文献
形式化方法是提高软件设计可靠性和正确性的重要途径,其基本含义是借助数学的方法来研究计算机科学中的有关问题。形式化方法主要研究形式化规范和形式化验证两个方面。原型
及时、准确的获取公交客流信息和运营信息是公交管理工作的基础,它不仅为日常调度提供依据,也为线网优化,及做出科学的公交规划和运营决策提供参考。基于公交IC卡采集的海量
互联网迅速发展的同时,网络安全问题日益成为人们关注的焦点,病毒、恶意攻击、非法访问等都容易影响网络的正常运行,多种网络防御技术被综合应用到网络安全管理体系中。传统
随着医学成像技术的发展与进步,特别是计算机技术的发展与X-CT、MRI以及显微拍照等新型技术与设备的出现,计算机数字图像处理在医学研究与临床实践中的作用越来越受到各方重
随着医学成像技术的不断发展,人们不再满足于对二维断层图像的处理与分析,越来越需要对断层组织图像进行三维显示。传统的二维断层图像的诊断主要是凭借医生的经验来构思病灶的
概念可以分为三个不同的层次:上层,中间层(基本层)和下层。大多数研究表明,人类在进行信息提取的过程中,大脑会首先提取某一层次上的信息,这种现象称为基本层加工优势。然而也
虚拟现实中场景的生成对实时性要求很高。场景中模型量的大小和模型的复杂度对场景渲染的实时性影响相当明显。当模型量很高或者模型非常复杂时,虚拟仿真系统的实时性降低。
随着压电陶瓷的广泛应用,压电陶瓷性能参数的测量已经在整个电子测量行业中占有重要的地位。压电陶瓷的性能参数与其制造工艺,化学成分,形状,极化效果等有关。阻抗分析仪是进行压
21世纪是信息的时代,信息成为一种重要的战略资源,信息安全事关国家安全和社会稳定。可信计算技术从硬件和操作系统做起,从整体上采取综合措施,能够行之有效地提高计算平台的
随着计算机应用技术的发展,以网络和多媒体技术为基础的网络教育越来越普遍,已成为新一代教育的发展方向。教师和学生能建立在线网络课堂,在网络上实时地进行语音视频教学,师生交