AD与DG_■不相容

Solovay首先假定AD_R与ZF是协调的,然后用内模型的方法证明DC独立于AD。本文进一步探讨AD与相依选择公理之间的关系,我们知道AD蕴涵,但是AC等价于,这里K是阿列夫(Aleph),并且当且仅当,     

实时专家控制系统的知识库组织及求解算法的研究

介绍一个指导转炉炼钢补吹操作的专家系统.着重介绍其知识库的组织结构及相应的推理算法.提出按知识结构分级的知识表示策略及按任务划分组织知识源的方法.建立二次映射求解模型.采用优化求解策略,进行机遇推理,并用手段-目标分析法,并加以启发及元知识指导.使产生式系统具有并行处理能力.从而使系统具有较强的领域适应性.     

摩擦—喷气复合纺纱主要工艺参数的优化

分析了影响摩擦—喷气复合纺纱的主要工艺参数。采用二次旋转组合设计方法,通过实验建立了主要工艺参数与成纱强力的数学模型。并采用惩罚函数法进行优化计算,求得最佳工艺条件,根据优化工艺条件,在摩擦—喷气复合纺纱试验机上实际纺制32tex纯棉纱,纱的实测强力与理论结果基本一致,达到同类环锭纱的80％以上。     

Benfild溶液吸收、再生系统的数学模型分析及模拟策略

根据Benfild溶液吸收、再生系统循环回路及主要单元设备的特点,提出了合并迭代某些系统断裂变量,直至同时收敛的模拟策略。鉴于描述再生过程的微分方程组的边值问题在某些数域内呈严重病态的情况,采用直接搜索法求解相应的非线性方程组,由此避免了离散牛顿法等一类下降型算法对初值及函数光滑性的要求。系统模拟计算中,因采用上述模拟策略可以避免多次计算描述再生塔的边值问题,故整体计算效率优于联立模块法或序贯模块法。     

非线性系统的分层优化预测控制

提出了一种基于分层优化策略和动态最优控制解法的非线性系统预测控制算法,该方法大大减小了在线计算量,使实时控制成为可能.给出了详尽的理论推导,以一个仿真算例证明了算法的正确、可行与有效性.     

CAI课件设计策略

主要从反馈设计、教学模式选择、问题设计和教学活动设计四个方面探讨了ＣＡＩ课件设计中的策略问题     

管道纺纱装置结构的优化

本文对管道纺纱装置的结构进行了深入的研究,提出了在原管道纺纱装置的基础上,将吸风装置绕输纤管道的轴线旋转180°的新方案。以这个设计方案为基础,对其主要的结构参数和主要的工艺参数进行了优化,求得了最佳结构参数和最佳工艺参数。再根据最佳结构参数制造有关零件,装在管道纺纱单头试验机上,以求得的最佳工艺参数为工艺务件,实际纺制28tex 纯棉纱。这个新装置不仅能稳定地纺纱,而且其成纱的缕纱强力与优化计算的结果基本一致。     

马尔可夫过程在物价渡动研究中的应用——策略迭代在考虑钱币损失的经济系统中的实现

本文利用马尔可夫过程理论研究了某货物价格变动的有关規律。这是系列研究的第三部份。     

帕金森病治疗的新策略

以左旋多巴为主的替代疗法仍然在当今临床治疗帕金森病中扮演主要角色。近年来随着现代科技的发展和人们对帕金森病发病的病因和病理的再认识,以神经保护性治疗为主的一些新的治疗方案正日渐成熟并在逐步走向临床,而与此同时另一些新的治疗方案和药物正在不断被提出和研制。可以预期这些新疗法的实施将会为有效地缓解帕金森病病人的痛苦和延缓疾病的进展作为贡献。本文旨的对方面的研究作一介绍。     

支持求解圆形packing问题的两个拟人策略

提出两个拟人策略,在拟物算法的基础上,为具有ＮＰ难度的圆形ｐａｃｋｉｎｇ问题得到了一个高效率的实用求解算法。正面回答了Ｄｏｒｉｔ Ｓ．Ｈｏｃｈｂａｕｍ等人提出的寻求效率更高的启发式算法的问题。