基于非确定性推理的网构软件服务质量动态评估方法

提出了网构软件环境下一种基于非确定性推理的构件服务质量动态评估方法.该方法基于贝叶斯网络,其主要特点在于考虑了用户对构件的QoS需求,可以预测在用户多种QoS需求下采用分级策略的构件服务能力,支持评估模型的动态更新,提高了评估结果的准确性.在自主开发的服务协同总线(Once-SCB)平台上进行了应用与验证,结果表明,该评估模型准确、有效,可以在用户多种QoS需求下为其选择最为合适的构件.

基于捕获/重放的Web应用跨浏览器兼容性检测

由于浏览器实现技术的差异以及对标准支持程度的不同,Web应用的跨浏览器不兼容性(cross-browser incompatibilities,XBI)已成为Web应用开发者面临的严重问题.现有的兼容性检测工具仅考虑用户交互事件而忽略了浏览器内部事件,无法保证在不同的浏览器平台上有相同的执行,导致检测结果出现大量误报和漏报.提出了一种基于捕获/重放技术的Web应用跨浏览器兼容性检测方法,在事件捕获阶段记录Web应用在参考浏览器平台运行时产生的各种非确定性事件,并在重放阶段在测试浏览器平台中进行远程重放.通过在重放过程中采集页面信息,保证了检测结果的准确性.为避免重复检测,设计了一种增量式的检测算法提高了检测效率.实验结果表明了所提出方法的有效性.

面向移动应用的后端服务平台

典型的移动应用开发分为服务器端和客户端两部分,传统的移动应用开发模型需要花费大量人力、物力和时间成本用于开发和维护服务器端功能.本文提出了一种面向移动应用的后端服务平台,该平台为移动应用开发提供自定义数据服务、用户管理服务、文件存储服务、地理信息查询服务、消息推送服务等适用于典型移动应用场景的通用服务.移动开发者可以通过平台提供的REST风格Open API或者为不同移动终端提供的native SDK两种方式利用后端服务平台进行移动应用的开发.最后,本文以实际案例说明了面向移动应用的后端服务平台的使用和为移动应用开发带来的优化和改进.

基于状态方面的Web服务动态替换

随着面向服务计算技术的成熟,服务复合已成为Internet上开发企业间业务协作的一种新模式,WS-BPEL是服务复合事实上的标准。但是由于复合服务所依赖的第三方伙伴服务的分布、自治和松散耦合等特性,在执行过程中易受到伙伴服务失效的影响,可靠性无法得到保证,因此需要支持在运行时对伙伴服务进行动态替换。目前的BPEL规范只提供有限的服务替换功能,当与伙伴服务的交互涉及到一系列有状态的会话操作时,服务替换就更加复杂。通过对面向方面的研究,提出面向BPEL语言的状态方面扩展。通过状态方面,记录与伙伴服务交互过程中的会话信息。在伙伴服务失效时,通过透明地替换伙伴服务,使得与当前伙伴服务的会话信息传播到功能等价的另一个伙伴服务上,以保证流程的正常执行。通过该方法,使得BPEL流程具有一定的自愈能力,增强了流程执行的可靠性。

试论成教学生的思想政治教育

本文从学习形式分析了成教学生的现状,认为成教学生有许多不同于全日制学生的特点;也结合作者多年学生工作的实践与研究,阐述了对成教学生进行思想政治工作的思考与体会。

浅谈项目教学法在机械基础课程教学中的实施

机械基础课程的传统教学方法无法实现理论实践一体化教学,我们必须突破传统的教学模式,积极探索,寻找一些有效的教学方法。项目教学法就是在教学过程中,有目的地选定一些活动项目,以"项目"为导向,围绕"项目"开展一系列教学活动,促进学生主动接受知识的教学方式。

交通运输企业安全生产标准化建设之我见

一、交通运输企业安全生产面临的问题 近年来,随着我国经济的发展,交通运输得到迅速发展,但是,交通安全的压力并未减轻。以道路交通运输为例,随着人们生活水平的提高,汽车拥有量急速增加,在给人们的生活带来方便的同时,道路交通事故居高不下。据2012年的统计,我国道路交通事故致死率为23.9%,死亡人数为3.3人/万车,而发达国家这两个指标分别为1％～4％和1．2～1．9人／万车，这说明我国的交通运输安全生产仍然面临艰巨的任务。当前我国交通运输企业的安全生产主要存在以下几个方面的问题。

图书馆改革理论探索——四川省图书馆学会图书馆改革理论研讨会观点综述

四川省图书馆学会图书馆改革理论研讨会于1988年9月26日至30日在四川南充师范学院图书馆召开,历时5天。参加研讨会的代表均系来自全省各系统图书馆的论文作者,共70多人。研讨会就图书馆改革理论问题,进行了热烈的讨论。现将这次研讨会上一些论文的主要观点简述如下: 一、关于图书馆改革内涵的问题,文南生同志在《关于图书馆改革内涵的哲学思辩》一文中认为,改革是指改变旧制度、旧事物,它与改进、改造、改良等词的区别在于,这些词是指实行局部而不触动原有基础结构的活动,而改革则是实行全面的。

