基于安全规则变异的Web Services安全性测试方法

针对已有变异测试研究中仅考虑对SOAP(Simple Object Access Protocol)消息输入参数的变异处理,而缺乏对SOAP消息安全规则变异的研究,文中从消息机密性、完整性及身份认证等方面对安全规则进行归类,提出了一种基于安全规则变异的Web Services安全性测试方法.首先给出一种安全规则变异测试框架,研究变异点判定规则库,设计出相应的变异操作算子、漏洞判定准则以及基于优先级与权重策略的变异算子选择方法.然后提出一种基于安全规则变异的测试用例生成算法,依照算法生成违背安全规则的SOAP消息,从而揭露Web Services的安全类故障.最后实现了一个Web Services安全性测试工具WSSTT(Web Services Security Testing Tool),在工具的基础上进行实验和对比分析,验证了文中提出的基于安全规则变异的Web Services安全测试方法的可行性和有效性.

GIS在图形化工作流建模中的应用研究

对基于Petri网的建模对象进行分析,并提出将具有强大的图形建模、可视化操作和空间数据分析功能的GIS技术应用到工作流建模之中,建立一个基于空间对象的工作流建模与模型检验的可视化建模系统,为解决传统建模软件开发中的关键问题提出了一种新的解决方案。

一种基于数据流分析的冗余变异体识别方法

变异测试是一种基于故障的软件测试技术,广泛用来评估测试用例集的充分性与软件测试技术的有效性.尽管变异测试具有较强的故障检测能力,但由于数量庞大的变异体导致了计算开销大的问题,阻碍了变异测试在实践中的广泛应用.为了增强变异测试的实用性,该文从减少变异体数量和缩短变异测试执行时间的角度出发研究变异测试的优化技术,提出冗余变异体的概念和一种基于数据流分析的冗余变异体识别方法.采用11个C程序以经验研究的方式评估了所提冗余变异体识别方法的可行性与有效性.实验结果表明,该文提出的冗余变异体识别方法不仅可以识别出大量的冗余变异体,有效地减少了变异测试执行时间,还提供了一种评价变异算子质量的方法.该文提出的冗余变异体概念及其识别方法可以有效地提高变异测试的效率,并为资源受限的情况下如何选择变异算子进行变异测试提供了指导方针.

提高温室内拉幕系统密封性的工程措施

内拉幕系统是温室的重要组成部分之一,是调节温室内温度、光照、湿度的主要设施和节能降耗的重要手段。目前拉幕系统已在我国连栋温室内得到普遍应用,并与温室主体结构和通风系统一起成为温室工程的基础配置之一。由于内拉幕系统设计、安装较为复杂,因此系统质量较难保障;加之其安装于温室内部,系统出现问题后难以被使用者发现,不能及时维护,更加剧了系统故障存留时间和故障积累。在这些问题中,拉幕系统密封性不良尤为突出,据初步估计,我国密封性存在问题的温室占存量温室的比例高达75%以上。因此本文结合自己的工程实践和在华北、东北等地区的有关项目试验,从工程设计和构造的角度上,对内拉幕系统密封性的改善进行分析并提出建议。

云计算环境中基于访问量和依赖性评价的数据分配算法

大量的大规模密集型数据需要存储在多个数据存储中心,而应用越来越广泛的云计算环境很好地解决了大规模密集型数据在分配中遇到的规模性问题。但是,云计算环境中多数据存储中心的数据分配会带来数据存储中心之间数据量的传输,从而导致数据访问效率低下。同时,单位时间上数据访问量的不平衡性会引起数据存储中心的访问瓶颈。以大规模密集型数据中的数据流为建模对象,提出了一种数据分配算法,它在保证数据存储中心负载平衡的基础上兼顾了密集型数据之间的依赖性。实验表明,相比于同类的数据分配算法,所提算法具有更好的综合表现,特别是在保证数据存储中心的负载平衡方面,效果突出。

帕金森病患者跌倒的运动与认知障碍机制研究进展

尽管帕金森病患者跌倒的病理机制仍不清楚,但运动机能障碍和认知障碍是重要的风险因素。本文总结了姿势不稳、冻结步态、执行功能障碍以及注意力缺陷与跌倒之间的相互作用,并提出了帕金森病患者跌倒的运动认知障碍相互作用模型,以期为运动认知双任务干预提供理论依据。

