权重信息不完全的区间数多属性决策GRA方法

针对属性权重信息不完全,且属性值以区间数形式给出的多属性决策问题,提出了一种灰色关联分析的决策方法。该方法依据一般的灰色关联分析方法的基本思路,给出了解决属性权重信息不完全的区间数多属性决策问题的计算步骤。其核心是通过构建并求解一个单目标最优化模型,得到每个方案与正、负理想方案的关联度,进而计算出每个方案与正理想方案的相对关联度,即可得到所有方案的排序结果。最后给出一个数值例子,结果表明该方法简单、有效并易于计算。     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.     

基于RBF神经网络的结构可靠度分析方法

蒙特卡罗模拟是目前结构可靠度分析中最准确有效的方法,但因其计算量太大、效率低而受到很大的限制,特别是对于大型复杂结构的功能函数不能被明确表达的情况.鉴于此,在蒙特卡罗重要抽样方法的基础上,提出了利用RBF神经网络替代原结构功能函数的RBF-蒙特卡罗方法,以提高工作效率.RBF神经网络训练样本的选取则由均匀试验设计确定,以提高样本的代表性并大幅减少样本数量,从而加快网络的训练过程,加强网络的逼近能力.算例分析表明,该方法不但能最大限度地减少结构有限元分析次数,而且有满意的计算精度,具有实际应用价值.     

基于广义粗糙集的不确定条件下的Flow Shop调度

在实际生产调度过程中，加工时间的不确定性是普遍存在的，因此引用广义粗糙变量来表示不确定的工件处理时间，定义粗糙加法运算，precision以及ratio，建立了处理时间不确定性的FlowShop调度问题的精糙规划模型，提出了粗糙遗传调度算法将其应用于调度模型的求解，仿真实验证明了算法的有效性。     

基于不对称边界的变精度粗糙集的参数选择

不对称边界的变精度粗糙集是Pawlak粗糙集、变精度粗糙集的推广,在l和u参数作用下,使粗糙集模型更加一般化,完善了近似空间的概念。基于不对称变精度粗糙集模型研究的基础上,提出了分类质量和依赖度的方法对不精确信息进行度量,对决策表进行约简。在l,u值的选取,提出了单参数控制的方法,通过l,u-质量图分析和计算验证了方法的有效性。     

浅谈土工格室在路基不均匀沉降处理中的应用

本文首先阐述了土工格室及其各种力学性能,接着对土工格室的加固原理进行分析,最后结合工程实例对土工格室在路基不均匀沉降处治中的应用进行了探讨.结果表明,土工格室能有效解决路基的不均匀沉降问题.     

基于80C196KC的大功率微弧氧化电源控制系统的研究

针对镁合金表面处理对参数调节和效率的要求,研制了大功率微弧氧化电源控制系统,该系统以80C196KC为核心,对整个系统的动作程序和工艺参数进行控制,电源实现了双向不对称脉冲输出和在大电流、高电压工况下主要参数的一定范围调节.硬件电路与软件设计中采用有效的抗干扰措施,使整个控制系统稳定、可靠.实验结果表明,该系统可以满足微弧氧化工艺的要求,实现微弧氧化的自动化.     

工业锅炉的发展与节能环保

随着能源消耗的急剧增长，环境污染日趋严重，能源的合理利用和环境的保护已越来越受到关注。而锅炉和环境的保护密不可分，从锅炉的本体结构、水循环方式、燃烧方式和锅炉新技术等方综述了工业锅炉的发展与节能环保的关系，并对工业锅炉的发展趋势进行了展望。     

pH计指示电位滴定法测定陈醋中的总酸及其不确定度评定

采用传统方法酿制的陈醋由于自身成分复杂，色泽黑紫，采用普通指示剂酸碱滴定法测定总酸，终点颜色变化易被其本色掩盖。文章采用pH计指示电位滴定法进行测定，具有设备简单、操作简便、精确度高等优点，减少了人为因素带来的影响。     

高精度DFT分析的非均匀采样实现

从数字信号处理的基本原理出发，给出了谐波泄漏产生的根本原因，指出实际工作中的傅立叶分析都是对非均匀采样序列进行的；如果能有效地逼近理想整周期采样序列，即使是非均匀采样，也可以提高谐波分析的精度．计算机仿真结果证实了这种分析的正确性．