BACH:线性混成系统有界可达性模型检验工具

混成自动机的模型检验问题非常困难,即使是其中相对简单的一个子类--线性混成自动机,它的可达性问题仍然是不可判定的.现有的相关工具大都使用多面体计算来判定线性混成自动机状态空间的可达集,复杂度高、效率低,无法解决实际应用规模的问题.描述了一个面向线性混成系统有界可达性模型检验工具--BACH(bounded reacha...     

VC^＋＋环境下利用SQL Server与Object ARX开发智能参数化刀具实体模型库

对VC^ ,SQL Server和AutoCAD相互通讯的技术进行深入研究,在此基础上利用AutoCAD的二次开发工具Object ARX完成了对刀具的参数化生成、模糊化选刀和智能化管理的刀具实体模型库系统的开发。     

毕业生毕业论文(设计)管理系统开发研究

本文选题来源于工作中的实际问题,依托校园网的强大优势,将一年一度的学生毕业论文(设计)管理工作通过互联网技术来实现。本文从系统背景入手,分析了系统开发的必要性,并详细介绍了系统实现的过程和相关技术。提出了具体的实现方法,把师生从琐碎的论文管理工作中解脱出来,具有较强的实用性和科学性,为现有的教务管理系统平台扩充了功能。     

入侵检测系统研究分析

入侵检测是保障现代网络安全的关键技术之一。对于像军队这样对安全要求很高的网络,入侵检测技术以及系统将会起到至关重要的作用。本文对入侵检测的基本概念、方法以及发展趋势进行了分析与研究。     

Robust H∞ control of uncertain linear impulsive stochastic systems

This paper develops robust stability theorems and robust H_∞ control theory for uncertain impulsive stochastic systems. The parametric uncertainties are assumed to be time varying and norm bounded. Impulsive stochastic systems can be divided into three cases, namely, the systems with stable/stabilizable continuous‐time stochastic dynamics and unstable/unstabilizable discrete‐time dynamics, the systems with unstable/unstabilizable continuous dynamics and stable/stabilizable discrete‐time dynamics, and the systems in which both the continuous‐time stochastic dynamics and the discrete‐time dynamics are stable/stabilizable. Sufficient conditions for robust exponential stability and robust stabilization for uncertain impulsive stochastic systems are derived in terms of an average dwell‐time condition. Then, a linear matrix inequality‐based approach to the design of a robust H_∞ controller for each system is presented. Finally, the numerical examples are provided to demonstrate the effectiveness of the proposed approach. Copyright © 2007 John Wiley & Sons, Ltd.     

Fault‐tolerant display image‐data‐manipulation unit for system‐on‐panel

Abstract— Bit‐partitioned and conventional shifts, as well as type transformations of multimedia data, are frequently used for display image‐processing systems. A data manipulation unit with fault‐recovery capability based on redundancies is proposed for system‐on‐panel with low processing technology yield. Utilizing data manipulations that are similar to normal shift operation, a proposed data‐manipulation unit is designed with a few additional paths added to the existing barrel shifter. The design methodologies are verified with FPGA and the performance is evaluated in terms of the advantages.     

基于Internet/Intranet的命令通道机制人人交互与协作系统模型

本文提出了一个降低网络信息传输量、提高交互与协作质量的模型.文中详细描述了模型的组成,并以三个用户节点为例说明了系统的交互与协作过程.最后给出了系统的软件结构图,并说明了各个模块所完成的功能.     

一类非线性系统的分步变换伪线性化方法

给出了单输入非线性系统的分步变换伪线性化方法及其算法。首先将原系统变换为标准型。利用（1）中的算法,可以获得将标准型变换为伪标准型的变换阵T。在第一步变换下,原系统的部分状态已经获得精确线性化,并且分步变换算法比由原系统直接伪线性化的算法简单,单杆倒立摆的计算机仿真表明了该算法的有效性。     

LIGA技术及其在制造可动微结构件中的应用

介绍了将LIGA技术及其与牺牲层技术相结合 ,制造可动微结构的工艺方法。并给出了可实现摆动、转动的可动微结构———微执行器、微传感器和三维加速度传感器的制造过程等应用实例     

基于阶跃响应的非自衡对象预测控制

针对现有非自衡对象DMC算法预测模型不易建立的局限性,提出一种基于非自衡对象阶跃响应的DMC算法。分析与仿真结果表明,该算法对于设定值变化和输入扰动均无控制余差,且预测模型易于建立。