迈向整体限制的程序倒流改革——以诉讼进程调控机制为视角的分析

程序倒流具有查清案件事实,保障刑事追诉正确的作用。这种功能定位造成诉讼拖延、超期羁押、权利侵犯等负面后果。立法者意识到了程序倒流的危害,在历次司法改革中逐步限制其适用次数、适用事由以及法律后果。这种限制单一一项程序倒流措施适用的改革模式取得一定成效。但是,由于单项限制模式无法进行整体限制,程序倒流的负面后果无法根除。通过比较发现,整体限制程序倒流的前提是建立诉讼进程调控机制。目前,我国案件质量评价指标已经具备一定的调控诉讼进程的功能,但其属于一种宏观调控,因而不能规范具体案件办理,无法保证个案中的程序倒流得到限制。未来,需要建立整体的、系统的刑事诉讼进程调控机制,确立刑事诉讼程序不可逆机制及其例外情形、保障措施,整体限制程序倒流。

基于整体最小二乘的参数估计新方法及精度评定

根据拉格朗日原理,推导运用整体最小二乘求解间接平差、附有限制条件的间接平差这两种测量数据处理模型,得到简单、易于编程实现的新迭代算法。给出整体最小二乘参数估计的单位权中误差计算公式以及待估参数的近似精度评定公式,并通过实际算例进行验证分析。

菱形挂篮主桁架结构优化研究

针对在建大跨度连续刚构桥悬臂浇筑施工,需要采用菱形挂篮设备,利用有限元软件Midas Civil建立不同主桁长度的菱形挂篮结构数值模型,并结合挂篮整体位移限制的施工规范,对菱形挂篮主桁进行了应力分析,确定工程菱形挂篮主桁的最优尺寸。分析结果表明,菱形挂篮主桁架的L_(A3)/L_(A4)和L_(A2)/L_(A4)取值范围比现有学者给出的取值范围分别小16.67%和31.25%,从而优化主桁架的结构设计,节约施工成本。

Analysis of bulked segregants to identify molecular markers linked with cocoon weight and cocoon shell weight in the silkworm Bombyx mori L

Two silkworm strains viz, B20 A (high cocoon shell ratio) and C.Nichi (low cocoon shell ratio) were sib mated for 10 generations to determine the homozygosis. Both bulked segregant analysis(BSA) and near isogenic lines (NIL) studies were done to identify the RFLP markers closely linked to cocoon shell parameters. Three hundred and fifty two random clones were identified as the low copy number sequence and used for identification of Restriction Fragment Length Polymorphic (RFLP) marker linked to cocoon weight and cocoon shell character. In the bulk segregant analysis, DNA from the parents (B20 A, C.Nichi), F 1 and F 2 progeny of high shell ratio (HSR) and low shell ratio (LSR) were screened for hybridization with the random clones. Polymorphic banding pattern achieved through southern hybridization with different probes indicated the probable correlation of polymorphism with high and low cocoon shell character which are possible landmarks in identifying the putative marker(s) for the cocoon shell character. Out of the 100 probes tried with parents, F 1, F 2 and their bulks, 10 probes were found to be closely linked to cocoon shell characters.

戴维森的彻底解释的证据和限制条件分析

戴维森将真理理论应用于意义理论,他认为意义是公开可解释的。彻底解释理论关注其所依赖的证据,以及构建在该证据上的解释理论所需要满足的形式的和经验的限制。思想和语言是相互依存的,主体的思想表达依赖他所拥有的某种公共的语言,这意味着说话者的语言可以通过其他人的语言得到解释。莱波雷和路德维希举例说明存在满足戴维森的语义外部论的约定T,不需要有可解释的真理理论,但却需要一个附加的限制条件。彻底解释和三角测量是相互独立的,二者对意义的解释至关重要。研究戴维森的解释理论以及思考问题的方法,对于理解其意义理论及了解英美分析哲学都具有重要的启示作用。