集合论

法国布巴基学派的《数学基础》是一套著名的系列丛书，本书是其中一本，主题是集合论，是根据1970年版本（按法文版英译）的平装本。本书按布巴基学派的观点用公理化方法给出集合论的基本原理。     

利用可执行UML建立模型驱动结构体系

如果能使模型定义完全地、有效地转化成代码，这无疑将是软件开发的一次革命。而本书正是着眼于这样一种技术。具体地说，利用已被广泛接受的软件建模语言UML（统一建模语言），按照OMG（对象管理组）的MDA（模型驱动结构体系）建立模型，进而一步步将可执行的UML（xUML）模型转化为任意特定平台的最终软件形式。     

计算机数学 ASCM2003论文集

本书是“第6届亚洲计算机数学会议”的论文集。该会议由日本符号计算与代数计算协会及中国科学院数学机械化研究中心联合举办，前5届会议于1998～2001年分别在中国北京、日本仙台等地举行。本届会议于2003年4月17—19日在北京举行，与会者来自中国、日本及欧洲、北美等地。本文集共收3个邀请报告和2l篇研究论文，涉及与多项式代数、代数几何、非交换代数等有关的高级算法，几何建模及其应用，     

汽车轮胎螺套的冷挤压工艺

本文讨论了轮胎螺套冷挤压的工艺分析、金属流动和模具设计,并且简介了冷挤压的制坯、润滑、冷却以及生产中出现的问题和解决办法。     

厦门市技术合同认定登记统计分析报告

一、技术合同成交金额比去年有所上升 2002年厦门市技术合同(经认定登记的)共签订816项,技术合同成交金额达到75057.7万元,技术合同成交金额比上年同期增长11372.7万元,增长幅度为8.5％,成稳定上升趋势(而全省2002年技术合同成交额比去年同期下降5.81％)。厦门市技术合同占全省技术合同成交金额的58.4％,排名全省之首见图1。     

结果驱动的软件测试

对于许多机构而言,软件已成为它们业务过程中最主要的支柱之一。软件测试将以及时的方式鉴别不良质量软件。在美国,结构化测试起始于20世纪60年代,首先在军用环境和计算机硬件工业中开始。多年以来已形成了各种标准,例如IEEE、ISEB和ISTQB。     

基于相对幅值法的接箍深度识别方法

提出一种基于相对幅值法的接箍深度识别方法.该方法利用计算机处理技术对接箍曲线应用相对幅度鉴别方法,自动跟踪识别接箍深度,尤其是能够自动跟踪识别受套管磁化干扰信号影响的接箍深度.该方法识别的接箍深度比使用简单的门限值,识别范围及最大值方法计算的接箍深度更准确,精度也更高,能够有效确定射孔作业深度,防止误射孔发生,为油田薄油层的开采提供技术保证,应用效果良好.     

超越启蒙时代精神

17—18世纪欧洲启蒙运动把人类从宗教迷信中解放出来,使理性大放光华,但也坠入理性崇拜之中兼有成就和缺失。片面的理性忽略人类的人性存在和用简单性思维方式看待事物,这造成近现代史上新的社会问题。所以我们现在需要超越启蒙时代精神,把理性与人类的人文精神价值结合起来,并建立起适应复杂世界的复杂性思维方式。     

火电单元机组智能控制系统

提出了一个实现大范围负荷跟踪的火电单元机组智能控制系统．该系统包括设定值调节器、神经网络模糊前馈控制器、模糊反馈控制器和单元机组．设定值调节器根据机组负荷指令提供设定值．前馈控制器采用神经网络模糊控制逼近单元机组的逆稳态特性而得到前馈控制信号，以实现单元机组的大范围运行．反馈控制器则采用模糊控制补偿负荷扰动所引起的单元机组的实际值与设定值的偏差．前馈控制信号与反馈控制信号相加后发出指令到单元机组完成负荷跟踪任务．仿真结果表明，该系统有较好的动态特性，能适应于机组大范围的负荷跟踪．     

年青之源——恒星生命的最初几天

在南半球冬日的夜晚走到室外,大约午夜时分,向正南方看去,你将会看到猎户星座,可能是除北斗七星外最著名的一组恒星。猎户腰带(明显的标志是三颗突出的恒星排成一线)的正下方是猎户的剑,而且在剑的中心有一个模糊不清绒毛状的小块。这一区域是数干颗新生恒星的巨大恒星保育室。