【摘要】随着对外开放的深入以及中国加入世界贸易组织,国与国之间的往来更加频繁,科技之间的交流增加,对科技英语翻译的需求也随之增加。为了更好地服务于经济发展和对外开放,提高科技英语译文质量是亟待解决的问题。关联理论对科技英语翻译有着强大的解释力,本文将运用关联理论指导科技英语翻译,为科技英语翻译提供可行的翻译策略。本文首先简要介绍关联理论交际推理模式,然后根据关联理论交际推理模式,提出关联理论对科技 […]

【摘要】约束满足问题(ConstraintSatisfactionProblem,CSP)作为一种抽象模型可以对现实世界中的很多问题进行建模求解，被广泛应用于调度、规划、网络以及生物信息学等诸多领域，得到了越来越多的重视和研究。约束满足问题主要由三部分组成：一个有限的变量集合，一个对应各变量的有限论域集合以及一个说明变量之间关系的约束集合。求解一个约束满足问题要么是为所有变量取其对应论域中的值进行 […]

【摘要】智能家居作为人类生活的主要空间，要满足人们对生活舒适、便捷的追求目标。为了实现这个目标，需要构建一种让人与家庭环境中的各种物理设备更好地融合在一起的家庭环境，在这种环境下，设备可以在不知不觉中达到为人服务的目的。但是，这需要以设备之间的协调工作、信息和资源的共享为基础。为了实现设备之间的协调工作、信息和资源的共享，达到在不知不觉中设备为人服务的目的，本文对智能家居系统进行了研究，并且将本体 […]