来自多尺度分析的R iesz基

不采用正交化方法,给出了来自多尺度分析的R iesz小波基的具体形式以及小波基母函数ψ(x)与尺度函数φ(x)的关系.建立了基于这种R iesz基的分解与重构算法.     

基于Simulink的多涡卷迟滞函数序列混沌系统仿真

介绍了Simulink的建模与仿真步骤,根据迟滞函数序列混沌系统的数学状态方程,设计了基于Simulink平台的仿真模型,并对模型进行了动态仿真,给出了相应的仿真结果。这种仿真方法具有模型搭建灵活、输出结果直观等特点。     

甲基丙烯酸叔丁酯的原子转移自由基聚合

分别以对氯甲基苯乙烯和α-溴代丙酸乙酯为引发剂,联二吡啶和N,N,N′,N″,N″-五甲基二亚乙基三胺为配位剂,在氯化亚铜的催化作用下,使甲基丙烯酸叔丁酯(tBMA)进行本体聚合.用凝胶渗透色谱跟踪聚合物的相对分子质量变化,发现不同引发剂与配位剂对聚合反应速率有明显的影响.根据体系中的ln([cM0]/[cM])变化与聚合反应时间成线形的关系,证明tBMA的聚合过程在实验范围内符合原子转移自由基聚合(ATRP)反应规律.利用ATRP的反应特点,改变引发剂与单体tBMA的配比,可将聚甲基丙烯酸叔丁酯(PtBMA)的相对分子质量控制在所需范围内,并保持PtBMA的相对分子质量分布≤1.2;同时用核磁共振氢谱对产物的结构进行表征,结果表明所得聚合物PtBMA的结构明确.     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.     

典型模糊PID控制器的插值算法及参数优化

推导出了输入采用正规模糊集、三角形、全交迭的隶属度函数;推理输出采用PID形式的典型模糊PID控制器的插值解析表达式,揭示了其本质特征,为实际应用提供了一种快速精确的控制算法。基于该插值解析表达式,研究了利用遗传算法对这一类模糊控制器进行参数优化的方法。最后通过仿真实例验证了本文方法的有效性。     

可重构装配线多Agent系统实现机理研究

柔性和重构能力是现代制造系统的核心性能需求。以某汽车变速器装配生产线为研究背景,应用多Agent制造机理实现装配线的柔性和重构问题。在基于产品族功能分解原理与重构线柔性结构设计基础上,构建了基于多Agent制造案机理的系统体系结构及结合系统柔性与重构特征的Agent协商与合作机制。研究了面向多Agent系统通讯过程实现的本体建模方法并构建了重构装配线本体模型,实现了基于本体的系统通讯过程。最后在Zeus环境中实现了多Agent系统平台。     

厄米-高斯光束通过硬边光阑光学系统变换的近解析传输公式

将硬边光阑门数函展开成复高斯函数,利用高斯光阑的ABCD矩阵形式,应用于厄米-高斯(H-G)光束,推导出了H-G光束通过内含硬边光阑的近轴ABCD光学系统的场分布的近解析传输公式,并与Collins公式计算结果比较,说明所得的解析结果的应用和优点.     

扩展的小增益定理

把接受瞬时信号的系统成立的结论推广到接受持久信号的系统,一直是鲁棒控制的基本问题,也是一个难题。在接受持久信号的系统中,很多原有的接受瞬时信号系统成立的结论都不成立了,因此大量的概念、定理需要改进。目前虽然对于一般的H∞函数和H∞不确定性模型来说,定义频域的概念已取得了一些成果,但是对于小增益定理的改进还是很少。基于此,应用H-∞1函数空间修改了小增益定理,给出了一个扩展的小增益定理。并且讨论了它的应用价值。     

基于FTP协议的文件上传和下载

本文简要说明了FTP的概念和功能，并对有关FTP的API函数的用法以及使用API函数实现客户／服务器之间的文件传输进行了比较深入的探讨。     

卡诺图在逻辑函数化简与运算中的应用

卡诺图是逻辑函数的一种表示方式，对于逻辑变量个数不多于5个的逻辑函数的化简和运算，采用卡诺图法具有直观简便的优点，故得到广泛的应用。本文介绍一种卡诺图的快速填充方法，以及卡诺图在函数化简和运算中的应用。