空值环境下的NJD及其推导规则的研究

本文在空值环境下的ＮＦＤ，ＮＭＶＤ强，弱保持条件及相应的推导公理的基础上，讨论了空值环境下的连接依赖的强，弱保持成立的条件及相应定理。同时，讨论了ＮＪＤ在强，弱保持条件下的推导公理存在性问题。     

空值环境下子集依赖（NSD）的研究

为了研究ＮＥＭＶＤ、ＮＥＪＤ的完备的推导公理，因此对ＮＥＭＶＤ、ＮＥＪＤ的研究转向寻找一种新的依赖类的研究。本文给出了空值环境下子集依赖的概念（强、弱保持），讨论了强、弱保持下的自反律、传递律的存在条件，在此基础上用图算法证明了它们关于ＮＳＤ强保持是完备的。     

空值环境下子集依赖的研究

为了研究ＮＥＭＶＤ，ＮＥＪＤ的完备的推导公理，因此对ＮＥＭＶＤ，ＮＥＪＤ的研究转向寻找一种新的依赖类的研究。本文给出了空值环境下子集依赖的概念，讨论了强，弱保持下的自反律，传递律的存在条件，在此基础上用图算法证明了它们关于ＮＳＤ强保持是完备的。     

伪Newton－δ族算法对一般目标函数的收敛性

伪Ｎｅｗｔｏｎ－δ族算法对一般目标函数的收敛性赵云彬（中国科学院应用数学研究所）段虞荣（重庆大学系统科学与工程研究所）ＣＯＮＶＥＲＧＥＮＣＥＯＦＴＨＥＰＳＥＵＤＯ－ＮＥＷＴＯＮ－δＣＬＡＳＳＭＥＴＨＯＤＳＦＯＲＧＥＮＥＲＡＬＯＢＪＥＣＴＩＶＥＦＵＮＣ...     

求解多重子结构的递归算法及其软件实现

求解多重子结构的递归算法及其软件实现崔俊芝，梁俊（中国科学院计算中心）ＡＲＥＣＵＲＳＩＶＥＡＬＧＯＲＩＴＨＭＦＯＲＭＵＬＴＩ－ＬＥＶＥＬＳＵＢＳＴＲＵＣＴＵＲＥＡＮＤＩＴＳＳＯＦＴＷＡＲＥ￥ＣｕｉＪｕｎ－ｚｈｉ；ＬｉａｎｇＪｕｎ（ＣｏｍｐｕｔｉｎｇＣ...     

一种新的求解线性时变系统的数值解法

一种新的求解线性时变系统的数值解法贾磊，孙优贤（山东轻工业学院机电系）（浙江大学工业控制研究所）ＡＮＥＷＮＵＭＥＲＩＣＡＬＭＥＴＨＯＤＯＦＴＨＥＬＩＮＥＡＲＴＩＭＥ－ＶＡＲＩＮＧＳＹＳＴＥＭＳＶＩＡＳＨＩＦＴＥＤＪＡＣＯＢＩＳＥＲＩＥＳ￥ＪｉａＬｅｉ...     

求解初值问题的仿真算法和人工舍入误差的应用

求解初值问题的仿真算法和人工舍入误差的应用李旺尧（中科院计算数学与科学工程计算所）ＯＮＳＩＭＵＬＡＴＩＯＮＡＬＧＯＲＩＴＨＭＳＦＯＲＩＮＩＴＩＡＬＶＡＬＵＥＰＲＯＢＬＥＭＳＡＮＤＡＰＰＬＩＣＡＴＩＯＮＯＦＡＲＴＩＦＩＣＩＡＬＲＯＵＮＤ－ＯＦＦＥＲＲＯ...     

Mo－算法的数值效率

Ｍｏ－算法的数值效率王大麒，李乔祥（中山大学数学系）ＴＨＥＮＵＭＥＲＩＣＡＬＶＡＬＵＥＥＦＦＩＣＩＥＮＣＹＯＦＭｏ－ＡＬＧＯＲＩＴＨＭ￥ＷａｎｇＤａ－ｑｉ；ＬｉＱｉａｏ－ｘｉａｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＺｈｏｎｇｓｈａｎＵ...     

A Fast Hidden-line Removal Algorithm for 3-Dimensional Buildings

ＡＦＡＳＴＨＩＤＤＥＮ－ＬＩＮＥＲＥＭＯＶＡＬＡＬＧＯＲＩＴＨＭＦＯＲ３－ＤＩＭＥＮＳＩＯＮＡＬＢＵＩＬＤＩＮＧＳＱｉｎＫａｉｈｕａｉ；ＴｏｎｇＧｅｌｉａｎｇ；ＺｈａｎｇＮａｎ；ＣｈｅｎＤａｉｌｉｎ；ＬｉＹｕｎｇｕｉ；ＳｈｅｎＷｅｎｄｕＡＦＡＳＴＨＩ...     

