论行政程序之价值取向

介绍了程序、行政程序的概念,揭示了程序、行政程序的价值取向的内在联系,通过对行政程序正当性的分析,探究了行政程序的价值取向——公正与效率的问题,在此基础上,进一步分析了行政权主体分离和成本最小化下行政程序的效率价值取向及其相关问题。     

自动程序设计系统

本文描述一个自动程序设计系统的梗概。给出了一系列常用的形式化程序设计策略,它们连同[1]中所给出的形式推导程序规则,构成一个目标导向的自动程序设计系统的基础,并通过几个程序的构造过程,指出它们的适用性。阐述了把程序进行抽象的方法,讨论了程序的推广。证明了关于一类等价程序模式的定理,从而提供了该类程序模式推广时所用的算法。     

让学生真正成为教学的主体——化学程序启发教学模式探析

对化学程序启发教学模式进行了3方面的透视,即化学程序启发教学的活动要素和程序、化学程序启发教材的特征性、化学程序启发教学模式的心理学基础,并以化学程序启发教学为实例,探讨了化学程序启发教学模式是如何让学生真正成为教学的主体.     

基于ADDIE方法的文献检索课微信小程序教学模式构建

微信小程序的出现,为教育教学改革提供了新的方法和途径.结合发展教学方法的ADDIE方法,对小程序教学的优势进行了分析,设计出了小程序教学模块,并对小程序进行了开发、实施和评价,系统化构建了文献检索课微信小程序教学模式.     

基于ADDIE方法的文献检索课微信小程序教学模式构建

微信小程序的出现,为教育教学改革提供了新的方法和途径.结合发展教学方法的ADDIE方法,对小程序教学的优势进行了分析,设计出了小程序教学模块,并对小程序进行了开发、实施和评价,系统化构建了文献检索课微信小程序教学模式.     

试论邮电业务分营中的审计

论述了在邮电业务分营过程中审计的作用和目标,并结合邮电业务分营的具体情况,设定了相应的审计程序,即了解程序、分析评价程序、实证程序.并对这3类程序的使用进行了具体分析.     

大型弹塑性有限元分析的通用求解程序PL-SAPFEM

作者将线弹性结构分析程序推广到弹塑性计算,研制了一个求解弹塑性问题的大型有限元通用求解程序PL-SAPFEM。本文介绍了程序的主要功能,并作了若干说明。求解算法引入了局部迭代的技巧。该程序能于国产709机、731机上工作。当前,国产的非线性程序系统尚未问世,无疑该程序对非线性问题的研究及非线性程序的研制是有价值的。程序也适用于非线性大挠度计算。     

程序错误的形式化定义和程序容错能力的分级

针对程序失效相关概念的形式化定义和程序容错能力的分级,分析了程序缺陷、状态偏差以及程序失效等基本概念之间的差异,并在基于状态的程序行为理论的框架下,形式化定义了这些概念.从程序安全和活性的可满足性方面,给出了一个程序容错能力的分级方案,有助于相关概念的准确理解以及系统的对现有方法容错能力的区分.     

假设检验的Matlab实现

利用Matlab程序设计语言,编写了3个假设检验的程序,并附上每个程序的应用实例,验证了程序的可行性,从而弥补了Matlab软件系统在假设检验这部分命令上的不足.     

Newton-Cotes求积系数与复合Gauss求积算法的程序设计

提出了利用Newton-Cotes公式进行数值计算时Cotes系数的程序设计方法和复合高斯求积算法的程序设计方法,在Matlab环境下编写了两算法的程序,数值实验结果证明了程序的正确性.两程序的编写为其应用提供了方便.     

比较几种综合评价方法

剖析了目前实际工作中应用较多的几种常见的常规综合评价方法——指数法、改进后的功效系数法、最优值距离法以及简便易行又有广泛实用价值的排队计分法，并指出了其优点和局限性，也指出了这些方法的适用场合．     

试论现场压实度的控制

阐述了压实度的概念，介绍了灌砂法、环刀法、核子仪法、钻芯法等现场压实度的检测方法。指明了各种检测方法适用范围、注意事项，为施工现场压实度的有效控制提供了借鉴。     

物理教学与物理科学方法

根据新课程改革的基本理念，物理教学应充分重视物理科学方法的教育。用实例剖析了如何将物理教学与物理科学方法进行有机的结合。     

聚氨酯材料力学参数测定方法

本文对新型材料—聚氨酯材料的力学参数的测试方法进行了讨论.论述了静态量测法、波速法、加速度法、悬臂梁法、超声法的量测方法及原理.通过试验结果的分析比较,得到结论—超声法是量测聚氨酯之类材料力学参数的理想方法.该结论可作其他低弹模材料力学参数测试时参考.     

基于WYD方法的自由界面模态综合法及其应用

提出了用ＷＹＤ方法获取子结构的保留主模态，推导了３个子结构的自由界面模态综合法。计算了某车辆模型的固有频率，并与实验结果做了比较，结果表明，基于ＷＹＤ方法的自由界面模态综合法不仅具有较高的综合效率，且计算算精度也能满足工程要求。     

一个超平方收敛的抛物线法公式

在有记忆单点迭代的Muller法中,引进了多点迭代思想,给出了有记忆多点迭代的抛物线法,其收敛阶由Muller法的1.839提高到2.414,达到了超平方收敛.计算实例表明该方法优于Muller法和牛顿法.     

3维非自治分子模型的近似分析

本文提出了一个新的求解非线性方程组的方法即遗传-牛顿法，利用此方法与谐波平衡法，我们获得了一类非自治分子系统的近似周期解．遗传-牛顿法促进了我们对非线性动力系统更全面的分析．     

结构点可靠度计算方法研究

实际工程结构复杂多样,如何选用一种最佳的可靠度分析方法是工程人员常遇问题.分析了结构点可靠度的基本方法:一次二阶矩法、高次高阶矩法、响应面法、蒙特卡方法、随机有限元法的特点及适用条件,为人们选用其方法进行结构可靠度计算提供一个有价值的参考.     

二维Poisson方程的谱方法求解

应用Chebyshev Tau方法和Chebyshev Galerkin方法数值求解了二维Poisson方程边值问题,得到了该问题的高精度逼近解.同时分析了数值逼近误差,说明了谱方法的高精度性和快速收敛性,并验证了谱方法的逼近效果与未知函数的正则性有关.     

计算网络连通可靠度的一种新型算法

大型复杂网络系统的可靠性分析都是NP难问题。结合二分决策图原理和因子分解定理以桥型网络为例提出了一种新型的算法——二分决策分解算法(TPDM算法),该算法便于计算机编程实现,通过与BDD等算法的比较研究表明,该算法的复杂度更低、可行性更高。