间隙球铰接触区域快速检索及磨损问题高效求解方法

针对多体系统中间隙球铰接触磨损计算效率低的问题,提出一种基于查找表的间隙球铰接触区域检索和磨损预测方法。将球铰接触界面离散化,并将离散点的几何位置、运动参数及磨损信息存储为查找表;任一瞬时球铰内接触探测可通过检索查找表的方式来实现,避免逐点计算空间距离的复杂性;采用修正的赫兹接触模型求解微间隙球面共形接触问题,相对有限元方法有较高计算效率,并可获得较精确的应力分布;在统一计算模型下实现多体力学与接触磨损分析的有效集成。含间隙球铰的空间连杆机构动力学与磨损耦合分析结果表明:曲柄105转磨损周期内,球铰磨损区域基本位于纬度-30°~80°之间,在经度方向的磨损区域随时间而逐渐扩展;总计算耗时为83min,较有限元接触磨损分析具有更高的计算效率。

认知域为何要取代生化人？--论认知的转型

就所关注的问题而言,《生化人宣言》在不少方面都似乎是未卜先知,预示出了很多问题。但是随着新技术的不断涌现,特别是互联网、万维网以及一大批网络化信息设置的出现,个体的人或生化人已不再是适宜的分析单位,生化人也不再是让人充满热情的隐喻。在生化人停滞不前的地方,认知域脱颖而出。

玄学对魏晋书画艺术之影响

魏晋时代,赏玩山水成为文人的追求。贤者由赏玩山水之象,而与道相通。此处之道,乃庄周之道,实际是艺术精神。文人能看出山水的空灵,看出它最为自然的性格,它可以成为人们所追求的道的媒源,可以满足文人画家思想上自由解放的要求。山川是人间未受污染的物体,而其形象深远嵯峨,容易引发人们的想象力,山水为艺术家心中美的对象,也成为美学寄予的对象。

魏晋玄学隐逸与山水清音

隐士与自然山水是密不可分的。古代的隐士经常遁入山水自然,以便远离当政者。远离了尘世罗网的隐士不但获取了精神上的价值和道德价值,并在自身隐蔽于山林的穴居中发出了对自然山水优美的赞颂。隐士们弃朱门荣华而居住于穷乡僻壤之间,虽然可能会很清苦,但是正是这些志当存高远的隐士们终日与造化为伍,流连于山林丘壑之间,通过与自然形影相吊,进而更可以达到一种精神的超越,乃至冥合于老、庄的玄远之境。从石崇与绿珠的诗歌中,不仅能读出隐逸思想,还可以看出诗歌对政治的一种反抗。

园艺地布的生产应用

园艺地布又称为“防草布”、“地面编织膜”、“地面防护膜”等,国外常用名称为“Ground Cover”、“Weed barrier”,该材料于20世纪70年代末80年代初开始出现并广泛应用于园艺领域。主要用于温室地面防草、排水、保持地面清洁、地面标记与导引等目的。

应用图论分析与最优化理论来数据挖掘大规模水牛普里昂蛋白结构数据（英文）

图论、最优化理论显然在蛋白质结构的研究中大有用场.首先,调查/回顾了研究蛋白质结构的所有图论模型.其后,建立了一个图论模型:让蛋白质的侧链来作为图的顶点,应用图论的诸如团、k-团、社群、枢纽、聚类等概念来建立图的边.然后,应用数学最优化的现代摩登数据挖掘算法/方法来分析水牛普里昂蛋白结构的大数据.成功与令人耳目一新的数值结果将展示给朋友们.

基于血清胸苷激酶1的甲状腺异常增殖风险预测模型的构建

