浅谈卫浴产品造型设计与体验

本文以体验设计为出发点,从卫浴产品造型与用户体验论述了产品与生活形态的关联关系,指出在现代社会,设计师需要研究产品造型语言含义,创造人与卫浴产品之间一种更愉悦的使用体验。     

书籍装帧设计的市场语言研究

书籍装帧设计随书刊市场的变化而发生着变化,形式语言不断更新。本文从书籍的装帧发展引入市场化现状,从书装开本、材料、封面设计、版式设计四个方面阐述关于书装设计的市场语言,并对现在书装设计出现的问题提出一些看法。     

数据容灾系统与CDP技术

数据容灾系统向来被认为是信息安全领域中的一项重要内容.为帮助大家更全面、更深入地了解数据容灾系统的相关知识与技术,文中对传统的数据容灾系统及其所采用的相关技术进行了系统的整理与介绍,对数据备份与数据复制两项技术做了重点论述,对目前最热门的技术CDP作了较深入的探讨.结果表明,当前及今后一段时间内,传统的数据容灾技术在某些应用领域中依然比较适合,而CDP作为一种新型的技术理念,在容灾领域中扮演着越来越重要的角色.随着其技术的日臻成熟完善,最终将会完全取代传统的容灾技术.     

程序:物理对象上的操作表达式(英文)

把赋值语句看作物理对象上的操作时,程序就呈现为物理对象上的操作构成的表达式(简称O表达式)。给出了定义O表达式语法的BNF公式,并用公理规定O表达式的语义。主动式的O表达式以计算最终结果为目的,因而相关公理给出的是施行表达式中操作以后的变量与施行之前变量之间的准确依赖关系。反应式O表达式要对外来需求作反应。描述反应的公理规定如何反应。有关通讯的公理要求正确的信息被正确的接受者收到。共享变量公理则给出有关共享变量的性质判断。例子用于说明异步顺序O表达式的性质是如何分析的。     

S7—200系列PLC与监控计算机通讯的几种实现方法

针对控制系统中上位机与S7—200系列PLC通讯的实际问题,总结了几种监控计算机与S7—200系列PLC实现数据通讯的方法。实际应用表明,这些方法分别在不同的控制环境中能较好地解决它们之间的数据通讯问题。     

基于视频图像处理的交通事件检测系统

针对目前公路事件发生后不能及时有效检测与报警、事故处理延迟等不足,研究开发了一种基于视频图像处理的交通事件检测系统。利用计算机视觉与数字图像处理技术,对设置在公路上的摄像头采集的视频图像,进行事件检测算法智能处理,自动采集各种交通参数,检测交通事件并及时报警,可有效地减少交通延误,防止二次事件发生,保障道路安全。与传统交通事件检测系统相比,具有直观方便、费用低等优点,拥有良好的市场需求和实用价值。     

语义Web服务——Web服务的扩展

语义Web服务是应用语义Web技术对Web服务的扩展.使信息具有语义就是用计算机内的Ontology中的概念作标记符对信息进行标记,对该过程予以支持的就是语义Web技术,即Ontology的构建技术、Ontology的使用技术(语义推理技术)和信息的语义标记技术.语义Web技术对Web服务的扩展可具体化为两项任务:服务提供者、服务请求者和服务注册处三类服务主体均内置Ontology;发布、查找和绑定三种交互信息均采用语义标记.     

要素细化与代码实现——WSMF模型

Web服务建模框架（WSMF）的实际应用可归结为是在正确理解WSMF本质基础上的要素细化与代码实现。WSMF的本质就是基于“重用性-解耦性-语义中介协调”观点导出的Web服务、目标、中介器、本体4个顶层要素及其相互关系。WSMF的顶层要素及其相互关系由Web服务本体模型（WSMO）细化扩展为层次结构的WSMF底层要素体系。WSMF的底层要素由Web服务建模语言（WSML）做形式化描述,进而转换为XML代码。一个实际的Web服务例证了WSMF顶层要素的细化、形式化、代码化的方法与过程。     

Stateflow在安全联锁回路仿真中的应用

Matlab是现在工程领域中一套最为出色的科学计算软件,Stateflow是Matlab自带的工具箱,主要用来实现对工程问题的模型化和动态仿真。本文介绍了Stateflow的基础知识以及基于Stateflow的安全联锁回路仿真建模方法,并以氢氧化铝焙烧炉预热燃烧器作为具体实例进一步阐述。这种方法使逻辑设计仿真变得容易、直观且便捷。     

基于观测的POMDP 优化算法及其仿真

在分析马尔可夫决策过程（Markov Decision Process, MDP）性能灵敏度的基础上,讨论了部分可观 测马尔可夫决策过程（Partially Observable Markov Decision Process, POMDP）的性能优化问题．给出了POMDP 性能灵敏度分析公式,并以此为基础提出了两种基于观测的POMDP 优化算法：策略梯度优化算法和策略迭 代优化算法．最后以准许控制问题为仿真实例,验证了这两个算法的有效性．