缔造更加稳定、便捷的商业服务——Bensley平台开创服务器全新“架构”时代

面对着网络化、全球化时代企业业务高速拓展、灵活多变的趋势,结合企业对IT基础设施实际应用的需求,全球的信息技术领袖—英特尔也意识到,作为企业IT基础设施“心脏”的服务器,仅仅拥有过硬的性能和可靠性是不够的,它还需要易于管理、便于扩充升级,尽量降低采购和应用成本,以及     

苏联焊接科学技术的成就

随着科学技术的飞快发展,焊接越来越显示出它是一种先进的重要的工艺方法。在机械制造、建筑工程、国防工业及修理工作等部门中,焊接日益被广泛的应用。可以深信,在我国社会主义工业化的过程中,焊接亦将显示出重要的作用。近年来,我国在苏联的大力帮助和我国焊接工作者     

基于java的物流综合信息管理平台的实现

物流综合信息管理平台是没个企业必须拥有而且要重视的一个环节,对于企业的发展来讲发挥着不可替代的作用,没有这一平台,企业的信息管理便不能流畅的进行,用户也无法从中获取详细完整的信息和便捷的查询方式,一直以来人们固守于传统的人工管理信息的方式,殊不知这种方式缺点太多,而把Java语言运用于物流信息管理可以实现系统数据的一致性和安全性,其应用程序功能也非常适用于物流信息综合管理,本文就Java的物流综合信息管理平台的实现发表一下笔者自己的看法。     

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.     

微机控制焊缝自动跟踪技术

为解决目前电磁传感式焊缝自动跟踪系统中普遍存在的工件错边干扰、传感器导前误差以及点固焊道干扰等实际问题,探索了微机智能化控制技术,研究了错边干扰的有效剔除技术,研制了一种新型的组合式电磁传感器。发现了其偏移检测信号与错边检测信号之问的“双重串扰”规律,并以此为根据建立了分离提取当量偏移信号和当量错边信号的数学模型,为运用软件技术剔除工件错边干扰找到了一种新途径。     

解决电脑总线故障实例

曾经有这样的一份统计报告:电脑故障中有40％来源于电脑的总线接口！下面就是平常解决总线故障的一些实例。 1、一额外加有ATA66控制芯片的BX主板,在安装SCSI卡SCSI硬盘时造成系统不能正常运行的故障。 故障分析:该机一直使用正常,但由于该用户购买J一块SCSI硬盘,安装上SCSI硬盘后开机,在通过CMOS自检后系统死机。将该SCSI卡拿到其它型号BX主板上工作正常,由于该BX主板使用的ATA66总线控制器芯片在加载了主板的此项补丁之后在     

湖州南太湖奥体中心工程

<正>湖州南太湖奥体中心位于湖州仁皇山新区,体育场外形如同湖州市花百合花,圆形外壳直径为260米,体育场屋面为两个交错叠合的空间网壳结构体系,为国内采用的第二例大跨度巨型网壳结构。高低两个屋面均由圆弧线沿着屋面水平投影轮廓旋转一周形成,并通过边界线切割而成双层开口网壳。在高低屋面之间,沿着中间椭圆洞口边缘一圈形成观光走廊。     

留住岁月 留住乡愁——《爷爷的家》制作随笔

正夕阳下,远远地山坡上,一个个小院,一座座老房子,袅袅的炊烟,昏黄的灯光,再配上几声犬吠,儿时的记忆被唤醒,这就是千百个农村的缩影,印象中爷爷家已浮上脑海,沙土地面的院子,一路铺开的青石板,刚从外面抱来的柴火堆砌在一边,爷爷准备要开始烧水了,随手放置的农具靠在树上,树枝搭起的棚屋就是农家的厨房。老屋的墙上墙皮层层剥落,随手拉的电线斜挂在屋檐下,后院卫生间简易的栅栏门,在树枝上挂着的蜘蛛网,又想起了儿时的捉虫游戏。丰收的玉米挂在屋檐下,象征着劳动的果实。点点细节,塑造出心目中的印记,希望把这种对中国农村的记忆留在手艺中,分享给大家,让     

通用隔振技术研究

勘探车辆常年行使在地形恶劣的环境中,车辆颠簸冲击不可避免地对搭载设备造成损害,特别是一些特种设备(可控震源)本身工作需要产生宽频振动,而振动传到车架对车载设备造成损害.本文对当前国内外通用的隔振技术进行了梳理,为勘探设等备上隔振技术的选用提供依据及参考.     

径向射流稀释特性数值模拟

对静水环境中的径向射流进行了模拟,湍流模型分别采用了Realizablek-ε模型和RNGk-ε模型.针对径向射流的中线流速沿径向的分布,将两种湍流模型的计算值与实验值进行了对比分析.结果表明,Realizablek-ε模型比较适合径向射流的数值模拟.然后利用Realizablek-ε模型对6种不同工况下静止环境中径向射流进行了数值模拟,得出了径向射流不同横截面上浓度分布、中线浓度衰减和射流浓度半宽沿程的变化等稀释特性的规律,并给出了相应的关系表达式,通过引入特征长度的概念,可使射流的无量纲中线浓度衰减和无量纲浓度半宽呈现出较强的规律性.