科创中国

Migrating landbirds are known to follow coast lines and concentrate on peninsulas prior to crossing water bodies, es- pecially during daylight but also at night, creating enhanced potential collision hazards with man-made objects. Knowing where these avian migration "hot-spots" occur in time and space is vital to improve flight safety and inform the spatial planning process (e.g. environmental assessments for offshore windfarms). We developed a simple spatial model to identify avian migration hot- spots in coastal areas based on prevailing migration orientation and coastline features known, from visual and radar observations, to concentrate migrating landbirds around land masses. Regional scale model validation was achieved by combining nocturnal passerine movement data gathered from two tier radar coverage (long-range dual-polarization Doppler weather radar and short- range marine surveillance radar) and standardised bird ringing. Applied on a national scale, the model correctly identified the ten most important Danish coastal hot-spots for spring migrants and predicted the relative numbers of birds that concentrated at each site. These bird numbers corresponded well with historical observational data. Here, we provide a potential framework for the es- tablishment of the first three-dimensional avian airspace sanctuaries, which could contribute to more effective conservation of long-distance migratory birds [Current Zoology 60 (5): 680-691, 2014].

基于C语言编程的S函数建模法,实现了矩阵变换器的8开关模式空间矢量调制策略,达到了快速、高效、代码利用率高的良好仿真效果.把矩阵变换器的控制虚拟为整流和逆变两个环节,分别实现输入电流和输出电压的空间矢量调制,再综合成AC-AC矩阵变换器的空间矢量调制,并得到有效开关组合表,经优化得到8开关序列.采用MATLAB工具箱建立仿真电路,用S函数实现核心控制算法,再构成一个完整系统,做仿真实验.仿真结果表明,该S函数建模方法值得在矩阵变换器研究方面推广、应用.

将仿真技术应用到社会系统研究是一个新的研究思路,需要从仿真全过程为其定制.深入分析了MDA、元模型、模型变换以及多范式建模理论几个基本概念以及他们在文中的内在关系,然后重点从建模环境的角度,基于元建模和模型变换的思想,为面向应急管理的人工社会定制了元建模框架.该框架从具体语法、抽象语法、语义3个角度对人工社会进行刻画.以此为基础,以甲型H1N1在封闭校园传播为案例,构造了人工校园并进行了计算实验.实验表明,元建模框架能有效实现模型的轻便性、可重用性、互操作性以及可拓展性.该元建模框架同时也是"非常规突发事件模拟仿真与计算实验集成升华平台"的建模子系统.

在利用ACP(Artificial Society,Computational Experiments,Parallel Execution)方法解决突发事件应急管理问题的研究工作中,人工社会的建立成为一个新问题.针对人工社会的多Agent和多领域性特征,提出一种面向人工社会的多范式建模方法,从构造基本人工社会元模型、特定领域人工社会建模和领域模型到仿真模型变换3个方面解决人工社会建模问题.利用通用建模环境(Generic Modeling Environment,GME)实现了公共卫生事件的人工社会建模流程,验证了方法的可行性.同时,方法也是"非常规突发事件模拟仿真与计算实验集成升华平台"的重要支撑.

阐述了国内外多分辨率建模技术发展的历史,说明了多分辨率建模是作战仿真中的关键技术,结合该技术在各作战域的应用指出了在C4ISR领域应用发展的不足.针对C4ISR模型中的传感器模型的多分辨率建模,在分析了建模需求的基础上,结合传感器系统在仿真系统的表示方法,从传感器性能和传感器报告两个方面实现了传感器模型的低、中、高分辨率建模,通过验证想定检验了模型的一致性,能够较好的解决作战仿真系统规模大型化、模型复杂化与资源消耗、执行效率之间的矛盾.

特征模型已经成为软件产品线工程中共性/可变性建模的事实标准.现有基于特征图的建模工具由于在模型表达能力、严谨的形式化语义等方面的不足限制了其在工业界的应用.为了消除这些建模中的缺陷,为基于特征的产品线开发提供一个坚实的支撑环境,提出文本式特征建模语言TEFL,介绍其具体语法、抽象语法,以及形式化语义;开发一个基于Eclipse的语言编辑器原型;给出了面向XML和Java语言应用转化方法和工具;分析了与现有文本式建模技术相比所具有的优势与不足,并指出在特征建模及其工具技术方面的进一步的工作方向.

针对传统遥控软件测试模式出现的测试周期长、适应能力差、效率低等问题,设计并实现了一种通用的遥控软件自动化测试仿真平台.通过对遥控软件的测试内容、测试方法进行分析,论证了建立自动化测试仿真平台的可行性,并对仿真平台的数据建模方法和场景建模方法进行了研究.最后,通过仿真场景实例对数据模型进行了设计,并对测试用例条件组合结果进行了分析和选优.实际应用表明,该平台设计先进,通用性好,测试效率高,能够满足测控系统中遥控软件的测试需求,提升了软件的自动化测试水平,具有一定的工程应用价值.

我国在"九五"和"十五"期间,特别是"十五"期间提出"要不失时机地加快城镇化的发展",使本来已处于快速发展的城镇化进一步地加速,导致城镇化在一定程度上出现了冒进的态势.城镇化的冒进带来以下危害:城市建成区的急剧扩张与耕地减少;引发严重的资源环境问题;土地城镇化大大快于人口城镇化;致使城乡之间发展不够协调,以及区域范围内的城镇体系缺乏总体规划.基于上述认识,中国城镇化的空间转型应包括:城镇化的发展应该与自然基础和生态环境的格局相匹配;由城市主导下的城镇化转向城乡一体化;由单一城市主导下城镇化转向区域范围内城镇体系主导下的城镇化;城镇化格局应该和宏观区域格局形成良性互动的关系,使得城镇化发展有利于促进区域协调发展.

高职高专非计算机专业以C语言教学为主的算法语言课程存在着教学目的不明确、与实践脱钩等严重问题.算法语言课程必须以高等数学为核心,训练学生将实际问题抽象化为数学问题的"建模"能力.选择Matlab为教学语言,有利于提高学生解决实际问题的能力和水平.

从对象的基本工作原理出发,建立了一类可以正确反映汽轮机外特征和级间参数分布的集总参数模型.模型采用基元级理论将汽轮机内蒸汽的三维流动简化为以流线为坐标的一维流动,从而避免了复杂三维流场的计算问题,保证了仿真的实时性.以某型船用多级汽轮机为例对模型进行验证,通过仿真结果和实测值的对比,证明模型能够真实地反映实际对象的稳态与动态特性,具有较高的计算精度,可以为汽轮机的性能分析、运行及控制优化提供一定的帮助.