遗传算法编码方式的应用及其改进算法的研究

重点介绍了遗传算法的编码方式,及其在最短路径问题中的应用,并结合现今的研究成果,简要地说明了改进遗传算法的研究方向.     

扩展Tempura语言统一模型检测算法

针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间时序逻辑统一模型检测算法,以判定由上述定义的语言子集所书写的规范程序是否满足命题版扩展区间时序...     

凹盖壳爆炸拉深工艺研究

介绍了不锈钢凹盖壳爆炸拉深的研制过程,重点阐述成形工艺方法的确定,爆炸拉深模的设计和爆炸工艺参数的选择。研究结果表明,凹盖壳爆炸拉深具有工艺方法简单、投资少、无需大型设备、成形精度高等优点,工艺方法是可行的,可广泛应用于类似零件的中小批量生产。     

基于依赖结构分析的类重要性度量方法

为支持自动识别系统中重要的类,提出了一种基于软件依赖结构分析的类重要性度量方法.该方法首先用一个图模型表达类之间的3种依赖关系,包括类-类继承依赖、类-属性交互依赖和类-方法交互依赖,然后用PageRank, HITS和Betweenness Centrality算法通过对依赖关系结构的全局分析来度量类的重要性.该方法仅使用在软件开发的分析和设计阶段可以得到的信息,因而可用来在软件开发的早期识别系统中重要的类.实验结果表明,在识别重要的类时,该方法产生与简单方法不同的结果.     

向家坝水电站混凝土浇筑VR与智能进度模拟系统设计

针对向家坝水电站大坝混凝土浇筑施工工程量大、工期长、设备多、关系复杂等特点以及提高施工管理与决策科学性和效率的现实需求出发,以虚拟现实和人工智能领域的知识工程为理论基础,开发了向家坝水电站混凝土浇筑VR与智能进度模拟系统,并应用于工程实践.介绍了该系统的需求分析与实现思路、整体结构设计、系统功能设计以及系统实现的主要技术方案等研究成果,以期为相关工作提供参考和借鉴.工程实践应用表明,本系统具有形象性、智能化、综合化等优势,对于保证向家坝水电站大坝混凝土浇筑施工具有重要的实践价值.     

高容量温盘驱动器伺服码同步时钟录写技术

提出了可变频时钟写入方法和锁相环倍频时钟写入方法，给出了这两种写入法的读／写电路，并分析了其性能。结果证明，可变频时钟写入方法电路简单，刻写时钟周期短；锁相环倍频时钟写入过程较前者长，但其频率范围容易调整。两者均适合高密度小型温盘的时钟录写。     

采用排序和打分-搜索的多阶转换网学习方法

针对现有学习方法主要用于先验网和一阶转换网,且对于多变量复杂转换网其效率和可靠性难以得到保障等问题,建立了一种从向量时间序列数据中发现多阶转换网的方法.在给出多阶数据集构造方法的基础上,通过条件相对平均熵计算建立完全有向无环图,并基于完全有向无环图排序结点,在结点顺序的基础上,通过局部打分-搜索建立转换网.这种方法将更加高效、可靠和实用.     

城市轨道交通噪声分析与降噪措施的研究

针对目前日趋严重的城市轨道交通产生的噪声污染问题,结合某一高架轻轨结构实例,首先对该高架轻轨线路的噪声进行了预测分析,然后根据该例实际情况设计出适合的声屏障降噪,并进行降噪分析.结果表明当列车以100 km/h的速度驶过,对于距离20 m处的一建筑物各层的瞬时噪声级都达到近90 dB(A),并且与高架桥高度水平的层高处噪声级最高.当采用隔声式声屏障进行降噪后的噪声分析得到,底层的降噪效果最明显,随着建筑物高度的增加,降噪效果有所降低.     

利用二次分解——集结法研究离散大系统的稳定性

本文分别用标量李雅普诺夫函数和向量李雅普诺夫函数利用二次分解——集结法,给出了由差分方程所描述的离散大系统的全局一致渐近稳定的三个充分条件,还用标量李雅普诺夫函数给出了大系统全局指数稳定的一个充分条件。     

论谢宣城的宣城情结

谢朓,是出身世族大姓、受过良好文化教养、拥有多面才华的人物。十九岁即步入仕途,走进皇室藩王诸王幕府,颇受重用和信赖。他的新体诗,在中国诗史尤其对唐诗风格形成上,具有深远影响。然而,他一生最辉煌最富有治理创新业绩的,则是三十二岁至三十三岁一年零三个月的宣城太守任上。因此,研究谢朓,必须从他宣城太守任上的史实入手。广搜涉及谢宣城诸文献和宣城实地调查,对谢朓出守宣城的政治背景、莅职与离任的具体时间,以及他对宣城山水的独钟情愫、爱民惠民的大德举措,一一进行探素、追踪与梳理。结论是：谢朓是位纯正的为民之官,他与宣城百姓结下的深厚情谊,千古流芳。