支持MDA的交互式需求获取方法及辅助工具

为支持MDA的开发模式,本文提出了表格驱动的交互式需求获取方法并开发了相应的支持工具.该方法通过填写参与者表、非功能性需求表、用例卡、CRC卡以及用户反馈表来得到用户需求,为建立计算独立模型CIM和平台独立模型PIM提供足够的信息.     

动态水权效益模型及其蚁群算法求解

本文提出了动态水权的基本概念及特征,研究了动态因素影响下水市场参与者活动及区域内水权交易的效益最优问题。以无定河流域陕西省境内水权配置为例,建立了其在丰枯期、节水潜力双因素变化下的动态博弈模型,并运用蚁群算法实现了模型最优求解。结果表明:枯水期靖边县、米脂县成为用水户,榆阳区、横山县和绥德县为转让户,转让户产生最大效益为1320万元,用水户及时弥补了缺水并产生效益为1850万元,区域总效益达到3170万元。模型能实现动态因素影响下的转让户、用水户及其区域总效益的最大化,为实现区域水资源的优化配置提供了重要的方法。     

基于事件确定有限自动机的UML2.0 序列图描述与验证

为了确保软件分析与设计阶段UML2.0序列图模型的可靠性,采用命题投影时序逻辑(propositional projection temporal logic,简称PPTL)模型检测方法对该模型进行分析和验证.提出了事件确定有限自动机(event deterministic finite automata,简称ETDFA),并使用该自动机为序列图建立形式化模型,通过给出的基于ETDFA的PPTL模型检测算法得到验证结果.该方法可以在基于Spin的PPTL模型检测器的支持下实现.实例结果表明,该方法可以验证序列图的性质并保证其可靠性.     

柏叶口水库面板堆石坝渗流分析

介绍了柏叶口水库基本情况,对坝基渗水压力、防渗帷幕前后渗流压力(趾板渗压计)及绕坝渗流进行了监测分析,通过定量分析渗流压力的实际测量资料与坝体变形量之间的相关性,对于同类型水利工程大坝渗流量的安全性分析及评价具有一定的借鉴作用。     

基于MIKE11哈达山水利枢纽坝址处河道水下地形模拟

依据哈达山水利枢纽坝址处松花江河道实际走势和实测河道大断面等数据,利用MIKE模型搭建哈达山水利枢纽坝址处河道一维数值模型并利用MIKE11Maps功能,对哈达山水利枢纽坝址处松花江河道水下地形进行模拟,为需要建立二维数值模型且缺测水下地形的河道提供借鉴。     

基于RGB-D图像特征的人体行为识别

针对现有的多模态特征融合方法不能有效度量不同特征的贡献度的问题,文中提出基于RGB-深度(RGB-D)图像特征的人体动作识别方法.首先获取基于RGB模态信息的方向梯度直方图特征、基于深度图像模态信息的时空兴趣点特征和基于关节模态信息的人体关节点位置特征,分别表征人体动作.采用不同距离度量公式的最近邻分类器对这3种不同模态特征表示的预测样本进行集成决策分类.在公开数据集上的实验表明,文中方法具有简单、快速,高效的特点.     

电镀用脉冲电源的微型机实现

为满足某些贵金属电镀生产和实验要求，本文提出了一种新型电镀用脉冲电源微型机实现方法。采用8098单片机的高速输出口（HSO）实现脉宽、频率（周期）可调输出，同时采用图形点阵液晶显示器LCD做图形字符显示，构成一个可提高电镀质量、灵活、可靠的小型系统。     

高职学生人文素质教育现状及培养途径研究

通过对高职院校在校学生的人文教育状况、用人单位的需求进行全面的调查,认为高职院校在校学生人文素质的教育现状存在一定的不足,用人单位对毕业生人文素质的需求与学校培养目标之间存在诸多问题。针对此情况,根据调查结果提出了应采取的一系列有效措施加以改进。     

新型全固态多波长激光器的医学应用

激光的能量在时间、空间、光谱上高度集中,使它在众多领域中得到了广泛应用.其中,医学是应用激光技术最早、最广泛和最活跃的一门学科.世界各国已开发出许多种不同治疗用途的激光医疗设备,并用于临床治疗.     

基于图像融合的可重构FPGA实现

文章研究了基于IHS变换与小波变换相结合的图像融合方法,采用VerilogHDL语言和同步设计方法对设计进行了完全可综合的RTL级描述,给出了一种基于CycloneⅡ系列EP2C50的硬件实现方案,并利用Altera公司的FPGA开发软件QuartusⅡ6．0对设计的各模块进行了仿真和实现,结果表明,给出的设计能很好地实现图像融合。