求解任意样本集的综合鉴别函数的两步伪逆法

求解任意样本集的综合鉴别函数的两步伪逆法陈自宽（南开大学现代化学研究所）ＦＩＮＤＩＮＧＴＨＥＳＤＦＦＯＲＡＮＹＳＡＭＰＬＥＳＥＴＢＹＭＥＡＮＳＯＦＴＷＯ－ＳＴＥＰＰＳＥＵＤＯＩＮＶＥＲＳＥ￥ＣｈｅｎＺｉｋｕａｎ（ＩｎｓｔｉｔｕｔｅｏｆＭｏｄｅｒｎＯｐ...     

空值环境下NMVD公理系统存在性的进一步研究

由于空值的出现，使ＮＭＶＤ公理系统的存在性更趋于复杂。本文分别讨论了在单一的强，弱保持条件下和强，弱保持的复合条件下公理存在的条件，并进行了相应的证明。     

构件化智能推理机算法的优化设计

针对提高软件复用性的问题,提出了基于一种基于软件构件技术的智能信息系统的体系结构,从而提高了软件的生产效率和软件质量。讨论了智能信息系统中推理机构件的算法设计,并且研究了在知识完全的情况下的推理机算法流程,在对原有算法进行分析的基础上,给出了原有算法需要进行改进的原因,最后提出了算法改进方法。     

用RBF神经网络预测材料力学性能的研究

由于径向基函数(RBF)神经网络有易学,动态仿真性强,较强的输入输出映射功能和全局最优逼近的结构特点,因此将之用于预测麦杆增强复合板材力学性能。高斯函数表示形式简单,径向对称,光滑性好和解析性好,所以模型采用高斯函数作为隐含层基函数,k均值聚类法确定径向基函数的参数,运用最小二乘法确定权值。结合影响复合板材力学性能因素的特点和变化规律,以成型温度、成型压力、纤维含量、保温时间、拉伸强度、冲击韧性等为对象建立预测复合板材力学性能的模型,用它来优化模压成型的工艺参数,找出最佳工艺参数的范围。结果表明,径向基函数神经网络具有较好的学习和泛化能力,在预测力学性能中效果较好。     

A parallel intersection algorithm for vector polygon overlay

A parallel intersection algorithm for speeding the creation of a composite network of polygons whose identities relate to the original polygons from which they are formed in vector geographic information systems (ISs) is described. The algorithm reduces unnecessary intersection checking, especially when polygon density is high. Single-stream and multiple-stream versions of the algorithm are discussed. Experimental results illustrating the overall performance of the parallel algorithm are presented     

一种改进的多重密钥共享的门限方案

给出一种改进的多重秘密共享的门限方案,在该方案中管理者可以安全有效地共享多个密钥,成员可以根据不同的共享密钥计算不同的子密钥。该方案采用知识签名的方法能够有效地抵御管理者欺骗和成员欺骗,具有良好的可扩展性,是安全且高效的。     

基于动态滑模的无死锁时间管理算法

基于新一代仿真体系结构HLA的IEEE1516新标准中的最大有效逻辑时间关键值,讨论最大有效逻辑时间在HLA时间管理中的重要意义,分析其在常规时间推进算法中的实现及死锁的产生,研究并证明HLA时间推进中的4个产生死锁的充分条件,即互斥条件、请求保持条件、不剥夺条件和环路等待条件,提出动态滑模的概念,设计了基于动态滑模的无死锁时间管理算法,对Lookahead的合理设置进行了分析。     

故障特征组合选择方法

特征选择方法主要包括过滤方法和绕封方法。为了利用过滤方法计算简单和绕封方法精度高的优点，提出一种组合过滤和绕封方法的特征选择新方法。该方法首先利用基于互信息准则的过滤方法得到满足一定精度要求的子集后，再采用绕封方法找到最后的优化特征子集。由于遗传算法在组合优化问题上的成功应用，对特征子集寻优采用了遗传算法。在数值仿真和轴承故障特征选择中，采用新方法在保证诊断精度的同时，可以节省大量选择时间。组合特征选择方法有较好的寻优特征子集的能力，能够节省选择时间，具有高效、高精度的双重优点。     

A self-stabilizing algorithm for strong fairness

Self-stabilization is a novel technique to deal with faults in distributed systems. This paper presents a distributed self-stabilizing algorithm for implementing strong fairness in an arbitrary network. A desirable feature of this algorithm is that it can be used to enforce the strong fairness property on any distributed algorithm including self-stabilizing algorithms. In addition, the algorithm does not require any initialization and can withstand transient failures. At the end of the paper such issues as improving the time complexity of the proposed algorithm and the limitations on the efficiency of any implementation of strong fairness are discussed.