虚拟企业和电子商务是否动摇了四大会计假设

传统的会计理论是建立在一系列假设基础上的,即会计主体假设:持续经营假设:会计分期假设;和货币计量假设。这四个假设是在工业经济时代形成的,经过会计实践检验,证明其是合理的。进入二十一世纪,随着知识经济的到来,虚拟企业和电子商务取得了高速发展。但笔者认为虽然这四大会计假设所依据的社会经济环境发生了巨大变革,但对传统四大会计假设不会造成实质性影响。     

论数学中的公理化方法

本文介绍了公理化方法的发展历程,并就公理化方法所表现的形式及存在的优劣性进行了比较研究.     

华南中小流域设计暴雨洪水同频率检验与重现水平推算

暴雨洪水同频率假定是否成立和暴雨洪水遭遇概率分布是中小流域设计洪水计算的依据,为检验其合理性,采用鉴江上游曹江流域典型强降水流域1967—2013年逐时暴雨洪水观测资料,分析了华南中小流域最大面雨量R和对应场次最大洪峰流量Q的边缘分布和联合分布的遭遇概率,并推算其设计重现水平。研究结果表明：暴雨和洪水同频遭遇概率较小;对于特定设计频率,洪峰流量与流域面雨量的遭遇概率随流域面雨量增大而增大;流域面雨量和洪峰流量的遭遇条件概率显示存在着多种防洪风险管理选择;相对于“或”联合重现期和“且”重现期,二次重现期更准确地反映R-Q组合的风险率。     

一种新的基于假设的自然推理系统

本文在介绍自动定理证明的历史和分析自然推理研究的现有成果的基础上,提出了用以实现启发式自然推理系统HNDS的确定性推理算法。并设计了用作推理基本手段的假设机制。本系统采用知识库系统的软件结构,面向标准形式的命题逻辑和一阶谓词逻辑,对系统定理能给出清晰的类人证文过程。HNDS系统基于的推理算法理论上是合理的和完备的,这主要因为系统结合了自然推理与消解原理,并首创了量词逐层Skolem化的策略。     

假设开发法在海域一级市场评估中的应用思考

海域评估不仅是保证海域有偿使用制度顺利实施的基础性工作,也是推动海域资本化运作的重要技术依据。海域使用权的出让、拍卖、转让、抵押等经济活动,都需要通过海域评估来确定合理的价格。本文重点探讨假设开发法在填海造地用海评估中的应用。     

高分辨率星载SAR非走-停假设下回波仿真

SAR回波仿真对于其信号处理算法的研究和开发有着重要意义.在星载高分辨率SAR系统中,由于电磁波传播路径较长,雷达平台速度较快,传统的走-停假设下的双曲斜距历程已不能满足高精度的SAR回波模拟的要求.综合考虑了椭圆轨道偏心率和地球自转两方面的因素,采用二分查找思想,给出非走-停假设下回波仿真中的斜距历程数值求解方法,并讨论了高分辨率星载SAR中,基于走-停假设的传统回波仿真方法中的斜距历程与文中求解的斜距历程的差异.验证了所提出仿真方法对超高分辨率星载SAR的有效性.     

复杂光照环境下的车辆检测方法

提出一种用于复杂光照环境下的车辆检测方法,该方法在传统的假设验证框架下充分利用了先验知识和复杂光照背景下的车辆特征. 在假设生成阶段,利用车辆边缘信息与车辆前部形状特征进行拟合来生成假设;在假设验证阶段,使用HOG特征作为描述子,结合SVM分类器完成假设车辆目标的验证识别. 实验结果表明在复杂的光照环境中,本文方法能够有效检测出传统方法无法检测的目标,是对正常光照环境下车辆检测方法的有效补充.      

基于可编程hash函数的短签名

数字签名中的短签名由于其签名长度的优势，特别适用于通信带宽受限的场合．现有的短签名方案大多是随机预言模型下可证明安全的，但是随机预言模型通常被认为过于理想化，现实中没有一种hash函数能够模拟随机预言模型，而少数标准模型下可证安全的短签名方案，一般被认为是低效的或者基于强困难假设，即攻击者被给于一定数量的随机的已解决问题实例，要求去解决一个它自己选择的实例．可编程hash函数fprogrammablehashflmctions，PHF）是一种能模拟随机预言的某些可编程特性的特殊hash函数．可编程hash函数可嵌入到签名的基本构造中，产生标准模型下的短签名．本文利用可编程hash函数设计了一个基于因子分解假设的短签名方案．它具有的优点是：1）签名长度短，只需要一个群上的元素和一个小整数；2）签名和验证计算量小，不需要在签名过程中进行生成素数的运算；3）不需要嵌入变色龙hash函数便可实现标准模型下可证明安全．     

对环境会计基本理论问题的探讨

环境会计作为现代会计的一个分支，其基本理论框架如何构建是一个非常重要的问题。本文从环境会计的目标、假设、原则等方面阐述了环境会计基本理论问题。