Knowledge-based decision support system for tool management in flexible manufacturing system

Tool management is not a single, simple activity, it is comprised of a complex set of functions, especially in a flexible manufacturing system (FMS) environment. The issues associated with tool management include tool requirement planning, tool real-time scheduling, tool crib management, tool inventory control, tool fault diagnosis, tool tracking and tool monitoring. In order to make tools flow into/out of FMS efficiently, this work is aimed to design a knowledge-based decision support system (KBDSS) for tool management in FMS. Firstly an overview of tool management functions is described. Then the structure of KBDSS for tool management and the essential agents in the design of KBDSS are presented. Finally the individual agents of KBDSS are discussed for design and development.     

多参数等变分歧问题在A(Г)的一个子群下的通用开折

定义了等变分歧问题中左右等价群A(Г)的一个子群A1(Г),并分别给出了多参数等变分歧问题关于A1(Г)的开折分别是平凡和通用的充要条件.     

基于决策树的入侵检测的实现

决策树是分类的常用方法.文章针对一个局域网上模拟的入侵检测问题,描述了对利用决策树方法学习的一种优化实现.并且对怎样处理缺失数据、连续属性的离散化、怎样剪枝以及分类法的准确率评估及提高等关键技术进行了研究.实验证明,该方法可为入侵检测系统生成有效的决策树.     

关于可分群的一些结果

两个可解子群或超可解子群的乘积不一定是可解或超可解.本文利用弱拟正规子群的概念,获得了可分群的一些新结果.     

不确定SMDP基于全局优化的鲁棒决策问题

考虑半马尔可夫决策过程（SMDP）在一些系统参数不确定，且性能函数依赖于这些参数时的鲁棒决策问题。这些参数的不确定性不仅导致等价无穷小生成子的不确定性，也导致性能函数的不确定性。论文针对相关参数的情况，分别采用不同的全局优化算法，即填充函数法和模拟退火算法，进行鲁棒控制策略求解。仿真实例说明，全局优化方法的使用保证了平均准则和折扣准则下的计算结果之间当折扣因子趋近于零时的极限关系成立。     

基于多目标决策的集装箱物流通道研究

给出集装箱物流通道的定义.以乌鲁木齐到鹿特丹集装箱物流通道为研究对象,按不同运输方式的组合,将其分为2种径路,再根据具体的差异细分为6条线路.确定3个评价指标,应用多目标决策的模型,对6条线路进行综合优化评价,分析通道存在的问题,并提出优化建议.     

几类群的混合自由积分解

讨论了有限实现群的混合自由积分解问题,证明了所有有限实现群皆可表示为其生成元个数不超过2的若干子群的混合自由积,并给出了 SL_n(Z)的具体的分解定理.     

局部紧致拓扑群中的共轭比序列

弱内自可靠群或［ＩＡ］群是一类重要的局部紧致拓扑群，是包含可靠群（当然也包含交换群，紧致群）在内的一大类拓外群。［ＩＡ］群上的调和分析已有许多进展，［ＩＡ］群的刻划，判别已成为极其重要的问题。作者曾用组合方法与集合论方法，提出共轭比序列的概念，并证明了判别［ＩＡ］群的一系列充分必要条件。在此基础上对共轭比序列的一致收敛性进行更进一步的研究，从而又获得一个［ＩＡ］群的充分条件。     

关于P—adic域上单代数群的限制根系

利用实半单纯非紧致李代数的Satake图,可以给出实半单纯非紧致李代数的限度根系的理论并进行计算。类似地,本文利用p-aeic域k上单代数群的k-指标,讨论了p-apic域k上单代数群的限制根系并进行了计算。     

有限群的弱c-正规子群及其性质

称群G的子群H为G的弱c—正规子群，如果存在G的次正规子群K，使得G=KH且K∩H≤HG，其中HG=∩g∈gH^g，本讨论了弱c—正规子群的性质并给出一个群为可解群的一些条件。