拒绝服务攻击下的Euler Lagrange系统的安全控制

研究了Euler Lagrange系统在拒绝服务(denial of service, DOS)攻击其传感通信通道时的安全控制问题.为减少采样资源消耗，本文设计了基于事件触发机制的控制算法.针对DOS攻击活跃期和休眠期两种情况，设计了Lyapunov函数并证明了所提出的基于事件触发的算法能保证Euler Lagrange系统在DOS攻击下的稳定性.最终通过仿真算例验证了算法的有效性.     

预测悬停旋翼跨音速流动的一种组合自由尾流/CFD方法

一种新的组合自由尾流 / CFD方法用于悬停旋翼流动的 CFD解中以考虑实际尾流的作用 .用文中描述的尾流分析方法研究了螺旋尖涡的运动 .首先从广义尾流模型开始 ,用半经验公式模化了涡核对旋翼尾流的作用 ;然后在环量收敛和尾迹收敛的条件下完成了自由尾迹计算 ;最后应用 Jameson有限体积龙格 -库塔推进格式求解了欧拉方程 .所得结果与相关文献和实验数据进行了比较     

电子工作台在模拟电子技术中的应用

本文简要地介绍了电子工作台的特点和使用方法，结合我们设计具体模拟电子线路的实践，说明了电子工作台在模拟电子技术中的应用。     

MAGNETOSPHERIC PHYSICS IN CHINA:2000-2002

This brief report presents the latest advances of the magnetospheric physics researches in China during the period of 2000-2002, made independently by Chinese space physicists and through international cooperation. The related areas cover almost every aspect of magnetospheric physics.     

杆的纵向振动分析

杆的纵向振动是连续系统的内容，一个连续系统具有分布质量，分丰弹性，分布阻尼，杆的纵向振动可用波动方程来描述，是用空间与时间坐标来描述的，运动方程是偏微方程。     

CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。     

论我国公民对政府监督机制的优化

公民对政府的监督是行政监督体系的重要组成部分，它主要包括公民决定政府领导人的去留，举报、检举政府违法行为和进行集体利益表达三种形式。然而，我国目前这三种形式还存在不少问题。扩大和保障公民的民主权利，健全公民的信访举报制度，完善公民的集体利益表达机制，是优化我国公民对政府监督的主要制度措施。     

Riemann积分及其性质的非标准刻画

在非标准扩大模型下，利用内序列族定义了Riemann积分，并在此基础上讨论了可积的条件及积分的一些性质。     

我省高职高专院校图书馆现代技术应用情况调查

目的比较与探讨不同类型高职高专图书馆现代化技术应用情况方法采用自编问卷对部分高职高专图书馆进行调查结果高职高专图书馆情况差异较大二级学院、民办学院处于前列,新高职、高专、职工大学紧随其后,挂靠学院与普通中专正在崛起。     

求解装箱问题的遗传算法

本文提出了两种求解装箱问题（ＢｉｎＰａｃｋｉｎｇ）的遗传算法。一种是简单遗传算法,它采用等长度字符代码编码方法,使用常规的遗传操作算子。另一种是混合遗传算法,它综合运用解装箱问题的ＦＦＤ（ＦｉｒｓｔＦｉｔＤｅ－ｃｒｅａｓｉｎｇ）近似算法和简单遗传算法。试算结果表明,由这两种遗传算法所得到的装箱方案较一些近似算法所得到的装箱方案都要好。