意义理论是形而上学的基础——达米特解决实在论与反实在论论争的一种视角

达米特是当代著名哲学家,他从数学哲学出发,论证了意义理论是形而上学的基础,提出了从意义理论出发解决实在论与反实在论论争的新视角,阐述了语义上溯、比较研究、自下而上等具体地解决实在论与反实在论论争的方法.达米特的新视角对于当代哲学产生了重大影响.     

解线性最小二乘问题的一个新并行算法

讨论了求解无约束线性最小二乘问题的一种并行单纯形法以及对它的改进算法并行共轭梯度—单纯形法 .算法本身具有很强的并行机制 ,能够充分地发挥并行机快速省时的特点 .本文也对算法做了理论分析 ,对算法的收敛性给予了证明 (在二维情形下 ) .最后做了数值实验 (由于软硬件条件的限制 ,并行算法未能在并行计算机上实现 ,鉴于这种情况 ,我们所做的数值实验均是在串行机上完成的 )     

测绘新技术中的GIS、GRID的现状、应用及发展趋势之浅析

本文对目前测绘技术中的GIS与GKID现状、应用及发展趋势作分析,对两者之间互补及应用中的问题作了探讨等.     

C语言编程的技巧探讨

虽然各种各样的开发工具层出不穷,C语言依然是最基础、最实用的程序设计语言之一。如何快速高效地掌握C语言的精华,是每个初学者普遍思考的问题。本文从程序设计的基本过程出发,给出了程序设计的基本思路,并结合C语言实际,提出学好C语言的方法和技巧,指出C语言中的知识要点和难点,使初学者可以有的放矢地学习C语言,起到事半功倍的效果。     

长白山土壤腹足类物种多样性初步研究

自1993年5月至10月对吉林长白山森林生态系统定位站的土壤腹足类进行了多样性调查，据初步调查的结果显示，长白山地区土壤腹足类种类少而单调，采样区仅发现15种，隶属于腹足纲9科13属，采样区土壤腹足类物种多样性指数和丰富度指数都是5月份最低，8月份达最大值，之后逐渐减小；均匀度指数5月份最高，7月份最低；单纯度指数也是5月份最高，最低值出现在10月份，土壤表层的陆生贝类物种多样性指数高于上层。     

Cu~+、Ag~+、Au~+与乙硫醇的气相化学反应

利用激光溅射 分子束的技术 ,结合反射飞行时间质谱计 ,研究了Cu+、Ag+、Au+与乙硫醇的气相化学反应。结果显示这三种金属离子与 (CH3 CH2 SH) n 反应形成一系列团簇离子M+(CH3 CH2 SH) n,且团簇离子尺寸不一样。Ag+、Au+与乙硫醇的反应还生成了 (CH3 CH2 SH) +n ,由此推测Cu+、Ag+、Au+与乙硫醇团簇的反应存在两种通道 ,一种通道是生成M+(CH3 CH2 SH) n,另一种是生成 (CH3 CH2 SH) +n 。Cu+、Au+与乙硫醇的反应还生成了M+(H2 S) (M =Cu、Au) ,但是实验中没有观察到Ag+(H2 S) ,理论计算表明Ag+(H2 S)很不稳定。另外 ,分析产物离子M+(CH3 CH2 SH) n 的强度发现 ,n =1～ 2之间存在明显的强度突变现象     

混凝土现浇楼板裂缝的成因及防治措施

本文对楼板面裂缝的成因与防治措施进行了系统论述分析     

基于实数编码的免疫遗传算法研究

针对标准遗传算法(SGA)搜索效率低、收敛速度慢等缺陷，在免疫遗传算法的基础上提出了基于实数编码的免疫遗传算法(RIGA)。研究表明，RIGA对SGA的改进是有效可行的，显示出稳健的全局优化、计算量少而解的精度高等特点，具有较高的应用价值。     

用于强磁场的快响应真空规的研制进展

研制了能在强磁场、强干扰环境下工作的快响应真空电离规(快规),用于对HL 2A装置偏滤器室和等离子体附近的中性粒子密度和通量进行原位测量。介绍了快规的结构、工作原理、设计要点以及实验结果。在无磁场的情况下,快规对气体压强的测量范围为6.4×10-6～0.15Pa,在1×10-5～0.15Pa范围内,快规收集极离子流与发射电子流之比与气压保持良好线性关系;在0 15T的磁场下,快规的规管常数未发生显著变化,在规管对称轴与磁力线的夹角小于15o时,规管常数的变化小于10%。     

高阶特征线性及其与semi-Lagrangian方法的比较

特征线性与semi-Lagrangian方法都是处理流体方程时间离散的两种有效的方法．它们比经典的半隐格式，如Backward-Euler／Adams-Bashforth方法有更好的稳定性．本提出一种基于高阶空间离散的特征线法，通过稳定性，精度和计算复杂性与semi-Lagrangian方法进行比较，分析了高阶特征线法的有效性和适用性，并从数值试验上对分析结果进行验证．