论奎因对模态逻辑的批判

模态逻辑一经产生，就遭到奎因的质疑。奎因认为，模态概念无论在逻辑上还是在哲学上其正确性都值得怀疑。他甚至认为模态逻辑是多余的，应予以抛弃。通过对奎因批判模态逻辑的背景和理论进行分析，章认为奎因对模态逻辑的批评在观念上和论证上都存在缺陷，因此奎因的批判是不能成立的。     

涤纶的酶法改性研究进展

从涤纶纤维自身的特性和其改性研究的现状、理想的涤纶表面改性应满足的要求以及酶在纺织工业中的应用现状等方面出发,综述了涤纶纤维及其织物酶法改性的背景和国内外研究现状,介绍了涤纶酶法改性研究中所用的酶以及酶的筛选方法,探讨了涤纶酶法改性研究中存在的若干问题,并对涤纶酶法改性的前景做了展望.     

差异沉降下加筋土挡土墙筋带变形特性试验研究

将正交试验方法应用于加筋土挡土墙的缩尺模型试验,采用4组试验模拟墙后填土与墙面板之间存在差异沉降的挡墙工作状态,量测了各级差异沉降下的筋带变形.通过对筋带延伸率、筋带密度、筋带与面板连接方式3个因素的二水平试验结果的分析,提出差异沉降下筋带变形可以用指数曲线描述,并对试验现象加以分析.图5,表4,参9.     

一类非线性算子的具有混合误差项的迭代序列

在Banach空间中 ,研究了带有混合误差项的Mann迭代序列的收敛性问题 ,去掉了通常文献中关于空间X的一致光滑或q-一致光滑的严格要求 ,改进和推广了近期文献 [2～ 6]中的一系列相关结果     

幂群的置换表示

利用群作用分别给出了有限群上幂群的置换表示和矩阵表示,进而给出了非空幂子集成幂群的条件.     

基于PRO/ENGINEER的WFCAD系统菜单的开发

运用Pro Engineer软件开发了WFCAD(WeldingFixturesandJigsComputerAidedDesign)系统的菜单 ,以第一、二类杠杆 铰链焊接工装夹具为设计对象 ,就如何采用Pro Engineer的用户化工具包Pro Toolkit的开发步骤和使用方法进行了介绍 ,实现了第一、二类杠杆 铰链焊接工装夹具的计算机辅助设计 .     

基于动态数据库的电网接线图自动生成

给出了一种用于地区电网调度中心警报处理及故障定位专家系统中,基于动态数据库的实时显 示信息自动生成系统,讨论了它的基本原理及实现方法,并对它在该系统中的优点进行了分析.     

硫酸链霉素的单扫描示波极谱法测定

建立了测定硫酸链霉素的新方法。在0.5mol/L NH_3-NH_4Cl(pH 10.4)缓冲溶液中,硫酸链霉素产生两个还原波,峰电位分别为-1.44V和-1.55V,其中-1.55V处还原波的二阶导数峰电流与硫酸链霉素浓度呈线性,线性范围为250～1100μg/mL,检测下限为200μg/mL。该方法用于注射液中硫酸链霉素含量的测定,结果满意。     

利用单片机实现直流他激电机的无触点无级调速系统

以比例式零压法为基础 ,提出了直流他激电机的无触点无级调速控制方案和对低压电机用场效应管替代晶闸管的办法 .利用单片机直接控制晶闸管 ,解决了触点寿命问题 .通过单片机的计数口检测电机轴脉冲轮的脉冲信号可实现电机的速度控制和位置控制 .检测和控制都避开了 A/D和 D/A转换 ,具有一定的实用价值 .     

淤泥类软土的应变特征与沉降计算

根据淤泥类软土的压缩模量随深度变化的事实，在理论和实例两方面，探讨分析了现行沉降分层总和法修正系数偏高的原因。