有理数域上一类不可约多项式的简单推广

若a1,a2,…,an是n-1个不同的整数,证明了当n≥4时,f(x)=(x-a1)(x-a2)…(x-an)-1在有理数域Q上不可约;当n≥3时,f(x)=(x-a1)2(x-a2)2…(x-an)2+1在有理数域Q上不可约.     

基于曼哈顿距离构建非参数Q矩阵修正方法

将被试得分、理想反应距离和被试得分异常原理相结合,并加入属性计分下的被试得分特性,开发了用于多级评分情境下属性计分曼哈顿距离法(SA-MD),在不同条件下验证了SA-MD的稳定性和适宜性.通过模拟研究和实证研究表明:(i)从逻辑推导出SA-MD用于多级评分情境下Q矩阵修正更合理;(ii)在多种条件中,SA-MD 均有较优的修正效果,适用范围更广,稳定性更高;(iii)当小样本测验进行Q矩阵修正时,使用SA-MD方法可获得更优的效果.     

租赁设备的状态维修决策建模与优化

随着物联网技术飞速发展,租赁设备大多安装有传感系统,可以及时地对设备关键部件和整体运行状态进行检测,进而可基于设备的健康状态为其安排更为合理的维修方案,在降低租赁商维修费用的同时,尽量少地干预客户的正常施工,并且保证租赁设备在客户施工场所的可靠运行.本文研究了基于状态检测的租赁设备的最优维修问题,研究中引入了顺序状态检测,定义了基于状态的控制限维修策略,并建立了以维修开销最小为目标的解析模型,以决策系统最优的检测间隔和预防维修阈值.除检测、维修等基本费用外,模型中还进一步考虑了租赁系统的故障罚金和故障后维修超时罚金.在模型的求解中,推导了维修干预下设备任意时刻的检测概率和状态概率分布,作为模型构建和求解的依据.数值实验结果验证并表明了面向租赁设备的基于状态的维修策略的有效性.     

中立型分数阶微分控制系统能控性

研究一类分数阶中立型微分控制系统的能控性问题,对系统状态方程的分析,利用拉普拉斯变换通过基本控制系统的基础解给出了控制系统通解的表达式,并且通过构造格拉姆矩阵,研究了控制系统能控性的充分必要条件;最后通过举出一个格拉姆矩阵的计算举例来进行验证。     

具有sn-网的空间

证明了具有σ—点有限sn—网及σ—局部可数sn—网的空间可刻划为度量空间在某些确定映射下的象.     

梯度网络平稳点集合的Hopfield稳定性与吸引域

给出梯度神经网络模型的电路实现 ,证明了网络平稳点集合的全局 Hopfield稳定性。对各个平稳点吸引域的几何估计得到了相关结果 ,这为网络初始输入的数量与方向判定提供了基本的量度参数准则。     

利用有限元法进行塔机起重臂的动态分析

根据塔机起重臂的实际结构 ,建立双弹簧悬吊超静定简支梁的力学模型 ,进行动态分析 ,并以TC80型塔式起重机为例 ,利用有限元方法求解 ,引入梁单元和边界单元 ,得到塔机起重臂的多阶固有频率和主振型 ,其结果对于塔机的动态响应分析具有实际意义     

FortiGate防火墙在图书馆网络安全中的应用

论述了图书馆使用防火墙的必要性，介绍了防火墙的发展过程，指出了传统防火墙的局限性，描述了FortiGate防火墙的性能及其工作模式。     

给水处理系统高效经济运行的生产性评价

研究给水处理系统的高效经济运行技术 ,是保证水厂高效、安全、经济供水的重要措施 .生产运行实践证明 ,采用高效经济方式运行的确可以节约可变费用 .尤其是在冬季低温低浊水的净化中 ,可变费用的节约程度最高可达 2 0 %以上     

物理理论与美的统一

从物理学的概念、定义、定理、定律、公式中，浅谈物理学形式美的基本内容：对称美、简洁美、和谐美和多样统一美。