嵌入式实时软件需求规格说明的原型化检测方法

提出了一个检测嵌入式实时软件需求规格说明的方法,该方法将原型化方法,可执行的需求描述语言和动画显示集成为一体,并可模拟执行嵌入式实时软件的需求规格说明,此外,也阐述了这个方法的基本原理和某些实现方法,最后,讨论了这个方法及相关的支持环境的特点。     

自适应有限元方法及其在ANSYS软件中的应用

自适应有限元方法是一种能通过自适应分析自动调整算法以改进求争过程的数值方法，它以误差估计和自适应网格改进技术为核心，是一种高效率，高可靠性的计算方法，本文对工程中应用广泛的h－加密和p-改进方法进行了研究，并结合通过有限元分析软件ANSYS，对适应有限公司在其中的实现，计算效率和可靠性进行了探讨。     

多媒体数据库语义检索的系统原型

提出了一种多媒体数据库语义检索原型MSFRP。介绍了系统原型设计及其多媒体对象分割匹配技术，设计了多媒体对象语义模型，描述了模糊推理检索方法。MSFRP实现从特征层到语义层的多媒体数据检索，有效支持多媒体数据库的复杂查询应用。     

基于多媒体数据库的数据挖掘系统原型

提出了一种多媒体数据挖掘的系统原型 MDMP.介绍了 MDMP原型构件和开采函数 ;描述了挖掘处理与知识表示 ,讨论了多媒体数据特征立方体构建及在线分析挖掘 OL AM机制 .MDMP用于从多媒体数据库中挖掘出隐含的用户感兴趣的知识 .     

基于多视点的快速原型化方法的研究

提出了一个结合多视点的快速原型化方法,该方法及其需求定义过程主要使用视点和视点模板来定义用户的需求,从而提高了需求规格说明的可读性和可审查性．此外,本文也讨论了这个新方法的特点和今后需要解决的问题．     

定速风力发电机模型参考自适应控制

在对定速风力发电机建模的基础上,设计了模型参考自适应控制器,并进行了跟随性能和抗干扰性能仿真,仿真结果表明自适应控制器的自适应能力很好.     

基于自适应相位匹配量子计算的求核算法

在经典计算环境下,粗糙集的核属性求解只能逐个验证属性,而量子计算则提供了一种并行计算的可能。经分析,量子计算中的Grover算法适用于粗糙集的核属性求解,但经典Grover算法及Grover算法的一些变体都不能总以100%的概率获得目标分量。该研究首先提出一种将固定相位角度改为由目标分量占比决定的自适应匹配相位角度的改进策略;然后将改进策略应用于粗糙集的核属性求解,提出了一种基于自适应相位匹配量子计算的求核算法。通过理论证明和仿真实验,该算法总能以100%的概率得到粗糙集的核属性,其效率相较于传统求核算法有着平方根的加速。     

代理服务器吞吐量的估算法

Web代理服务器必需能够准确地预测网络的性能，以便制定正确的压缩策略，及时、准确地提取所需数据。当前有一些可用的预测方法，它们各有利弊。在对它们进行分析和实测的基础上，肯定了一种比较好的方法——自适应估算法。     

面向对象的软件原型化可操作模型OPM

基于OMT(Object Modeling Technique),面向软件原型化领域,提出了可操作模型OPM(Object-Oriented Prototyping Modeling)。OPM是在对象模型OM(Object-Model)之上的一种二维的模型化方法,纵向,功能对象的APO抽象与继承的自顶向下模型化机制;横向,功能对象的有穷状态机中,状态对象的AKO抽象与继承的逐步细化的模型化机制。OPM通过当前状态对象的转换、消息授受来描述系统行为,原型化深度通过上述二维的对象模型化粒度来刻划,并给出了OPM应用的具体例子。     

基于规格说明的面向对象软件原型开发

提出了一种基于规格说明的面向对象软件原型开发方法．规格说明分为结构部分和行为部分．结构部分利用了面向对象开发方法ＯＭＴ的直观可视的表示和分析设计规程；行为部分利用类ＣＣＳ的表示文法和形式验证机制，使得规格说明及其求精结果由一致的语言表示，且在同一的形式框架构成的原型上进行行为分析．并且通过一个实例说明了此方法的特点     

