剖面图程序设计

本文提出绘制剖面图形的一种程序.本程序具有功能强、形参少的特点,使用方便,运行可靠.文中还给出几种绘制剖面图形的方法.     

队列数据结构在单片机程序框架中的应用

本文提出一种用队列构造的单片机程序框架，配合事件驱动模式，可以方便地编写和扩展基于多任务的单片机程序。由于该程序框架耗费的系统资源相对少，所以适用于不能使用或者不需要使用嵌入式操作系统的场合。     

星算法的LISP程序

此文提供了星算法的一个LISP程序,它具有程序简短,所需存贮空间少的特点。由于采取了优化措施,它能方便地在微处理机上实现。借助此程序可以为给定的组合电路求出任一故障的完全测试集,以便进一步建立最佳的故障检测集。此程序也容易推广到求多故障和时序电路的测试集。     

绘制静电场电力线的计算机方法

用计算机绘制静电场电力线，所编演示程序占用内存少、运算速度快。     

基于JavaSDG的Java程序参数依赖性分析

基于一种带有标签的Java程序描述（JavaSDG）,给出JavaSDG中的过程依赖图（PDG）的形式化定义,然后分析Java程序方法调用引起的参数之间的依赖关系。并比较基于SDG和基于JavaSDG两种程序分析方法的异同,基于JavaSDG的Java程序分析方法构造的PDG具有结点少、可以重用、可以并发构造等优点。     

异型管流的加权残值法

本文采用最小二乘配置法求解异型管流问题。计算结果表明,该法具有很多优点:收敛稳定;计算程序简单;机时消耗少;准备工作量少;且一经计算完成,残值即可得到。     

KHV内啮合副优化问题的超越方程组求解法

对于KHV内啮合副(即渐开线少齿差内啮合行星齿轮副)可行解的寻求，在未采用电算技术的情况下已属较为复杂的工程计算。借助于电算技术，不仅可很方便地求得其可行解，且可进一步寻求其优化解。本文介绍的KHV内合副优化设计的方法，是通过对超越方程组的求解而进行的，它具有迭代次数少、占用内存少、程序简单、收敛快的特点，因此可在微处理机上进行该啮合副主要几何参数(包括齿形系数)的优化设计。本文介绍的程序，可做为独立的KHV内啮合副优化程序，从而获得具有标准径向间隙的啮合副优化参数，也可以作为非标准径向间隙的啮合副优化设计中，求对应于某一c*(或ha*)值的最优参数的子程序。本文蓝对按照最小啮合角原则设计少齿差内啮合副的经济效益作了粗略的估计。     

MCNP源程序修改及应用

MCNP程序是一个大型多功能蒙特卡罗计算程序,它适应于核科学和工程方面的多种课题.虽然MCNP程序的通用性很强,可以满足大多数的实际应用,但针对一些特殊的应用还是需要用户对源程序进行修改并重新编译.目前,大多数MCNP程序用户对如何修改和编译源程序了解得比较少,与之相应的文献资料也很少见.有鉴于此,本文对该问题进行了总结并对如何处理作了详细的介绍,目的是为用户更好的理解程序构成、提高对程序的应用能力提供帮助.     

室内给水管网的数学模型分析

本文采用有限元法分析了室内给水管网的运行状况,提出了求解管网的数学模型,统一了环状网络和枝状肉络的水力计算方法。实例表明,采用本文提供的数学模型编制的水力计算程序,具有计算步骤少、迭代次数少和易于掌握的特点.     

JD-2机的程序保护

本文介绍由于取指令地址超越程序区的硬件瞬时失效所引起的冲程序和非法停机故障及消除此故障的方法,说明在Jp-2机中为了保护程序,“取指保护”措施是不可少的,它使机器的平均无故障运行时间接近只由元件和工艺可靠性所限制的水平。     

罗马-教会法民事诉讼程序的特征及其历史地位

罗马-教会法民事诉讼程序在诉讼程序法中被称为“欧陆诉讼程序之母”,具有重要的历史地位。它缔造了现代民事诉讼程序的雏形,是诉讼程序理性化的开端。罗马-教会法民事诉讼程序以书面程序为原则、采行间接审理模式、严格的形式证据制度、诉讼程序断续迟延、发明了简易程序,形成正式-简易二元程序结构。它是英国衡平法诉讼程序及海事诉讼程序的渊源,还促进欧陆诉讼程序的统一和诉讼法学的形成。     

家事诉讼制度基本范畴研究

家事诉讼是包括人事诉讼程序在内的,隶属于家事裁判制度的一种构建于家庭成员身份关系基础之上的诉讼程序。家事案件所具有的公益性及当事人之间的家庭亲情等特性,决定了家事诉讼目的不只是为了家事诉讼活动的顺利进行,而是希望通过单独的家事诉讼程序来达到妥善解决家庭纠纷、确保家庭和睦的目标;决定了国家检察机关也应参与家事诉讼程序;决定了家事诉讼应采用职权主义诉讼模式,对此诉讼模式的采用不仅可以在更大程度上利于法官能够较为适宜地控制家事诉讼的进程,且更能确保家事诉讼对实体公正价值的需求。     

