基于结构覆盖和状态识别的FSM一致性测试实验评估

针对在测试资源紧张的情况下所面临的不同测试技术中测试方法选择问题,阐明了对基于结构覆盖和基于状态识别的测试生成技术进行实验评估的必要性,以10个有限状态机（finite state machine, FSM）应用实例为实验对象,从测试开销和错误覆盖能力两方面对这两种技术进行了实证研究,为FSM一致性测试中这两种技术的选择应用提供了经验性的参考建议。     

考虑状态转换的最优战略调整决策与企业价值研究

宏观经济的变化影响企业战略实施效果,本文构建以状态转换强度为影响因素的企业战略调整优化决策模型.运用随机动态最优控制方法,得到两状态下企业价值解析解,企业当前价值、增长期权和托宾Q分析解,以及相应的最优投资策略.理论研究和数值模拟表明:战略状态不影响企业最优战略调整时机,但影响最优投资支出,高战略水平时,企业生产率更高,为达到并维持企业最优资本结构,企业的投资支出增多;状态转换强度影响企业最优战略调整时机、战略调整瞬时的投资支出、托宾Q值和增长期权-企业价值比值;特别地,相对战略水平阈值是转换概率的单调递增函数,转换概率越大,相对战略水平阈值越大,企业保持当前战略的时间越长.总之,考虑状态转换能够改善未考虑状态转换时制定的战略调整决策和相应投资策略.     

政府双重干预对双销售渠道闭环供应链的影响

本文考虑政府再造品置换补贴和废旧品回收奖惩双重干预(简称政府双重干预),分别构建了无政府干预、再造品置换补贴干预、废旧品回收奖惩干预和政府双重干预下的双销售渠道闭环供应链模型.在政府干预内生化的基础上,探讨了政府双重干预对闭环供应链最优决策的影响并与单一政策的干预效果进行对比分析,并以社会福利最大化为目标分析了政府的最优干预参数.研究表明:政府双重干预下,新产品价格和需求量会降低,再造品价格和需求量会上升;政府双重干预时,两政策的干预效果会叠加,强化了单一政策干预的效果,进一步促进再造品的销售和废旧品的回收;通过设计合理的干预力度和干涉阈值,可提高制造商利润和消费者剩余并实现全社会福利的增加;制造商与零售商通过利润共享,可弥补政策干预下的零售商利润损失,保证闭环供应链的稳定性和实现闭环供应链成员的共赢.     

基于复杂网络理论的配电网节点脆弱度评估

配电网中节点脆弱性的大小是其结构鲁棒性的重要体现,为实现对配电网节点脆弱度的评估,提出对配电网节点脆弱度大小排序的方法。首先,构建配电网的复杂网络加权模型;其次,针对节点脆弱度评估中的度值、介数、凝聚度和紧密度等几个指标,结合主观和客观两方面信息构建描述各指标重要性的权重;最后,提出综合逼近理想排序(Technique for Order Preference by Similarity to Ideal Solution,TOPSIS)和灰色关联度的方法,实现对配电网节点脆弱度大小的排序。对几种典型的中压配电网进行计算,验证了本文方法的可行性,对IEEE123系统分析,结果表明多指标综合评估较单一指标评估更符合配网的实际特点。     

基于分级加载工况的沉降曲线拟合法及工程运用

为评估分级堆载预压法处理下地基的沉降,提出了适用于分级大面积加载工况的沉降预测方法.基于指数曲线法,将传统的单级加载预测模型拓展为多级预测模型,结合某填海机场地基处理工程实例,通过对实测沉降的拟合、预测,分析了多级预测方法的实际应用效果.研究结果表明:在分级加载工况下,与单级方法相比,多级方法能较好地预测后期继续加载且...     

癫痫临床诊疗数据规范化研究

中医常采用自然语言描述疾病症状,导致症状命名不统一,影响数据挖掘分析和临床疗效评价结果.该研究主要以中医临床专病诊疗数据为研究对象,示范性地探索和整理了临床诊疗数据中术语该如何规范化的问题,从语义分析的角度来规范化整理症状术语,在首选术语制定过程中引入术语属性和术语间关系的概念,解决了症状间多词一义、多义一词的问题.参...     

基于脑机接口的智能家居控制系统

为实现家居系统的智能控制,提出一种基于脑机接口、脑电信号识别分类和增强现实(AR: Augmented Reality)的解决方案.通过佩戴设备收集提取脑电图(EEG:Electro Encephalo Gram)信号,对数据使用小波变换去噪并利用短时傅立叶变换进一步处理,利用主成分分析(PCA: Principal ...     

岩质边坡稳定性分析中地震波理论的应用研究

基于地震波通过结构面时的反射折射理论,探讨位移反射系数与地震波入射角的关系,建立一定条件下边坡稳定性的地震波入射角判据;同时认为,当前常用的莫尔强度准则不适合作为地震荷载作用下岩体破坏的判断依据,并针对地震荷载对莫尔强度准则进行修正.     

二维系统的非脆H∞控制

研究了二维(2-D)系统的非脆控制.研究的对象线性离散2-D系统是由2-D状态空间Roessor模型描述的.所设计的状态反馈控制器的状态反馈增益带有范数有界的不确定性.当状态反馈增益的不确定性为加性不确定性时,该控制器使得所得到的闭环系统对于此类不确定性基于线性矩阵不等式方法是非脆稳定的.而D性能始终小于指定的数Y.     

脂肪酶法降解壳聚糖的研究

通过对脂肪酶降解壳聚糖产物的黏度测定,笔者研究了脂肪酶降解壳聚糖过程中一系列反应条件包括温度、时间、酶浓度对降解程度的影响．结果表明,最佳的降解条件是：最适宜温度60℃,最适宜的时间是5h,最佳酶量为700U／g,同时得到了相对分子质量小于10000的低聚壳聚糖．