汽车电子ABS控制参数混合逻辑动态自标定研究

采用软硬件协同设计方法,提出基于汽车电子子系统模块化统一建模的动态仿真测试方法.参照汽车电子电控单元参数的匹配方法,提出了基于CCP协议在线调整ABS参数的匹配方法,并从理论上研究了基于MLD(Mixed Logical Dynamical)系统的ABS控制参数自动标定算法.并通过求解MIQP问题为ECU-ABS控制解出一个优化的控制序列.以ABS开发为例进行了说明和测试,对监控标定系统进行了试验,建立了完整的电控参数标定仿真、实验流程.提出的方法对其它汽车电子嵌入式实时软件开发,缩短调试、路试周期具有重要的意义.     

关于扩展的Blum整数

本文讨论扩展的Blum整数的性质,得到一些有用的结论.     

整数环上一元多项式环中两类极大理想的构造

极大理想是交换环中特殊类型的理想,是由交换环构造域的简便方法.通过研究整数环上一元多项式环中某些极大理想的构造方法,给出了任一素数与一次整系数多项式生成极大理想的等价条件,即多项式的首项系数与该素数互质,以及素数2与二次整系数多项式生成极大理想的两个充分条件,使得在此类环中构造及判断某些极大理想的条件较为简便,方法易于掌握.     

恶劣天气影响下动态改航策略研究

将地面等待、空中等待和改航策略相结合,以航班总延误成本最小为目标,引入情景树的概念建立动态改航模型,并利用Lingo进行整数线性规划求解.对上海虹桥国际机场某时间段内从庵东方向进场的航班进行分析,通过与采用静态改航策略、单一的地面等待策略的延误总成本进行比较,验证了模型的有效性.     

基于大整数素因子分解困难性的RSA密码体系研究

本文首先介绍了公钥密码的基本思想,进而主要介绍整数分解问题的基本概念和典型算法,并在此基础上,运用数论和代数的方法对RSA密码体系进行研究,分析其基本原理和安全性。重点研究了对这种公钥密码体系的几种攻击以及应对这写攻击的方法。     

基于模块化思想的TRIZ分块冲突矩阵方法

通过介绍模块化设计在创新设计中的研究及应用,应用模块化核心思想相似特征分析法将TRIZ理论冲突矩阵改进为分块冲突矩阵.根据相似度计算公式对39个普通工程参数做相似计算并得出其相似值;通过对其比较归纳,将39个工程参数简化为15类向量参数,为特殊问题向一般问题转化这一过程提供捷径,同时原先冲突矩阵被分类为225个分块冲突矩阵模块,精简了矛盾冲突分析个数;此改进的优越性在一家美国波音公司改进型737的一个设计方案中得以验证,通过运用分块冲突矩阵方法和原冲突矩阵方法比较,得出最多的矛盾分析个数也只有原先的2/25倍.该方法在产品概念设计过程中具有很大的优势和实际应用价值.     

QFD中用户需求到技术特性的映射方法

针对质量屋存在内在模糊性和不确定性的问题,引入了粗糙集理论中的基本原理.提出了粗糙数的概念,用于得到客观的用户需求重要度排序.将用户需求与技术特性的关联性测度和技术特性自相关性确定问题转化为决策系统中条件属性重要度的确定问题,并结合条件熵与互信息的概念,提出了一种可提高计算精度的属性重要度算法.为了实现技术特性的最优配置,建立并求解以可用资源决策值与目标值的偏差最小为优化目标的整数规划模型,从而实现由用户需求到技术特性的映射.最后,通过推力轴承设计实例验证了所提方法的可行性和有效性.     

关于不定方程组x±1=6pqu2,x2（-＋）x＋1=3v2的整数解

设p,q是互异的奇素数,p≡q≡1 （mod 6）,利用递归序列、Pell方程的解的性质、Maple小程序等方法证明了不定方程组x-1=6pqu2,x2＋x＋1=3v2仅有平凡解（x,u,v）=（1,0,±1）;而不定方程组x＋1=6pqu2,x2-x＋1=3v2仅有平凡解（x,u,v）=（-1,0,±1）.     

关于不定方程sum from j=0 to h((x+j)~n=(x+h+1)~n)的一些结论

本文考虑方程 x~n+(x+1)~n+…+(x+h)~n=(x+h+1)~n的正整数解的问题,得到一些结果,从而进一步缩小了方程可能有正整数解的范围。     

关于广义逆符号唯一阵的三角分块形式

文献《Matricesofsign-solvablelinearsystems》给出了项秩为n的m×n矩阵A为广义逆符号唯一阵的一些刻画,并提出了在特定的三角分块形式下,A