Action semantics-directed prototyping

We present a methodology for compiler synthesis based on Mosses-Watt's action semantics. Each action in action semantics notation is assigned specific “analysis functions”, such as a typing function and a binding-time function. When a language is given an action semantics, the typing and binding-time functions for the individual actions compose into typing and binding-time analyses for the language; these are implemented as the type checker and static semantics processor, respectively, in the synthesized compiler. Other analyses can be similarly formalized and implemented. We show a sample language semantics and its synthesized compiler, and we describe the compiler synthesizer that we have developed.     

基于车型识别的BP算法Matlab实现

车型识别具有广阔的应用前景,BP神经网络在车型识别中能够提高车型的识别率。在任何车型大致都可以抽象成一个"工"字型情况下,提取其中的顶长比、前后比和顶高比这三项相对参数作为BP神经网络的输入参数。采用三层3-8-3的BP神经网络,并用14对输入参数离线训练,再用4对新数据进行检验,均得到了预想的期望值。     

广东省东江流域显著水问题类型识别

通过构建流域水资源、水环境与水生态功能评价指标体系,采用ArcGIS自然间断点分级法分析广东省东江流域水资源、水环境与水生态3类涉水功能的空间格局特征,采用Spearman等级相关系数定量分析3类涉水功能间的交互作用,识别各地区显著水问题类型,并提出相应管控策略。结果表明：广东省东江流域水资源、水环境与水生态功能评价等级空间格局体现出显著的空间差异性;流域水资源、水环境与水生态功能间的交互作用类型为兼容;基于3类涉水功能评价等级及功能间交互作用类型,将广东省东江流域10个评价单元划分为水资源、水环境、水生态、水资源-水环境、水生态-水环境及非显著型6个显著水问题类型。     

阿姆河流域耕地变化及水土匹配特征分析

基于中亚阿姆河流域4个分区1990—2015年间土地利用变化和水资源等数据,运用耕地变化速率、洛伦兹曲线和基尼系数法以及水土资源匹配系数对阿姆河流域耕地变化和水土匹配状况进行了综合分析。结果表明:1990—2015年阿姆河流域耕地以146.74 km²/a的速度在扩张,且各时期、各分区扩张的速度不同;在不考虑咸海来水不断减少、生态持续恶化的前提下,绿洲区匹配状况属比较公平和相对合理状况;阿姆河流域水土资源空间分布存在明显的错位现象;全流域生态用水被农业用水严重挤占,阿姆河流域灌溉面积、灌溉用水量成为影响咸海水量及面积变化的重要因素,是一种不可持续的用水方式。     

煤矿井下采掘设备隔爆兼本安型电气控制箱的本安设计

针对煤矿井下采掘设备防爆兼本安型电气控制箱内本安电路与非本安电路并存、非本安电路的能量可能会窜入本安电路而影响本安电路防爆及本安性能的问题,从结构设计和电气隔离两方面介绍了煤矿井下采掘设备隔爆兼本安型电气控制箱的本安设计方法,给出了电气间隙、爬电距离、绝缘及耐压、接线端子、本安布线、电源变压器、本安隔离栅印制板等结构布置方法以及RS485通信隔离电路、模拟量隔离电路、压频变换电路、电阻信号隔离电路、开关量隔离电路、继电器隔离电路等电气隔离措施。应用表明,采用该方法设计的煤矿井下采掘设备隔爆兼本安型电气控制箱安全可靠,维护简便,能够满足煤矿井下的防爆要求。     

在CodeWarrior编译环境下运行μC／OS—Ⅲ

μC／OS-Ⅱ是面向8／16位及低端32位单片机应用的RTOS,而新近推出的μC／OS-Ⅲ则面向高性能32位单片机,如ARMCortex等。以Cortex—M4为内核的Kinetis系列单片机,不仅用于全国大学生飞思卡尔杯智能车竞赛,也用于诸多大学的嵌入式系统教学,官方提供的开发环境是CodeWarrior。本文介绍如何利用CodeWarrior开发环境,将μC／OS-Ⅲ在Kinetis单片机上运行起来,以便将μC／OS-Ⅲ引入教学、科研与应用。     

μC／OS—Ⅲ在Cortex—M3处理器上的移植

为了将μC／OS-Ⅲ移植到Cortex—M3处理器上,选用RealView MDK作为软件开发平台,针对Cortex—M3处理器特性编写了移植所需的C语言和汇编语言源代码,并验证了移植的正确性。移植后的μC／OS-Ⅲ能够稳定运行于Cortex～M3处理器上。该移植对大部分Cortex—M3处理器具有通用性,对其他架构处理器的μC／OS-Ⅲ移植具有参考作用。     

A relation between interfacial and bulk properties along the saturation curve

A liquid-vapor interface in thermal equilibrium was considered, where the pressure tensor depends upon the density (z) and the position z. The surface tension coefficient results are parametrized with the bulk compressibility, liquid-vapor density difference, and interfacial width along the saturation curve. Previous results at the triple and critical points reported by other investigators are verified. Also included is a plot of the computed results using the parametric equation and experimental data for different substances.     

以1,3-二(4-邻羟基苯亚胺次甲基)苯氧基丙烷为载体的铁离子(Ⅲ)电极的研究

以1,3-二(4-邻羟基苯亚胺次甲基)苯氧基丙烷为中性载体制备了PVC膜Fe3+离子选择性电极。该电极对Fe3+呈现出良好的选择性和近Nernst电位响应性能。电极斜率为21mV/dec,线性范围为3.0×10-5～1.0×10-1mol/L,检出限为1.0×10-5mol/L。采用交流阻抗技术研究了电极的响应机理,并将电极作为指示电极初步用于EDTA的电位滴定。