供电企业信息模型研究

总结了一套供电企业面向对象信息模型．该套模型规范出供电企业管理信息系统主体信息内容、信息关系、信息处理形式和管理信息系统的主体功能结构,可供各供电企业在管理信息系统建设过程中参考．同时研究了该套模型的建设方法和设计思路．     

基于VXI总线的噪声测试系统设计与应用

武器发射时产生的脉冲噪声对人员和仪器会造成很大的危害,因此噪声测试在武器勤务性能考核巾具有重要意义,针对脉冲噪声信号特性,开发了一套基于VXI总线的噪声测试系统;详细介绍了系统硬件结构设计、基于LabWindows/CVI虚拟仪器开发平台的软件设计和系统功能;设计的系统具有存储容量大、采样率高和软件功能强等特点,能够用于各种武器单发或连发射击时的噪声测试,也可以用于武器非行驶状态下的稳态噪声测试;通过在试验中的应用,表明本系统操作简便,工作可靠.     

一种高性能无人机机载计算机设计

目前的机载计算机已无法满足无人机在功能多样化、自主化、智能化等方面的要求.通过并行多处理器系统和任务载荷自主管理系统的设计,提高核心计算机的自主能力;通过神经网络单元、模糊推理单元和智能决策单元的设计,提升核心计算机的智能水平;这两方面的设计提高了核心计算机的自主控制能力和智能化决策能力,满足了高性能无人机平台自主能力和智能水平的要求.     

静态检测中断驱动程序的数据竞争

直接运行于微控制器上的中断驱动程序中可能存在一种重要的程序错误:数据竞争.然而当前主流的数据竞争静态检测技术因其服务于多线程模型程序而不适用.设计简明、易用的中断特征描述语言可以使得竞争检测具有平台无关性;同时,提出了一个流敏感的、上下文敏感的、考虑中断驱动程序原子性、易变性和部分随机性的数据竞争检测算法.该算法具有高效、精确的特点.实验表明,其检测时间与代码规模基本呈线性关系,分析17850行代码仅用时3.6s;同时,相比于基于锁集技术的典型数据竞争检测方法,其准确率平均是后者的2.13倍.     

Disc cutters plane layout design of the full-face rock tunnel boring machine (TBM) based on different layout patterns

The quality of plane layout design of the disc cutters for the full-face rock tunnel boring machine (TBM) directly affects the balance of force distribution on the cutter head during the excavating. Various layout patterns have been adopted in practice during the layout design of the disc cutters. Considering the engineering technical requirements and the corresponding structure design requirements of the cutter head, this study formulates a nonlinear multi-objective mathematical model with multiple constraints for the disc cutters plane layout design, and analyses the characteristics of a multi-spiral layout pattern, a dynamic star layout pattern and a stochastic layout pattern. And then a genetic algorithm is employed to solve a disc cutters’ multi-spiral layout problem, and a cooperative co-evolutionary genetic algorithm (CCGA) is utilized to solve a disc cutters’ star or stochastic layout problems. The emphasis was put on the study of superiority of three different layout patterns. Finally, an instance of the disc cutters’ plane layout design was solved by the proposed methods using three different kinds of layout patterns. Experimental results showed the effectiveness of the method of combining the mathematical model with the algorithms, and the pros and cons of the three layout patterns.     

Dawning Nebulae: A PetaFLOPS Supercomputer with a Heterogeneous Structure

Dawning Nebulae is a heterogeneous system composed of 9280 multi-core x86 CPUs and 4640 NVIDIA Fermi GPUs. With a Linpack performance of 1.271 petaFLOPS, it was ranked the second in the TOP500 List released in June 2010. In this paper, key issues in the system design of Dawning Nebulae are introduced. System tuning methodologies aiming at petaFLOPS Linpack result are presented, including algorithmic optimization and communication improvement. The design of its file I/O subsystem, including HVFS and the underlying DCFS3, is also described. Performance evaluations show that the Linpack efficiency of each node reaches 69.89%, and 1024-node aggregate read and write bandwidths exceed 100 GB/s and 70GB/s respectively. The success of Dawning Nebulae has demonstrated the viability of CPU/GPU heterogeneous structure for future designs of supercomputers.     

ESP8266的无线光色电测试系统设计

ESP8266是一款高性能无线芯片,在家居自动化 、可穿戴设备 、工业无线控制等领域都有广泛的应用.本系统以TFT触摸屏作为用户显示界面,检测命令和检测数据在TFT触摸屏进行显示,以Arduino Leonardo平台作为主控模块,ESP8266作为与功率计和光谱仪的无线通信接口,通过ESP8266进行命令和数据的透传,解决了检测设备的无线通信问题.     

有理Bézier曲线的自交点

有理Bézier曲线是几何造型中被广泛应用的曲线拟合工具,而判断与计算有理B亡zier曲线的自交点在CAGD中有重要意义.通过定义控制多边形的适定性,借助有理Bézier曲线的升阶与toric退化,提出并证明有理Bézier曲线对任意正的权都没有自交点的充要条件是其控制多边形适定.