柏格森:哲学作为严格的科学

柏格森与胡塞尔一样，坚持“哲学作为严格科学”的理念。这种理念首先表现在柏格森是一个严谨的科学哲学家；其次，它引导着柏格森“回到事实本身”，并由此在哲学上走向一种“实证的形而上学”。它表现为以直觉为方法和反体系的总体特征。柏格森的这种哲学精神对今天的哲学研究和走向具有重要的启示。     

民事推定与证明责任之关系研究

推定与证明责任的关系因推定种类的不同而需辩证分析.不可反驳的法律推定是直接导致实体法律后果的规范;法律推定实际上就是证明责任规则,它直接将证明推定事实不存在的责任分配给受推定不利的一方当事人,而并非免除主张推定事实一方的证明责任;事实推定仅转移提供证据的责任而不会改变证明责任的分配,在实践中需谨慎使用.我国立法应该完善对推定的规定.     

R-演算:一个修正程序规约的演算系统

在一个软件规约(program specification)的形成过程中, 规约总是不断被修改, 要么增加新的功能, 要么由于出现事实反驳, 而改正规约中的错误. 规约的新功能是与其逻辑无关的新规则, 而它的事实反驳则是其反例. 新规则和事实反驳都是由研究者或用户提出来的. 极大缩减是在规约出现事实反驳的情况下, 对规约的理想修正. 这里在一阶逻辑的框架下给出规约的新规则、事实反驳和极大缩减的模型论定义. 构建了R-演算. 该演算由一组变换规则组成, 用以删除规约中与事实反驳矛盾的规则, 并最终得到规约的极大缩减. 同时证明了R-演算的可达性和完全性.     

试论标点符号的表意性

本文以大量的语言事实和现象论述了标点符号的意义和作用 ,并从信息论和语用学的角度进行论证 ,认为标点符号在书面语言表情传意的过程中不仅可以使其信息得到增值 ,而且在特定的语境中 ,还可以独立地负载特定的语言信息 ,从而相对独立地完成一定的语言交际任务。提出仅从修辞的角度上对标点符号的作用进行研究是不够的 ,不能从理论上对标点符号的作用作出令人信服的合理解释。文章最后通过语言事实和现象的对比分析 ,阐述了对标点符号的表意性展开研究的必要性     

因特网环境下开展信息服务的新思路

通过长期跟踪研究因特网信息资源的建设进程，提出了当前传统科技信息服务单位在网络环境下开壁网络信息服务业务的新思路，着重介绍并分析了因特网环境下信息服务向纵深发展的重要内容，即：信息集成服务、面向内容的服务、个性化服务以及信息中介服务。     

实验教学量化管理的计算机模块

本文在经过详细调查与核准的基础上,运用科学化管理的思想方法,在计算机管理信息系统的环境下,对实验教学情况进行了面向课程量化管理的研究,并在计算机上实现模块化管理.文中重点讨论了模块设计的思路与构成,并对科学化管理提出了看法.     

行政赔偿责任的构成要件

行政赔偿责任，是指国家行政主体及其工作人员在行使行政职权的过程中，违法造成公民、法人或其他组织的损害，而出国家承担赔偿责任的情况。对其构成要讲的确切理解，可以准确地把握行政赔偿责任的内涵，更好地区分行政赔偿责任与其他赔偿责任，有利于遏制行政违法行为的发生，更好地保护行政相对人的合法权益。分析行政赔偿责任的构成要件时；很基本、很重要的一点就是要严格依据有关法律条文的规定，把握行政赔偿责任的自身特点，虽借鉴其他赔偿责任之构成要件的研究成果，但又不陷于框框，失之空泛，流于形式．L的勉强统一。当前一些研…     

论VB及其编程

本文介绍了Ｗｉｎｄｏｗｓ 应用程序开发语言Ｖｉｓｕａｌ Ｂａｓｉｃ 的历史和现状,并将其与传统的面向过程、结构化的编程语言相比较,论述了面向对象、事件驱动的编程语言的编程思想和方法．     

AOP及其在状态机工作流中的应用

面向切面编程(Aspect-Oriented Programming,简称AOP)作为一种新的编程技术正日益引起人们的关注.文章介绍了AOP产生背景和理论价值,并结合作者所设计的状态机工作流框架,详细讨论了如何通过在该框架中引入AOP机制来克服纯面向对象编程的不足,从中分析了AOP的优势和应用价值,最后对AOP和OOP的关系进行了讨论.     

Fabrication and magnetic properties of Co nanowire arrays of different crystal structures

It is important to find some developing high-density magnetic recording materials in magnetic recording field with the development of information and technique, in which vertical magnetic recording is a very important way and has received considerable attention[1—3]. The vertical magnetic recording materials require high squareness, suitable coercivity, and small size of storage element[4]. Someone used nanoporous anodic aluminum oxide as templates to fabricate uniform arrays of multi magneti…