产品设计知识的表示与重用技术

通过研究知识工程(KBE)技术在产品设计中的应用,根据产品设计知识的形式对其进行归类,利用面向对象的方法表达产品的总体参数、零件的独立参数、设计经验及规则,采用框架结构表示产品的结构配置树,将设计知识存储到模型库、数据库和规则库中.把编写好的KF(Knowl-edge Fusion)类加载到产品模型,并根据新设计条件和约束来驱动产品设计.最后,通过观光电梯的应用实例验证设计知识的重用.     

连环替代法在产品结构问题上的运用探讨

连环替代法是经济活动分析中常用的一种基本因素分析方法.像产品结构类似复杂的问题也可以用最基本的连环替代法的程序予以解决,尝试把结构这一隐藏在数量指标中的因素分离出来,然后逐项因素连环替代,实现严格运用该方法分析各种经济问题的目的.     

完备格上的拟-t-模及蕴涵算子的直积和直积分解

进一步讨论完备格上的拟t-模与剩余蕴涵算子,研究了它们的直积与直积分解,最终得到了直积分解的充要条件,解决了一个关于模与蕴涵算子的直积分解问题.     

基于灰度和梯度不变矩的人脸识别

提出一种新的人脸识别方法———灰度-梯度共轭不变矩法,克服了传统方法的缺点,在不增加复杂度的前提下,将灰度信息和梯度信息有效地结合起来,并将其共轭分布反映的纹理特征作为对灰度特征的补充参与特征分类.同时,对经典不变矩组进行分析并改进,消除了离散状态下比例因子的影响.以BP网络作为分类器进行试验,结果表明,与传统方法相比,该方法具有更高的识别率.     

抓住奥运机遇,加快青岛海洋旅游发展

青岛作为一个拥有得天独厚海洋资源的旅游城市,面临着2008年北京奥运会唯一伙伴城市的良好契机,在海洋旅游产业的发展方面有着巨大的优势与潜力。尽管如此,青岛在“海”的文章上始终做得不够。本文首先分析青岛发展海洋旅游产业的优势与劣势,在此基础上,再分析如何利用好此次奥运机遇,加快青岛海洋旅游产业的发展。     

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.     

几类对角占优矩阵的Hadamard积的性质

得到了几类对角占优矩阵的Hadamard积及Hadamard方的一些性质.     

立体阵乘积的性质

讨论了立体阵的各种表示形式和两个立体阵相乘的各种性质.说明了立体阵的乘积在适当情况下可以转化为普通矩阵乘积并讨论了立体阵的乘积与矩阵半张量积的关系,是普通矩阵乘积向立体阵乘积的推广.     

东南亚旅游业务纵深发展论

就东南亚旅游业务发展的现状、存在的问题、发展的趋势等进行了研究和探讨,并对东南亚旅游未来的发展提出了建议。     

右群的nil-扩张的半格的半直积

给出了两个半群的半直积为右群的nil-扩张的半格的充要条件．