数学规划模型的建模语言（FQL）

对数学规划模型的结构作了深入分析。从纵向揭示了数学规划模型自然、清晰的层次结构；横向又把复合模型分解成若干基本模型，而基本模型又可由决策用户十分熟悉的二维形式加以描述。在此基础上，给出了建模语言（ＦＱＬ）的语法和语义。它除了具有建模能力外，消除了代数形式的索引；更重要的是具有数据库查询和模型操作能力。     

常系数线性中立型微分方程周期解存在唯一的充要条件

本文利用Fourier级数讨论具有常系数的任意阶中立型泛函微分方程的周期解，除一种特殊情况外，我们得到了用有限代数方程组描述的周期解存在唯一性的充要条件，对这种特例，我们也得到了若干实用结果．     

约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

人事档案信息管理软件开发实例

人事档案管理系统软件其功能主要是完成对人事档案数据的录入、用户设置、统计、查询、维护及报表打印等，采用Visual FoxPro数据库管理系统设计完成。充分利用了VFP强大的数据库技术和可视化编程工具，制作了美观大方的界面，完整的用户菜单及相应的功能模块，重点介绍了如何设计数据查询功能并完成人事档案管理中的基本查询操作。     

STABILITY CRITERIA FOR A CLASS OF UNCERTAINSYSTEMS WITH TIME—DELAY

Some stability criteria are obtained for a class of uncertain systems with time-delay usingLyapunov functional and analytic techniques. It is easy to check the criteria by making use of theboundedness of the uncertainties.     

系统功能语法与语篇分析

本文首先讨论了系统功能语法语篇分析的基本理论,包括语言的三大纯理功能及其各自实现的子系统、语篇分析的两个层次以及"语境→语篇→评价("联系语境变量)的分析步骤,并用该模式分析了一个完整的语篇。分析表明用系统功能语法框架对语篇进行分析可以揭示语篇深层含义,可以解释语篇的语义和文体特点。     

三种群捕食-食饵离散系统的持久性

研究了具有第Ⅱ类功能性反应的三种群捕食-食饵离散系统，得到了保证该系统持久性的充分条件．     

基于面向对象技术的教务管理信息系统的设计

从教务信息系统的建设目标出发，针对面向对象技术的特征，设计了基于面向对象技术的教务管理信息系统的功能模块和对象模型。     

自主式交通系统功能架构优化密度峰值聚类算法

自主式交通系统(autonomous transportation system, ATS)是为应对主动式智慧交通发展趋势而提出的新一代交通系统。为科学合理地构建ATS功能架构,提出了一种面向多属性文本的优化密度峰值聚类算法(density peaks clustering, DPC)。该算法结合交通系统功能架构的基本特征,通过改进的词频-逆向文档频率算法与文本向量空间模型,将多属性文本转化成空间维度坐标。再利用高斯函数和决策值优化DPC算法进行聚类,并结合轮廓系数对聚类结果进行评价。为了检验算法的合理性,在ATS道路自动驾驶场景下,基于道路载运工具运行服务域、交通基础设施管理服务域和交通安全管理服务域的功能数据集进行了算例分析,依据聚类结果绘制功能架构图。架构图由自主感知-自主学习-自主决策-自主响应4层构成,验证了ATS应用场景中功能架构优化算法的可行性和合理性。算例结果表明：该算法的构建具有鲁棒性,算例轮廓系数整体均值为0.84,与原算法相比解决了聚类过程中聚类中心难以划定的问题;与原智能交通系统中的各架构设计相比,该功能架构更具有层次性和逻辑性。该优化算法能够促进新一代交通系统...     

具有变时滞的偏泛函微分方程平凡解的一致渐近稳定性

运用Ｒａｚｕｍｉｋｈｉｎ技巧．对两类具有变时滞的偏泛函微分方程进行了讨论．获得其平凡解一致渐近稳定的充分判别条件．