一个推广的Hardy-Hilbert不等式及应用

通过建立权系数不等式,得到了Hardy-Hilbert不等式的一个推广及应用.     

一类不确定非线性离散时滞系统的鲁棒镇定问题

研究了不确定非线性离散系统的鲁棒镇定问题,把不确定非线性离散系统的鲁棒镇定问题转化为严格的线性矩阵不等式,给出了可设计系统无记忆状态反馈控制律的充分条件;当条件满足时设计出无记忆状态反馈控制律使闭环系统渐近稳定,同时得到有界非线性扰动项的最大界值.然后把结果推广到非线性时滞系统,得到了相应的结果.     

人民监督员对"拟不起诉"案件监督若干问题探讨

人民监督员制度是我国司法领域里继人民陪审员制度之后的又一制度创新。作为一项新型制度设计,人民监督员制度试行伊始,就彰显出其强大的生命力和优越性,但仍存在些许问题与不足。为更好地规范、完善人民监督员制度,本文以对“拟不起诉”案件的监督为范例,分析探讨“拟不起诉”案件监督中存在的问题与不足,以及如何进一步完善对该类案件的监督。     

食品菌落总数测量不确定度评定

测量不确定度是对测量结果可疑程度的一种定理表述.为减小实验误差,提高检测精确度,我们分析了饮料中菌落总数测量不确定的来源,评定了由重复性测量的分散性引起的测量不确定度.测量结果显示扩不确定度为0.04%.     

基于信息不对称理论的人力资源招聘工作研究

信息不对称理论有两个博弈结果即信息占优势一方的“败德行为”和信息占劣势一方的“逆向选择”,在人力资源的招聘市场中两者也同样存在。从分析招聘双方的动态博弈过程着手,阐述了信息不对称对招聘工作的影响,并提出了减缓的对策和措施。     

多元不缺项插值基的存在条件及构造算法

运用构造性代数几何方法, 研究由Rⁿ中一组给定节点的信息构造节点子集上的不缺项插值基, 给出了不缺项插值基的存在条件及相应算法.     

权重信息不完全的区间数多属性决策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.     

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

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

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

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