基于语义可串行性的锁协议并发控制算法

为实现语义可串行性调度而提出的基于两段锁协议的并发控制算法无法保证所得到的历史具有可恢复性，为解决该算法的可用性问题，利用并发控制和恢复的统一模型给出一种基于两段锁协议的并发控制算法。     

社会主义经济制度伦理的建构

经济制度与伦理的结合研究有助于社会主义经济制度的建立和完善,有助于推动社会主义的制度创新.文章主要从伦理学的角度探讨了经济制度问题,着重对社会主义经济制度伦理的建构原则及其建构的三个层次进行了探讨.     

模糊时滞系统的稳定性

文章考虑了T-S模糊模型的指数稳定性和模糊观测器的设计问题,利用模糊观测器的状态反馈和矩阵不等式技巧,给出了闭环系统指数稳定的充分条件.     

虚拟环境中三维贴体衣片的设计

介绍了在虚拟环境中利用鼠标和三维空间交互球选取并控制人体模型上的点，将之作为三维衣片边界上的点，结合相应的数据结构，得到三维衣片轮廓线的点、边、衣片结构，接着利用插值的方法生成边界内的点，然后Delaunay三角化，生成衣片的三角面片，并将之演示出来。本文的创新点主要有以下几方面：开发了一个三维衣片设计系统，该系统集成了一套小型虚拟现实系统(小型立体显示观察系统和三维空间交互球)，在该系统生成的三维虚拟环境中，设计者可以引入由美国(10)公司三维人体测量系统生成的真实人体模型，在此基础上自由设计三维衣片，该系统提供了一些交互手段，使设计者可以像在真实三维环境中设计衣片一样，提供了直观的设计效果，该系统是用VC 6．0和opengl开发的；介绍了一种新的插值方法，利用这种特定的方法，可以得到符合人体且具有一定空隙量的贴体三维衣片；对Delaunay三角化生成的三角衣片，进行了改进，去掉了位于三维衣片凹边外的部分，从而得到了完全符合衣片设计轮廓的三维衣片。     

Reliable fuzzy control with domain guaranteed cost for fuzzy systems with actuator failures

The reliable fuzzy control with guaranteed cost for T-S fuzzy systems with actuator failure is proposed in this paper. The cost function is a quadratic function with failure input. When the initial state of such systems is known, a design method of the reliable fuzzy controller with reliable guaranteed cost is presented, and the formula of the guaranteed cost is established. When the initial state of such systems is unknown but belongs to a known bounded closed domain, a notion of the reliable domain guaranteed cost (RDGC) for such systems is proposed. For two classes of initial state domain, polygon domain and ellipsoid domain, some design methods for reliable fuzzy controllers with the RDGC are provided. The efficiency of our design methods is finally verified by numerical design and simulation on the Rossler chaotic system.     

可拓神经网络在可拓专家系统中的研究与应用

将可拓学理论、人工神经网络和专家系统技术有效地组合与集成,建立了基于可拓分析与神经网络的空中目标识别专家系统,并将其应用于防空作战指挥信息系统空中目标识别。着重阐述了基于物元的知识表示方法以及空中目标识别专家系统的设计思路、总体结构和工作原理。     

基于UML的武器装备体系需求描述

为克服用户和分析设计人员间的交流障碍,保证武器装备需求的正确性和可操作性,在给出武器装备体系需求分析过程的基础上,分析了利用UML对武器装备体系进行需求描述的方法和步骤。以海上目标监视与打击体系为例,给出利用UML中的用例图、类图、活动图、协作图对体系顶层需求进行描述的方法。结果表明利用UML进行需求描述可确定为满足需求所需的关键系统及其相互关系,描述过程完整、易于理解和操作。     

2-D连续-离散系统的平衡模型降阶

基于局部能达性与局部能观性的分析给出2-D连续-离散系统状态空间模型的平衡实现,这一实现的第i个状态分量的重要性由系统的能达、能观阵的第i个对角元素所度量,去掉平衡实现系统弱能达、弱能观的部分,从而得到2-D连续-离散系统的模型降阶。所给示例表明,该方法具有良好的降阶效果。     

基于仿真的复杂武器系统测试与评估

测试与评估是武器系统采办过程的一个重要组成部分，但由于武器系统复杂度不断提高，以及在费用、采办周期、安全等方面的限制，使得传统的方法已经不能满足新时期采办的需求。分析了现有的测试与评估方法存在的问题，将建模与仿真技术与传统测试方法相结合，阐述了基于仿真的测试与评估原理，提出了基于仿真的测试与评估过程模型。     

地理信息系统与作战仿真的集成

分析了地理信息系统和作战仿真的共性以及地理信息系统对作战仿真的作用，提出了地理信息系统与作战仿真三种集成方式即独立模式、嵌入模式和无缝集成模式，以及三种集成模式的基本框架，并分析了各种方式的优缺点。最后讨论了集成的关键技术并对二者的集成进行了展望。