人防工程消防电气设计的探讨

论述了人防工程主要用电设备及其运行特点 ,并对其消防电源的配置和火灾自动报警系统进行了分析研究 ,提出了具体的技术性措施。     

拓广的电容定义电容唯一性之研究

对任意两个导体构成的电容器给出了拓广的电容定义,并通过复制电容器、恰当地对电容器充电、电荷粘贴转移这么几个富有创意的步骤,完成了对拓广的电容定义电容具有唯一性的证明.     

论康德与托马斯·阿奎那对存在论证明的批判

安瑟伦关于上帝存在的存在论证明自提出以来,就遭到过诸多批判。在西方哲学史上,关于这个证明的比较著名的批判主要来自托马斯.阿奎那和康德。托马斯.阿奎那把这个证明视作先天论证,认为从先天出发并不能证明这个证明,要想证明这个证明必须从后天出发。康德却视其为存在论证明,认为即使从后天出发,也不能为上帝存在提供证明。他把他的批判主要集中在＂上帝到底是不是一个实在的谓词＂上,认为从后天出发的证明——宇宙论证明和自然神学证明,依然是＂伪装的存在论证明＂,证明不了＂上帝存在＂这个命题。康德在哲学史上第一次真正击中了存在论证明的中枢神经,动摇了该证明。     

基于偏好序的抗操作和抗自亏双边匹配方法

针对基于偏好序的双边匹配问题,提出了具有抗操作和抗自亏性的匹配方法.具体地,首先,给出了稳定匹配方案和帕累托有效匹配方案的定义,以及匹配方法的抗操作性和抗自亏性定义.然后,通过借鉴经典G-S算法的思想,设计了确定最优匹配方案的IG-S算法.进一步地,讨论IG-S算法的特点,并证明了IG-S算法的合理性.最后,通过一个算例表明所提方法的可行性和有效性.     

浅谈中学数列中的探索性问题

探索性问题是指问题的条件或结论不直接给出,需要通过观察、分析、分类、推理、化归、一般化、数形结合及猜想、证明等一系列的探索活动,逐步确定要求的结论或条件.这类问题不仅考查学生的探索能力,而且给学生提供了创新思维的空间.近几年高考中经常出现以数列为载体的探索性问题.本文从典型例题入手,讨论了中学数列中的四类探索性问题.     

证据协力义务视野下的民事非法证据排除规则

证据协力义务的范围与强度同非法证据的数量呈反比例关系。最高人民法院《关于民事诉讼证据的若干规定》通过制度化的方式确立了民事诉讼中的非法证据排除规则。然而,司法实践中却屡屡出现对非法证据的效力作出截然相反认定的案例。非法证据排除规则在民事诉讼中的非正当性造成了上述困惑。应以证据协力义务取代民事非法证据排除规则,同时对已形成的非法证据不予排除,并追究非法取证者的刑事、民事责任。     

考虑使用年限时建筑物抗震设防水平的调整

本文从场地地震影响的概率讨论出发,分析了在(O,t)年时段内,各有效震源无地震,而在(t,t+△t)时段内,发生场地峰值加速度大于或等于给定位的地震的概率。文中用波松模型对不同时段的超越概率进行了计算,并用weibull模型进行了简化调整,得到如下结沦:若建筑物的使用年限△t不同,财在相同的场地峰值加速度下,得出的超越概率亦不同;若取相同的超越概率,则应按不同的△t调整其峰值加速度,从而采用不同的设防水平。     

一种不可否认的门限代理签名方案

针对目前的门限代理签名方案计算复杂性高、通信量大的问题,提出一种不可否认的门限代理签名方案.为提高安全性,在签名人向CA申请公钥证书时,CA采用零知识证明的方法对与该公钥相关的私钥进行验证,保证该公钥未被篡改.为提高运行效率,代理份额产生阶段,原始签名人只需计算一个公共的代理份额,广播给代理群,各个群成员并行地生成自己的代理密钥,与原始签名人逐一为每个代理群成员生成代理密钥的串行操作相比,减少了计算量.采用将敌手分为三类的安全模型,仿真各类敌手伪造签名的过程,证明方案的安全性.     

对公证的证据学思考

公证是国家授权的专门机构和人员依法定程序对有法律意义的行为、事件和文书进行居中证明、监督，并赋予其特定法律效力的活动，公证的效力通常包括证据效力、强制执行效力和法律行为成立要件效力三个方面。公证文书之所以比其他普通文书具有较高的效力，就在于公证文书的真实性、合法性。如果缺少调查取证，就会削弱公证的证据效力。实际中，存在着公证文书与一般书证的区别、公证事实与法律推定事实的区别、民事诉讼法中关于举证推翻公证证明的规定与举证责任倒置的区别的情况。公证立法过程中应明确公证处的调查取证权及调查取证程序，以增强立法的保障与规范性。     

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…