自动机泛函ORANPIA—函数程序设计的自动机策略思想

本文明确地提出“将自动机这一概念重新引入到作用式语言中来”。在作用式语言FFP中,为自动机的介入无需设置新的语言成分,而仅仅在FFP语言自身这一级上定义一个新的自动机泛函(名为Oranpia),就可使FFP语言赋有自动机式程序设计风格。此风格有利于我们在不少的实用场合采取“自动机策略思想”来自然地进行有效的程序设计。     

加强精神文明建设 提高国税工作水平——省级文明单位禹城市国税局纪实

坚持“带好队、收好税”，以“执法为民、聚财为国”为宗旨，大力强化税收执法，全面优化办税效率。     

燃煤锅炉通用热力计算程序的研究

用Visual Basic语言编制了一个可适用于超高压至亚临界参数燃煤锅炉的通用热力计算程序，文中介绍了该程序的组成及特点，同时应用该程序对两台锅炉进行了计算验证。     

论宪法诉愿程序的价值

在现代违宪审查制度的发展过程中,作为直接保护公民宪法权利的宪法诉愿制度发挥着越来越重要的作用。为了在公民宪法权利与宪法秩序的价值之间寻求合理的平衡,宪法诉愿制度设计了统一而规范的程序。宪法诉愿程序有助于发挥宪法的人权保障功能,有助于发挥违宪审查制度的功能,有助于建立以宪法救济为中心的权利救济体系,有助于保持宪法诉愿制度的“补充性”功能。是缓和还是强化宪法诉愿程序应考虑各国司法体制的实际情况,从宪法诉愿所发挥的社会功能进行思考,力求在保障人权与维护宪法秩序之间寻求合理的平衡。     

浅议分析性复核在审计中的应用

分析性复核 ,是指注册会计师分析被审计单位重要的比率或趋势。在会计报表审计中 ,分析性复核可以帮助注册会计师确定其他审计程序的性质、时间及范围 ,直接作为实质性测试程序和用于对被审计会计报表的整体合理性作最后复核的作用。文章分析了分析性复核的优点 ,提出了如何运用分析性复核的建议     

依法治税抓管理严格执法创一流

去年，是实施“十五”计划的起始之年，我们在市国税局且的领导下，以邓小平理论为指导，认真贯彻落实江泽民同志“三个代表”的思想，按照“带好队、查好税、执好法、服好务”的工作思路。坚持依法治税、从严治队。进一步理顺税制、明确职责、强化管理、规范秩序、完善操作，使稽查质量和稽查效率不断提高。全年稽查系列共检查各类纳税户13796户，有问题的户7475户，查补税款、罚款2．2亿元。市稽查局直接检查各类纳税户201户（其中专项、专案户151户），抽查复查户108户，计税罚款11494万元，直接入库税款1912万元，入库率达到95％，稽查准确率达到95％，处罚率、协查案件回复率、专案查处率、稽查结案率均达到100％。有力地促进了依法治税，促进了税收秩序的根本好转，促进了地方经济的发展。     

背景与机理：关于设立证据开示程序的反思——一个跨文化法律移植的话题

英美法国家的证据开示程序实为英美法国家为克服对抗制的机理缺陷 ,实现诉讼效率 ,防止伏击审判而设 ,是英美当事人主义诉讼借鉴大陆职权主义诉讼庭前程序的产物 ,其生成有着特殊的历史语境。在我国目前的诉讼构造下 ,引进英美证据开示程序缺乏必要性和可行性。就必要性而言 ,现行的庭前程序完全可以胜任证据开示程序的功能 ;就可行性而言 ,在现行的职权主义色彩还相当浓厚的诉讼制度中嫁接证据开示程序的确有些超前     

巫文化对中国艺术结构的生成意义

本文从巫文化与中国艺术发生的内在联系着眼 ,认为在巫文化的内核中 ,就蕴含着中国艺术结构的基本要素与机制。巫术结构作为前艺术性的存在 ,它所具的观念、操作和体验一体化的结构特性 ,为中国艺术结构观念、品性的生成奠立了强有力的基础     

任务转换中的执行控制研究

个体的认知活动总是在不同的任务之间转换。有关任务转换中的执行控制的研究,一般把任务转换分为同时性程序和继时性程序两种类型。目前主要有 6 种理论解释:“从注意到行动”理论(ATA)、“前额叶执行”理论(FLE)、执行控制阶段模型(SMEC)、“策略性反应—延迟”理论(SRD)、两成分模型(TCM)以及平行分配加工理论(PDP)。这些理论从不同的角度阐述了任务转换中的执行控制机制。它们之间相对独立而又紧密联系,为探讨个体的认知机制提供了重要的理论基础。