基于PVS的UML类图和序列图的一致性检验

针对UML类图和序列图的一致性问题,在充分考虑了类继承关系、关联关系、类方法的可见性以及类方法的前、后置条件等因素对一致性影响的基础上,给出了判定类图和序列图一致性的必要条件和PVS元理论,提出了一种基于定理证明器PVS的一致性检验方法.在检验UML模型一致性时,把一致性检验问题转化为逻辑定理证明问题.实践表明,该方法对于提高UML模型的可信度,减少系统实现阶段的错误起到了一定作用.     

"二元液系相图"实验中经验操作的数学表达

以杠杆规则为主要依据,对具有最低恒沸点的“二元液系相图”实验中的经验操作进行了详细的数学推导．推导结论与实验结果间的一致性,为实验中的经验操作提供了理论依据．     

变频调速技术在细纱机恒张力控制中的应用

根据纱线长度，用变频器控制细纱机主轴转速，设计了纺纱过程中纱线恒张力控制．程序按照状态变化进行设计开发．实验结果表明，该设计达到设计要求．其产品已投入批量生产．     

基于最小Gibbs自由能原理的铁氧化物气固还原热力学研究

基于最小Gibbs自由能原理建立了铁氧化物气固还原反应的热力学模型,由模型计算结果作出铁氧化物气固还原反应平衡图,与文献中实验数据吻合良好.与常用冶金学教材和热力学数据库中给出的参考数据进行了对比,不同来源的热力学数据差异较大.探究了铁氧化物逐级还原的热力学平衡情况.计算了CO和H2混合气体还原铁氧化物的热力学平衡,推导了平衡时气体总利用率η总 的计算公式,作出了CO和H2混合气体还原铁氧化物的三维平衡图,并与文献中实验数据对比,验证了结果的正确性.     

一种基于室内PC机传输的智能户外电子图文屏设计

介绍了一种利用PC机和单片机的串行口通信功能实现对LED大屏幕进行控制的系统。     

计算机图解法确定掩蔽剂存在下微溶物沉淀的pH值

采用计算机图解法，以副反应系数为主变数，应用Excel电子表格和Origin作图程序进行计算、作图，可以极为简便地确定在掩蔽剂存在下，微溶物开始沉淀时和完全沉淀时的pH值，图形直观明了，具有确定的物理意义。     

基于模糊影响图方法的商业银行信用风险评估

综合应用模糊集与影响图理论建立了模糊影响图方法,将其模型引入商业银行信用风险评估,在确立了商业银行信用风险评价指标体系的基础上,建立了基于模糊影响图的商业银行信用风险评估模型,说明了该模型的有效性.     

改进的NExT-ERA时域模态识别法的误差分析

为进行结构损伤识别,用时域模态识别的NExT-ERA法,从脉动激励和测量噪声下有限时长和时间间隔的结构反应中提取高精度模态参数。改进的相关函数估计公式可消除传统相关估计引起的模态参数误差;利用稳定图对不同系统的阶进行识别,以减小系统定阶误差并选择高精度模态;根据Hankel阵奇异向量、奇值和模态参数的对应关系,分析时域模态识别误差的规律和影响因素。用某三自由度框架和主跨1 650 m的西堠门悬索桥模型验证有效。     

太极的四维图象--大统一的宇宙结构

将<太极图>解析成太极图的四维图象,并根据<周易>的周而复始、生生不息的宇宙法则和现代物理学研究成果构画出太极宇宙模型,同时指出太极宇宙模型的基本特征及特点.根据太极宇宙模型、<周易>原理和现代科学成就提出并描述出大统一的宇宙结构图景,指出"炁天人合一"是易学思想的精髓、太极法则,即宇宙的主体时空观和宇宙的客观本体观的统一.本文提出的太极宇宙模型及大统一的宇宙结构与欧美等国科学家最近提出的循环宇宙、中空宇宙有异曲同工之妙.     

城市生态系统能值利用的相图分析——以乌鲁木齐市为例

为促进干旱区城市可持续发展,以乌鲁木齐城市系统为例,基于2004和2010年统计数据,利用相图法分析得出:2003和2009年系统对不可更新自然资源的利用比例极大,对可更新自然资源利用比例最小;6年间系统对自然资源利用比例下降,尤其对可更新资源利用比例下降显著,为33.84%,而社会反馈投入能值比例上升;两年系统虽都处于可持续发展状态,但可持续发展指数有所下降且均接近下限。欲提升系统可持续发展性能,必须合理调整其能值利用结构。