面向微服务架构的容器级弹性资源供给方法

容器作为物理资源的逻辑抽象,具有资源占用少、资源供给快等特点,适合工作负载突变的互联网应用模式,特别是面向微服务架构的新型服务范型.已有工作受限于物理机和虚拟化环境,或资源难以弹性供给或资源供给时效性较差,难以应对负载突变(flash-crowds)场景.针对此问题提出了一种服务质量(quality of service,QoS)敏感的、基于前馈的容器资源弹性供给方法,该方法采用排队论刻画工作负载、资源利用率和响应时间的关联关系,构建应用性能模型.其中,响应时间采用模糊自适应卡尔曼滤波进行预测(前馈控制器),预测结果违背QoS是触发资源弹性供给的依据.基于CloudStone基准的实验结果显示,前馈控制器具有快速收敛的特点,对响应时间的预测误差小于10%.在flash-crowds场景下,相对于已有方法可有效保障应用的QoS.

REST API设计分析及实证研究

REST API已成为访问和使用Web服务的重要途径,为开发基于服务架构的应用系统提供了可复用接口.但是,REST API的设计质量参差不齐,因此有效、合理的设计指导规范对于规范和提高REST API设计质量具有现实意义和应用价值.首先,基于REST API的本质内涵,建立了一个多维度、两层次的REST API设计指导规范分类体系RADRC(REST API design rule catalog),并对当前主流的25条设计指导规范进行分类.其次,针对已有规范提出相应的检测方法,并实现了REST API设计指导规范遵循情况的分析与检测工具RESTer.最后,使用RESTer开展REST API设计实证研究,分析了APIs.guru收录的近2000个真实REST API的文档,从中分析提取相应的REST API信息,进一步检测并统计当前REST API的设计特征和设计指导规范遵循情况.研究发现不同应用类别的REST API在资源和操作模式上存在差异,使得不同类别REST API在设计规则和总体架构方面各有特点.实证研究结果有助于深入了解当前REST API及其设计规则的特征、现状和不足,对于提高REST API设计质量和改进设计指导规范具有实际意义.

基于领域本体的政务信息检索系统

现有政务信息检索系统存在两个主要问题:一是采用基于关键词匹配的检索技术忽略了对用户检索条件的语义理解,缺乏对于文档实质内涵的准确描述;二是由于对政务信息领域知识的缺乏,用户不能很好地提出符合自己检索需求的检索条件。针对这些问题,提出了基于领域本体的政务信息检索方法,即通过引入本体,在文档和检索条件间建立一种基于本体的由本体中的词汇集组成的结构化的对应关系;设计并实现了相应的概念词抽取、检索条件扩展算法以及原型系统。实验结果表明,该方法在检索的查全率和查准率方面都有很大的提升。

面向移动平台的消息通讯服务设计与实现

由于移动平台网络和能耗方面的限制,应用开发者实现并维护一个移动端与服务器端可靠的、低能耗的消息通讯服务代价较高。面向移动平台的消息通讯服务为移动应用提供了即时的、可靠的消息通讯。同时结合移动端上下文信息丰富的特点,消息通讯服务提供了上下文情景感知的消息通讯方式。实验表明了此服务的可行性和低能耗特点。

一种WS—BPEL流程的运行时监控方法

WS-BPEL作为一种webservice组合语言，如今在企业解决方案中已经得到了广泛的应用．但是，由于WS-BPEL所依赖的外部服务的自治性以及流程本身的动态性和灵活性，其执行行为在运行前是不可预知的，流程的执行进行监控．本文提出了一种对WS-BPEL流程执行期进行动态监控的方法．该方法基于Past Linear Temporal Language（PLTL）描述监控规则，采用Aspect Oriented Programming（AOP）技术作为对BPEL引擎扩展监控功能的机制，从而实现对WS-BPEL流程实例的灵活有效监控．该方法在中国科学院软件研究所自主研发的OnceBPEL引擎上已经实现，能够满足灵活有效的监控需求．

基于日志挖掘的移动应用用户访问模型建模技术研究

提出了一种基于监控日志挖掘的移动应用用户访问模型自动构造方法,该方法包括监控代码注入和界面访问模型构造两部分。首先,提出了一种监控代码自动注入方法,即通过对移动应用代码的静态分析,自动地在相应位置插入监控代码以支持在运行时动态地监控用户的访问行为。其次,提出了一种基于状态机的移动应用用户访问模型构造方法。访问模型中状态机的节点和节点间跳转上的附加属性描述了UI界面之间的跳转行为和界面内控件的使用情况。对移动应用进行的实验表明,这种基于监控日志挖掘的移动应用用户访问模型自动构造方法能够成功地自动注入移动应用的监控代码,并能够有效获得移动应用用户界面访问行为。

