基于控制流模型的Web系统测试方法研究

Web应用系统的使用与日俱增,技术层出不穷,但是Web应用系统的测试却是一个难点.论文提出一种基于控制流的测试方法,对Web应用系统建立控制流模型,并给出形式化的定义,采用模型进行测试用例的产生.为了使测试自动化,论文还谈到脚本技术和测试执行器的设计.     

医疗大数据特征挖掘及重大突发疾病早期预警

通过运用新兴的尖端云计算技术,设计研发了健康云平台。采用分布式云存储技术存储大规模的异构多模态生理信号数据,将数据挖掘模型（L1-逻辑斯蒂）整合至MapReduce框架中,快速挖掘用户的健康信息以及重大疾病高风险因子,让用户能实时地了解自己的身体状况,同时对用户的异常状况给出预警信息,并通知其前往医院就医,实现了对重大突发疾病的早期预警。     

基于Android平台的风机手持操作仪开发

基于Android平台开发了一款风机手持操作仪, 用于风机的日常监视、维护及设置。以TCP/IP协议和MODBUS协议为基础, 与风机主控系统实现基础数据通讯, 并通过交互界面上的触控操作来完成监视、维护及设置功能; 同时, 利用数据库技术实现对风机和用户数据的存储与管理, 并对用户关键信息进行加密处理以提升安全性。实际应用表明了该设备的可行性、有效性, 并且具备灵活、便携、经济等特点。     

一种基于加速度传感器的人体跌倒识别方法

为了减少老年人因跌倒而造成的伤害,及时有效地识别跌倒行为,提出了一种基于三轴加速度传感器的人体跌倒识别方法。首先将加速度传感器放置于人体腰腹位置,采集人在运动时的加速度变化数据;然后使用日常活动数据训练隐马尔科夫模型(HMM),利用老年人活动状态相对较少的特点,从测量数据与HMM的匹配程度寻找"疑似"跌倒行为;最后计算短暂时间内的身体倾角,检测人体躺卧姿态,完成跌倒识别。利用HMM和身体倾角识别跌倒,解决了生活中缺乏跌倒数据训练样本的问题,提高了某些近似行为的区分度。仿真结果表明,该方法在有效识别跌倒行为的同时,提高了正确率。     

我国高等学校法人治理结构的实施框架

高等学校法人治理结构的关键在于权力分配与权利制衡,目标在于真正落实高等学校的办学自主权。只有以现存的治理制度与组织结构为基础,引入现代企业治理结构和国外高等学校法人治理的经验,对高等学校的科层制管理结构进行改良,建立符合我国国情的高等学校法人治理结构,才是落实办学自主全权,完善自我管理的必要出路。     

Conditional probability Markov chain simulation based reliability analysis method for nonnormal variables

Based on fast Markov chain simulation for generating the samples distributed in failure region and saddlepoint approximation(SA) technique,an efficient reliability analysis method is presented to evaluate the small failure probability of non-linear limit state function(LSF) with non-normal variables.In the presented method,the failure probability of the non-linear LSF is transformed into a product of the failure probability of the introduced linear LSF and a feature ratio factor.The introduced linear LSF wh...     

改善钢桥面铺装层高温作用的有效措施

为了降低钢桥面铺装层内较高的温度,提高铺装材料使用性能,推迟桥面的早期破坏.采用有限元手段,以傅里叶传热定律为理论基础,根据气象部门提供的气象资料,对开放式钢箱梁及封闭式钢箱梁铺装层的温度场进行研究.结果表明:开放式箱梁可以降低桥面铺装层温度,降低高温持续作用时间,改变桥面铺装层高温的作用位置.     

Practical Control of a Ball-Screw-Driven Stage for Long-Range Nanometer Positioning

A DC motor and ball-screw-driven stage is studied for long-range nanometer positioning.The closed-loop system with high-gain PID controller is specially designed for high-precision point-to-point (PTP) positioning.A particular input shape of the closed-loop system is proposed to avoid overshoot and vibration by taking into account the nonlinear characteristics of the feed drive.Friction modeling and identification are avoided and the effect of friction is greatly suppressed by the controller.Experimental and simulated results demonstrate long-range nanometer positioning is achieved without overshoot.In PTP positioning from 10 mm down to 5 nm,the positioning error is within ±5 nm and response dynamic is satisfactory.     

制造任务分解与制造单元级资源配置协同优化

针对网络化制造环境下制造任务分解与资源配置脱节的问题,提出了制造任务逐层分解与制造单元级资源配置协同优化的方法,建立了协同优化流程.在对制造任务特点进行分析的基础上,建立了制造任务模型和制造单元资源模型,建立了多目标优化模型和目标的综合评价体系,利用在遗传算法求解搜索过程中所获得的动态信息进行综合评价,并随着求解搜索过程的深入对变异幅度进行调整,以达到全局优化和加快收敛速度的目的.最后以实例验证了该方法的可行性与有效性.     

基础项目融资中政府担保的定价

在基础项目融资中,政府提供的担保有效地促进了基础项目融资的发展.政府提供担保会给政府造成或有债务,需要采用定量方法研究担保,从而为政府的担保提供量化依据.论文在分析担保期权特性基础上,采用期权理论建立了担保的定价模型,并研究了模型在基础项目融资收益担保中的应用.