仅用1表示数的最少个数

设n为正整数,f(n)是可以用1以及任意多个 号和×号(以及括号)来表示n时所用1的最少的个数.本文确定了n在若干情形时f(n)的值,改进了参考文献的部分结果,并提出了若干新的猜想.     

基于不规则二阶树的多尺度表示和多尺度建模

多数现象或过程具有Markov性,对在不同尺度上拥有对同一目标进行观测的多传感器系统,利用Markov过程的条件独立性,提出了不规则树的新概念,建立了动态过程基于不规则二阶树的多尺度表示方法,给出了确定多尺度模型中各种参数的具体步骤,并通过计算机仿真实验验证了所建立的动态过程基于不规则树的多尺度表示方法和多尺度模型的有效性与实用性.     

铁路信号域形式化方法研究

铁路信号系统作为安全关键系统。它的失效可能带来灾难性的后果或重大经济损失，因此，安全关键系统的软件开发对可靠性和安全性的要求非常苛刻，而需求分析及描述是软件生命周期的一个重要环节，它所确立的系统逻辑模型是设计和实现目标系统的基础，提出了一种适合于计算机处理的铁路信号域知识的形式化表达方法，希望代替以往继电器接点电路表示的逻辑关系处理方式。     

一维连续系统的哈密顿——雅可毕方程

给出了一维连续系统的拉格朗日函数和哈密顿函数的表达式，得到了一维连续系统的哈密顿一雅可毕偏微分方程，定义了一维连续系统哈密顿主函数．选用一组正交基函数来表示系统的刚度和惯性分布，依此用连续系统的哈密顿一雅可毕方程研究了一维线弹性杆的轴向振动，并由初始条件和边界，最后得到了弹性杆轴向振动的解。     

论文写作技巧——计量单位和符号

1．文中涉及的量和单位应按《中华人民共和国法定计量单位》规定执行,并用规定缩写符号表示。2．每一个组合单位符号中,斜线不得多于1条,如每天每千克体重用药剂量应写成mg／（kg．d）。     

扩展声源全变分规则化二维稀疏DOA估计方法

针对空间扩展声源的稀疏波达方向(DOA)估计问题,提出一种全变分规则化的二维DOA估计方法(简记为2DTV-CES)。首先利用扩展声源的空间分布成组性和声源相关性特征建立扩展声源模型;然后,通过构建二维广义阵列流形及其过完备表述,实现声源的稀疏表示;通过定义二维全变分,构建二维全变分正则项,实现对于声源结构特征的几何约束,促进解的分段常数轮廓的形成;最后结合全变分正则项与一般LASSO构建二维全变分稀疏DOA估计模型,由凸优化求解。理论分析表明,与传统二维DOA估计方法相比,所提方法避免了去相关处理、角度配对的步骤。仿真实验验证了方法的有效性,在涉及扩展源的DOA估计中,2DTV-CES方法性能明显优于一般LASSO方法和改进的ESPRIT方法,检测概率超过95%,实现了对扩展声源的二维波达方向的高精度快速估计。     

任意大于25的偶数的一个性质

证明了每个大25的偶数都能表示两个素数的和，并且表示的方法种数为：Dp（N）≥2k－3。     

采场模糊渗流定解问题的可表示性

采空区气体模糊渗流问题由模糊偏微分方程所描述，模糊微分方程是未知函数及其导数与已知模糊函数或者模糊常数的条件等式。方程解的模糊性是由已知模糊函数或模糊常数所引起的。当已知函数或常数为区间值函数或区间数时，相应的方程为区间微分方程，由于模糊函数或模糊数的截集为区间值函数或区间数，通常，模糊微分方程的解是利用模糊函数或模糊数截集所对应的区间微分方程解通过表现定理给出。由于模糊微分方程的解必须是模糊函数，如果通过表现定理给出的模糊微分方程方程的解是模糊函数，则称方程的解是可表示的，本文在给出模糊微分方程解的可表示定义同时给出了解的可表示判定条件，并且证明了有采空区气体模糊渗流定解问题的可表示性。     

基于抽象语法描述的中间表示技术

中间表示技术是高质量可重定目标编译器开发中的关键技术。针对嵌入式软件危机 ,提出了一种基于抽象语法描述的中间表示技术 AIR。AIR以代数数据类型为主体 ,并用面向对象特征对其进行扩展。在这种中间表示技术中 ,通过使用不受限制的高级中间表示 ,可充分利用现有的前端。通过这种语法能对现有中间表示提供自然编码的抽象中间表示 ,提高了编译成份的可复用性和互操作性 ,简化了编译基础设施的建构 ,进一步实现了高质量编译器的快速开发     

一类线性关系确定方法的证明

线性代数中 ,向量间线性关系的确定是一个很重要的问题。其中包括向量间的线性表示 ,极大无关组的确定等等。本文对文献 [1 ]中给出的确定向量间的线性表示及用极大无关组表示的一类方法 ,做出理论上的证明。