关于防止海水入侵大小凌河扇地的研究

大、小凌河扇地与海水相连,扇地内地下水(淡水)与海水相接的界面,由于大量开采地下水,发生"采补"失衡的结果,平均以10～30 m/a的速度向内地入侵.目前已经影响锦州城市水源地和当地农民生产、生活的取水安全.结合本地区的实际情况,确定防止海水入侵的主要措施.该措施的特点是利用地表水,补给地下水,增加含水层内地下水压力,顶住海水入侵.这种以水治水的办法比砼防渗墙的阻咸措施降低工程造价70%～90%,这是一种节约建设资金、保证阻咸效果的最佳措施.     

High-level synthesis design flow for power side-channel security

The lack of efficient security guidance is a prominent problem in the design flow of high-level synthesis. To tackle this issue, this paper proposes a security-based high-level synthesis design flow featuring the power side-channel vulnerabilities. The side-channel leakage is quantified by establishing a secure component module library, a more efficient and secure parallel scheduling mechanism is generated by optimizing the control flow, and a more secure architecture of the storage system is achieved by optimizing the data flow. The goal is to perform tradeoffs between performance and security, reducing the side-channel risks at the early stage of design and simultaneously generating more secure and efficient cryptographic cores in hardware. Furthermore, the proposed HLS design flow is verified on a field programmable gate array platform. Experimental results show that, in comparison with the traditional design flow, this method reduces the resources by 72% and the clock cycles by 70% and increases the throughput by 88%, and that it can lower the power side-channel risks within an ongoing design to the greatest extent.     

连铸坯的液芯轧制

研究了连铸坯的液芯轧制，并结合日本川崎永岛厂的实例，证实了连铸坯液芯轧制的可行性，指出了钢锭和连铸坯液芯轧制的区别，及如何制造压应力状态，推导了坯壳应力与轧辊直径压下量，坯壳厚度的关系，并提出了用振摆式轧机实施连铸机液芯轧制的方案。     

VxWorks下PCI9054显卡图形开发库的实现

介绍了一种基于VxWorks操作系统的PCI9054显卡的图形开发库,实现了基本绘图功能,汉字和字符的显示功能,以及贴图存图的功能,满足综合显示的需求。     

基于DSP+CPLD的捷联航姿系统设计与实现

针对捷联航姿系统高精度、小型化、高可靠性的发展需求,文中研究并实现了基于DSP+CPLD导航计算机的光纤航姿参考系统,在导航计算机设计中充分体现了DSP处理器实时解算和CPLD控制信号的双重优点.系统软件可实现加电BIT、磁罗差标定、CRC校验的存储器自检、捷联航姿解算和模糊自适应内阻尼卡尔曼滤波等功能.通过大量的试验验证了硬件的可靠性和算法的有效性.样机实验结果表明基于DSP和CPLD导航计算机的捷联惯性航姿系统性能稳定,满足系统的精度设计要求.     

Achieving fair service with a hybrid scheduling scheme for CICQ switches

Providing performance guarantees for arriving traffic flows has become an important measure for today’s routing and switching systems. However, none of current scheduling algorithms built on CICQ (combined input and cross-point buffered) switches can provide flow level performance guarantees. Aiming at meeting this requirement, the feasibility of implementing flow level scheduling is discussed thoroughly. Then, based on the discussion, it comes up with a hybrid and stratified fair scheduling (HSFS) scheme, which is hierarchical and hybrid, for CICQ switches. With HSFS, each input port and output port can schedule variable length packets independently with a complexity of O(1). Theoretical analysis show that HSFS can provide delay bound, service rate and fair performance guarantees without speedup. Finally, we implement HSFS in SPES (switch performance evaluation system) to verify the analytical results.     

基于数字PID算法的台达运动控制器在音叉多线切割机上的应用

在连续一时间控制系统中,PID控制器在各类自动化系统中应用得非常广泛。其设计技术成熟,长期以来形成了典型的结构,参数整定方便,结构变化灵活,能满足一般的控制要求。数字PID控制比连续PID控制更为优越,因为计算机程序的灵活性,很容易克服连续PID控制中存在的问题,经修正可得到更为完善的数字PID算法。     

基于Visual Studio.Net学习用品管理信息系统的设计

学习用品管理信息系统可以实现对学习用品的入库、领用和维护的规范化管理,提高工作效率,避免资源浪费.此系统结合高校学习用品采购与分发的实际现状,利用Visual Studio.Net作前端开发工具,SQL Server 2005为后台数据库,实现完善的输入,统计,打印和查询等功能.     

解剖学的数字化实验教学平台的构建探索

随着数字医学及数字医疗技术的迅速发展,针对高等医学院校解剖实验教学中存在的问题,如何提高解剖学教学质量,文章介绍了数字化解剖,并分析了数字化解剖实验室的特点,将云计算技术应用到管理数字化实验教学中。给出了基于云计算技术的数字化解剖实验教学平台解决方案,改革数字化解剖实验室,提出一种新的数字化解剖教学模式。