屏幕保护程序

长期在计算机前工作的电脑工作者,眼睛非常容易疲劳;同时计算机显示器的幅射也会对人体造成伤害。因此,在计算机使用的过程中,能够随时开关显示器是非常的必要了。通过软件的方法关闭或开启显示器可以做到不通过频繁地开关显示器的电源来控制显示器的开关,同时又不会影响计算机的工作,是最为理想的方法。笔者编写了两个程序,实现屏幕保护功能。这两个程序都是TSR程序,运行后就驻留在内存,可以在任何其它程序执行的时候通过按PrtSc(PrintScreen)键随意地关闭或开启显示器而不影响计算机的工作。还可保护视力。在需要的时候重新打开显示器…     

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

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

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

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

论宪法诉愿程序的价值

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

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

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

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

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

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

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

“诉讼诈骗”的刑法分析

司法实务部门对于"诉讼诈骗"的定性存在严重分歧,理论界对此同样也是众说纷纭."诉讼诈骗"并非无法定罪.其诈骗对象不是所谓的被害人,而是人民法院,并不存在所谓的间接诈骗,而只有直接诈骗.间接诈骗说混淆了财产的最终来源对象与财产的直接取得对象的区别.在财产流转的过程中,人民法院扮演了重要的、独立的角色.没有必要单独设立诉讼诈骗罪.只有积极的伪造证据、虚构、捏造事实,无中生有,故意使他人陷于民事诉讼法律关系,通过骗取人民法院的胜诉判决而取得财产的行为,才是诉讼诈骗.     

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

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