关于PF群环

给出了开放逻辑中形成新的假说的一个方法即子结构扩充法，并讨论了相应的认识进程的极限问题。     

基于非修正方法的认识进程及其极限

基于一阶逻辑，在对假说中的不一致信念不做任何修正的条件下，将根据已有的信念能够推出的没有相反信息的结论的集合作为假说的扩充，假说的扩充是单调的，当且仅当假说在增长过程中没有遇到相反的信息。如果将假说的无限增长过程理解为一个认识进程，则认识进程中假说的扩充收敛于一个确定的极限。     

进程管理模拟系统的设计

设计了一个允许多个进程并发运行的进程管理模拟系统。该系统包括有简单的进程控制、同步及通讯机构，各进程间有一定的同步关系。系统在运行过程中能显示或打印各进程的状态及其参数变化情况，以便观察各进程的运行过程及系统的管理过程。     

Linux进程调度的数据结构

进程调度是Linux操作系统的核心，它对整个操作系统的执行效率至关重要。进程调度控制着进程对CPU的访问，Linux内核利用一个数据结构（task_struct）代表一个进程，task_struct容纳了一个进程的所有信息，是系统对进程进行控制的唯一手段；代表进程的数据结构指针形成了一个task数组，数组的大小代表着系统中允许并发的最大进程数；调度程序一直维护着一个current指针，它指向当前正在运行的进程。     

Linux进程调度的数据结构

进程调度是Linux操作系统的核心,它对整个操作系统的执行效率至关重要.进程调度控制着进程对CPU的访问,Linux 内核利用一个数据结构(task_struct)代表一个进程,task_struct容纳了一个进程的所有信息,是系统对进程进行控制的唯一手段;代表进程的数据结构指针形成了一个task数组,数组的大小代表着系统中允许并发的最大进程数;调度程序一直维护着一个current指针,它指向当前正在运行的进程.     

国有企业文化建设认识上的误区及对策

目前,对国有企业文化的研究已进入一个新的阶段,企业文化建设的重要性正日益被人们所关注,然而仍有一些模糊甚至错误的认识阻碍企业文化建设的进程,对此必须采取有效对策加以解决。     

从加强学生对《数学分析》的整体认识中提高教学质量

《数学分析》是基础数学、应用数学、信息与计算科学的一门重要基础课．如何提高本课程的教学质量，一直是从事该课程教学老师在探索的问题．文章对《数学分析》概括为：《数学分析》就是讨论利用极限作为基本的运算工具，对现实中问题的求解方法进行分析，最后又利用分析所得到的结论快速地解决实际问题．因此整个《数学分析》就是讨论极限的存在性与计算性的问题．让学生对该课程有这样一个整体的认识，从而增强了自信心，克服了学习中的畏惧心理，以致提高学习积极性，最终提高教学质量．     

大一学生对极限认识层次实证研究

个体认知概念需要经历:操作、过程、对象、图式4个阶段。本文通过对学生关于极限4个认识层次——感觉层次、分析层次、演绎层次、严密系统层次的测试和访谈,系统分析大一学生关于极限概念的认识层次。     

认识运动科学

人类在认识自然和社会的进程中，也在不断地认识自身。对自身认识的每一点进步，都是人类生存、健康、繁衍和社会进步的福祉。人类对自身规律的认识是从两个方向进行的：一头是治疗疾病，抢救生命和恢复健康t另一头是提高健康水平，增强体质和展示极限。前者形成医学科学体系，后者则是体育（运动）科学体系。体育（运动）科学是人类认识自身的一条途径，     

对基于约束条件的缺省逻辑扩充的注记

基于带约束条件的缺省理论，给出了缺省理论△=（D，W，C）的新约束、约束反驳、C-重构和C-认识进程的概念及其意义，主要讨论当约束条件C发生变化（如遇到新的约束或出现与原来约束相矛盾的约束）时扩充E的性质和变化规律，提出了获取新扩充的较简单的求解方法，并证明了相关的定理．在此基础上，本文建立了缺省理论的关于约束的一个动态描述过程，证明了当缺省理论遇到新约束时扩充呈单调变化，遇到约束反驳时呈现非单凋性，进一步讨论了当不断添加新约束和约束反驳时，扩充的最终结果为某一特定问题的经验公式集．     

