A型地铁空调系统及客室内流场数值分析

为给目前国内A型地铁车辆的舒适度设计提供理论参考,针对地铁车辆静压风道结构特点,基于k-ε两方程湍流模型和SIMPLE算法,建立包含空调送风风道和客室的三维计算模型.对计算模型的空气流动和传热状况进行CFD数值计算.计算过程综合考虑车体壁面传热和人体散热等多种传热.分析计算结果得到客室内温度场和速度场的分布规律,并对空调通风设计方案进行量化评估.计算结果表明:客室内人体头部区域温度场分布均匀,平均温度为26.6℃,最大温差为6℃;车厢内有较理想的气流组织形式,速度分布范围为0.50~0.79 m/s,而且客室端部和中部区域人体头部周围速度较大.将计算结果与欧洲EN 14750-1标准进行对比分析,认为乘客的舒适性较好.     

SQL Server中系统内置函数的灵活运用

本文以图书资料智能管理系统为基础,灵活应用SQL Server中的常用函数完成图书资料智能管理系统中的各种查询操作,通过实例充分阐释了相应系统内置函数的作用与功能。     

感恩回馈 车元素全新入门Hi-Fi级套餐测试报告

正犹记得在不久前,本刊曾经对广州车元素热销系统作了一次系统测评。作为业内首屈一指的汽车音响改装店,多年来积累的名望以及过硬的技术水平让广州车元素的金字招牌历久不衰。在圣诞节来临之际,广州车元素又将推出一套全新的入门级音响套餐,与上次不同的是这次的入门级是Hi-Fi的套餐。究竟这次的套餐搭配又能给我们带来怎样的惊喜?且听我慢慢道来。系统组成与上次的套餐一样,本次的"圣诞感恩回馈"套餐同样不包含主机,同样也是一套2.1声道系统,但不同的是,组成本次系统的产品无一不是车元素店内的明星。前声场两分频套装由挪威西雅士SEAS PS 165担纲领衔,超低音喇叭选择     

四维混沌系统及其在图像加密中的应用

传统基于低维混沌系统的图像加密算法往往具有密钥空间较小、安全性较差的问题。针对这些问题,首先提出了一类新的平衡点不稳定的四维离散混沌系统,通过数值仿真对该类系统进行了动力学行为分析,正的Lyapunov指数的个数可以达到三个。同时并基于该类混沌系统设计了一个新的图像加密方案,并进一步对明密文的分布直方图、相关系数、信息熵以及加密方案对参数的敏感性进行了分析。分析结果表明,该加密方案抵抗外来攻击的能力强,密钥空间可达2996△,具有较高的安全性。     

油气管道冲蚀模型及影响因素研究进展

冲蚀磨损在石油和天然气的管道运输过程中广泛存在,这种现象会不断削弱管壁使其形成穿孔,最终引起管道的失效泄漏,对环境和人们的生命财产安全产生严重威胁,因此充分认识冲蚀磨损机理和了解冲蚀磨损现象具有重要意义。从理论模型和影响因素等方面对油气管道冲蚀磨损的国内外技术研究现状进行综合论述,思考当前油气管道冲蚀研究中存在的问题,提出未来可以深入研究的方向。可为深入认识和了解冲蚀磨损现象的机理和发展提供帮助。     

《军人》（组照之一）

2012年12月18日,首届"中国凤凰国际摄影双年展"在凤凰古城隆重开幕。本次双年展由中国摄影家协会和湘西州人民政府主办,《中国摄影报社》、凤凰县委、县政府、凤凰古城文化旅游投资股份有限公司联合承办。本次双年展共收到各类参赛作品57648幅,邀请国内外优秀摄影家530人,参展作品7130幅,评选出三大类奖项。     

机动战士高达 基连的野望 阿克西斯的威胁V

曾经让PSP玩家大呼过瘾的《阿克西斯的威胁》在增加了大量全新游戏内容之后,即将在PS2与PSP平台与玩家见面。作为系列的新作,游戏不仅增加了新的机体和新的人物,而且还为玩家准备了新的剧本——“蒂姆·雷军”,以蒂姆·雷的角度审视这场战争定能让新老玩家获得不同的体验,除此之外4部新参战的高达作品也是本作的亮点。正因为有了如此厚道的游戏内容,所以游戏副标题上被冠以了“V”（Volume,足量）,届时高达饭们一定能够过足了瘾。     

怪物猎人3tri

作为Wii平台最值得期待的第三方大作之一,《MH3》每每有新消息公布都会引来无数猎人的关注和猜测。前不久同捆《MHG》发售的《NH3》DEMO虽然与TGS的试玩版相比缺少了挑战海龙的任务,但是对于广大玩家来说实际玩到才是王道,加上官方新近公布了游戏中全部七种武器类型,猎人们的期待度再次提升到满点。本次的特别报道中,我们将结合此次试玩版来为玩家介绍7种武器以及新地图“海原”。当然,试玩版中出现的3个大型怪物也会出现在本次的报道中,其中还有我们熟悉的对手雌火龙哦！     

Logic Programs,Compatibility and Forward Chaining Construction

Logic programming under the stable model semantics is proposed as a non-monotonic language for knowledge representation and reasoning in artificial intelligence. In this paper, we explore and extend the notion of compatibility and the Λ operator, which were first proposed by Zhang to characterize default theories. First, we present a new characterization of stable models of a logic program and show that an extended notion of compatibility can characterize stable submodels. We further propose the notion of weak auto-compatibility which characterizes the Normal Forward Chaining Construction proposed by Marek, Nerode and Remmel. Previously, this construction was only known to construct the stable models of FC-normal logic programs, which turn out to be a proper subclass of weakly auto-compatible logic programs. We investigate the properties and complexity issues for weakly auto-compatible logic programs and compare them with some subclasses of logic programs.     

重装升级 软件再多也不怕

随着电脑与网络技术的普及,工具软件的种类越来越多,可谓是鱼龙混杂,也许有时你真不知该选择哪个;你可能虽然安装了一些工具软件,但因软件升级越来越频繁,忙碌的你又没时间去逐个关注升级;重装系统对于你来说技术上已经不足问题,但常用的一大堆工具软件的安装是不是显得更麻烦？此外,系统越来越慢,也不知道是哪些软件搞的鬼;系统漏洞频频爆出,说不定哪一刻“流氓恶鬼”会住进你的电脑,也是你的心病。 你是不是也有如上的种种烦恼？没关系!安装一个迅雷软件助手就可以轻松搞定！