MATLAB在非圆行星齿轮节曲线设计中的应用

以n阶椭圆组成的连续光滑的封闭曲线作为太阳轮的节曲线,依据非圆行星轮系的基本运动关系建立了其配偶内齿圈节曲线设计的数学模型。依据微分几何原理推导出主从动非圆齿轮的节曲线封闭及轮齿均布的判定条件,运用MATLAB语言开发了求解该节曲线设计数学程序,最后导出一种非圆齿轮低速大扭矩液压马达节曲线公式。     

试论水利工程施工阶段造价控制要点

我国的水利工程作为土木工程发展中的一部分,有了新的突破。在水利工程的建设中,相比以往,现在更加注重水利工程施工阶段的造价问题,更加注重以最少的资金投入建设处最好的水利工程,促进我国水利业以及众多相关产业的发展,从而带动交通与经济的发展。     

加强思想政治工作 建设和谐校园

和谐校园建设是和谐社会建设的重要组成部分,思想政治工作是高校各项工作的生命线。在目前建设和谐校园的过程中,思想政治工作既担负着重要职责,也面临着巨大挑战。为适应建设和谐校园的需要,高校思想政治工作必须彻底转变观念,进行工作机制创新。     

软件需求的形式化转换模型

需求规范错误是软件设计错误的一大类。该文提出了一个软件需求的形式化转换模型，用来将软件需求分析直接、自动地转换为形式化描述，为需求验证提供帮助，避免软件在需求规范上可能产生的错误。     

粗糙集理论在水文水资源方面的应用现状及展望

介绍了粗糙集理论的基本原理,及在水文水资源中的成功应用。     

良结构下推系统的可覆盖性问题的下界

良结构下推系统是下推系统和良结构迁移系统的结合,该系统允许状态和栈字符是向量的形式,因而它们是无限的.状态迁移的同时允许栈进行入栈出栈的操作.它“非常接近不可判定的边缘”.利用重置0操作,提出了一个模型可覆盖性问题复杂度下界的一般性证明方法,并且证明了状态是3维向量的子集和一般性的良结构下推系统的可覆盖性问题分别是Tower难和Hyper-Ackermann难的.     

浅析基于大数据的智慧医疗服务

信息技术的飞速发展促使着大数据时代的到来,大数据正在逐渐改变着咱们的生活。同时,大数据在医疗信息化建设中也得到了极大的用途。医疗信息化出现了很大的发展趋向,大数据技术与医疗服务的紧密结合,促进了智慧医疗的发展。     

概率Applied Pi框架下的匿名度分析*

在概率Applied Pi下对安全协议的匿名度进行研究：它在概率Applied Pi进程上定义了metric,以对进程间的相似进行度量;该定义被证明是有效的,因为当两个进程之间的metric为0时这两个进程弱互模拟;基于metric给出了匿名度的形式化定义。最后分析了密码学家就餐问题,用概率Applied Pi对其建模,计算匿名度。     

基于GSPM的安全协议检验工具

介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议,并引进线性时序逻辑刻画了安全协议的性质,用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。以简化的NSPK协议为例,描述了该工具如何验证安全协议,表明GSPM模型和验证算法的有效性和正确性。     

碱锰电池容量设计的合理化研究

采用恒阻放电的方法使LR03碱锰电池正负极同时产生弱极化,使用铂丝作参比电极和Arbin电池测试仪跟踪记录极化数据及极化曲线。在较优的工艺配方条件下,检测了不同正负极及电解液的加入量对LR03电池电性能的影响及正负极极化曲线的变化趋势。并在电池有效容积恒定的情况下,尽量增加电池中活性物质的填充量,设计出合理匹配的电极容量以指导实际生产出性能优良的LR03碱锰电池。同时避免了不必要的材料过剩,降低了成本。