用于系统模型层验证的模型转换的研究

传统以代码为中心的数控系统开发方式导致了系统测试滞后,系统性能难以保证。针对这种情形,提出利用模型转换将领域模型转换到第三方验证工具(Matlab 或UPPAAL)进行系统性能早期测试,从模型层保证系统性能。讨论了采用基于元模型层规则定义、语义动态添加和基于设计模式的操作等策略,以此满足实际模型转换的具体要求,给出了其框架。并指出根据实际需求采用不同的实现步骤和技术手段完成模型转换。从数控系统工作模式模型到StateFlow模型的转换实例从建模语言构建、映射规则定义、算法设计等几方面验证了上述模型转换理论框架和实现手段的可行性和正确性。     

一株耐高温α-淀粉酶生产茵的分离鉴定及其产酶条件优化

作者从四川成都及其周边地区的淀粉厂,米厂,面粉厂等样品采集地的土样和污水当中筛选到16株酶活较高的野生型-α淀粉酶生产茵,其中一株编号为C-1的茵株酶活最高,液体发酵酶活达到20 U/mL.这株茵能在高温(50℃)下生长良好.在电子显微镜观察,有明显芽孢,生理生化常规鉴定为枯草芽孢杆茵(B.subtilis),进一步的16S rDNA分子鉴定确定该茵属于枯草芽孢杆菌,命名为B.subtilis C-1.并对B.subtilis C-1的产酶条件进行优化.     

考虑展宽设计的中观交通仿真模型及其标定

为使仿真模型契合城市交通特点、兼具高精确度及高性能,建立了轻量化的中观交通仿真系统与标定流程:以速度—密度模型和点排队模型刻画车辆的运动过程;将点排队模型进行交叉口展宽设计改进,以提升仿真准确性和标定效率;以真实个体检测信息作为标定数据源.模型在宣城城区路网中应用,结果表明:相较于传统点排队模型,展宽设计下的模型能较好...     

船闸横拉门绘图软件的软体结构

本文介绍了在Auto CAD平台上开发“船闸横拉门绘图软件”的软件结构.     

基于复杂网络理论的水网节点重要性评价研究

复杂水网节点的重要性排序在工程应用中有重要实践意义,对于水网调度、安全管理有重要借鉴意义.为此,本文在复杂网络理论基础上,以山西大水网节点重要性排序问题为背景,对水网节点重要性评价进行研究.首先从整体角度出发,不考虑水网方向和干支斗毛级别差异,基于水网全局网络拓扑结构,从局部属性、全局属性、传播属性和网络位置四个方面定义了节点重要性评价指标.其次,分别根据这四个指标,对水网节点重要性进行排序分析,结合分析结果对网络位置指标进行了改进.然后,由于单指标评价结果不够全面且适用范围具有很大的局限性,给出了基于TOPSIS的多属性决策方法来综合评价节点的重要性.最后,考虑水网方向和级别差异,提出对水网进行干支斗毛级别划分,基于Page Rank算法对同一级别的有向赋权水网节点重要性评价进行研究.     

基于ARM+FPGA的电能质量分析仪设计

对电网电能质量的准确测量和合理分析是对电网进行治理和补偿的基础,也是解决电能质量问题的关键。设计一种基于FFT算法的电能质量分析仪,以ARM+FPGA为核心的硬件平台,采用软、硬件协同设计,使系统便于调试与修改。该系统体积小、功耗低。通过对某低压逆变系统输出电压波形与谐波测量,结果表明,该系统能快速、高精度、高可靠性地检测和分析电能质量。     

基于神经网络的企业信用等级评估

企业信用等级评估是金融领域重要的问题，论文采用人工神经网络模型研究企业信用等级的评估问题，按照企业样本在信用等级的分布状况来抽样，然后，根据企业样本性质的不同，将其分为制造业和非制造业两大类，利用偏相关分析方法建立了企业信用评级的指标体系，此外，还介绍了几种企业信用评级常用的评估模型，并将神经网络评估模型的性能和其他的信用评估模型作了比较，实验结果表明神经网络模型具有更好的预测准确性。     

加强职高学生能力素质教育断想

实施素质教育是当前世界教育改革的潮流，也是我国教育改革领域中的一项重要使命．它对于提高全民族素质，培养跨世纪人才，迎接二十一世纪的挑战具有重大的意义。然而多年来，我国的教育一直沿袭“应试教育”的传统，因此如何加强素质教育，不仅对基础教育提出了挑战，而且对我们职业中学教育也提出了有力的挑战。它值得我们职教战线上的教师去思考、去探索。本人拟就如何加强职业中学学生的能力素质教育，谈一谈自己初浅的看法。学校素质教育是以全面提高学生的素质，促进学生的身心全面发展，尊重学生的主体性，形成学生健康个性为根本目…     

笼头菌科新属和新种

发现了四川省攀枝花市的属于鬼笔目Ｐｈａｌｌａｌｅｓ，笼头菌科Ｃｌａｔｈｒａｃｅａｅ的新属：内笼头菌属Ｅｎｄｏｃｌａｔｈｒｕｓ，新种：攀枝花内笼头菌Ｅｎｄｏｃｌａｔｈｒｕｓ ｐａｎｚｈｉｈｕａｅｎｓｉｓ予以报道。     

有效微观状态数与系综变换

首先提出有效微观状态数的概念，以及为出发点阐明尽管主其本质看他们都与孤立系的微观状态数的地位相当，证明了对于不同独立参量的系统，相应的有效微观状态数都扮演了特性函数的角色，于是由独立参量的各种组合会有各种有效微观状态数，从而有各种相应的系综。