过程式语言的动态部分求值技术

提出了一种应用于过程式语言的动态部分求值技术，并实现了一个类如ＰＡＳＣＡＬ语言的部分求值器。     

L属性文法属性求值器的自动生成技术

提出一种Ｌ属性文法ＬＬ（１）属性求值器的自动生成技术。该技术充分利用Ｌ属性文法和ＬＬ（１）分析方法的特点，节省了属性求值器的存储空间，扩展了语义规则的描述能力，且实现了一个基于该技术的属性求值器自动生成系统。     

行列式值的矩阵分块计算方法

利用行列式性质给出行列式值的矩阵分块计算方法,简化了行列式求值问题.     

一类无穷积分的求值公式

本文应用含参变量积分的方法,给出了一类无穷积分的求值公式.     

能带梯度的推导

导出了能带梯度的具体表达式，解决了Ｓｈａｎｋｌａｎｄ的内插方法扩展到包括能带梯度时，能带梯度的求值问题。     

运用拉普拉斯变换求广义积分的值

无穷限型广义积分值的确定，可以用原函数或留数等方法，但常出现不易求值或方法失效的情况。本文通过运用拉普拉斯变换提出了一种简便的求广义积分值的方法。     

二阶动力学系统部分特征结构配置设计的完全参数化方法

考虑了一类二阶动力学系统的部分特征结构配置问题,其目的是设计比例加微分状态反馈律,该控制律只配置开环系统的部分特征值及其特征向量,而保持其余特征值及其特征向量不变.在可控条件下,给出了状态反馈增益阵和闭环系统部分特征向量矩阵的一种简单、完全参数化表达式,其所含自由参数向量和待配置的特征值均可看作该方法提供的设计自由度.该参数化方法直接基于原系统矩阵,故其简单性为系统设计提供了便利.数值例子表明了所提部分特征结构配置参数化方法的有效性.     

回归分析方法及其在物理化学中的应用

物理化学中各种各样的数据图表提供了变量之间复杂关系的直观表示,对于减少冗繁而艰涩的计算以及某些变量的快速求值,都起了很大作用。然而,随着科学技术的发展,我们研究问题的范围越来越宽,考虑的因素也越来越多,涉及到的数据资料量又十分浩大,许多问题用手工或旧式计算工具已无法解决,而必须依赖于电子计算机。但是,用电子计算机解     

一种构造多项式求解特征值问题的方法

提出了一种利用线性方程组的解构造多项式,通过求解该多项式的根从而获得矩阵部分特征值的方法,并给出了这一方法的计算过程,该方法易于编程实现,数值算例表明,对于求解低阶或者高阶低秩矩阵的特征值是一种非常有效和准确的方法.     

对单原子的局域操作实现原子纠缠态的纯化

提出了一个利用原子与腔场相互作用实现原子纠缠纯化的方案,并将该方法推广到多原子部分纠缠的情况.计算结果表明,对不同原子数的部分纠缠态,纯化的概率都为2b2.该方案的主要优点是只需引入一个辅助腔场,然后进行局域操作就能实现原子的纠缠纯化,这在实验上是简单可行的.     

采用多任务稳健主成分分析的运动目标分割

提出一种多任务稳健主成分分析方法,用以结合多视觉特征实现运动目标分割. 给定由多类型特征矩阵描述的视频数据,将它分解为低秩和稀疏部分,其中的稀疏部分对应于运动目标. 该矩阵分解过程是一个凸优化问题,通过用ALM方法最小化核范数和`2,1-范数的约束组合. 与仅利用单类型特征的方法相比,本文提出的方法能够结合多类型特征,因此可获得更加精确可靠的结果. 对HumanEva和Change Detection两个数据集的实验表明了该方法的有效性.     

Adomian分解法求二维非线性Volterra积分方程数值解

针对一类二维非线性Volterra积分方程,提出Adomian分解法,用Adomian多项式代替非线性部分,进而得到Adomian级数解。同时讨论级数解的收敛性,证明该解在一定条件下是收敛的,并给出Adomian级数解的最大绝对截断误差。算例表明了该方法的可行性和有效性。     

战骨茎石油醚部分的化学成分研究

为了研究战骨茎石油醚部分的化学成分,将战骨茎质量分数为70%乙醇提取物依次用石油醚、乙酸乙酯和正丁醇充分萃取,用硅胶柱色谱、葡聚糖凝胶柱色谱反复对石油醚部分进行成分分离、纯化,通过波谱方法鉴定结构,从战骨茎的石油醚部分共分得4个化合物,分别为木栓酮(Ⅰ)、β-谷甾醇(Ⅱ)、熊果酸(Ⅲ)、β-胡萝卜甙(Ⅳ).其中化合物Ⅲ首次从该植物中分离得到,也是首次从该属植物中分离得到.     

带部分投资收益的风险模型的破产问题

研究了一类带部分投资收益的风险模型,得到了该模型的破产概率的一般表达式以及破产概率所满足的积分方程.同时定义出调节系数,得到该模型下破产概率的上界,最后应用鞅的方法,得到破产概率的另一个上界.     

带部分风险投资的风险模型的破产问题

引进了一类带部分风险投资因素的风险模型,得到了该模型的破产概率以及破产后与破产前瞬时的盈余分布的递推表达形式,还用鞅的方法证明了该模型的盈余折扣过程是收敛的,由此得到了破产概率的上下界的表示.     

基于韦伯二值感知特征的指纹活性检测

基于韦伯二值感知特征的局部描述符,提出一种指纹活性检测方法。该方法包含两部分：根据韦伯定理提取视觉感知特征的局部二值差分激励,以及从中心对称像素对提取梯度方向特征的局部二值梯度方向。在2011年和2013年指纹活性检测竞赛的数据库上,使用支持向量机分类器对提取的特征向量进行训练和测试,实验结果表明了该方法进行指纹活性检测的有效性。     

一种新型变压器绕组变形检测装置的设计与实现

基于CY7C68013设计了变压器绕组变形检测装置,并详细介绍了该系统的具体硬件实现方案以及关键部分的设计方法.样机测试表明,该变压器绕组变形检测装置具有实时性好、可靠性高、精度高以及响应快等优点,而且容易实现.     

基于特征绑定的ASM人脸检测研究

近年来,人脸检测识别方法得到飞速发展,基于ASM特征的识别方法因具有定位精度高而得到广泛应用。然而,当相邻两个特征点位于不同器官时,使用该方法时特征点间会产生连带效应。本文提出基于特征绑定的ASM人脸检测算法,克服了传统ASM方法存在的连带效应。由于使用该方法不需要直接检测完整的人脸,因此其对人脸偏转、部分人脸遮挡、用户佩戴眼镜等情况有较高的准确性和鲁棒性。     

特征树为双星的哈林图的反魔幻性

对特征树为双星的哈林图的反魔幻性进行研究.依据图的结构把哈林图分成3部分,按照顶点标号和单调递增的顺序依次对每部分的边给出标号,证明了特征树为双星的哈林图是反魔幻图.该标号方法也可应用于简单图或者在结构上能够分解的一些图的标号.     

煤气发生炉放散蒸汽回收再利用的开发

本文主要介绍了两段式煤气发生炉生产的多余的蒸汽利用方法,以满足不同季节公司使用需求,即对该部分排放的蒸汽进行了回收利用,降低了成本,又保护了设备,使之在安全状态下运行。