工作流网WRI WF-net的验证方法研究及实现

WF-net是一种工作流模型,合理性是衡量WF-net模型正确性的一个标准,不合理的工作流模型会导致运行错误.但是合理性验证问题是NP-complete问题,妨碍了WF-net的广泛应用.工作流模型WRI WF-net是WF-net的子集,能够直接保证工作流模型的合理性,这样只需确保用户建立的工作流模型符合WRI WF-net的约束,而不需要进行合理性验证.提出一个WRI WF-net的验证方法,能够在结构上验证模型是否满足WRI WF-net的约束,并且阐述了方法的实现.     

等径弯曲通道变形制备超细晶铝合金的组织性能

用等径弯曲通道变形(ECAP)的方法制备出超细晶铝合金材料,并研究了在不同道次条件下其显微组织的演化过程.研究表明,随着强烈塑性变形的增加,显微组织中开始形成大量晶粒尺寸小于1μm的位错胞组织,当其晶界取向差增大时,亚晶粒变为越来越细的板条状组织.当经过8道次ECAP变形后,晶粒尺寸由变形前的约50μm细化为约0.2μm.该超细晶铝合金材料在150℃的退火条件下,其晶粒尺寸稳定在0.2～0.3μm的范围内.在温度为500℃、应变速率为10-3s-1的拉伸实验中,该超细晶铝合金材料的最大延伸率高达370%,呈现出良好的超塑性.     

多层百页窗式挡板三相流化床中液体流动模型

在矩形气液固三相流化床反应器中,采用脉冲应答技术,考察了挡板结构、气液流量、固体浓度对床层液体混合行为的影响.分别用多釜串联模型与轴向扩散模型描述挡板下方区域与挡板段的液体混合行为,应用矩量法及根据实验数据回归,得到了表征液相返混程度的模型参数的经验关联式.     

坚持政治性体现时代性富有创造性--关于高等学校领导班子建设的理论思考

高校领导班子建设是领导班子建设的重要组成部分，是高校党的建设的重要环节，是推动高校改革发展的关键所在。新的历史条件下，高校领导班子建设要坚持政治性，体现时代性，富有创造性，努力把高校领导班子建设成为政治上坚强有力，组织上团结协作，工作上开拓进取，作风上清正廉洁的领导集体。     

微乳模板控制合成磷酸钙盐材料

可以调控和诱导矿化的CTAB／正己醇／十六烷／水和TX100／正己醇／环己烷／水的两个拟三元微乳液体系作为磷酸钙盐矿化的“模板”．利用SEM、TEM、XRD和FT—IR等手段研究了产物的微观结构和组成．结果表明：不同的微乳及微乳中不同的相可以调控产物的形状、结构和大小，而且即使在相同的微乳体系中，由于成核作用的不同也可以导致最终产物的结构的不同．     

纳米光学功能材料Gd2O3:Tb3+的反相微乳合成及发光性能

采用反相微乳液法合成Gd2O3：Tb^3 纳米粒子，对其晶体结构、发光性能和最佳发光离子浓度进行了研究，并且与草酸盐共沉淀法制得的Gd2O3：Tb^3 相比，结果表明，其粒径减小，晶体形成温度降低了近100℃．     

串行红外链路接入协议关键参数的优化

给出了使串行红外链路接入协议(IrLAP)吞吐量最大的关键参数的最优化数值解法．在该方法所得的发送窗口大小和信息帧信息字段长度下，IrLAP的吞吐量大于相关文献中的理论近似结果，并得到发送窗口大小是决定IrLAP吞吐量性能最关键参数的结论。     

采用步进电机驱动的摩擦传动微进给机构

为解决微小型机电系统大行程、高精度进给的问题,设计实现了一种由旋转电机驱动的摩擦传动微进给机构。采用对称预紧设计使加于摩擦传动主支承轴承上的预紧正压力的合力为零、从而减少传动误差。当步进电机采用5万步/转细分驱动时,经减速比为10:1的摩擦传动机构,输出直线位移分辨率可达到0.16μm。位移测试实验显示该摩擦传动微进给机构具有可靠的运动传递性能,系统的位移输出特性基本上取决于所采用的步进电机及细分驱动电路的特性。进给速度可通过改变驱动脉冲的频率调节,机构在高频驱动大位移动作时亦表现出准确的步进特性,可用于小型机电系统的开环进给驱动。     

Banach空间中的各种K可微性

引入了K -Gateaux可微、K -Fr啨ｃｈｅｔ可微、Ｋ -一致Gateaux可微、K -一致Fr啨ｃｈｅｔ可微等概念 ,并讨论了各种K可微性与对应的K光滑性的关系 ,给出一些等价条件。     

机枪系统虚拟样机建模及仿真分析

以某大口径机枪系统为物理样机模型，对联合CAD建模软件Pro／E和动力学仿真软件ADAMS对其进行动力学仿真时的模型传递方法进行了研究，并以此在仿真环境中建立了机枪系统的虚拟样机模型。然后对机枪的自动机动力学和供输弹机构的运动进行了仿真分析，将仿真结果与试验数据进行了比较，并对工作弹簧进行了参数化设计。这证实了将虚拟样机技术引入自动武器研制领域的可行性，并为进一步的仿真工作奠定了基础。