基于进程网系统的Petri网性质分析

Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念，讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。     

关于深入理解认识规律的几个问题（下）

三、关于认识过程的反复性认识过程的反复性，是指一个正确的认识，即与一个确定的认识对象相符合的比较完整的认识，通常要经过“两次飞跃”的多次反复才能完成。一般说来，不可能一次完成。这也是认识活动的一条规律，是认识基本规律中的一部分内容。这里我们主要讨论两个问题。一是认识为什么有反复性。弄清这个问题，就是要知其所以然，从而确认它是认识发展所固有的客观规律，而不是主观臆造的。这是我们尊重这条规律的前提。二是要讨论确认认识的反复性有何意义，即这一规律有什么方法论意义。认识的反复性是同第二次飞跃的复杂性相关…     

有关欧洲债务问题的五项争议

债务问题的衍生与解决同受一个系统效应的影响,更同时牵动着欧洲一体化的发展进程.欧洲债务危机源于希腊国家的主权债务问题.在其深化、蔓延的演变历程中,欧债问题自有其特殊性,基于选取的不同认识视角所得出的结论必然千差万别,所谓“横看成岭侧成峰”.当前对于欧债的认识上,评论家与研究者在部分问题上依然存在争论,这事实上是了解危机根源与欧洲本身的另一个很好的切入点.     

一种基于数据库的进程演化机制

在软件开发中 ,以进程为中心的环境已经成为新一代的软件开发环境 ,它的目标是对整个软件开发周期提供自动化的支持。实际的软件开发任务是一个不断变化的动态进程 ,它需要以进程为中心的环境来支持进程演化。本文提出了一种以增量方式为处理模式、以流行数据库为进程仓库的进程演化机制 ,它对软件开发有着重要的意义。     

关于深入理解认识规律的几个问题

江泽民同志《在纪念党的十一届三中全会召开二十周年大会上的讲话件总结我国改革开放ZO年的历史经验时,强调必须“遵循实践、认识、再实践、再认识的认识规律,使主观认识符合客观实际,使理论随着实践的进展和时代的前进而发展”。深入理解实践、认识、再实践、再认识的认识规律,是一个具有重要理论意义和现实意义的问题。人类认识是一个有规律的发展过程。认识过程充满了复杂的矛盾,而每一对矛盾的双方之间以及各对矛盾之间的既对立又统一的关系,都体现着认识发展的规律性,因而认识发展规律是无限多的。其中,认识发展的基本规律支…     

对研究性学习的认识与实验尝试

阐述了研究性学习理论的内涵／特性、培养目标、组织进程，并给出了两分研究报告。     

区间值进程演算的可加模型

进程演算是研究并行计算和分布式计算的一个重要语义模型．引入区间值进程演算的可加模型（简称AICCS），以解决在并发通讯系统中产生的不确定性．在该模型中，前缀进程、并行进程以及和进程都赋以区间值．作者给出了AICCS的语法及可加的操作语义，引入了进程的量化这一概念，在此基础上引入强互模拟和μ-强互模拟的概念，并且讨论了其相关性质．     

多处理机操作系统结构分析

文章首先分析了操作系统中进程及其载体、进程数据类型、系统功能调用和文件系统，论证了文件作为进程载体的合理性，提出了采用消息机制处理系统功能调用的方法，最后讨论了根据分析得出的一个多处理机操作系统的模型。     

UNIX环境下的消息中间件应用

设计了一种在UNIX环境下基于SYSTEM V IPC的消息中间件模型。模型引入了邮箱的概念并通过MyQ对进行消息传递的每个进程分配一个全局唯一的邮箱号,进程从自己的邮箱中接收消息以及发送消息到目标进程的邮箱。具体实现是MyQ通过共享内存传递消息内容,为每个进程创建一个消息队列用于接收通知消息,并由信号灯进行并发访问控制。这样可以提高消息传递效率以及有效解决大数据量传递情况下消息队列堵死的问题。     

Linux下进程迁移机制的研究

针对Linux下ELF可执行文件的加栽执行过程，采用先产生原进程整体构架，再恢复断点信息的方法，实现了中断进程的恢复。该方法有内核改动小，可扩展性较大等优点，对集群及分布式应用具有一定参考价值。