高级检索

  • ISSN 1006-3080
  • CN 31-1691/TQ

2000年26卷5期

显示方式:
下期发表论文摘要预报
2000, (5) .
摘要:
丙二醇甲醚醋酸酯合成研究李 涛* , 杨金根 , 严之光(华东理工大学化学工程系 ,上海 2 0 0 2 37)  摘要 :研究了以浓硫酸为催化剂 ,丙二醇甲醚和醋酸酯化合成丙二醇甲醚醋酸酯的过程 ,考察了醚和酸比例、催化剂用量等因素对反应的影响 ,并选择甲苯为水萃取剂。当丙二醇甲醚与醋酸和甲苯配比分别为 1 .0∶ 1 .1和 1 .0∶ 0 .6( mol∶ mol) ,催化剂浓硫酸用量 w=0 .0 0 5~ 0 .0 1时 ,丙二醇甲醚醋酸酯的收率大于 96%。通过对该反应的动力学研究得到了反应的活化能及反应速率常数。An- g- casein浓溶液在毛细管流动中的粘弹行为董擎之1 …
不确定性条件下的生产调度
顾幸生
2000, (5) :441-446.
摘要:
综述了不确定性条件下生产调度的确定现状,分析了生产调度过程中所存在的各种不确定性,阐述了不确定性的分类,不确定性的数学描述,不确定性生产调度的数学模型,各种调度方法,处理不确定性生产调度的优化方法等,指出了解决不确定性生产调度的有关途径,并对存在不确定条件下生产调度的进一步的研究内容作了展望。
粗糙集理论中新的知识发现方法
卫金茂, 黄道
2000, (5) :447-450.
摘要:
与现有的基于属性简约的知识发现方法不同。本文基于粗糙集合理论定义了两类新的知识发现,即1、2类知识发现(FCKD,SCKD),目的是在知识系统动态变化后,通过减小知识的粗糙度,发现规则中没有的,有决定性作用的新属性,在此意义下改变规则中属性结构,并发现新的规则,定义了两个用发现新属性的算子,给出了两个定理、一个推论及其证明,并通过实例对提出的方法作了说明。
基于关键规则分组优先提取策略的完备化算法及其实现
钱群力, 邵志清
2000, (5) :451-454.
摘要:
在分析现有的完备化策略的基础上提出了关键规则分组优先提取策略,介绍了基于此策略的完备化算法及其具体实现,初步探讨了策略的选择对于提高此类系统演算效率的重要作用。
信息检索中基于链接的网页排序算法
王奇, 宋国新
2000, (5) :455-458465.
摘要:
介绍超链接环境下基于链接的网页排序算法,比较和分析了PageRank算法和HITS算法,指出了PageRank算法更适合于搜索引擎的服务器端,而HITS算法更适合于搜索引擎的客户端,还构造并初步实现了在信息检索中,应用超链接环境下网页排序算法的综合模型。
投影遗传算法
乐慧丰, 俞金寿
2000, (5) :459-461.
摘要:
针对一般遗传算法在求解优化问题的多个优化解时的局限性,结合曲面投影与遗传算法的基本思想,提出了一种基于曲面投影的投影遗传算法用于解决此类问题,数值验证的结果表明了本算法的有效性和实用性。
焦化塔双线性建模及变结构控制
张克进, 俞金寿
2000, (5) :462-465.
摘要:
给出了基于综合优化方法的双线性系统建模和变结构控制设计方法,并将此用于延迟焦化装置,建立了焦化塔双线性模型和变结构控制器,转好地解决了抖振问题,仿真结果表明这一方法是有效的。
沧州大化CIPS工程的管理信息系统实施
侍洪波, 宋钢
2000, (5) :466-470486.
摘要:
在流程工业过程中,人们已在企业管理信息系统的生产调度、管理决策等领域取得了大量的研究成果和成功经验,但它常局限于某个领域和规模分别进行,对CIPS系统集成的总体需要考虑甚少,基于大型化工企业实施CIPS工程的实践活动,总结了一种新型管理信息系统的实施工作。
基于控制周期特征式的线性混合自动化验证
潘国强, 虞慧群
2000, (5) :471-476.
摘要:
提出了一种基于归纳法思想的验证方法,通过控制周期上特性的描述,发现了基于控制周期特征式的线性混合自动机验证方法,这一方法采用定理证明过程来得出归纳证明的结构;采用模型检查方法来得出归纳证明的奠基和迭代步,这一方法同时兼顾了模型检查和定理证明的特点用此定理证明更高的自动化程度解决了单用模型检查不能解决的问题,得出了对著名案例GasBurner问题中的参数3non_leakking≥76的最优范围。
线性混合系统符号模型验证中的参数分析方法
潘国强, 虞慧群
2000, (5) :477-480.
摘要:
说明了HYTECH工具中采用的参数分析方法对系统描述能力的限制,提出了分离参数变量和系统状态变量的符号模型检查算法,并对用HYTECH不能分析的Fischer互斥算法的时钟偏移的界进行了分析。
基于小波网络的非稳态故障诊断方法
成成, 黄道
2000, (5) :481-486.
摘要:
针对现有BP网络在故障诊断中存在的缺陷,提出了利用小波函数构造故障诊断神经元网络,利用变尺度算法进行网络训练,加快了网络的训练速度。并交结果运用到一个CSTR非稳态故障诊断的过程中,仿真实例表明,小波网络较BP网络具有更好的故障诊断能力。
基于回归神经网络的非线性动态数据校核及其应用
刘伯高, 黄道
2000, (5) :487-491506.
摘要:
研究了简化型内回归神经网络基于自适应梯度下降法的训练算法,并提出了一种基于简化型内回归神经网络的非线性动态数据校核新方法,结果表明所提出的方法能够有效地对非线性动态过程进行数据校核,并具有良好性能,与传统的动态数据校核方法相比,所提出方法具有不需要掌握过程本身的精确模型,避免了过程模型误差可能带来的估计误差,不需事先知道测量噪声和过程噪声的统计特性等特点。
基于孤立波的多Agent系统超分布超并行自组织动态任务规?…
顾慧平, 帅黄勋
2000, (5) :492-498.
摘要:
提出一种孤立波的模型和方法,在一群理性的独立自治的Agent间建立超分布超并行的自组织动态任务分配机制,克服现有的多Agent联盟方式存在的诸多不足,通过关于分布式运输调度系统的仿真实验验证了本分配机制的有效性、动态性、开放性和自适应性。
双线性系统状态反馈鲁棒控制的新方法
刘瑞民, 俞金寿
2000, (5) :499-501516.
摘要:
研究了存在扰动的一般双线性系统的非线性状态反馈控制方案及双线性系统进行状态反馈精确线性化的特点,结合线性系统鲁棒控制的研究成果及非线性系统输出稳定理论,给出了一种双线性不确定系统鲁棒控制的新方案,最后给出了设计示例。
IPCA在故障检测与分离中的应用
成成, 黄道
2000, (5) :502-506.
摘要:
基于PCA模型,综合利用T^2检验值,Q检验值和故障补偿等集成化主元分析(IPCA)方法对系统的工况故障和仪表故障进行检测和分离,并对仪表故障进行补偿,该方法既能进行故障检测,又能对不同的故障进行分离。仿真实例表明,这种方法是有效的。
在线挖掘关联规则算法的改进
李琦, 宋国新
2000, (5) :507-511.
摘要:
介绍了由ChristianHidber提出的在线挖掘关联规则算法Carma,提出了该算法的若干改进,减弱了原算法第一步有交易的子集v被插入集合V的条件,同时改进了maxMissed的计算公式,使其计算更为简单。实验证明,以上改进提高了算法的速度。
GA—ANN算法在产品质量估计中的应用
张克进, 俞金寿
2000, (5) :512-516.
摘要:
针对反向传播(BP)算法,径向基函数(RBF)算法的不足,提出了基于遗传算法(GA)确定神经网络构或权值的进化神经网络算法(简称GA-ANN算法)。在产品质量估计仿真研究中表明,该算法不需试凑而取得较好的网络结构和参数。
知识发现中缺损数据的处理(Ⅰ)
卫金茂, 黄道
2000, (5) :517-520.
摘要:
研究了如何在知识发现中处理属性值缺损的问题,通过发现值缺损属性的取值集合,值缺损属性是否为强作用属性以及与其他属性是否相关。不仅解决了对含有缺损数据信息源进行知识发现的问题,同时也说明了对缺损数据处理的意义。
知识发现中缺损数据的处理(II)
卫金茂, 黄道
2000, (5) :521-524.
摘要:
研究了在知识发现过程中处理连续取值属性值缺损的问题。提出了进行连续值划分的“超长方体”划分法。在此基础上 ,通过发现值缺损属性的取值集合 ,值缺损属性是否为强作用属性以及与其他属性是否相关 ,解决了对含有缺损数据的信息源进行知识发现的问题。文中通过处理UCI机器学习数据库中的 COIL数据库 ,说明了本方法是可行的。
知识发现中缺损数据的处理(Ⅱ)
卫金茂, 黄道
2000, (5) :521-524528.
摘要:
研究了在知识发现过程中处理连续取值属性值缺损的问题,提出了进行连续值划分的“超长方体”划分法,在此基础上,通过发现值缺损属性的取值集合,值缺损属性是否为强作用属性以及与其它属性是否相关,解决了对含有缺陷数据的信息源进行知识发现的问题,文中通过处理UCI机器学习数据库中的COIL数据库,说明了本方法是可行的。
受抑全内反射调Q开关原理装置的研究
朱煜, 姚传俊
2000, (5) :525-528.
摘要:
根据薄膜理论基础,分析了受抑全内反射(FTIR)的理论机制,并导出相应的光线透过率及反射率公式,绘制出透射率、反射率随棱镜相对间隙d/λ、入射角θ。的变化曲线。并建立了一套FTIR组合测试原理实验装置,得到了透过及发射光脉冲曲线,通过实验地其特性进行了具体分析。
用构造基证明归纳定理
张静, 邵志清
2000, (5) :529-533.
摘要:
在测试集方法的基础,引入一个新的概念-构造基,用于产生完全的但非冗余的不可归的约基项;提出构造基归纳原理,将显式归纳证明和隐式归纳证明有机地结合在一起。对测试集方法做出了改进,实验表明:这种方法提高了归纳定理的证明效率。
时滞对象的预估校正控制
何衍庆, 陈积玉
2000, (5) :534-538.
摘要:
提出了一种针对时滞对象的预估校正控制方案。讨论了该控制方案的设计思想和特点及实施时的注意事项。
一个基于计算迁移的分布式应用开发和运行环境
汪琴, 张有仁
2000, (5) :539-542580.
摘要:
基于“计算向数据靠扰”的思想,动态地将一个分布式应用中的各个办公活动迁移到关键数据所在的站点运行,以减少网上的数据传输量和实现并行计算,探讨了分布式应用开发和运行环境的设计策略,分布式应用模型、非过程性描述语言和基于软件代理的具体实现策略,为非程序员提供高效的开发和运行企业级分布式应用的软件工具和环境。
构件软件的质量和度量
王欣, 杨根兴
2000, (5) :543-546.
摘要:
描述了构件技术的特点,介绍了度量的理论基础,并提出了一些关于构件软件的度量准则。
混合遗传算法在随机规划问题中的应用
赵莉萍, 王建华
2000, (5) :547-551.
摘要:
以含有机会约束的生产管理动态规划问题为例,基于随机模拟技术的混合遗传算法实现最优化决策,构造了数学模型。采用VB编辑,计算机模拟结果显示该模型能很好解决生产过程中的最优化决策问题,它是简单的基于二进制编码的遗传算法所不能解决的。该算法具有很高的鲁棒性,避免了在局部最优解附近徘徊,且因为随机规划问题要求许多数学知识,而算法本身并不要求对优化问题的性质作一些深入的数学分析,从而对那些不太熟悉数学理论和
罐区计算机监控管理系统的设计与开发
胡如高, 马欣
2000, (5) :552-555.
摘要:
针对罐区的特点,以智能仪表,计算机通信,网络技术为基础,设计了一套计算机监控管理系统,并介绍了该系统的组成,功能,通信过程以及实施效果,该系统结构简单,功能完备,在罐区有广泛的应用前景。
一个面向C++的度量工具的设计与实现
王欣, 沈备军
2000, (5) :556-559.
摘要:
在讨论面向对象度量若干方法的基础上,着重介绍了一个关于度量C++代码的度量工具的设计和实现。
探讨传统客户/服务器应用和Web的结合方法
沈备军, 刘杏菊
2000, (5) :560-563580.
摘要:
提出了传统客户/服务器应用和Web结合的五种模型,对每种模型的优缺点和适用性进行了讨论,且介绍了一个基于Web技术的新一代客户/服务器应用快速开发工具。
LonWorks总线PC智能网卡的研制
翁瑞琴, 凌志浩
2000, (5) :564-567.
摘要:
简述智能网卡的功能需求和基本结构后,从设计目标,电路原理、寻址方式、冲突仲裁几方面详细论述了硬件电路设计,并通过对网络接口软件和网络驱动软件的介绍,阐述了智能网卡通信管理软件的设计,最后,讨论了该智能网卡支持的控制网络和应用系统。
五效蒸发装置模型与仿真
田荣海, 张素贞
2000, (5) :568-572.
摘要:
从机理分析出发,建立了五效蒸发的数学模型,用现场数据对模型进行了校验及仿真研究,结果表明模型是合理和有效的。
计算机基础课程自动考试系统的设计与实现
高雯, 李飞
2000, (5) :573-575.
摘要:
计算机基础课程自动考试系统是在WINDOWS环境下,采用面向对象编程技术开发的计算机辅助教学软件。本文阐述了该系统的构成原理及主要模块的设计与实现方法,给出了系统在研制过程中所需要的关键技术和必须考虑的问题。
计算机X光片骨密度分析系统的开发
梁诚, 高敦岳
2000, (5) :576-580.
摘要:
利用国产设备和自行开发的交互式图象处理及骨密度分析软件实现了通过普通X光片进行骨密度的分析测量。本系统能够敏锐地反映骨密度的差异,同时作为一晨侵入性骨密度测量方法,本系统具有快速、科便,造价低廉等优点,而且应用范围广,易于临床推广应用。