Atomic Electronic Contract Protocol Based on Convertible Signature

A new class of atomicity, namely contract atomicity is presented. A new technical strategy based on convertible signature and two-phase commitment is proposed for implementing atomicity of electronic contract protocol. A new atomic contract signing protocol is given out by using EIGamal like convertible undeniable signature and commitment ofconversion key, and another new atomic contract signing protocol is brought forward by using RSA based convertible undeniable signature scheme and commitment of conversion key. These two new protocols are proved to be of atomicity, fairness, privacy, non repudiation.     

杨庄煤矿塌陷湖水资源勘查计算

通过对塌陷湖的实地勘查,运用水均衡原理,计算出该湖可供开采的水资源,认为该塌陷湖可作为淮北市供水后备水源地之一。     

广义线性系统的输出反馈和极点配置

研究了广义线性系统的输出反馈和极点配置问题。引入“正常化”概念,从而推导出类似于正常线性系统有关输出反馈和极点配置问题的一些重要结论。     

滚动轴承疲劳故障的在线监视和诊断技术

本文研究振动诊断方法在滚动轴承疲劳故障在线监视和诊断中的应用。 文中指出:通过在轴承寿命试验机上所作的大量试验发现,当轴承疲劳后,在作为其二次效应的振动信号中,除存在已为国内外学者指出并广为使用的“通过频率(又称冲击振动发生间隔频率)”和“高频冲击脉冲”两种信息特征外,还存在另一种位于中高频段的鲜为人知的重要信息特征——某“高频峰群”。 本文对该高频峰群的形成机理、影响因素及检测方法进行了初步研究,并利用这种新的信息特征研制了“以带通滤波器或以精化信息特征DDS模型谱分析法为主体的两种轴承疲劳故障在线监视和诊断装置。     

钢坯磨削温度的若干试验研究

通过使用“可磨式”人工热电偶进行的不同条件下的磨削温度测量试验研究了钢坯磨削工件表层温度,结果表明钢坯被磨削表层温度分布与热强呈三角形分布时的理论分析结果相同,表层峰值温度随磨削压力及磨削功率增大而提高,且随工件进给速度提高而略有降低,峰值温度还随磨削角度减小而提高,90°磨削的峰值温度比0°磨削要低250℃左右,砂轮种类也对峰值温度有重要影响,使用锆刚玉砂轮时磨削温度低于棕刚玉砂轮,试验结果表明高效钢坯磨削的磨削区温度远比普通磨削为高,可达1200℃左右,还从不同方面探讨了磨削高温对钢坯磨削的影响,认为尽管磨削高温有若干不利影响,但对高效钢坯磨削却是重要条件,上述讨论,从一个方面揭示了钢坯磨削机理,并验证了关于钢坯磨削温度的理论分析结果。     

基于频域降采样和CNN的轴承故障诊断方法

在工业领域,设备运行过程中采集的原始故障信号具有强噪声以及多工况的特点,现有的基于数据的轴承故障诊断模型的抗噪能力与泛化能力相对较弱。针对以上问题,提出一种基于频域降采样(down-sampling)和卷积神经网络(CNN)的轴承故障诊断方法 Ds-CNN。频域降采样包含最大偏移降采样和噪声横截断两个部分,可以实现样本增强,降低样本在频域的差异性,同时减弱噪声对频域信号的影响。基于频域信号建立的CNN模型能够自动提取降采样后频域信号的故障特征,并完成对轴承故障的识别分类。实验结果表明,在强噪声环境和多工况条件下,与目前常用模型相比, Ds-CNN具有更高的识别准确率。     

多需求点间车辆调度模型及优化算法混合求解研究

为解决多需求点间同时集送货问题,建立考虑需求拆分和转运的车辆路径模型.在模型中,加入车辆装载量动态变化约束、节点可多次访问约束和需求可拆分转运约束,提高问题的普遍性.在模型的优化算法中,算术、蚁群优化算法混合求解.通过算术蚁群算法嵌套优化模式,外层算术优化算法得到配送车辆的任务量,内层蚁群算法优化路径,并将结果反馈给外层算法继续更新求解,直至达到终止条件.同时,添加概率系数、增加算子位置更新公式和更新动态禁忌矩阵对混合算术蚁群算法改进,增加解的多样性,提高算法的求解效率.最后通过实例验证并与混合鲸鱼算法等比较,改进的算法解决本文问题效果更好.     

球面子流的一个余维可约化定理

设Ｓ＾ｎ＋ｐ（１）是ｎ＋ｐ维单位球面,Ｍ＾ｎ 紧致子流形,本文从两个方面推广了Ｙａｕ「Ａｍ．Ｊ．Ｍａｔｈ。,１９７４,９６：３４６;１９９５,９７：７６」证明的一个余维可约化定理。     

组合合成阵的不可约性

本文讨论了布尔矩阵的组合合成的基本性质,用图论方法找出了２级组合合成阵为不可约的一些充分条件。