多频信号的自适应随机共振检测方法

针对系统输入端待测信号为低频与中高频情形,分别建立了多频信号的自适应随机共振检测方法,即通过分析待测输入信号的频率特性和信号并行输入个数,对于低频信号,固定步长,自动调节系统参数;对于中高频信号,利用外加周期信号的频率,选取合适的测量指标来衡量随机共振现象的发生,并且寻求最优系统参数,在随机共振输出信号频域中提取待测信号的频率.与传统的自适应随机共振信号检测方法相比,采用色噪声,更符合实际背景,更精确地提取待测信号的频率.仿真结果与分析的一致,表明方法有效可行,有良好的应用前景.     

利用分支定界法解决MPS任务分配问题

应用简单的判定树法进行ＭＰＳ任务分配，其结果一般不是最佳的。本文使用分支定界法解决该问题。使得多处理机系统的负载均衡，任务并行程度，运行效率，资源利用率和降低不同处理机间的进程通信开销等方面的综合性能达到最优。     

基于DCT系数大小关系的自适应JPEG隐写

JPEG图像是最流行的隐写载体之一,但隐写分析的最新进展表明,如何设计安全的JPEG隐写算法仍是一个困难的问题.本文提出了一种新的JPEG自适应隐写方法.自适应隐写难点在于设计失真函数合理反应修改量化DCT系数造成的嵌入失真.由于量化DCT系数绝对值的大小能够反应JPEG图像主要统计特性,本文根据DCT系数大小关系设计失真函数,结合STC（Syndrome Trellis Codes）编码,分别给出了使用nsF5修改方式的单层嵌入方法以及使用加减一修改方式的双层嵌入方法.实验表明,本文单层嵌入方法比nsF5安全性高,双层嵌入方法比nsF5以及Filler’s Method抵抗多种检测的能力更强.     

降低OFDM符号峰均比的自适应交织方法

针对正交频分复用（OFDM）系统传输的符号具有很高峰值平均功率比的问题，提出了一种自适应交织方法，该方法采用门限控制技术，对经过K-1路交织器后符号的峰均比进行白适心控制，将待传输符号的峰均比降低至特定门限下，致使某些传输符号的峰均比小会出现最佳状态，但均满足峰均比门限，以提高很小的峰均比（≤0．5dB）作为代价，达到降低系统复杂度并且有效降低OFDM符号峰均比的目的．仿真试验结果表明：采用自适心交织万法比传统K-1路交织器方法町减少使用60％以上的交织器，同时可使OFDM系统传输符号的峰均比降低2．5dB。     

确定延迟时间的平均比容方法

提出了一种新的方法，平均比容方法，用于讨论并计算时间序列重构的延迟时间，本文以Ｒｏｓｓｌｅｒ和强迫Ｂｒｕｓｓｅｌａｔｏｒ吸收子为例，给出了计算结果。     

污染环境中毒物对生物种群的影响

本文应用数学生态学理论研究污染环境中毒物对生物种群的影响，提出了一个更合理的符合实际情况的数学模型，建立了一些具有广泛生物学实际意义的关于种群持续生存和灭绝的数学判别准则。     

土壤覆盖条件下水,汽,热运动的数值模拟

本文建立了一种使用交替方向隐式有限差分法（ＡＤＩ）来研究条带状覆盖情况下二维土壤水热流动的计算模型，该模型使用土壤表面能量平衡方程来确定热和水流的土壤表面的边界条件，讨论了模型中所需要输入的参数，并且经ＣｈｕｎｇＳ－Ｏ等人试验进行了验证，为评价地下水资源量提供可靠的依据。     

非自治Kolmogorov种群模型的定性分析

研究非自治Ｋｏｌｍｏｇｏｒｏｖ单种群模型的定性性质，在非常一般的假设下建立了解的有界性，持续生存性，灭绝性，稳定性以及周期情形下正周期解的存在性和稳定性的一系列判别准则，改进和推广了文（１－２）的结果。