司法公正视野下的普通程序简化审--兼谈普通程序简化审的改革与完善

普通程序简化审以不突破现有法律寻求合法性，同时由于建立在被告人认罪的基础上，且有利于司法资源的合理配置，从整体上实现正义，而具有公正性的基础。但目前对该项改革的公正性的程序保障不足，应赋予被告人知悉权。获得律师帮助权及设立其它程序保障被告人对普通程序简化审的选择，是合法、自愿、明智的，且其认罪、选择必须得到中立法官的审查确认。     

企业信息化建设目前存在的问题及对策

分析了企业在信息化建设过程中存在的问题及产生的原因，并提出了成功实施信息化的相应对策、方法和要点。     

Lorentz变换修正公式

Lorentz变换的根源在于,当t’=t=0时,两惯性坐标系K’和K的原点O’与O重合,这时,在其公共原点发出的是一个传播速度为光速c的光信号。经过Lorentz变换,认为光速c是一切实际物体运动速度的极限。本文假设,当t’=t=0时,两惯性坐标系K’和K的原点O’与O重合,这时,在其公共原点发出的是一个超光速信号。由此导出了Lorentz变换修正公式,并证明了超光速没有极限值,ds2仍然是Lorentz不变量。同时还导出了相对论速度变换修正公式。由此还可以导出在超光速条件下,惯性坐标系之间的其它变换公式。     

n次积分C-半群的表示定理

利用指数有界的n次积分C-半群的基本性质，用两种不同的方法证明了它的指数公式。     

本体论在马克思主义哲学中的地位和意义

本体论是任何哲学理论的前提和出发点。马克思主义哲学的本体论是物质一元论。那些认为马克思主义哲学没有本体论或主张马克思主义哲学本体论是实践本体论的观点是站不住脚的，是与马克思主义哲学世界观理论相悖的。     

网络系统中的公式表达方法研究

为了探讨网络系统中的公式表达，提出了一种基于XML(eXtensible Markup Language)的公式标记语言FML(Formula Markup Language)．首先分析了FML与网络系统的关系以及FML与MathML的联系和区别，阐述了、ML和MathML并不适合于网络上的传输应用，而且不能作为成熟的规范指导实际应用；然后描述了FML语法，阐述了用FML来表达公式的实现技术，提出了在网络系统中解析和再现FML的工具FML Viewer．探讨FML及其应用，对于XML的研究，具有一定的理论和应用价值．     

关于系数平方增长的带跳BSDE的解(Ⅰ)

讨论了系数关于q为平方增长,p和-y为指数增长的带跳倒向随机微分方程(BSDE)解的存在性,以及有这种系数的反射BSDE解的存在性.     

构造应力型开采地表沉陷规律及其工程处理方法

分析了构造应力型开采地表沉陷宏观破坏特征,揭示了构造应力型开采卸载地表沉陷的力学本质,建立了构造应力型开挖地表沉陷的力学模型,指出现有的自重应力型地表沉陷规律的理论方法不适用于构造应力型地表沉陷规律的研究;引入概化地应力概念,导出了构造应力作用下地表变形的预计公式体系.从工程应用出发,提出了综合考虑自重应力与概化地应力2种效果迭加来研究构造应力型地表沉陷规律的方法,并建立了相应的研究步骤与程式.     

关于Hurwitz Zeta函数的积分均值

设ζ(s,α)为HurwitzZeta函数.当Re(s)>1时,定义ζ(s,α)=∑∞n=01(n+α)s(实数α>0),ζ′(s,α)、ζ″(s,α)分别表示关于复变量s的一阶导数、二阶导数.利用解析方法及三角和估计给出了ζ(s,α)对参数α的积分均值的一些有趣的渐近公式.     

FS120型空心粉丝机挤压螺杆的设计计算

通过对FS-120型空心粉丝机挤压螺杆的参数选择、载荷公式的建立，计算了挤压螺杆的各种变形。