目标独立的Prolog程序路径依赖分析语义

在Prolog程序分析中,考虑程序的执行路径和非逻辑的cut操作可提高程序分析的精度。当前用于Prolog程序路径依赖分析的语义因依赖于程序执行的目标而不适合目标独立的程序分析。为此,本文采用了一种携带路径信息并允许cut操作的Prolog抽象语法,在此基础上给出了Prolog的操作语义和一种目标独立的标号树(LT)语义,并证明了LT语义相对于操作语义的正确性。LT语义可作为目标独立的Prolog程序路径依赖分析的基础。

影响独立审计目标确立的因素

一、社会需求是影响独立审计目标确立的根本因素 社会需求是社会生产和服务的出发点。独立审计作为一种服务职业,其审计目标自然受社会需求的重要影响。这可以从独立审计的产生、发展的历史演变得以验证。在独立审计萌芽的初期,财产所有者对财产经管者最关心的是其诚实性,因此,独立审计目标是单纯的查找舞弊行为,审计方法是简单的“听帐”、对帐和详细查帐。19世纪末20世纪初,随着资本主义生产的发展和企业规模的日益扩大,开展了以证明企业偿债能力为主要目标的资产负债表审计。进入20世纪三四十年代以后,随着整个世界资本市场的迅猛发展,证券市场的涌现及广大投资者对投资收益情况的关心,整个社会的注意力转而集中于收益表上,使其成为审计的主要内容。同时,人们对财务报表提供信息的可靠性也更加重视,从而使审计又发展到以验证财务报表公允性为主要审计目标的财务报表审计阶段。进入20世纪中叶以后,资本主义从自由竞争发展到垄断阶段,企业内部的经营管理活动日益加强。为适应企业内部经营管理和决策的需要,现代管理会计与传统财务会计相分离。

独立审计目标与审计环境探讨

独立审计目标受所处环境的制约。外部环境的变化直接影响审计目标的内容 ,内部条件的变化直接影响审计目标的实现。

会计目标对独立审计目标的影响

近代会计目标根据会计信息使用者的不同划分为两个重要阶段,相应形成两大学派:即受托责任学派和决策有用学派,会计信息服务对象发生变化是会计目标发生改变的根本原因.独立审计的职能是对会计报表所反映的会计信息质量进行鉴证,因此,某一时期独立审计目标的确立必须考虑同期会计目标的特点,这样才能更好地发挥独立审计的监督作用.这一点可以从民间审计的产生、发展的历史演变过程中得到验证.

外资并购中的中外目标差异分析

外资并购中的中外目标是不同的,这种不同是基于中外双方各自拥有资源的不同,对实现资源优化配置的理性认识。中外目标的差异一方面是促成并购的基础,另一方面目标差异中包含的目标冲突对并购的顺利进行产生阻碍作用。本文通过对外资并购我国国有经济成分的博弈分析,认为应当尽可能减少目标冲突,采取积极的态度对待并购过程中双方的目标冲突,增加自身利益、增进社会总财富。并在此基础上,对我国利用外资并购实现国有经济的战略调整提出相关意见和建议。

比较视域下中国脱贫攻坚的“铁三角理论”: 目标、体制与责任

中国在两代人的时间里成功实现的脱贫攻坚根植的理论基础,可概括为“独立目标--举国体制--受托责任”构成的铁三角。每一部份都蕴含了把传统智慧与当代创新结合在一起的中国特色元素,并具有广泛的可共享性。就独立目标而言,“以脱贫促发展”充实和丰富了当代发展理论;就举国体制而言,“为共同利益而深入合作”充实和丰富了当代治理理论;就受托责任而言,“层层落实责任”充实和发展了当代机制理论。未来贫困治理道路依然漫长,通过乡村振兴战略的引领,将传统的“城市优先”转向“农村优先”,实现城乡区域全面均衡发展。

关于《独立审计准则》的思考(下)

四、关于基本审计准则内容独立审计基本准则是独立审计准则的总纲，其内容应是最基本的原则性规范。在独立基本准则的体例安排上应力求简洁、明了，带有原则性，并保持相对稳定。因而能够在具体准则和实务公告中阐述的宜尽量放入具体审计准则和实务公告中，这样对于注册会...

一种视频图像中运动目标检测方法研究