一类二元表决程序的稳定性分析

在定义社会选择程序的稳定性判据的基础上，探讨了一类二元表决程序（修正案表决程序和顺序表决程序）的稳定性问题，同时对不同投票行为方式（诚实投票与策略投票）下该类二元表决程序的稳定性进行了比较分析．结果表明：在一般情况下，二元表决程序在策略投票方式下比在诚实投票方式下更趋于稳定     

我国民事司法鉴定程序之完善——以与勘验程序之比较为视角

我国现行法律设计的民事司法鉴定程序与勘验程序存在显著差异。但在理论上,民事司法鉴定程序与勘验程序在本质上具有一致性。法国及我国澳门地区民事诉讼法对民事司法鉴定程序与勘验程序关系的处理颇具特色,值得我们借鉴。通过参考勘验程序来重新设计我国民事司法鉴定程序,可以使鉴定人出庭的必要性大大降低,这有利于化解鉴定人不出庭的现实困境。     

控制混合方向误差的最优方法

假定有很多双尾备择假设需要同时检验,一旦零假设被拒绝,就需要进行方向性决策.在这种情况下,相较于常用的错误率FDR,混合方向错误率mdFDR更受欢迎,因为后者控制由所有拒绝所引起的第I类、第III类错误比例之和的期望.现有文献介绍了带方向决策的BH方法(dBH procedure) ,该方法是带有依据检验统计量的符号而作出方向决策的BH线性检验方法,可在显著水平α下控制mdFDR.除dBH方法外,由Sarkar和Zhou提出的一个方法(SZ procedure)也能控制mdFDR.他们从贝叶斯观点证明了其方法的最优性.本文从频率学派观点,即假定假设分布可从数据获知,来讨论SZ方法的最优性.根据讨论,SZ方法在控制mdFDR及正确地断言更多非零假设的意义上依然是最优的.模拟结果进一步验证了分析结果是成立的,并验证了SZ方法较之于dBH方法更为有效.     

刑事诉讼价值取向:个体利益优先

公正是刑事诉讼的最高价值。我国刑事诉讼改革的目标应当是追求司法的公正和正义，而完善被告人的权利保障机制应是刑事诉讼改革的重要内容。确定个体利益优先即被告人利益优先作为刑事诉讼的价值取向，是我国刑事诉讼走向公正明的重要举措。     

小额诉讼程序与速裁程序的比较及立法选择

小额诉讼程序和速裁程序皆为我国民事诉讼简易化程序改革之产物,两者既有相同之处又有相异之点。从司法改革趋势来看,速裁程序日益凸显其实践价值,小额诉讼程序则逐渐式微。但是,不能因速裁程序之＂兴盛＂,小额诉讼程序之＂没落＂,而在倡举速裁程序之时,完全摒弃小额诉讼程序之功能性价值。毕竟,小额诉讼程序与速裁程序并无本质上的冲突和矛盾,两者均有值得引鉴的内在机制。所以,改进和整合小额诉讼程序和速裁程序,将小额诉讼程序置于速裁程序之中,成为速裁程序一部分更为合理。     

存在奇异值时AR模型的迭代稳健建模法

推广Abraham和Yatawara提出的检测时间序列中单个奇异值的评分检验法,用以检测AP(p)模型中多个相距大于2p+1的加性奇异值(A0).当检验到奇异值时,即用其预测值代替.用已经修改过的数据重新作阶数识别和参数估计,即可获得时间序列建模的稳健性.作为时序建模的典型应用,我们将该法用于谱估计.文中给出的计算机模拟例子表明,当时序中存在奇异值使通常的时序建模法的性能急剧恶化时,采用此方法,可以恢复到没有奇异值时该方法所能达到的性能水平.     

我国行政诉讼简易程序研究

简易程序是一种相对于普通程序而言较简便易行的审判程序,其因自身的内外部正当性而成为平衡诉讼中公平与效率的一种捷径。而长期以来,我国行政诉讼中却排斥简易程序的适用。我们应当在简易程序正当性的基础上构建适宜的行政诉讼简易程序。     

宝钢制造业流程铁钢界面物流参数的解析

利用钢铁制造流程的多维物流管制理论,对宝钢炼铁炼钢生产界面中的空间组织、时间因素、铁水流量和温度等物流参数进行了解析,并对流程物流调控进行了量化处理,使得高炉-铁水预处理-转炉流程的整体优化具有数据支撑.分析结果表明,流程的衔接匹配是稳定生产的关键,同时指出了宝钢生产流程衔接的不合理之处.