三峡枢纽排漂孔及泄洪孔过流面检修装备方案研究

针对三峡工程排漂孔及泄洪孔过流面墙壁的检修分别提出了多种专用检修装备方案。经过分析比较,得出安全合理的检修装备方案。排漂孔检修方案:闸室段侧墙用升降台车,斜坡段侧墙采用单梁吊篮,排漂孔底板采用双侧单台车;泄洪深孔检修方案:闸室段和斜坡段侧墙采用升降台车检修,底面与排漂孔检修方案相同。     

长距离柔性接口输水管道试压技术研究

针对大口径柔性接口管道特点和试压难点展开研究,设计专用装配式试压装置,将传统的管道铺设、试压间断施工转变为连续施工。不仅显著地减少了试压用水量,简化了施工程序,而且,完成管道试压后对试压装置进行改装,作为永久性管段加以利用,节约了资源。采用该方法进行压水试验,施工进度快,经济效益显著。     

中国植物空间分异规律

以省级行政区为分析单元,借助ArcGIS空间分析功能对中国行政分区图、中国森林覆盖率图、中国植物区系图、中国植被分区图进行叠加分析。通过对同一植被分区下分析单元数据进行整合,给出全国不同植物区系、植被分区、森林覆盖率信息。采用二阶聚类综合判别法,提取中国植被分区总体信息,探求植被空间分异规律,发现一类、二类、三类植被的比例为30∶37∶23,反映出植被的区域分布特性较强;四类植被比例大致占10%,反映出大区域内部的局地小生境造成的植被分布的整体差异。另外,一类植被多分布在中高纬度地带,二类植被贯穿中国全纬度,三类植被多分布在低纬度地带。     

CAS wavelet method for solving the fractional integro-differential equation with a weakly singular kernel

In this paper, a computational method for numerical solution of a class of integro-differential equations with a weakly singular kernel of fractional order which is based on Cos and Sin (CAS) wavelets and block pulse functions is introduced. Approximation of the arbitrary order weakly singular integral is also obtained. The fractional integro-differential equations with weakly singular kernel are transformed into a system of algebraic equations by using the operational matrix of fractional integration of CAS wavelets. The error analysis of CAS wavelets is given. Finally, the results of some numerical examples support the validity and applicability of the approach.     

形式化方法在机载电子硬件研制中的应用研究

详细设计规范是机载电子硬件适航性设计流程中的关键文档.通过对形式化方法特点分析,给出基于模型检验的设计规范提取步骤,以提高设计的正确性和完整性.以ARINC429总线传输模块设计为例,基于形式化方法完成正向设计过程.试验结果表明,基于形式化方法的设计流程能够有效帮助制定详细设计规范并在后期提高验证效率,进而缩减研制周期.     

基于SystemVerilog可重用测试平台的实现

对于中小型设计,传统的验证效率低、可重用性差,而基于方法学的高级验证测试平台搭建较繁琐,验证流程不太灵活。以ARINC429收发器IP核为验证对象,采用System Verilog语言,通过层次化设计,改善工程组织架构,运用虚接口与回调等关键技术,实现了一种可重用测试平台。将不同的测试案例在测试平台上运行,结合断言与覆盖率驱动等验证技术完成了对ARINC429收发器IP核的功能验证,代码覆盖率和功能覆盖率均达到100%。实践表明,该测试平台具有良好的可重用性、易操作性,验证效率较高。     

基于FPGA的高速时间交替采样系统

提出了一种高速高精度数据采集系统的设计。ADC高速采样基于时间交替采样结构实现,以FPGA为逻辑控制芯片,DSP为误差矫正算法处理中心。在对系统总体设计各模块进行介绍的基础上,重点分析了系统存在的偏移误差、时延误差和增益误差,并描述了一种误差矫正方法。通过实验测试,结果表明该设计能够实现1 GS/s的高速采样,并能完成明显的误差矫正。     

Variable precision intuitionistic fuzzy rough set model and applications based on conflict distance

Due to the complexity and uncertainty of the physical world, as well as the limitation of human ability to comprehend, it is very difficult for any single method of uncertainty to effectively deal with the decision‐making problem that exists in real life. So, it is natural for us to think about incorporating the advantages of various theories of uncertainty to develop a more powerful hybrid method of soft decision‐making. In view of this recognition, the thought and method of intuitionistic fuzzy sets and variable precision rough sets are used to construct a novel intuitionistic fuzzy rough set model. With respect to the fact that the information system is intuitionistic fuzzy, the idea of measuring intuitionistic fuzzy similarity is used to define conflict distance. After that, this concept is combined with the variable precision rough sets so that a variable precision intuitionistic fuzzy rough set model is established, and its properties are investigated. After proposing an attribute reduction algorithm based on variable precision intuitionistic fuzzy rough sets, a case study is used to verify the feasibility and effectiveness of our novel model. The results show that our model indeed improves the classification ability of earlier models and possesses some ability to tolerate faults through adjusting the parameter λ and the confidence threshold β; it realizes the correct classification and extracts the decision rules.     

开放式数控系统网络接口技术研究

数控系统网络接口技术是实现数控机床实时信息采集的基础,是确保数控系统开放式、网络化及智能化的关键技术.通过对数控系统传统信息采集接口和基于网络的MTConnect标准的对比研究,基于后者在兼容性、跨平台性、可读性方面存在的优势,围绕开放式数控系统体系框架,本文设计一种基于MTConnect标准的开放式数控系统网络采集接口.同时,为兼容传统信息采集接口,提出一种可拓展的通用接口架构,阐述架构间模块的功能及互联方式,并从数控系统数据项抽取、数据项适配器(Adapter)、接口代理(Agent)等方面重点阐述接口的设计.最后,在自主研发的数控系统上实现网络接口,并对相关时间延迟开展了测试与分析,表明了该通用接口的正确性与实用性.