基于多线程Java程序安全行为模型的静态检查对策探析

本文通过参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示,针对Java多线程序研究,总结出了从多线程Java程序自动生成安全相关行为模型的方法,该方法应用到携带模型代码方法的实现框架中,形象的描述了静态检查该模型是否满足安全策略的实现,同时为安全执行非信任多线程Java移动代码提供了有效支持。本文合理的使用静态分析多线程Java程序的措施,来进行相关安全性的检查,从中来考察出多线程Java程序的相关安全行为。     

用Socket实现基于TCP和UDP的原理探索

通过深入研究．探讨出用Socket实现基于TCP和UDP的原理过程。     

不确定条件下的电力系统CO2减排动态规划模型研究

推进电力行业开展二氧化碳减排,是我国积极应对气候变化、践行低碳发展的重要策略。本研究将电力系统的电力生产与二氧化碳减排进行耦合,引入区间、随机和整数规划,构建不确定条件下的电力系统CO2减排动态规划模型;考查了电力需求和生产与二氧化碳产生和减排之间的互动关系;以系统成本最小为目标,探讨了不同减排技术的适用性和实用性;并对发电机组的扩容、碳减排技术设备扩建进行了动态规划。研究结果表明,该模型不仅能够反映和处理系统的不确定性、随机性等复杂特征,还可以满足电力系统用电增长的运行和管理需求,促进电力行业节能减排,实现经济和环境效益双赢。其研究结果能够为电力行业采用二氧化碳减排技术的可能性和实用性提供参考。     

基于高含油废水降解的产脂肪酶菌株的 筛选及发酵工艺优化

为了筛选高产脂肪酶菌株并探究其对高含油废水的降解能力,采用传统的微生物筛选法从餐厨废水中分离筛选菌株,考察菌株对高含油废水（油脂含量20 g/L）的油脂降解率和产脂肪酶酶活,并对产脂肪酶酶活较高的菌株进行鉴定。采用单因素实验和响应面实验对鉴定菌株发酵产脂肪酶的工艺条件进行优化。结果表明：从餐厨废水中筛选出3株细菌、2株酵母菌,其中2株细菌可在高含油废水中快速生长代谢,油脂降解率和产脂肪酶酶活均较高,经鉴定1株为解淀粉芽孢杆菌（Bi）,1株为鲁氏不动杆菌（Bu）;Bi产脂肪酶最优发酵工艺条件为pH 6.69、氯化钠含量301 g/L、蛋白胨含量6.01 g/L;Bu产脂肪酶最优发酵工艺条件为pH 5.07、氯化钠含量6.10 g/L、蛋白胨含量9.38 g/L;在最优发酵工艺条件下,Bi和Bu产脂肪酶酶活分别为（222.83±0.91）U/mL和（231.50±2.28）U/mL,优化后的Bu产脂肪酶酶活甚至高于初始脂肪酶酶活更高的Bi。综上,2株细菌具有高含油废水降解能力,具备广阔的应用前景。     

天津地区5种大樱桃中金属元素含量的比较

目的比较天津地区种植的5个大樱桃品种中的元素含量。方法采用电热板湿法消解-电感耦合等离子质谱法,以国家标准物质苹果为质控样品,建立一种针对大樱桃中18种元素进行定量分析方法。结果标准物质的测定值均在参考证书值范围内,加标回收率在87.9%～106.4%之间,表明所建立的方法准确、可靠。大樱桃中含有人体所必需的微量元素,重金属含量低于国家限量指标。结论 5个大樱桃品种之间,无论元素总量,还是K、Fe、Ca三种元素含量,在不同品种间均存在显著差异(P0.05),为我国居民的膳食消费提供更科学的评价和指导。     

刮壁桨在槽式釜的传热研究

针对结刮壁搅拌槽壁面的传热提出渗透－对流模型。运用在搅拌桨上安装热电偶的测温方法，考察了刮搅拌槽中的温度分布情况，实验结果支持了渗透－对流以模型。当Ｒｅ〉１００，Ｐｒ〉１０＾５时，刮壁残余层对壁面传热有明显影响，随着Ｒｅ的进一步提高，刮壁槽壁面的传系数增加缓慢，关联得到Ｒｅ〈１００，８０００〈ｐｒ〈１８０００时刮壁槽壁面传热系数的经验关联式。     

不同海堤内坡护坡下的波浪溢流量特征及通用化计算方法

该文基于全尺度的大型水槽试验结果,分析了不同海堤内坡护面条件下的稳定溢流量和波浪溢流量特征,并针对每一种护面给出了计算方法,讨论了不同海堤内坡护面条件下波浪溢流量分布特征的产生原因。从稳定溢流与波浪溢流相关性的角度,对波浪溢流量进行标准化处理,提出了与海堤护坡条件无关的波浪溢流量计算方法,将该研究成果拓展到不同的海堤内坡护坡方式,为海堤的设计、评估和加固提供更好的参考依据。     

影响触觉图像识别因素的量化分析

为了使更多盲人能受益于盲文书籍所伴随的插图,区别于传统的V图像(视觉图像),对设计适合触觉认知的T图像(触觉图像)提出新的设计原则.首先将242张常见物品的V图像制作为线条凸起的可触摸图片;然后邀请10位盲人被试和10位蒙眼明眼人被试通过触摸来尽量准确地命名这些线条图,并要求被试在触摸的过程中进行"出声思维";再根据被试对线条图的描述,提取22个可能影响二维线条图触觉识别的特征;最后以识别正确率作为图片识别难易程度的指标,使用随机森林算法进行了特征建模,并对所有特征进行单因素和多因素的回归分析.实验结果表明,通过随机森林算法建立的模型,可以基于图片中这些特征预测图片触觉识别的难易程度;通过多因素回归分析,提取出对触觉识别有显著影响力的几个重要特征,并用于指导T图像的设计.     

高职计算机网络技术专业核心技能评估指标体系

黄冈职业技术学院作为首批国家级骨干高职院校,计算机网络技术专业是学院重点建设专业,通过专业调研和多年教学实践,笔者探索出高职计算机网络技术专业核心技能评估指标体系,完善了高职计算机网络技术专业人才培养方案。