刑事程序性制裁确立之考量

刑事诉讼程序的目的在于惩罚犯罪、保障公民权利以及维护社会秩序,其目的的实现仰赖于国家司法机关和刑事诉讼当事人、诉讼参与人对刑事诉讼程序规范的遵守。在刑事诉讼实务中程序违法现象较为严重,一个重要原因是刑事程序性制裁的缺失。当前,在我国确立程序性制裁既有必要性也有可行性。     

物理程序题教学设计与学生创新能力的培养

学生学习物理的过程,是一个物理知识积累过程,当知识积累到一定程度,还需要进行系统的整理、提高,使之进一步深化.对学生这个循序渐进获得知识的过程的设计,通常称为教学程序设计.习题教学也是同样可以进行程序设计,这就是物理程序习题.     

女飞行员刘晓连少将访问南航

建成集团于近日举办检验人员培训班．针对全体检验人员的工作程序、质量职责．责任落实．实际技能等具体情况设置培训内容．为了保证此次培训的质量．特聘专业人员授课．同时对全体检验人员实行严格管理．要求他们遵守培训纪律．认真做好学习笔记。培训结束后．进行闭卷考试．由纪委、安全保卫部及质量保证部的领导监考．考试分数达不到60分的下岗．达不到70分试岗．     

省级国防动员机构启动问题

本文所讲的省级国防动员机构启动,是指省级国防动员机构为完成国家赋予的国防动员任务,由平时体制转入战时体制,并开始遂行动员任务的过程。省级国防动员机构的平战转换如何,直接影响着国防动员的质量乃至战争     

绘图技术在C~3I系统中的应用

本文以HP DesignJet 750C plus绘图仪为例,介绍了C~3I系统中用绘图仪实现计算机绘图的方法,给出绘图仪开发应用的一般规则,并就如何巧妙地使用HP—GL/2指令,以提高绘图质量和效率作了较为详细的描述。     

防空导弹垂直发射转弯程序设计

利用二次转弯的思想来选择转弯程序,解决了垂直发射方式下导弹速度的变化要求和法向过载的合理分布问题。     

FORTRAN程序的多任务分割

本文以数据相关分析为基础,详细地讨论了LOOP级多任务生成的几种方法,给出了FORTRAN循环可并行执行的条件,提出了需要注意的几个问题。在此基础上,本文提出了对FORTRAN程序进行宏任务生成的一种新方法,并且考虑了实现多任务生成的几个编译问题。     

YFT77 向量语句的实现

本文提出了通过源语言到中间语言的变换进行语言扩充的方法。这种方法已用来在YFT77中扩充向量语句,实践证明,这是一种有效、可行的途径。     

寻求探空火箭最佳推力策略的一种直接优化方法

本文运用贝尔曼动态规划方法寻求探空火箭最佳推力策略,建立了解本文问题的“局部最优性”递推方程,采用区域性限制系数和非节点处的“单点插值”方案,大幅度提高了运算速度和精度,计算过程更趋稳定,使给定起飞质量的探空火箭在寻优计算中获得较之于间接方法更大的目标效益。同时,在微机IBMPC/XT上编制了计算程序,为探空火箭初步设计和方案论证提供了具有较高置信水平的理论依据。     

TSR程序及其编制要点

在本篇文中介绍了ＴＳＲ程序的组成及其编制原理和要点,并给出了一个用Ｃ语言编制ＴＳＲ程序的通用例子。