一种新的Hypervisor逻辑域通道设计

UltraSparc T1/T2处理器采用硬件辅助的虚拟化技术,其平台固件Hypervisor实现了虚拟机管理的主要功能。逻辑域通道(Logical Domain Channel)是Hypervisor实现的支持虚拟机间以及虚拟机与Hypervisor间通信的一种机制,其实现简单,但缺乏足够的灵活性。同时,基于逻辑域通道的数据传输需要对传输数据进行拷贝,极大地影响了数据传输性能。本文介绍了一种新的逻辑域通道技术,采用基于描述符的直接数据传递方法,数据经过逻辑域通道时不需要拷贝,其长度也不受逻辑域通道缓冲区大小的限制,实现了虚拟机间灵活高效的数据传递。     

基于逻辑签署技术的证件防伪系统

提出一种新型的基于逻辑签署技术的防伪机制，将它应用于证件的防伪系统中，对证件进行实时、离线验证。该防伪系统不依赖于数据库和网络的支持，通过证件的综合信息与验证信息之间的逻辑约束关系确保了证件在密码学意义上的高安全性，有效解决了证件的防篡改、防伪造和防盗用问题。     

New approach to facility locations decisions

In a rapidly changing and complex environment, facility location decisions require careful evaluation; both quantitative and qualitative factors must be considered. Existing methods emphasize the quantitative aspects of such decisions. In this paper, we introduce a new method that provides a framework for a comprehensive analysis of both qualitative and quantitative factors in order to reach a logical and rational decision for choosing a site.     

Structured logical design of information systems: A methodology,documentation and experience

A methodology for the logical design of Information Systems is presented. This methodology emphasizes structure design. It is based on a precise and extended concept of system logical design, which leads to consider management and organizational factors that have been ignored by most methods. A well-defined procedure for generating the “best” design and attaining a sound and complete system logical specification is the main practical contribution. The methodology has several years of successful testing by many people in practice. The use of computerized techniques in supporting the systems logical design process is also reported.     

一种新型分布式操作系统自动生成系统模型

针对现行分布式ＯＳ及其研制方法所存在的主要问题，本文提出了一种集智能型，集成化和可塑性于一体的分布式ＯＳ自动生成系统模型ＤＣＳＡＧＳ，主要讨论了形成该模型的动机、它的逻辑结构、各组成部分的功能，以及在和实现过程中应探讨和解决的一些关键问题。     

开发WebGIS的一种新技术-ArcIMS技术

论述了ArcIMS的体系结构，着重分析了ArcXML在这一结构内的作用，并介绍了服务器端的逻辑和物理层次、客户端的基本功能。从使用的角度介绍了如何管理ArcIMS服务器，最后对站点安全这个万维网地理信息系统必须密切关注的重要问题，结合ArcIMS平台的自身特点进行了简要的分析与阐述。     

A new methodology of extraction, optimization and application ofcrisp and fuzzy logical rules

A new methodology of extraction, optimization, and application of sets of logical rules is described. Neural networks are used for initial rule extraction, local or global minimization procedures for optimization, and Gaussian uncertainties of measurements are assumed during application of logical rules. Algorithms for extraction of logical rules from data with real-valued features require determination of linguistic variables or membership functions. Contest-dependent membership functions for crisp and fuzzy linguistic variables are introduced and methods of their determination described. Several neural and machine learning methods of logical rule extraction generating initial rules are described, based on constrained multilayer perceptron, networks with localized transfer functions or on separability criteria for determination of linguistic variables. A tradeoff between accurary/simplicity is explored at the rule extraction stage and between rejection/error level at the optimization stage. Gaussian uncertainties of measurements are assumed during application of crisp logical rules, leading to "soft trapezoidal" membership functions and allowing to optimize the linguistic variables using gradient procedures. Numerous applications of this methodology to benchmark and real-life problems are reported and very simple crisp logical rules for many datasets provided.     

Logical omniscience, semantics, and models of belief

