基于混成自动机的CPS行为建模与属性验证

系统实时性、安全性和可靠性等非功能属性是信息物理系统在诸多领域应用的关键因素。论文在分析CPS模型构建与分析验证中面临的挑战的基础上,提出了一种CPS行为建模与属性验证方法。该方法首先基于混成自动机对CPS的行为进行建模,然后将此模型转换为混合程序模型,最后在定理证明器KeYmaera中对HP模型的属性进行形式化验证。文中论述了行为模型描述语言的结构,建立了混成自动机模型与HP模型之间的转换规则,分析了模型转换的一致性。应用实例表明:该方法既能简单直观地描述CPS动态行为,又能对CPS的属性进行严格的形式化验证,且有效避免了形式化验证中的状态空间爆炸问题。     

基于故障区分度DAGSVM的模拟电路故障诊断

为了提高模拟电路故障诊断的精度,针对现有DAG-SVM用于解决多类分类问题固有的不稳定性结构以及"误差累积"的特点,提出了一种基于故障区分度构建DAG-SVM的新方法。根据从不同测试点获取的故障数据信息,定义故障区分度,并以此为依据优化DAG-SVM的拓扑结构,从而消除DAG-SVM结构固有的不稳定性,获得稳定而较高的诊断精度。实验结果表明,与现有的"1vs 1"SVM、DAG-SVM及其改进方法相比,该方法在诊断精度上有明显提高,对于模拟电路的故障诊断具有很好的借鉴意义。     

投影栅相位法检测技术中抽样定理的适用性

分析了对于正弦信号抽样定理的适用性,给出了频谱分析时频域不发生泄漏的信号抽样条件。针对投影栅相位法三维检测技术中的抽样问题,提出了不移频处理方法和全场参考面的概念,避免了频域移频所带来的系统误差,克服了对正弦信号抽样的限制条件,并实例验证了新方法的优越性。该文的结论丰富了经典抽样定理的内容,提高了投影栅相位法三维检测技术的解相精度和稳定性,使之更符合实际应用条件。     

舟山航运和港口相关产业发展探讨

从世界经济中心向亚太地区转移、中国经济的高速增长和浦东的开发和上海国际航运中心的建设三个方面阐述了发展舟山航运和港口相关产业的大好机遇,以及舟山如何利用港口优势,发展航运业及港口相关产业。     

低轨卫星移动通信中调制分类器的研究与设计

利用小波变换对低轨卫星移动通信中常见数字调制样式的分类方法进行了研究,提出了以相邻码元间相位差为特征量的不同调制数调相信号的分类算法,研究了以小波变换产生的阶梯波为特征量的不同调制数调频信号的分类算法和调频调相信号之间的分类算法,最后利用这些算法对其分类器进行了设计,通过MATLAB仿真证明,所设计的分类器,在低信噪比下对低轨卫星移动通信中常见的调制信号有较好的分类效果.     

灌注节桩的荷载试验及承载性状的研究

通过大量试验,分析使用节桩的可用性,研究不同结构灌注节桩承载与破坏机理、合理的结构尺寸要求及节桩扩大头松动区对上段桩测摩阻的影响.     

硬土层人工挖孔桩提高桩承载力的研究——一种新桩型的使用

对传统外壁的人工挖孔桩桩侧摩阻与桩端反力共同作用变形破坏机理进行了研究.通过改进桩的外壁形状,提出使用新的锥形节桩并研究锥形节桩的变形破坏机理,得出新的倒锥形节桩可较大提高桩侧摩阻力、桩侧摩阻与桩端反力有着良好共同作用状态的结论,并通过工程实践得到验证.     

工程施工进度控制

针对目前影响工程项目施工效益较大的施工进度控制问题,结合我国目前广泛使用的横道图和网络图形式表达的进度计划的特点,提出了建立在责任制和周作业计划制度基础之上采用施工进度前峰线和工程进度曲线进行施工进度控制的方法,可操作性强。     

生物学科实施素质教育的核心是优化教学过程

优化教学过程,是实施素质教育的关键。在生物学科教学中,首要的问题是因材施教,尊重学生的主体地位,发挥学生的主动精神,在教师的指导下,使学生的学习达到最佳效果。     

LVDS低功耗高速驱动电路设计

目前现存的LVDS驱动不能在低供电电压下工作,双电流源(DCS)LVDS驱动和开关电流源(SCS) LVDS驱动等两种新驱动适用于低电压应用。同时,这两种驱动大大减少了功耗以及器件尺寸,并且可以以超过1 Gb/s的速度传输数据。在高速数据采集系统中,有很好的应用前景。