基于Web服务的大型电子商务系统设计研究

电子商务应用系统的规模已经越来越大了,如何在原有服务的基础之上整合新的服务,将是未来电子商务系统发展的主要方向。分析Web服务的体系结构及其关键技术,提出一种构造通用电子商务系统的设计框架,探讨基于Web服务关键技术的实现,并结合一个电信电子商务系统实例说明实现方案是可行的。

基于构件组装的应用软件开发过程研究

基于构件的软件开发方法是目前一种流行的软件生产技术,其核心围绕着构件的开发与组装技术。但如何结合实际应用要求实施基于构件组装的软件开发过程是一个值得进一步研究的课题。为此,根据基于构件的软件组装技术的概念和原理,提出一种应用系统组装框架,从软件体系结构的角度研究了构件的开发与组装方法,并将这一技术应用到软件工程网络课堂教学系统的开发上。相关实践活动表明,提出的方法可有效地获得一个适应性强的应用系统。

数组越界的故障模型及其检测方法研究

数组越界是C程序中的常见故障,该类故障可能造成系统的崩溃。首先针对常见的数组越界故障进行了分析,提出了检测数组越界的判定准则,建立了故障模型。根据该故障模型,采用程序控制流图和路径条件,并结合静态分析思想,给出了可有效地检测出程序中存在的数组越界故障的方法。最后通过实例分析了该方法的应用过程。

构件中非法除故障的容错性检测方法研究

提出了通过向构件中关键位置注入故障的方式来判定构件的容错性能。实践表明,该方法将有效地检测构件的容错能力。

一种数值溢出故障判定准则研究

针对数值溢出故障出现概率小、传统测试方法极难检测的特点,提出采用面向故障的测试方法检测数值溢出问题。分析数值溢出故障的故障模型,重点研究数值溢出故障的判定准则,该准则能有效地用于数值溢出故障的检测。

中国教育公平发展的差异与趋势——主要基于教育基尼系数的区域比较

基于2010-2017年人均受教育年限和教育基尼系数的测算结果,分析我国东、中、西部区域间及区域内各省域的教育发展状况表明:全国教育整体相对公平与区域教育发展不平衡并存,全国人均受教育年限缓慢提高,教育基尼系数基本保持在0.21~0.22的水平,整体处于比较公平的阶段,但仍有一半的省份未达到全国平均水平;地区间的教育公平发展不平衡,西部与东部、与中部的教育公平差距虽大但呈缩小趋势,东部和中部的教育公平差距虽小但呈扩大趋势;东部各省域的教育公平差距越来越大,中、西部各省域的教育公平差距在缩小。

视频会议系统建设与实现

一、系统现状江夏区国土规划视频会议系统于2013年8月建成投入使用,并于2014年完成了乡镇所试点建设,目前该系统已覆盖到全区18个乡镇所（包括区土地办、规划办等基层国土规划管理部门）。视频会议系统实现了语音、视频及数据的实时交互传输,集成了会议录播、移动视频等功能。截止目前,已利用该系统召开各类会议25次,与会人数达到1千余人次。

基于一张图的测绘生产与办公信息化系统设计与实现

基础民用建设勘测、道路交通建设勘测、地形检测等需求都离不开测绘。随着国际标准化组织(International Standardization Organization:ISO)在我国的应用深入,大部分具有测绘资质的单位都已通过了ISO质量认证。而整个测绘过程从合同签订到项目分配、项目处理、项目检查、项目成果交付经历不同的部门,周期比较长,如何进行有效的项目管理,使ISO质量认证不流于形式;同时,在项目的处理过程中需要对数据成果进行调用、保存及更新等操作,如何同时进行成果的管理。本文针对上述问题,设计和实现武汉市江夏区勘测院勘测测绘综合办公系统,通过它来进行测绘单位日常的项目管理和测绘成果管理。

一种基于无约束边替换的相似路径算法

当出现软件实际输入与预期输出不一致的情况时,则该软件就是出现了失效的情况。怎样在出现这样情况后,可以及时找到故障位置,并确定导致故障的原因,是要解决的一个关键问题即故障定位问题。软件的故障定位有众多方法,基于相似路径集就是其中的一种有效方法,为实现准确的故障定位,相似路径集的生成就是一个关键的环节。笔者主要针对相似路径集进行了分析,提出了一种新的算法即用无约束边替换来生成相似路径集,并在实验验证下表明该算法是一种可行的相似路径集生成算法。

tk1基因敲除Vero细胞株的建立及其在单纯疱疹病毒tk基因修复中的应用

利用单纯疱疹病毒I型(Herpes simplex virus type 1,HSV-1)标准株F细菌人工染色体(HSV-BAC)系统构建的HSV重组病毒由于存在tk基因缺陷,无法表达胸苷激酶,影响病毒潜伏/激活,故需对该基因进行修复。为此,本研究建立了tk1基因敲除的Vero细胞株(tk1-Vero),并利用该细胞株建立了次黄嘌呤-氨基蝶呤-胸腺嘧啶脱氧核苷(Hypoxanthine-aminopurine-thymidine,HAT)选择性培养液筛选方法,对经同源重组方式完成tk基因修复的病毒进行筛选。首先,利用CRISPR/Cas9基因编辑技术敲除Vero细胞tk1基因,通过有限稀释法建立tk1-Vero细胞株,采用DNA测序和Western Blot对tk1-Vero细胞株进行鉴定;比较HSV(F)和tk-HSV(F)在tk1-Vero细胞和tk基因缺陷的人骨肉瘤143细胞中的增殖情况;在tk1-Vero细胞中,采用HAT选择性培养液筛选方法,对tk基因修复病毒进行筛选。结果显示,本研究成功建立了稳定的tk1-Vero细胞株;与143细胞相比,tk1-Vero细胞更适于病毒增殖及tk基因修复病毒的筛选;最后在tk1-Vero细胞中,利用HAT选择性培养液成功筛选出tk基因修复病毒。本研究表明,采用tk1-Vero细胞株建立的HAT选择性培养液筛选方法可以对tk基因修复病毒进行高效快速筛选。