Logical omniscience may be described (roughly) as the state of affairs in which an agent explicitly believes anything which is logically entailed by that agent's beliefs. It is widely agreed that humans are not logically omniscient, and that an adequate formal model of belief, coupled with a correct semantic theory, would not entail logical omniscience. Recently, two prominent models of belief have emerged which purport both to avoid logical omniscience and to provide an intuitively appealing semantics. The first of these models is due to Levesque (1984 b ); the second to Fagin and Halpem (1985). It is argued herein that each of these models faces serious difficulties. Detailed criticisms are presented for each model, and a computationally oriented theory of intensions is presented which provides the foundation for a new formal model of belief. This formal model is presented in a decidable subset of first-order logic and is shown to provide a solution to the general problem of logical omniscience. The model provides for the possibility of belief revision and places no a priori restrictions upon an agent's representation language.     

一个新的认证协议及其形式化分析

认证协议是网络安全体系中最基本和最关键的问题。在传统认证协议的基础上,提出了一个新的认证协议。经过用BAN逻辑对这个协议进行了形式化分析,找出了可能的攻击方法并作出了相应修改。讨论了BAN逻辑用于认证协议形式化分析的作用、局限性以及改进的方向。     

Distributivity,Collectivity, and Cumulativity in Terms of (In)dependence and Maximality

This article proposes a new logical framework for NL quantification. The framework is based on Generalized Quantifiers, Skolem-like functional dependencies, and Maximality of the involved sets of entities. Among the readings available for NL sentences, those where two or more sets of entities are independent of one another are particularly challenging. In the literature, examples of those readings are known as Collective and Cumulative readings. This article briefly analyzes previous approaches to Cumulativity and Collectivity, and indicates (Schwarzschild in Pluralities. Kluwer, Dordrecht, 1996) as the best proposal so far to deal with these readings. Then, it incorporates its insights in the logical framework defined in Robaldo (J Philos Log 39(1):23–58, 2009a), leading to a scalable logical account for NL quantification.     

新媒体艺术与叙述性小探

本文从概念、历史、现状与发展趋势方面研究当代新媒体艺术的关键概念——叙述性,取世界各地有影响力的艺术家作品为例,讨论了关注新媒体艺术叙述性的重要性,辨证地寻找新媒体艺术与高速发展的电脑高科技的合理关系。     

一种新的Petri网推理方法

提出一种新的基于Petri网的知识表达方法和逻辑推理算法，通过减少重复推理过程，充分利用推理过程中已经得到的中间结论，该算法比现有算法减少了推理步数，有效地提高了推理效率。     

变型设计中的基因模型与产品优化方法实现

为了进行快速的变型设计,需要一个合理的产品结构设计模型,据此提出一种基于产品基因的新的变型设计方法。建立了支持变型设计的产品基因模型及其操作序列,并由此构建出产品优化模型。运用人工免疫算法得到了产品变型设计的最终优化结果。最后结合一种典型的机电产品验证了文中提出方法的合理性和有效性,为产品变型设计理论提供了另一种结构设计方法和优化方法。     

基于FPGA的新型虚拟逻辑分析仪的设计

提出了一种基于FPGA的虚拟逻辑分析仪的设计.该系统对采集到的模拟或数字信号进行存储、处理和逻辑分析.通过FPGA控制数据单次或连续采集、缓冲,通过PCI总线将缓冲区数据转移到硬盘管理卡,由硬盘管理卡将数据存入海量硬盘.     

一种新的面向对象数据库建模框架

在进行数据库逻辑设计过程中，概念模型设计是整个项目成功与否的关键。文章提出一种新的以面向对象方法为思想的设计方法。该方法给出一套能对实际业务对象进行完整描述的概念模型，并给出相应的数据结构设计，从而得到一种统一的数据库概念模型设计框架。     

数据仓库建模和设计的最新进展

从概念建模、逻辑建模、设计方法、互操作性和元数据4个方面综述了现阶段数据仓库的研究内容,分析了数据仓库的研究现状,指出了数据仓库新的应用前景和面临的挑战,以指导数据仓库的进一步研究。     

一种基于“ 与非”逻辑数字化 测量气体浓度的新方法

简介了新型四与非逻辑运算阻容／脉冲转换技术的基本电路及工作原理；讨论了该电路用于气体浓度测量时的非线性修正、刻度方程线性化、测量灵敏度等实用技术问题。     

Definability,decidability, complexity

We survey how the definability problem in first-order logic was born and the relations between this problem and the question of decidability of logical theories. We also show present connections between definability and the important theoretical problems of computational complexity.