基于模板匹配的启发式编程训练软件的Web实现

在wleb教学课件中进行启发式编程训练对培养学生规范编程和思考问题很有帮助.该编程训练软件利用客户端的DHTML技术实现与学生的交互和动态显示处理,以教师模板程序为匹配目标,在模板程序中通过特殊标记给出提示和需要学生输入部分.通过学生输入的字符与教师模板程序的字符对比来检查和提示对错,从而引导学生规范编程,为开拓学生思...     

基于Web的程序执行效果动态演示软件的设计

程序的单步演示有利于学生理解程序的执行流程,也方便教师的讲解.本文介绍的演示软件采用Java Applet编程实现,该软件具有较大适应性,被演示程序和执行效果描述均通过Applet参数传递.     

PDG算法在动态切片技术中的应用研究

动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集,在程序理解、测试、调试、集成和软件维护等方面具有广泛的应用.介绍了动态切片的基本概念,并将程序依赖图算法应用于动态切片,从而达到缩小程序分析范围的目的,讨论了动态切片在程序调试和软件测试中的应用.     

PLC在船用辅锅炉控制中的应用程序编写

船舶自动化是工业生产自动化的一部分，机舱系统的控制过程与常规工业动力系统很类似，PLC技术已逐步应用于船舶机舱各系统之中，其中船舶锅炉系统是PLC应用比较成熟的系统，本文着重探讨一个船舶辅锅炉的PLC控制程序，所选肜的PLC硬件是西门子S5系列的小型PLC即95U。S5－95U可编程控制器的中央处理器是使用STEP5编语言语来编制程序的，SLTEP5语言的基本操作用以解决简单的控制任务，这些基本操作可以用语句表，控制系统流程图或者梯形 的形式来表达，每个用户可以选择他认为最适合的描述形式。     

基于程序切片的测试用例集约简方法

对用例集中的冗余测试用例进行删除往往会造成测试用例集错误检测能力(FDE)的下降。引入程序切片的思想,定义容易引起程序错误的语句为关键点,对其进行切片并分析取值范围,利用这些取值范围选取部分冗余测试用例可以保证最小化测试用例集具有一定的错误检测能力。     

BASIC语言形象化教学探讨及课堂实践

在计算机语言课的教学中，语句规定、原理要求很严密，但又不直观，教师讲解时既很抽象又很枯燥，学生也不易正确理解。如果教师在教学中不给出直观、形象的比喻，学生就会自己寻找理解的形象，这样极易产生一些错误的理解，而且很难纠正。     

浅谈箱粱智能绘图程序的开发

分析箱梁绘图程序要具有的功能，利用桥梁综合性计算程序的结果，实现箱梁绘图，大大缩短了设计周期，并介绍了在曲线中箱梁的布置和边梁的变翼缘处理。     

JSP网页中JDBC数据动态查询的强化方法

JSP技术进行网站开发时，数据库查询一般是通过JDBC的PreparedStatements来完成，SQL查询语句在发送给数据库之前必须十分仔细的考虑并处理所有的参数类型以及实参的值．当查询较复杂时，处理这些不同类型的值会带来较大的麻烦，程序出错的机会也会更多．针对上述问题，提出了在JDBC处理SQL语句时进行预加工处理的解决方案．采用LoggableStatement类对Java.sql．PreparedStatement接口进行扩充，当SQL语句的参数改变时，只需改变实际的调用参数，而不必修改任何其它处理语句．参数的改变会直接在查询语句中起作用．这样，使得代码更加简洁易于维护，数据库连接更加方便、可靠。     

华东交通大学在国际大学生程序设计竞赛获铜奖

第32届ACM国际大学生程序设计竞赛亚洲区预赛（成都赛区）于2007年11月18日在西华大学举行，来自全国及香港的66个高校的89支代表队参赛．14支队获金奖，21支队获银奖，30支队获铜奖．我校代表队获铜奖．我校参赛的学生是电气04级倪虎，通讯04级袁超，信息计算04级包五平．竞赛的指导教师是周尚超教授和06级研究生周娟．在这次竞赛中北京大学获冠军，复旦大学获亚军．     

