滑铁卢大学计算机专业解析（四）

[数据系统集团](https://uwaterloo.ca/ yes';font-family:Georgia;color:rgb(128,0,31); letter-spacing:0.0000pt;text-transform:none;text-ecoration:unerline; text-unerline:single;font-style:normal;font-size:9.5000pt; backgroun:rgb(255,255,255);mso-shaing:rgb(255,255,255);) 建立创新型，高影响力的平台，系统和处理，管理，分析和搜索成为一体的现代信息社会如此庞大的数据集的应用程序-俗称为“大数据”技术。

我们的功能涵盖从非结构化文本集合到关系数据的全部范围，以及介于两者之间的所有内容，包括时间序列，日志数据，图形和其他数据类型等半结构化源。我们在软件堆栈中的多个层面工作，从存储管理和执行平台到面向用户的应用程序和用户行为研究。

我们的研究涉及信息生命周期的所有阶段，从摄取和清理到推理和决策支持

WatForm（滑铁卢正式方法）的成员来自Davi R. Cheriton计算机科学学院和电气与计算机工程系。该小组使用严格的数学技术来设计从微处理器到电话系统的真实的，基于计算机的系统。数学建模和分析可以在开发过程的早期发现错误，当它们最简单且最便于纠正时。

数字系统设计人员依赖于抽象层次结构，从开关级模型到指令集架构，将晶体管集合视为单个模块。缺失是寄存器传输级别和功能块级别之间的抽象级别。该小组正在开发管道层面的结构和行为理论，这将使设计和验证更加系统，彻底和富有成效。利用这一理论，该小组正在研究验证具有复杂优化的高性能微处理器的方法，例如无序和超标量执行。

自动控制系统的复杂性不断增加，带来了形式验证和综合的问题。现代自动化不仅需要小规模反馈回路的设计，还需要大量相互作用子系统的协调。该小组正在为大规模离散事件控制系统设计分析和综合方法。

特征交互问题在软件系统中是普遍的，其中特征被开发为对同一应用程序的独立扩展，而实际上特征相对于共享数据巧妙地相互干扰。该小组正在研究检测交互的方法，并通过经过验证的协调模型和合成控制器解决交互来保留特征的模块化开发。

所有这些应用程序的共同挑战是需要可读和可配置但仍然正式的需求符号。WatForm成员正在研究支持可配置模型驱动开发的实用要求符号和技术，例如为这些符号自动创建代码生成器，模拟器和模型检查器。

该集团与业界保持密切联系，并获得NSERC，CFI，CITO（OCE），贝尔大学实验室，加拿大通用汽车，英特尔，北电网络和半导体研究公司（SRC）的资助。

几乎每天都会宣布技术创新，这些创新代表了医学实践的重大进步。其中创新源于健康信息学领域，该领域旨在通过应用计算机科学的方法和理论来改善人类状况和提供医疗保健。

在滑铁卢，一些研究生和教师积极参与这一领域。我们探索的研究问题代表了全方位的健康信息学，其中包括科学家，他们的工作有助于更好地理解如何治愈疾病，以及其他人的努力探索如何在计算机科学中发挥作用，使人们能够过上健康的生活。当前项目的代表性问题领域包括医学图像处理，基因组分析，老年人辅助技术，定制治疗描述的自然语言生成，电子健康记录的数据挖掘，可穿戴传感器的慢性疾病监测，软件工程，隐私增强技术，计算神经科学，人机交互和普适计算。

滑铁卢大学有着与工业建立紧密联系的悠久传统，我们的健康信息学研究计划代表了这一传统。我们的研究项目都是与医疗保健社区，公共卫生部门和/或主要行业参与者合作开展的。合作伙伴包括地方和联邦政府，公共卫生单位，150多家医院，从主要的学术健康科学中心到小型农村设施，长期护理机构和疗养院，此外还有着名的公司，如微软，爱克发，英特尔，谷歌，和RIM。