汉语语法的三元系统

语形、语义、语值、语境是汉语语法的基本要素,是研究、解释汉语语法事实和语法理论的基本前提。因而,从“语形、语义、语值、语境”角度切入,结合不同的相关因素,可以构建汉语语法的制约系统、证明系统、柔性系统。     

试论刑事诉讼中的证明责任倒置

刑事诉讼中一般由控方承担证明责任,但是在某些物定情况下,控方只需证明初步事实的存在,其他与被指控犯罪相关的事实的证明责任则转由被告方承担,如果被告方不能证明相关事实,则要承担对其不利的推定,这就是证明责任的倒置,但并非所有被告人担证明责任的情形都属“证明责任倒置”,在一般情况下被告人承担证明责任实际上是“证明责任正置”。证明责任倒置在形式上是“有罪推定”,但它对某些刑事案例件实体真实的发现极具必要性,也符合正当的法律价值取向。我国刑事诉讼法有必须确立证明责任的倒置规则,但其适应范围须作出严格界定。     

瞬态反平面动力学问题的Cauchy型奇异积分方程解法

本文使用边界积分方程和分离奇异主部等技巧，将瞬态反平面动力学问题归结为求解Ｌａｐｌａｃｅ变换域上的Ｃａｕｃｈｙ型奇异积分方程，并严格证明了该方程与Ｓｉｈ导出的对偶积分方程等价。本文还进一步研究了两条裂纹问动态影响；使用高精度的奇异积分方程算法及Ｌａｐｌａｃｅ数值反演法。文中计算了若干典型例子的动态应力强度因子，有关结果表明本文方法是成功和可靠的。     

分块果园法的证明

本文证明了分块果园法纠错码的纠错和检错能力,讨论了块的相关问题。     

萧文强博士谈数学证明

本文论述了数学证明的作用.     

网上银行的法律探讨

网上银行作为商业银行的一种新业务，由于其是以因特网为操作平台，以致于在实践中不仅存在着新的金融风险，还必须防范各种网络风险。为了确保网上银行的健康发展，对涉及网上银行的相关法律问题进行探讨，以期建立一套完善的网上银行法律法规监管体系。     

一种防堵取样阀

生产中取样阀易堵塞是阻碍顺利取样和及时化验分析的主要因素，为解决这一问题，介绍了一种防堵取样阀，它适合于对各种流体的取样。由于具有防堵和自清理堵塞物的功能，防堵取样阀的用途比较广泛。     

关于B样条函数系的一个定理

本文对于L.L.Schumaker的名著《Spline Functions:Basic Theory》第四章中关于B样条函数系线性无关的定理4.18的证明,指出了其欠妥当之处,提出了反例并给出了正确的证明。     

新型防爆光纤液位检测系统的研制

设计了一种新型本安防爆光纤传感器，测量易燃易爆液体贮罐液面高度，从而确定不同时刻的液体贮存量，光纤感应采集传输液位高度和变化方向信号，经光电转换、信号放大、CPLD数据处理后，将信号输入到计算机进行计算管理，显示并打印出易燃易爆液体输出或输入和库存量，这种系统特别适用于石油化工等领域的液位检测。     

Authorization Management Framework Based on Joint Trust-Risk Evaluation

0 Introduction Trust management[1-3] is an approach to managing authorization in distributed environ- ments. Blaze et al[1] firstly proposed the concept of trust, and took trust into consideration in au- thorizing. Probability computed via historical records is viewed as the grade of trust[4]. Trust is classified into two types: direct trust and recom- mendation trust. But modeling the subjective trust with the simple probability and expressing the integration of multi recommendation trusts b…