基于口令锁生成动态组密钥的整盘加密方案

针对整盘加密模式在实际应用中系统较难维护和密钥管理困难的问题,采用基于口令锁的双层密钥获取结构,应用动态组密钥和安全参数的秘密拆分与门限接入等技术,提出一个基于逻辑口令锁生成组密钥的整盘加密方案。该方案可以实现多用户独立接入,且无需保存磁盘密钥。理论分析和实验结果证明其具有较高的安全性,性能优于同类方案。     

可调自适应三角网格的细分曲面造型方法

为了研究一种简单的有效的细分曲面方法使生成的曲面不仅光滑而且可调,提出了一种面向三角网格的可调自适应细分曲面造型法,该方法通过在传统的Loop细分模式中加入形状控制因子以使生成的曲面形状可调,同时引入二面角作为控制误差来判断相邻三角形夹角是否满足给定的阈值,以此实现自适应细分过程。模拟算例结果表明,该方法不仅能用较少网格获得性能良好的曲面,而且可以通过选取不同的值调整生成曲面形状,满足工程需要。     

用PLC改造龙门刨床电气控制系统

本文介绍了利用可编程序控制器（PLC）对龙门刨电气控制系统进行改造的应用实例,用PLC控制器编程来替代龙门刨床的继电接触控制系统。同时对龙刨床的直流拖动部分也做了相应的改造设计,即利用直流可调电源替代交磁扩大机系统。     

怎样通风更顺畅？ 玩转一体式散热机箱

一体式散热看起来是个有趣的设计．它把光驱架设计为一拉到底,并配合可调整位置的硬盘架．使得前置风扇的位置变得更加灵活。恰好笔者近日购买了一套航嘉暗夜精灵Ⅱ一体式散热机箱．在安装调试时有一些体会,与大家共同分享对一体式散热设计的感受。     

时间约束Petri 网的可调度性分析方法研究

在系统地研究了时间约束Ｐｅｔｒｉ网的基础上,提出了一般的状态可达性分析方法。通过讨论任意拓扑结构ＴＣＰＮ′ｓ的可调度分析,克服了以往ＴＣＰＮ′ｓ可达性分析方法的局限性,显示了该方法的准确性和实用性。     

时间约束Petri网的可调度性分析研究

1 引言时间约束Petri网(Timing Constraint PetriNets,TCPN’s)是具有广义时间约束的Petri网,它综合了时间Petri网)(Time Petri Nets)和赋时Petri网(Timed Petri Nets)的共同特点,具有经典Petri网的理论基础和额外的时间约束能力。在实时系统建模中,它可对其它与时间有关的Petri网所不能描述的冲突结构进行建模和分析。TCPN’s使用弱触发规则,即:使能的变迁可触发也可不触发,完全由调度者决     

一种面向模型的动态架构及其支撑平台

为了让应用系统能够灵活地动态演化以适应用户需求的变化,提出了一种面向模型的动态应用架构.该架构以生成的框架对象实例来调度各应用构件的工作,在框架层解释模型与构件间的引用和交互过程.通过把用户业务需求这一抽象概念具体化为可直接操控的模型,给出一种面向模型的动态架构演化技术.为支持这一架构,设计并实现了一个支撑平台IPmis,为具有动态调整能力的应用系统的开发和运行提供了可视化的集成环境.在此平台上完成了医疗保险集成系统的开发,系统满足了随用户需求变更动态可调的需要.     

长泰抽水蓄能电站水泵水轮机基本参数选择

规划中的福建长泰抽水蓄能电站水泵工况最高扬程接近900m,电站拟总装机1800MW。该文结合近些年国内外超高水头抽水蓄能机组的研究成果,从能量、稳定、空蚀等性能指标以及机组结构的合理性、电站建设的经济性等入手,论述长泰抽水蓄能电站采用300MW两级可调可逆式机组的可行性及合理性,进而提出水泵水轮机预期参数。     

基于仿真方法的任务集可调度性判定工具

针对含有纯周期任务的任务集可调度性判定问题,提出一种基于仿真方法的任务集可调度性判定工具。通过设定时钟变量,模拟任务调度过程中的系统时钟,在时钟变量值增长的过程中,根据任务优先级从高到低的顺序,分析各个任务的截止时间限,判定任务集的可调度性。实例分析证明了该工具的可调度性判定结果正确。     

可调刚度弹性机器人关节研究与设计

为了实现腿式奔跑、跳跃机器人在高速运动中的变速无源运动和提高机器人运动能效性,提出了一种可调刚度弹性被动机器人旋转式关节设计方案.关节采用平面非接触涡卷弹簧作为弹性元件,由小功率伺服电机驱动支撑杆调节平面非接触涡卷弹簧的有效工作长度,最终实现改变关节的旋转刚度.对平面非接触涡卷弹簧进行了有限元弹性大变形仿真分析,并制造出实验样机.试验表明:所设计的可调刚度弹性被动机器人关节性能良好.