Minimizing a linear objective function under a fuzzy max-t norm relation equation constraint

The work examines the feasibility of minimizing a linear objective function subject to a max-t fuzzy relation equation constraint, where t is a continuous/Archimedean t-norm. Conventional methods for solving this problem are significantly improved by, first separating the problem into two sub-problems according to the availability of positive coefficients. This decomposition is thus more easily handled than in previous literature. Next, based on use of the maximum solution of the constraint equation, the sub-problem with non-positive coefficients is solved and the size of the sub-problem with positive coefficients reduced as well. This step is unique among conventional methods, owing to its ability to determine as many optimal variables as possible. Additionally, several rules are developed for simplifying the remaining problem. Finally, those undecided optimal variables are obtained using the covering problem rather than the branch-and-bound methods. Three illustrative examples demonstrate that the proposed approach outperforms conventional schemes. Its potential applications are discussed as well.     

蒙古文整词计算机生成理论研究

采用面向对象方法,模拟传统蒙古文整词各种形式构成机理,提出了几种蒙古语整词计算机生成数据模型。文章主要依据整词计算机生成三种模型,探讨了传统蒙古文整词计算机最优化生成理论所涉及的精确度、时间复杂度、空间复杂度三项基本要素以及最优化生成必须考虑的整词复杂特征载荷与一体化合一计算知识表示方法和计算结构,证明了“B - J - T= W”数据模型是传统蒙古文整词计算与生成最优化对象模型。     

关于高校计算机基础课程实验的研究

计算机技术的迅速发展与广泛应用,已使其成为每位高校学生的必修课。计算机基础课程的实验教学具有专业性强、应用性广的重要特点。由于各院系专业多、实验内容、要求不同,怎样加强实验教学,如何科学的设计和组织实验课,将直接影响至计算机实验教学效果和学生动手能力的培养。经过多年的实践,这里总结出一套适应院系计算机基础课程的实验教学的模式,并取得较好的教学效果。     

任务型的教学模式在高职计算机教学中的应用

该文对任务型的教学模式的本质进行了研究,对它加以改进、深化,并将之用于职业教育的计算机教学,取得了好的教学效果。在实践的基础上,该文从基于任务型的教学模式的概念、教学结构和职业教育的现状特点和这一模式具体的实施步骤方面进行了理论上的总结。     

以信息化为中心的数据库课程建设

该文以数据库课程的实际教学出发,结合学院丰富的网路环境及计算机资源,阐述了东软信息学院数据库课程建设的各个重要方面。强调了信息技术及计算机现代化在教学中的作用。     

Robust tracking control design for uncertain robotic systems with persistent bounded disturbances

In this study, a robust nonlinear L_∞‐gain tracking control design for uncertain robotic systems is proposed under persistent bounded disturbances. The design objective is that the peak of the tracking error in time domain must be as small as possible under persistent bounded disturbances. Since the nonlinear L_∞ ‐gain optimal tracking control cannot be solved directly, the nonlinear L_∞ ‐gain optimal tracking problem is transformed into a nonlinear L_∞ ‐gain tracking problem by given a prescribed disturbance attenuation level for the L_∞ ‐gain tracking performance. To guarantee that the L_∞ ‐gain tracking performance can be achieved for the uncertain robotic systems, a sliding‐mode scheme is introduced to eliminate the effect of the parameter uncertainties. By virtue of the skew‐symmetric property of the robotic systems, sufficient conditions are developed for solving the robust L_∞ ‐gain tracking control problems in terms of an algebraic equation instead of a differential equation. The proposed method is simple and the algebraic equation can be solved analytically. Therefore, the proposed robust L_∞ ‐gain tracking control scheme is suitable for practical control design of uncertain robotic systems. Copyright © 2008 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

基于多媒体多智能Agents系统的群体决策支持系统集成化设计研究

分析了Ｄeｓａｎｅｔｉｓ＆Ｇａｌｌｕｐｅ群体决策支持系统（Ｇｒｏｕｐ Ｄｅｃｉｓｉｏｎ Ｓｕｐｐｏｒｔ,简称ＧＤＳＳ）初步设计的通用模式,提出了将多媒体技术、智能Ａｇeｎｔs技术、数据仓库技术Ｉｎｔｅｒｎｅｔ／Ｉｎｔｒａｎｅｔ技术等有机地集成于ＧＤＳＳ的集成化设计方案,并就其关键技术功能结构方案设计进行了研究．     

Distributed Symbolic Bounded Property Checking

In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifies larger models and returns results faster than the sequential version.The core algorithm distributes partitions of the state set to computation nodes after reaching a threshold size. The nodes proceed with image computation on the nodes asynchronously. The main scalability problem of this scheme is the overlap of state set partitions. We present static and dynamic overlap reduction techniques.     

单漂移聚束器的非标准聚束模式

单漂移聚束器标准聚束模式要求粒子注入能量和聚束器漂移管的几何尺寸之间必须满足严格的条件,严重地限制了可聚束粒子的种类。文章论述了采用非标准聚束模式的方法,计算不同粒子在HI-13串列加速器上实现脉冲聚束的可行性。     

计算机维修模拟训练系统的设计与实现

探索了一种在多媒体环境下进行计算机及外部设备维修教学、训练的新方法 ,介绍了计算机维修模拟训练系统的设计与实现 ,给出了主要的设计思想、总体结构及关键技术。