一种基于录制/重放的Android应用众包测试方法

随着Android设备的流行和普及,Android生态系统的碎片化问题越发严重.为了确保应用质量,Android应用需要在多种设备上进行测试.为了应对大量重复机械的测试工作,学术界和工业界提出了众多跨设备的测试方法,但目前的方法还有较多的局限性:(1)手工编写设备无关的测试脚本耗时且容易出错;(2)现有录制/重放方法生成的测试脚本在跨设备重放时会出现各种问题,导致重放失败;(3)由于缺少足够的Android设备,应用难以在大量不同类型的设备上进行测试;(4)现有的测试方法由于缺少应用特定的领域知识,无法生成有效的用户输入,导致测试覆盖率不高.基于以上原因,大量的应用在没有经过充分测试后发布,兼容性问题频发.针对以上问题,提出一种基于录制/重放的Android应用众包测试方法,并实现了原型工具AppCheck.AppCheck收集众包用户和设备交互时所产生的事件序列后,将其转换为平台无关的测试脚本,可直接在众包用户的设备上进行重放.在重放期间,AppCheck收集各种测试相关数据(例如截图和布局信息)以检测兼容性问题.实验结果表明,AppCheck能够有效地完成跨设备录制/重放以及兼容性问题的检测,弥补了当前方法的不足.

基于测试例生成的Android应用数据竞争验证方法

Android应用是一种事件驱动的并发程序。后台线程与异步事件执行顺序的不确定,导致数据竞争在Android应用中普遍存在。现有的针对Android应用的竞争检测工具会产生大量误报,且不能确定地重现竞争。针对以上问题,在现有的竞争检测结果的基础上,提出了一种基于测试用例生成的Android应用数据竞争验证方法。该方法首先构建应用的状态转化图,并基于状态转化图和现有竞争检测工具的检测结果自动生成包含潜在数据竞争的测试用例,然后在测试用例执行的过程中通过控制事件分发和线程的执行顺序来暴露竞争,观察竞争是否会引起程序异常。实验结果表明,该方法能有效地重现数据竞争引起的并发错误,并指出检测结果中的误报。

气质类型与车工实习指导

对不同气质类型的学生,采用适合其气质类型特点的指导方式对学生实习兴趣的培养及实习成绩的提高有很大的促进作用。

一种面向软件配置管理制品的层次分类方法

配置管理工具(configuration management tool,简称CMT)作为运维自动化的组成部分,是实现开发运维一体化(development and operations,简称Dev Ops)的重要支撑技术.当前,互联网开源社区中存在数量众多的CMT脚本制品,但是缺乏有效的层次分类管理,给快速检索和高效利用CMT脚本制品带来困难.针对该问题,提出一种面向CMT制品的基于在线非结构化描述文档分析的层次分类方法.该方法利用标签共现性关系(tag co-occurrence)建立层次类别体系,基于描述属性特征,实现对CMT制品的层次分类器;并使用混合的样本划分方式针对数据倾斜问题进行了改进.对超过11 000例训练数据和1 000例测试数据进行实验,结果表明:改进的样本划分方式得到的最佳查准率、查全率、调和平均值分别达到0.81、0.88、0.85,较传统方式查全率提高0.15,调和平均值提高0.06.该结果验证了层次分类方法的有效性.

我们的报纸更加贴近了群众

1988年年初,一位在贵州工作了30多年,几乎无日不读《贵州日报》的读者,经过对报纸的认真研究,给我们写了一封信,赞誉《贵州日报》自党的十一届三中全会以来,突出改革开放这个主旋律,大胆触及现实生活中的“热点”,正确反映群众的呼声和愿望,满足群众广泛的需要和爱好,使它更加贴近了群众,越办越有看头。我们认为,这位读者的赞誉是对我们的鞭策,也反映了十年来我们的报纸在党的十一届三中全会精神指引下,所作的一定努力。《贵州日报》创刊于新中国刚刚成立不久的1949年11月28日。头十八年。

猪脾乙肝特异性转移因子的研制

探索猪脾乙肝特异性转移因子（ＰＳＨＢＶ－ＴＦ）的制备方法，为临床提供合格的ＰＳＨＢＶ－ＴＦ制品。方法：用乙肝疫苗辅以佐剂对猪进行全程免疫，然后从猪脾中提制ＰＳＨＢＶ－ＴＦ；采用小鼠皮肤试验检测制品的特异性活性，并按卫生部规程要求对制品进行全检。结果：ＰＳＨＢＶ－ＴＦ具有抗乙肝特异性活性，即能转移针对乙肝病毒的特异性细胞免疫反应； ３批制品所有项目符合规程要求。结论：本法可制备出合格的 ＰＳＨＢＶ－ＴＦ制品，且适合于大规模化生产。