CFSM模型的有限自动机语义

研究CFSM模型的自动机语义,提出了一种从CFSM到自动机转换的算法。该算法的核心思想是构造一个包含控制自动机、输入自动机、输出自动机的有限状态自动机系统,利用自动机的同步性模拟CFSM的异步行为。本文的工作为进一步利用自动机理论和工具对CFSM模型进行分析和验证奠定了基础。     

利用加锤摆精确测量重力加速度的方法

通过对物理摆周期的计算,得出可倒摆为物理摆的特例.对不同密度的加锤摆进行理论分析,得到只要摆锤的几何尺寸相同(回转半径相同),则沿摆杆移动的摆锤一定有两个等周期且与摆锤质量无关的周期不变点,并推导出周期不变点的位置公式.所推导的公式为精确测量重力加速度等物理量提供了理论支撑.用自制仪器所测得的实验结果与理论结果进行比较,周期误差小于0.7%.     

论高科技发展对国际产业分工格局的影响

世界高科技及其产业发展对国际产业经济结构的调整和中国科技经济社会的发展都将产生深远意义的影响.为发展我国高科技及其产业,加速推进与国际经济技术的合作,建立适应国际惯例,又具有中国特色的高科技及其产业体系,必须对世界高科技及其产业的现状和国际产业分工格局有一个清醒的认识.高科技及其产业的发展水平是一个国家科技与经济实力的集中体现,同时也是一个国家综合竞争力的象征.因此,对高科技及其产业发展与国际产业分工格局关系的研究具有重大的理论与实践意义.     

玛纳斯河年径流的灰色拓扑预测

运用灰色系统理论中的拓扑预测法,提出一种较适合于水文实测资料缺乏情况下的中长期预报方法,并利用玛纳斯河水文站的实测资料序列对该方法进行成功地验证。     

基于遗传算法的一体化通风网络优化算法

概括混合型一体化通风网络优化的模型,分析目前混合型通风网络优化的4种求解方法优缺点。针对混合型通风网络优化的要求,提出混合型通风网络风量分配和风流调控一体化的优化思路。在通风网络理论和图论的基础上,引入遗传算法随机产生2个动态网络的邻接矩阵和余树弦风量值,使用附有条件的最小支撑树算法产生2个最小支撑树,进而求得相应的回路矩阵。通过余树弦风量值和回路矩阵等分别计算通风网络风量分配值和风阻调节值,基于通风总功率和约束条件构建广义最小化目标函数,依此对分风和调风方案进行评价,使用遗传算法中进化算子对分风和调风方案实施进化操作,最终得到满意解。研究结果表明：该算法是严格数学意义上全局优化算法,解决调风地点约束的通风网络优化问题,利用网络结点流量平衡的等式约束条件,减少最优化模型中变量数目,提高算法效率。     

基于信息融合技术的电机故障诊断

为了能够从多方面反映电机系统状态,实现对电机故障模式的自动识别与准确诊断,将信息融合技术与神经网络相结合,建立电机故障诊断系统。在数据融合级上,将故障特征量进行分类处理,然后,采用多层神经网络进行故障特征级融合与电机故障的局部诊断,获得彼此独立的证据,再运用DempserShafer(D-S)证据理论融合算法对各证据进行融合,最终,实现对电机故障的准确诊断。诊断测试试验证明:该诊断系统提高了电机故障诊断的精度,并能满足诊断的实时性要求。     

社会困境中博弈决策的理论模型与神经机制

简要介绍社会困境的涵义,详细阐述博弈决策的理性选择理论、认知转换理论和生物进化理论,并且从认知控制、社会认知以及奖励预期3个过程揭示博弈决策的神经机制.未来研究应力求突破先前理论模型的不足,深入考察个体合作行为的神经机制,并向实际应用领域发展.     

含铌高温合金液相中铌偏聚行为

利用热力学相计算方法并结合相应的Ni基数据库对含Nb高温合金液相中Nb偏析规律进行系统的计算分析,计算结果与文献报道的测试结果相符性较好.计算结果表明,液相中Nb偏聚度和最大偏聚量随合金中Nb含量的增加并非单调的增加,而是先增加到一定值后再趋于下降或不变.Nb偏聚度与液固相间的温度差却有单调增加的关系,在此规律的理论指导下,提出了减小Nb偏析的合金设计思路并进行了对比分析.     

Multisim在《数字电子技术》理论教学中的应用

《数字电子技术》课程是计算机、电气自动化等专业必修的专业基础课其理论知识有着一定的深度和广度,学好理论知识为实践打下坚实的理论基础。本文主要讲述将Multisim仿真软件在《数字电子技术》课程理论教学中的应用方法并以常用电路为例进行功能仿真案例分析。     

主述位理论与大学英语写作教学

功能语言学把主位述位理论应用到语篇层面并应用于语篇分析,从而达到篇章连贯的目的。本文从主位述位理论推荐模式角度,探讨其在大学英语写作教学的应用。