针对序列图像中的运动目标检测问题,在独立分量分析的基本理论和算法的基础上,提出采用基于正交对称矩阵的快速定点算法对实际视频图像中的运动目标进行运动检测的方法。实验结果表明:该方法不仅能检测运动轨迹,还能提取运动目标的轮廓,并判断运动方向,是一种有效的运动目标检测方法。

独立董事制度的本质之我见

国内外公司治理实践中,独立董事制度被广泛推行,且在董事会中的比重越来越大,本文从我国设立独立董事 的目标出发,在对其代理属性进行分析的基础上,提出健全我国独立董事制度的种种设想,揭示出完善我国独立董事 制度是一个重在建设的长期复杂的系统工程。

基于深度强化学习的近程无人机数据采集方法研究

因近程无人机飞行反应时间较短,出现数据采集功能智能化程度较低的问题,对基于深度强化学习的近程无人机数据采集方法进行研究。采用深度强化学习算法处理采集时的高维环境状态,通过深度学习与强化学习的拟合能力和决策能力处理采集过程,结合独立目标网络和经验回放的深度强化学习算法设计的软件程序,通过上位机软件AHRS实施设计方法的实例验证。实验结果表明方法在启动而未飞行时,以及在匀速运动时的采集误差都很低,采集功能较好。

多目标随机视觉搜索的目标独立性及模型研究

由于视觉搜索作业在工业检测、医疗、安检以及军事领域等的广泛存在,视觉搜索一直是人因学领域的重要研究内容。以多目标视觉搜索的绩效为研究背景,进行了多目标视觉搜索的目标独立性与模型研究。首先,进行了相同难度4目标的视觉搜索作业实验,并对实验结果进行了分析和讨论,提出了有效视觉搜索区域的概念。然后,基于有效视觉搜索区域概念,提出了改进的多目标随机视觉搜索绩效模型。

论构建我国实验教学专门学校

由于我国实验教学体制长期沿袭从属于理论教学的附庸模式 ,导致校内被动状态的实验室投资大、效能低、浪费高、冲突多、后续差。解决实验教学体制和浪费问题 ,必须摆脱理论教学的管制 ,创建新型实验教学专门学校 ,实现实验教学独立的教育目标。

试论独立审计目标各部分之间的关系

合法性和公允性的关系 合法性和公允性之间的关系是三性之间关系的关键,争议也较多。对于它们二者关系的认识,目前有两种不同的理解。一种观点认为合法性就是公允性,公允性内含于合法性之中,合法就公允,不合法一定不公允。也就是说,审计人员在执行业务时,只需验证被审计单位的会计报表是否依据会计准则编制。

一种同时解决目标独立光栅化和可变频率的像素着色器的通用实现方法

目标独立光栅化是Direct11.3提出的新特性,在使Direct2D能够将栅格化步骤从CPU移动到GPU,同时仍然保留Direct2D抗锯齿需求。抗锯齿路径的渲染将在GPU上进行2次渲染。可变频率的像素着色器是Direct12提出的新特性,由于性能的限制,像素着色器不能总是在输出图像的每个部分都提供相同的质量水平。可变速率着色,或粗略像素着色,是一种机制,使分配渲染性能/功率在不同速率的渲染图像。基于不同的特性增加了对GPU设计的需求,提出了一种算法,同时解决了这两种特性在写回单元的实现。应用于硬件上可以大大降低设计的复杂程度,从而提升芯片的性能。

目标互依在组织管理领域的研究评述与展望

目标互依是群体成员对彼此目标之间的相关性作出的主观评价,包括合作目标、竞争目标和独立目标三个维度。目标互依对防范与化解组织管理活动中的机会主义行为,提高团队和组织协作效率具有重要作用。尽管学术界很早就意识到目标互依对指导企业实践的重要性,但受限于不同研究领域学者对目标互依认识存在的差异及研究方法的单一性,相关理论及实证研究有待进一步深入和拓展。为未来研究提供有价值的借鉴,文章系统梳理目标互依研究在组织管理领域的主要成果和最新进展,探索相关文献的发展脉络。文献回顾结果表明:第一,价值观、任务结构设计、领导行为和共同愿景等是影响目标互依的关键因素;第二,目标互依对信任、绩效、创新及资源互换等会产生重要影响;第三,未来研究要关注多种研究方法的使用,考察目标互依新的前因、后果及其关系的动态演化路径。