Aitken-Neville-Newton插值法计算过程的等价性

分析论证了Aitken逐次线性插值公式、Neville算法及Newton插值法在节点逐步增加、多项式次数逐次增加时3个插值公式的每一步都是等价的.     

基于运动连接的机构尺寸误差分析

介绍机构运动分析与误差分析的向量环路线性规划法,分析运用运动分析灵敏度进行误差分析的可能性,提出在机构误差分析模型中用基本运动连接元素(运动副)对尺寸误差进行等价替换,使误差分析向量环路线性规划法在ADAMS中实现.分析仿真过程中在误差等价替换运动连接中引入虚拟速度并逐一进行单步仿真,从而提取误差灵敏度.结果表明,误差分析的等价运动连接替换法实现了计算机辅助分析,解决了向量环路分析计算量繁琐的弊端,使机构误差分析简易可靠.     

第二类与Gamma函数有关的Hardy型不等式的等价条件

引入恰当的参数,运用实分析方法以及权函数的技巧,获得2个与权函数估算及证明最佳常数因子有关的引理,并据此建立了几个关于带参数、最佳常数因子与Gamma函数有关的第二类非齐次核的Hardy型积分不等式的等价条件.同时,得到了几个关于第二类齐次核的Hardy型积分不等式的等价条件.     

不完备市场下分红保险的指数效用定价

分红保险属于保险公司的债务,由于其在设计过程中自带的期权性质将影响保险公司的利润和偿付能力,对它的定价不容忽视.在假定保单持有人的投资组合中,股票价格服从跳跃-扩散过程并假定保单持有人是风险厌恶型,其效用函数为指数函数,运用等价鞅测度的理论,建立了计算保单价值的MEMM模型并给出了相应的定价公式.     

置换群作用于一类映射集的等价类的计数

应用Burnside-Polya计数定理与容斥原理等组合分析方法研究置换群作用于一类映射集的等价类的计数,具体得到循环置换群与二面体置换群作用下的一类映射集的等价类的显式计数公式及其相关的平面环型错排、空间环型错排的计数公式以及组合恒等式,拓展了已有文献的研究结果。     

交互式马尔科夫链上强模拟关系的计算

对随机进程代数模型交互式马尔科夫链(IMCs)上的模拟关系进行研究,根据不动点定理和权函数的定义,给出交互式马尔可夫链模型上强互模拟等价和强模拟前序的判定算法,对算法的时间复杂度进行分析.     

基于决策树等价的CBTC列控车载TSM监控曲线测试案例约简方法

针对传统组合测试在CBTC列控车载TSM监控曲线中产生覆盖无交互作用参数组合的冗余测试案例问题,提出了一种基于决策树等价的组合测试案例套件自动约简方法 .首先,结合t-way参数覆盖的组合测试案例及其输出构造捕获被测系统行为的数据集,并采用CART算法将数据集推理出决策树;其次,设计了改进的组合测试案例约简算法,利用决策树结构等价和误分类等价关系约简冗余的组合测试案例;最后,利用约简算法在CBTC列控车载TSM监控曲线功能上进行了实例分析,相关实验结果表明,该方法可以达到高达74%的约简率,同时约简前后,测试套件的低层次组合覆盖率和故障检测能力基本一致.     

空值环境下XML函数依赖的研究

空值环境下的XML函数依赖是XML数据库理论和应用中的一类新的问题.本文首先给出空值环境下XML全树元组等价、全树元组相容、元素节点相等、元素节点相容和元素节点等价等概念,根据XML树型结构本身的特点.给出了空值环境下XML函数依赖的两个满足条件.     

均匀杂交算子的搜索能力分析

遗传算法(GAs)是通过模拟生物进化的“适者生存”、“优胜劣汰”过程,通过向自然学习来达到解决实际问题的目的。迄今,这类算法已被广泛地应用。然而,遗传算法的数学基础还有待完善,人们对其搜索机理的认识还不够全面。本文目的在于用代数的方法将遗传算法的搜索空间(二进制编码空间)分解成若干等价类,然后讨论均匀杂交算子在这些等价类之间的搜索能力。     

自行车再也不会被偷啦

<正>波尔是智利的一名大学生,闲暇时,他喜欢和同学们骑着自行车出去游玩。自行车既方便,又能锻炼身体,实在是一种很好的交通工具。但是,骑自行车出行,有一件最苦恼的事儿,那就是担心车子被偷。尽管准备了锁,人离开前会小心锁住,却丝毫不能阻止偷车贼。没办法,自行车小巧轻便,即使锁住,也能被人轻易抱走。有一次,波尔骑着自行车到郊区游玩,上个厕所的功夫,自行车就无影无踪了,他不得不碾转几里路打车