基于AR规则的全路径测试数据自动生成方法

基于全路径的研究现正处于起步阶段,提出了一种全新的NRPS算法（不重复路径搜索算法）和AR规则来对程序的源文件进行静态分析,生成有向无负权图,进而得到不重复路径集;并结合粒子群优化算法最终生成最优测试用例。实验表明,该方法具有可行性。     

基于不变量的程序修复进化扩展模型*

为了有效解决程序修复进化中搜索空间过大和正常功能牺牲的问题,提出了一种基于不变量约束的扩展的程序修复进化模型（extended repair evolutionary model,EREM）,利用程序不变量约束对搜索空间进行划分和约简以降低消耗,通过使用表达程序正常功能的正测试用例学习的不变量约束（称为正不变量约束）来保证程序不牺牲正常的功能,在适应度函数的设计上考虑测试用例通过数的同时也考虑了正不变量约束的保持数,对于破坏正不变量约束的个体适应度给予一定的惩罚值。最后通过实验对模型进行了验证,结果表明了     

Integrated reliability or travel time and capacity or urban road network under ice and snowfall conditions

In order to evaluate and integrate travel time reliability and capacity reliability of a road network subjected to ice and snowfall conditions, the conceptions of travel time reliability and capacity reliability were defined under special conditions. The link travel time model (ice and snowfall based-bureau public road, ISB-BPR) and the path choice decision model (elastic demand user equilibrium, EDUE) were proposed. The integrated reliability was defined and the model was set up. Monte Carlo simulation was used to calculate the model and a numerical example was provided to demonstrate the application of the model and efficiency of the solution algorithm. The results show that the intensity of ice and snowfall, the traffic demand and supply, and the requirements for level of service (LOS) have great influence on the reliability of a road network. For example, the reliability drops from 65% to 5% when the traffic demand increases by 30%. The comprehensive performance index may be used for network planning, design and maintenance.     

基于MATLAB的电路分析程序的设计与实现

对于包含众多元件和结构复杂的线性电路,采用一种系统化的方法加以处理,可以使列方程和求解方程的工作都由计算机完成.采用节点列表法,用MATLAB的脚本语言设计具有通用性的电路仿真程序,对含有电阻、电感、电容、互感、独立电源以及受控源等元件的稳态电路进行了一般性的求解和分析.     

用指针实现的程序的标准化及其应用

为了消除指针程序实现形式的多样化,简化程序分析,提出一种对用指针实现的程序进行标准化的方法.首先将程序表示成系统依赖图,分析指针别名信息;然后制定指针标准化规则并结合已有的代码多样化消除规则,对系统依赖图进行保持语义不变的转换,将语法表示不同但语义等价的程序转换为相同的系统依赖图表示,从而消除代码多样化.最后,将该方法应用到C语言编程题的自动评分系统中,并与人工评分和正确评分结果进行对比,验证了该方法的有效性.     

850农场地下水资源可持续开采利用研究

850农场是三江平原地下水开采强度最大农场之一,井灌面积占平原面积57.7%,现地下水埋深约5 m,处理想埋深中,地下水用量约405 m^3/hm^2·a,产量还略高于本场渠灌稻。本地区井灌面积达2.07×104hm^2,只要在节水灌溉上下功夫,可达采补平衡。若在雨洪资源化上下功夫,“西水东调”和建河滩“漏水库”,还可发展水田,水田比例由现0.577上升到0.60以上,故此850农场地下水可持续开采利用。     

合宁高速公路路面改扩建方案优化设计

结合合宁高速公路改扩建工程的初步设计和合宁高速公路旧路路面检测报告,依据旧路具有不同路面类型的特点,针对旧沥青混凝土路面的改扩建设计、旧水泥混凝土路面的改扩建设计和新建路面设计等情况,阐述了路面改扩建设计的各种方案,并对各种可能存在的路面改扩建方案进行技术经济分析和优化设计,分析了各方案的优缺点,提出了合宁高速公路改扩建工程最终推荐的路面设计方案,为今后其他同类项目建设提供参考。     

ASP.NET应用程序安全性研究

重点研究了基于ASP.NET的Web应用程序的安全问题。分析了ASP.NET的安全架构,从应用角度,给出了保证Web应用程序安全的4个层次:身份验证、授权、机密性和数据完整性。详细论述在Web应用程序开发中如何实现Windows验证、表单验证、URL授权和数据加密。     

学生顶岗实习人身事故校方责任评估探析

建立大学生顶岗实习人身伤害事故校方责任评估体系,明确界定事故责任,有利于妥善地处理好学生伤害事故,维护学生合法权益和学校声誉;强化学校安全责任观念,增强学校预防意识,切实保护学生的人身安全;有利于进一步实施大学生素质教育.本文提出了制订评估体系应遵循的几项原则,分析了学校对事故所负责任大小的几种类型,构建了大学生顶岗实习期间发生人身伤害时学校承担责任的评估体系.     

基于旅游需求的饮食文化资源开发——以淮安为例

随着旅游者需求的不断变化,作为旅游资源的饮食文化必须基于旅游者需求基础上进行开发,才能获得旅游者的认可。淮安是著名的淮扬菜发源地之一,饮食文化历史悠久,内涵丰富。在现今旅游者需求日益变化的市场条件下,淮安饮食文化旅游产品的开发只有以终端市场的需求为核心,运用主题化、个性化、多样化、生态化开发策略,才能重振淮扬菜雄风。