论我国无独立请求权第三人法律制度的不足与完善

本在我国民事诉讼法的基础上，就司法实践中的关于无独立请求权第三人法律制度中存在的问题及如何完善作了有益的探讨。     

里砖外木模板支设施工工法

本文对里砖外木模板支设施工工法进行了论述.     

用Authorware中的知识对象制作课件

随着电脑技术的迅速普及,尤其是多媒体技术的日益成熟,利用各种多媒体软件及相关软件和制作各种教学课件,发提高教学的效果和效率,已经受到各级各类学校和教育机构的普遍重视,并逐步作为对教师能力的一项基本要求。     

环境法治的制度设计

环境的法律保护是社会经济持续发展和构建和谐社会的必然要求。现存的经济发展理念、环保意识、地方政府的本位主义及现有相关法律法规的不健全等因素导致环境保护落实不到位。环境保护的可持续发展，不仅要落实环境保护责任、加强环境保护监管、提高公众参与程度、严格环评程序，而且要将生态环境保护作为优先目标和首要目的，将环境权益作为公民的根本利益来保障。     

Java程序数据竞争的增量式检测

针对静态竞争检测无额外运行开销但精度低,而动态竞争检测精度高但因插桩有额外运行开销,在实际Java虚拟机的即时编译器中以竞争检测遍形式设计实现了一种精确有效的增量式竞争检测算法.结合锁集和发生序关系,依次对即时编译的每个方法进行一次方法内分析,收集独立于上下文的方法摘要,并以方法摘要为基础自下而上进行上下文敏感的跨线程方法间分析,增量计算并及时输出潜在的竞争信息.实验表明,算法对应用程序无插桩且不受程序规模限制,具有与O'Callahan等人的动态竞争检测算法类似的精度,检测时间仅占总编译时间的2%～4%.     

三维地质数据的网格值生成和等值线绘图系统

本文论述了离散的及等距的地质采样数据的等值线绘图方法,提出了网格数据生成及处理的递推与优化算法。在此基础上,显著地提高了微机的使用效率。在IBM—PC/XT微机上开发了由12个程序构成的等值线绘图系统。实践表明,该系统具有使用简便,成图速度快的特点。     

生成测试数据的结构归纳法

提出了生成测试数据的结构归纳法,并举例说明如何运用结构归纳法产生程序的测试数据,以利于程序员有规则地产生测试数据。它对提高测试效率,改善软件产品的可靠性有促进作用。     

逐步回归方法在虫情测报中的应用

应用逐步回归等数理统计方法,采用电子计算机作计算工具,在众多的气象因子中筛选出一、二个因子作为预报的依据.所得结果对我们所收集数据地区的虫情测报有实际意义.     

APPLEⅡ的打印机自由格式输出方法

本文提出的打印机自由格式输出方法可以较好地解决APPLEⅡ微机SOFT—BASIC程序设计中的报表和资料的定位输出问题。     

提花手套花型信息处理软件的研制

手套花型信息处理软件由花型编辑、数据文件格式转换、EPROM的读写操作和花型的存取所组成。花型编辑可以利用系统提供的图形命令集,采用交互方式来实现。在花型设计完成以后,可将花型作为数据文件存储,将图形信息转换成01码,并用于手套提花过程的自动控制。在执行根文件EPRALL.EXE以后,可进行EPROM写操作,并能自动检验其正确性。该软件已通过专家鉴定,并用于生产,取得了良好的社会效益和经济效益。