环境法治的制度设计

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

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

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

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

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

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

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

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

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

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

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

用电算器或袖珍机上程序判别圆柱状褶皱和圆锥状褶皱

根据求最佳拟合圆锥的公式,用CASIO fx-4000P电算器或PC-1500袖珍机上程序,算出圆锥轴的产状及圆锥半顶角的大小,就能判别圆柱状褶皱和圆锥状褶皱。     

利用Y—4Q型X射线衍射仪测量残余应力的计算机程序

本文建立了残余应力测量的N—BASIC计算机程序。此程序利用Y—4Q型X射线衍射仪采集的数据文件在GW—0520CH计算机上运行。对850℃电炉加热、水中淬火的45~＃钢试样的残余应力进行了测量,得到了满意的结果。     

FORTRAN语言打印机绘图软件及其应用

本文针对许多科技工作者应用计算机进行科学计算后,缺乏专门的绘图设备将数据绘成图形这一普遍存在的问题,用FORTRAH语言研制了点阵打印机绘图的程序。不需要增加任何硬件,便可很方便地绘制出各种设备图、函数曲线图以及标量和矢量场参数的分布图,使研究结果的输出形式更为形象、直观和清晰。     

机床导轨结合部优化设计方法与程序

本文论述了机床导轨结合部优化设计方法及其程序概要。程序是在关于导轨结合部刚度特性、摩擦特性、阻尼特性及切削点相对位移等的研究的基础上逐步开发、扩展起来的,每一步开发都进行了实验验证。解析结果与实验结果的对比表明解析方法及程序正确、可靠。