面向对象机器翻译知识库IMT—KB的设计与实现

机器翻译知识库是机译系统的重要组成部分,针对传统机译知识库的不足之处,本文提出一种面向对象的机译知识体系结构,同时给出这种具有层次性和模块性机译知识库的存储组织和管理机制。     

基于CMOS工艺的无线图像传感器网络综述

无线传感器网络是无线通讯技术、网络技术、传感器技术交叉融合的新兴产物。无线传感器网络具备小型化、智能化、网络化和能够无线通讯等特点,能够满足人们在生产生活、科学研究、军事、医疗等众多领域对于实时信息获取的需求。由于人类获取信息的80%以上是通过视觉获取的,因此,无线图像传感器网络作为人类获取视觉图像信息的重要工具在无线传感器网络中占有重要的地位。无线图像传感器网络要想实现小型化、智能化、集成化等要求,采用与标准CMOS工艺兼容的CMOS图像传感器技术将是最为理想的选择。随着CMOS图像传感器工艺和设计水平的进步,CMOS图像传感器在成像质量、生产成本、小型化、智能化等方面显示出巨大的优势,同时由于与VLSI电路兼容的天然特性,基于CMOS图像传感器的无线图像传感器网络拥有巨大的发展潜力和广阔的市场前景。基于CMOS的无线图像传感器网络目前呈现多元化的发展趋势,高分辨率、高速、低功耗、智能化等方向是基于CMOS的无线图像传感器网络未来发展的方向。     

具有区间参数的VRP及其改进的C-W节约算法

在传统的车辆路径问题的基础上,针对配送中心到客户以及客户到客户之间的费用为区间参数时的车辆路径问题,建立了相应的数学模型.用可能度的区间数排序方法对费用区间参数进行排序并应用到C-W(clark-wright)节约算法中,提出了改进的C-W节约算法.通过算例验证了该算法的有效性和可行性.     

一类积分不等式的机器判定

将一类积分不等式转化为Tarski模型外的齐次对称多项式不等式,该类齐次对称多项式的次数是给定的,变元个数可以是任意多个,并且多项式的系数是与变元个数相关的变系数.这些特点与杨路等人最近提出的几个公开问题密切相关,是比较有代表性的一类齐次对称多项式.然后利用Timofte关于对称多项式不等式判定的降维方法,结合不等式证明软件BOTTEMA及差分代换方法,给出对应的一类Tarski模型外的齐次对称多项式不等式的机器判定算法,从而实现原积分不等式的机器判定.当给定的积分不等式及齐次对称多项式不等式不成立时,可给出具体不成立的数值反例.应用例子表明问题的广泛性及算法的有效性.     

VMStore: Distributed storage system for multiple virtual machines

Desktop virtualization is a very hot concept in both industry and academic communities. Since virtualized desktop system is based on multiple virtual machines (VM), it is necessary to design a distributed storage system to manage the VM images. In this paper, we design a distributed storage system, VMStore, by taking into account three important characteristics: high performance VM snapshot, booting optimization from multiple images and redundancy removal of images data. We adopt a direct index structure of...     

Zero-knowledge proofs of retrievability

Proof of retrievability (POR) is a technique for ensuring the integrity of data in outsourced storage services.In this paper,we address the construction of POR protocol on the standard model of interactive proof systems.We propose the first interactive POR scheme to prevent the fraudulence of prover and the leakage of verified data.We also give full proofs of soundness and zero-knowledge properties by constructing a polynomial-time rewindable knowledge extractor under the computational Diffie-Hellman assump...     

BCL-3: A High Performance Basic Communication Protocol for Commodity Superserver DAWNING-3000

1 IntroductionC1usters have been popu1ar platforms fOr high performance computing in receot years. They arewidely used in scientific and engineering computing business computing, and Internet informationservices. Communication perfOrmance is one of the most critical factors determining the perfOrmanceof a whole cluster system. So how to improve the performance of communication is a hot researchtopic in cluster computing. Meanwhile, bui1ding a cluster with commodity SMPs (CLUMPS) isbecorn…     

有限变形理论能量释放率增率形式

基于有限变形理论中的能量原理和变分原理,考虑以有裂纹的瞬时位形为参考,建立增量变形引起的裂纹扩展方程能够更真实的描述裂纹尖端的扩展机制,在含有裂纹物体的瞬时变形的基础上,推导了裂纹体的能量释放率和增率的形式,提出了裂纹扩展判据.该判据反映了单位时间内裂纹扩展单位面积可以提供的能量与单位时间内裂纹扩展单位面积所需要的能量...     

Multi-objective Topology Optimization of Thermo-mechanical Compliant Mechanisms

The material characteristics of a structure will change with temperature variation,and will induce stress within the structure.Currently,the optimal design for the topology of compliant mechanisms is mainly performed in single physical field.However,when compliant mechanisms work in high temperature environments,their displacement outputs are generated not only by mechanical load,but also by the temperature variation which may become the prominent factor.Therefore,the influence of temperature must be considered in the design.In this paper,a novel optimization method for multi-objective topology of thermo-mechanical compliant mechanisms is presented.First,the thermal field is analyzed with finite-element method,where the thermal strain is taken into account in the constitutive relation,and the equivalent nodal thermal load is derived with the principle of virtual work.Then the thermal load is converted into physical loads in elastic field,and the control equation of the thermo-mechanical compliant mechanism is obtained.Second,the mathematical model of the multi-objective topology optimization is built by incorporating both the flexibility and stiffness.Meanwhile,the coupling sensitivity function and the sensitivity analysis equations of thermal steady-state response are derived.Finally,optimality criteria algorithm is employed to obtain numerical solution of the multi-objective topology optimization.Numerical examples show that the compliant mechanisms have better performance and are more applicable if the temperature effect is taken into account in the design process.The presented modeling and analysis methods provide a new idea and an effective approach to topology optimization of compliant mechanisms in electrothermic coupling field and multiphysics fields.     

计算机辅助-工程项目成本控制系统的建立方法

本文运用工程项目管理学中的动态成本控制原理和MIS的建立方法,结合我国大多数建筑施工企业的工程成本管理实践,阐述了计算机辅助的建筑工程项目成本控制系统的建立方法。本文的核心思想是动态控制。全文分为成本控制的基本原理;系统分析;系统设计三部分。