微光夜视仪伏安特性研究

测量了一代微光夜视仪式－安特性,分划亮度－安幸事关系和辐射照度－安培关系。并以此确定夜视仪的最佳工作状态,判断故障情况,指导正确使用方法。     

一种基于分划思想的Hilbert曲线快速编码算法

Hilbert曲线是多维结构降维的重要手段,在多维索引结构和图像处理等方面有着广泛的应用。传统的Hilbert编码是通过复制部分Hilbert曲线,运用旋转等操作完成整体结构,时间复杂度为O（n^2）。通过对Hilbert曲线基本特征的研究,本文提出了一种新的基于分划的Hilbert编码方法,新算法的时间复杂度为O（nlogn）,本文最后通过实例 对算法进行了分析。     

Agent技术在程序设计智能教学系统中的应用

讨论了Agent的相关概念及其通信机制,并将多代理技术运用到程序设计智能计算机辅助教学系统中,该系统能根据学生的认知水平和学习兴趣确定教学过程中采用的基本教学策略,从而实现个性化学习和智能化教学。     

偶图的周长

设Ｇ是以（Ａ，Ｂ）为顶点二分划的偶图，ｄ（ｘ）＝ｍｉｎ｛ｄ（ｕ）｜ｎＡ｝＝ｋ≥２，λ＝ｍｉｎ｛ｄ（ｕ）｜ｕＡ＼（ｘ）｝≥ｋ，２≤｜Ａ｜≤λ，｜Ｂ｜≤λ＋ｋ－２，则Ｇ的周长为２｜Ａ｜．     

命题时态逻辑的分划式扩充

在ＰＴＬ（ｐｒｏｐｏｓｉｔｉｏｎａｌ ｔｅｍｐｏｒａｌ ｌｏｇｉｃ）上加入一个Ｕ算子的自然拓广－２分划算子，便导出了Ｗｏｌｐｅｒ－Ｖａｒｄｉ－Ｓｉｓｔｌａ之ＥＴＬ（ｅｘｔｅｎｄ ＰＴＬ）的一个完全的子逻辑，它有更简洁的语法及公理系统、更好地判定算法等，是研究有限状态并发程序的一种理想的规范语言。     

基于实数编码遗传算法的改进支持向量机

提出了一种基于实数编码遗传算法的改进支持向量机.针对二进制遗传算法求解分类问题的3点不足之处,提出了改进算法.该算法在问题的约束中引进核函数,将问题映射到高维空间,成为线性问题后求解,从而使算法不仅适合解线性问题,也适合解非线性问题;引进Reduced SVM思想,仅用数据集的1%～10%的样本信息就能求出分类问题的分划超平面,从而大大降低了问题的复杂性;最后采用实数编码的遗传算法求解,节省了两次编码-解码转换所占据的运行时间.给出了算法的迭代步骤,数值实验表明该改进的算法是有效的,理论证明该算法确实是收敛的.     

T-S模糊系统输出反馈控制器的稳定性分析与设计

输出反馈控制是T-S模糊控制系统设计的一种重要方法．本文提出了一类由模糊状态观测器和模糊调节器构成的输出反馈控制器稳定性分析和解析设计的新方法．为了减小稳定性分析的保守性和难度,本文充分利用了模糊规则前件变量模糊隶属度函数的结构信息,对前件变量采用标准模糊分划的T-S模糊系统输出反馈控制器进行了研究,获得了一些新的稳定性条件．然后采用平行分布补偿法(PDC)和线性矩阵不等式方法(LMI),研究了该类输出反馈控制器的解析设计方法．通过一个非线性质量块-弹簧-阻尼器系统输出反馈控制器的设计和计算机仿真,验证了本文方法的有效性．     

提高ADA可重用程序部件可靠性的两种方法

建立可重用程序部件库是克服“软件危机”,提高软件生产效率的有效途径之一。主要从避错方法和容错技术两方面入手,详细阐述了提高ADA可重用程序部件可靠性的方法。     

算法及其时间复杂度可同步形式化推导的方法

对在长期的算法研究中提出的PAR方法和PAR平台引入时间谓词加以扩展,不仅可以形式化推导出顺序查找和二分查找问题的算法程序,而且这两个问题关于时间复杂度的递归方程式也可同步且自然地推导得到.这为开发并验证高效率的算法开辟了一条新途径.     

修正的G(o)del逻辑系统中子代数的广义重言式理论

将修正的G(o)6del逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在G-的序稠密子代数中给出F(S)关于┓同余的一个分划.