目的:为减少甲状腺癌诊疗领域存在的过度诊断现象,开发一种基于体检数据进行甲状腺异常增殖风险的数学预测模型。方法:研究数据来源于福建泉州中国人民解放军第910医院健康管理中心,分析研究了血清胸苷激酶1(STK1)与甲状腺影像报告及数据系统(TI-RADS)分级的相关性。以TI-RADS分级作为终点事件,以STK1检测结果联合常规体检指标为自变量,通过不平衡类学习算法(IKIL)构建了甲状腺异常增殖风险的风险预测模型,并绘制受试者工作特征曲线(ROC),以评价此模型在受检者甲状腺异常增殖风险评估中的应用价值。结果:K-S检验结果显示STK1值呈偏态分布。由Kruskal-Wallis检验可知,随着TI-RADS分级数的升高,STK1水平呈现单调递增趋势。从TR-1进展到TR-2时细胞增殖水平显著增加;在TR-2到TR-4区间,细胞增殖水平存在升高趋势,但相邻级别之间差异并不显著。通过IKIL法获得的甲状腺增殖风险指数公式为:y=-3.50+0.29×STK1+0.06×总蛋白+0.01×乳酸脱氢酶-0.0046×尿酸-1.35×高密度脂蛋白胆固醇+0.34×CEA,该模型的ROC验证AUC值为0.848,标准误差0.00925,95%置信区间为(0.827,0.865)。Youden指数最大的增殖风险指数为0.52,使用该点为阈值预测甲状腺异常增殖风险的敏感性、特异性分别为66.98%、94.22%,提示风险预测模型对甲状腺异常增殖风险具有较好地预测能力。结论:研究开发了基于STK1水平联合其他体检指标对受检者的甲状腺异常增殖风险的预测模型。该风险预测模式的限制条件少,可操作性强,对社会自然人群的甲状腺结节/肿瘤的健康管理具有较好现实意义。

防虫网选择方法与使用效果分析

防虫网属于作物保护中的物理隔离方式,也是害虫综合治理(IPM)中最重要的方式之一,文章从选择依据、使用效果等方面,分析了防虫网在绿色生产中的作用,为种植者提供了参考。

历史叙事与田园诗:沈从文小说创作中的牧歌传统

沈从文从先辈那里接过了武器,开始了对历史的美化和向往,他以回忆抵抗现实、以想象抵抗死一般的科学逻辑,表现出渴望回到中世纪的田园诗般的生活的愿望。在沈从文的笔下,湘西这一片净土回归到了自然的天性和人性。在沈从文湘西世界的背后,他担心的是民族性的丧失,他要找回那属于我们民族的"本根",并指出只有在复兴民族文化的背景下,才能找到我们在这个星球的归宿。

社会,源自于心理学

社会由个体组成,社会的发展趋势与人类心理变化趋势相互影响。社会学理论是社会心理学研究不容忽视的理论基础。本文在社会学理论基础上,探讨了人类社会发展与个体心理发展的趋势及其相互关系,并对人生价值进行了深刻的思考。

气候调节幕布在花卉温室中的应用

花卉的生长需要适宜的温室气候环境。不同的花卉在不同的生长阶段对于光、温、湿的需求不同。比如花卉的生长发育对光照强度和光周期有一定的要求,根据光照强度可分为阳性、中性和阴性花卉,像红掌、兰花等都需要在较低的光照水平下生长;而光周期主要与诱导开花有一定的关系,据此可分为长日照、中日照和短日照花卉,如菊花、一品红就是短日照花卉。除了光照,适宜温度和湿度对于花卉的健康生长.

浅谈温室遮阳保温幕的选择

气候调节幕布（Climate Screen）是温室中用于调节温室气候的重要设备，其主要功能是遮阳防护和保温节能，国内行业中将其称为遮阳保温幕，近年来幕布还增加了散射等功能。幕布有多种分类方法，根据基本功能可分为以下几种。

2007年荷兰国际园艺展与商务考察掠影

展会概况开放展馆：11个参展国家：51个参展厂商：985个专业观众：5万人新技术、品种：118项2007年10月9日~13日,为期5天的荷兰国际花卉园艺展览会再次在荷兰首都阿姆斯特丹召开。笔者一行6人前往参展并商务考察。

水胶比对3D打印混凝土的挤出及力学性能影响

3D混凝土打印技术是一项正在发展的新型建造技术。打印混凝土的挤出性能作为该技术的关键因素之一,受打印头泵机的挤料速度及材料工作性等参数的影响。本文探讨了不同水胶比的打印混凝土对单位时间挤出量以及挤出线条形状和抗压强度的影响。结果显示,水胶比影响打印混凝土抗压强度各向异性的差异。随着水胶比增加及打印头泵机转速加快,单位时间内的材料挤出量和挤出线条宽度增加。