基于个人PC机的PLC计算机辅助设计及仿真系统的研究

介绍一种自主开发的应用软件,可使用户以人机交互方式输入ＰＬＣ（可编程序控制器）所使用的梯形图给个人ＰＣ机,并能自动转换成语句表程序,进而对语句表程序进行扫描分析,逐条仿真执行动作命今,以检验所输入的梯形图是否为正确的设计。     

计算机与FX2系列可编程序控制器的通信

介绍了计算机与ＦＸ２系列可编程序控制器的通信协议，设计了通信接口，并用Ｃ语言编制了通信程序。     

论刑事审判监督程序的现代转型

我国现行的刑事审判监督程序深受传统文化和司法理念的影响，在价值理念和基本制度架构上，均存在着背离现代刑事诉讼理念之处，如价值理念错位、人权保障理念缺位、程序结构异化，等等。与我国现行刑事诉讼制度的发展同步，刑事审判监督程序也面临着由传统向现代转型的艰巨使命。当前，《刑事诉讼法》修改在即，刑事审判监督程序改革成败与否的关节点就在于能否通过现代型刑事诉讼理念的引入，实现刑事审判监督程序的现代转型。     

QC小组活动程序及内容

简要介绍QC小组的活动程序及主要内容，叙述组建小组的要求，选择课题的方向，对现状的调查研究，确定目标，分析原因，确定主要原因，制定对策并实施，紧后检查效果，巩固取得的成绩，对遗留问题作出下步打算等具体步骤，并结合本单位具体实施办法加以说明。     

Prolog程序正确性的一种证明方法

提出了一种Ｐｒｏｌｏｇ程序说明结构，对求解问题的程序加以说明，并以此为基础结合问题特征证明Ｐｒｏｌｏｇ程序的正确性。同是，以整数划分问题Ｐｒｏｌｏｇ改进程序和证明为例，说明程序设计应立足程序说明和程序正确性的证明。     

机车轴承检测和统计分析的计算机系统

机车轴承检测和统计分析的计算机系统刘宗，张继和，付维胜，梁海峰（电气工程系）关键词：轴承，检测，程序系统中图分类号：ＴＨ１３３．３目前，大部分机务段在机车轴承测量、统计方面的技术手段还比较落后，基本上没有采取先进可靠的技术手段，对轴承的磨损寿命及其与...     

基于LSP实现C++与AutoCAD接口

给出了C ++与AutoCAD接口程序的设计方法 ,根据LSP程序文件格式 ,借助于C ++的文件管理功能 ,设计出了接口程序 ,在自行开发软件与AutoCAD之间建立起了数据通道 ,从而实现了数据传递和共享。实践证明该方法适用、方便     

电控发动机的故障诊断

电控发动机的故障诊断比较复杂,按照一定程序、采用合理的方法进行故障诊断,能准确确定故障部位、判断故障原因,便于快速排除故障。介绍电控发动机的故障诊断程序、电控发动机的直接诊断法、基本检查方法、利用随车故障自诊断系统诊断和故障征兆模拟试验方法。     

FLAC程序及其在隧道工程中的应用

论述了ＦＬＡＣ程序的基本原理、主要功能和特点，介绍了其适用范围，采用ＦＬＡＣ程序研究了锚杆与注浆复合支护加固隧道围岩的机理，给出一个完整的实例     

顶推连续梁仿真计算与施工过程可视程序简介

分析了顶推连续梁纵向恒载内力的影响因素介绍了顶推连续梁纵向恒载内力计算原理与程序设计思想，基本功能，及施工过程的内力，位移，顶推梁位置的图显程序原理，并给出了一个实例的图显结果，该程序可用于顶推设计及施工过程中的监控。     

KIVA-Ⅱ程序计算网格生成方法的应用研究

在分析和吸收KIVA－Ⅱ程序中计算网格生成方法的基础上，针对其存在的缺陷，提出改进方法，力求扩大KIVA－Ⅱ程序计算网格生成方法的准确性和适用性，并据此生成了直喷式柴油机 的几种燃烧室形状的三维计算网格。