超协调限制逻辑的计算复杂性分析

超协调限制逻辑LPc是一种同时具有非单调性和超协调性的非经典逻辑，它可作为在不完全与不协调知识下常识推理的形式化.给出了命题LPc的计算复杂性结果和算法实现，指出LPc是NP完全问题，并给出了将LPc转化为等价的优先限制逻辑的线性时间算法，由于限制逻辑具有实用的实现算法且可用归结方法实现，因而该算法为LPc的实现提供了新的途径.     

常识的特征和模型

常识的表示与推理是知识领域中极其关键的研究问题。本文论述了常识的概念和基本特征,并从常识的逻辑内涵出发,用构造的方法给出常识模型,用之于检查知识推理的协调性,最后讨论了常识推理的不精确性问题。     

常识问题——常识推理的逻辑基础

本文主要讨论常识推理的逻辑基础，基于一条从非单调推理到常识推理的技术途径，由此指出在更一般意义上形式化常识推是的一些结果，它建立常识逻辑和解决常识问题提供了有用的基础工具。     

基于面向对象技术的MiniC编译器的设计与实现

针对传统编译器过于抽象复杂的不足,本文提出MiniC实例语言,采用面向对象技术实现该语言的编译器。MiniC编译器可以演示复杂的程序分析过程,给出编译各阶段的详细分析结果,使编译原理中的抽象内容可视化。实际应用表明,MiniC编译器在促进人们对编译理论的理解和提高系统软件开发能力方面能够发挥重要作用。     

基于方法调用一般化模型的并行性分析

该文给出了一种考虑了面向对象语言的多态和对象引用别名问题的对象方法间并行性的分析方法，这种方法用于面向对象语言并行化中的并行性分析，文中首先给出了一般化的方法调用模型，然后基于该模型给出了表达式化简，过程和过程间分析的算法，该算法可以求出变量的定义和使用集合，由于并行性分析，该文给出的简单例子即可以将该文的和相关的工作加以区别。其技术已经在作者研制的Java并行化编译器JAPS－Ⅱ中实现。     

超协调限制逻辑

本文给出了一阶超协调限制逻辑ＬＰｓ的定义，并证明了它与悖论逻辑（ＬＰ与ＬＰｍ）和限制逻辑（ＣＩＲＣ）的关系，ＬＰ作为一种非单调超协调逻辑具有非单逻辑和超协调逻辑的优点，而用能解决非单调逻辑和超协调逻辑存在的问题，它可作为在不完全与不协调知识下常识推理的形式化，因此它的知识表示中具有广泛的应用。     

面向对象语言编译器的自动测试平台

提出了一种新的面向对象语言编译器自动测试的方法和过程,并在此基础上设计开发了面向对象编译器自动测试工具(O_OCTT)。测试用例的自动生成是编译器自动测试工具的核心,介绍了C 编译器测试用例自动生成的手段和方法,阐述了。O_OCTT设计与实现过程中的关键技术。     

面向对象数据库的推理查询语言*

本文基于复旦大学开发的一个面向对象数据库系统FOOD，提出一种推理查询语言O—Datalog．该语言能方便地表达对面向对象数据的各种查询和推理要求；它可以转换成类Datalog形式，能运用各种高效计值算法，比其它一些基于非Horn子句逻辑的语言更易于实现．O—Datalog在形式上是一种Datalog的扩充，本文着重介绍其语法和语义．     

结合面向对象技术的知识表示系统——OOplog

介绍了一个新的结合面向对象技术的知识表示系统ＯＯｐｌｏｇ。以前的一些系统都是建立在Ｐｒｏｌｏｇ解释器的基础上，间接实现的，效率较低。而ＯＯｐｌｏｇ系统将面向对象技术与逻辑语言相结合，采用Ｃ语言直接实现，所以效率较高。ＯＯｐｏｌｇ具有较强的建模能力，并提供了统一的推理机。     

THE BATTLE OF THE SEALS

This article is primarily about the seals of the National Security Agency (NSA) and its Central Security Service (CSS). Specifically, this article provides, for the first time, a copy of the NSA seal that preceded the current one, a copy of the CSS seal, and their respective histories. A brief biography of the current CSS Deputy Chief and a very brief history about CSS itself is also provided. A number of references are made to James Bamford's two books: Body of Secrets (May 2001) and The Puzzle Palace (1982). My intention is not to nitpick his works. Rather, I simply wish to clarify points that readers may find confusing, especially since he is the world's leading authority on NSA. I not only admire Bamford's investigative journalism, but also strive toward the very high standard that he has set.     

基于多代理的工作流在语义网络下的模型研究

提出了利用google对wsdl文件搜索来动态生成网络服务的方式,取代了以往在UDDI注册中心的集中式搜索方式,使得我们可以发现在网络上的可用的Web Service,将之应用到语义网络的工作流模型上,使得工作流的动态生成和执行成为可能.     

生产调度算法的研究

本文发展了文献⑴的排序算法并提出了加班算法，适用于小批量，多品种生产的调度。     

带上面具的凝视

在上海民生现代美术馆的摄影群展《中国当代摄影2009-20149中,张巍的作品占据了一面墙。展览选取的是他到目前为止最有争议也最有代表性的《人工剧团》,这位色影无忌2013新锐摄影师奖项获得者,正在以自己独特的创作手法,进入中国大众的视野。     

基于VMware的虚拟蜜网系统的研究

介绍了一种全新的网络安全方案——虚拟蜜网。着重介绍了虚拟蜜网的概念及其实施的步骤。应用虚拟蜜网可以在不丧失传统蜜网优势的基础上降低相应的配置和管理的费用。     

基于集团的系统级故障诊断研究

本文首次在系统故障研究域提出了集团的概念，讨论了集团的性质，并研究了基于集团的系统故障诊断的可诊断特性。本文还详细论述了基于集团的一步ｔ可诊断算法及求集团算法，并论证了算法的正确性与完备性。     

Novell网络与DCS的连接与通讯

本文针对ＤＣＳ系统和Ｎｏｖｅｌｌ网络的特点，给出了一种实现ＤＣＳ和Ｎｏｖｅｌｌ网络连接及数据通讯的方法，文中详细地介绍了该方法的实现原理，最后给出了该方法的一个应用实例。     

PLN网络吸引区域的定量分析

本文证明在ＰＬＮ网络中适当给定广义Ａ－学习律，可使网络满足如下条件：（１）所有训练样本都是稳定状态；（２）每个稳定状态具有最大的吸引域；（３）具有很快的收敛速度．由此可见，将这种ＰＬＮ网络作为联想记忆器是很理想的．     

THE WEB,THE PUBLIC,AND THE GLOBAL WARMING DEBATE

The World Wide Web is a popular source of information on the environment. The global warming controversy, an important environmental problem, has very extensive Web coverage, yet no detailed analysis has been made of its treatment on the Web. Our paper attempts to remedy this lack of analysis. It first analyzes the scientific controversy about global warming, then examines its current treatment on the Web, contrasting it with the treatment in elite science journals. The paper further discusses the direction the controversy on the Web will most likely take in the future. We conclude that although the debate on global warming science has been very widely treated on the Web, the future is likely to see the controversy shift to questions of the appropriate response to climate change. We argue that this new phase of the controversy is likely to become even more prevalent on the Web as the controversy moves from the scientific arena to the political.     

图象处理在物体表面检测中的应用

本文介绍了利用计算机图象处理技术对物体表面检测的原理及方法，该文中还提出了各种算法的软件实现。