共查询到20条相似文献,搜索用时 15 毫秒
1.
The authors propose a new system design paradigm, the system on package, which uses electronic product reengineering to meet time-to-market and performance requirements. The system on package promises a higher return on investment than the system on chip 相似文献
2.
Notes on automata theory based on quantum logic 总被引:1,自引:0,他引:1
QIU DaoWen Department of Computer Science Zhongshan University Guangzhou China 《中国科学F辑(英文版)》2007,50(2):154-169
The main results are as follows: (1) it deals with a number of basic operations (concatenation, Kleene closure, homomorphism, complement); (2) due to a condition imposed on the implication operator for discussing some basic issues in orthomodular lattice-valued automata, this condition is investigated in detail, and it is discovered that all the relatively reasonable five implication operators in quantum logic do not satisfy this condition, and that one of the five implications satisfies such a condition iff the truth-value lattice is indeed a Boolean algebra; (3) it deals further with orthomodular lattice-valued successor and source operators; (4) an example is provided, implying that some negative results obtained in the literature may still hold in some typical orthomodular lattice-valued automata. 相似文献
3.
4.
WANGZi-ru ZHOUHui-cheng LIMing-qiu 《计算机辅助绘图.设计与制造(英文版)》2005,15(1):20-23
The numerical solution of dam toe line is solved based on the dam data and topographic map of dam located. The display of dam perspective is also realized by programming of using VC++ and OpenGL. The research results above provide the foundation of construction design, construction lofting and information inquiry, which avoids the drawbacks of only using blueprints to do the same work in the past. The method used is useful in practical engineering. 相似文献
5.
6.
GAN Yi QI Cong-qian MAI Yun-fei 《通讯和计算机》2007,4(5):15-21,27
The Microhabitat Ant Colony Optimization (MACO) algorithm is built up, which uses experience information and heuristic information with time parameters when positive feeds back. MACO combines Microhabitat Information Difference when local being optimized, without running into the precocity of Genetic Algorithms and the stagnation of the basic Ant Colony Optimization. The problem about selecting partners of the networked manufacturing enterprises dynamic alliance being the multi-objective optimizing differs from Traveling Salesman Problem (TSP). The target function of optimizing selecting is created. The problem of multi-objective optimizing about the selecting partners is solved with MACO, and the optimized answer is achieved. 相似文献
7.
Failure analysis on China power grid based on power law 总被引:4,自引:0,他引:4
This paper is concerned with the mechanism of blackouts in China power system from the viewpoint of self-organized criticality. By using two estimation algorithms of scaled window variance (SWV) and rescaled rangestatistics (R/S), this paper studies the blackout data in China power system during 1988-1997. The result of analysis shows that the blackout data of 1994-1997 coincides well with the autocorrelation. Furthermore, it is found that the function of blackout probability vs. blackout size exhibits power law distribution. 相似文献
8.
This paper presents a vacuum gripper (as an actuator of an intelligent micromanipulator) for micro objects (with a diameter of 100 - 300μm) assembly tasks. The gripper is composed of a vacuum unit and a control unit. The vacuum unit with a proportional valve and a pressure sensor, and the control unit with a PC + MCU two-layered control architecture are designed. The mechanical structure, workflow and major programs of the micro-gripper are presented. This paper discusses the major components of the adhesion force acting on micro objects. Some equations of the operation conditions m three phases of pick, hold and place are derived by mechanics analysis. The pneumatic system's pressure loss is inevitable. There are some formulas for calculating the amount of the pressure loss, but parameters in formulas are diffficult to be quantified and evaluated. To control the working pressure accurately, a pressure controller based on fuzzy logic is designed. With MATLAB's fuzzy logic toolbox, simulation experiments are performed to validate the performance of the fuzzy PD controller. The gripper is characterized by a steady and reliable performance and a simple structure, and it is suitable for handling micro objects with a sub-millimeter size. 相似文献
9.
In 1993, Alabhadi and Wicker gave a modification to Xinmei Digital Signature Scheme based on error-correcting codes, which is usually denoted by AW Scheme. In this paper we show that the AW Scheme is actually not secure: anyone holding public keys of the signatory can obtain the equivalent private keys, and then forge digital signatures for arbitrary messages successfully. We also point out that one can hardly construct a digital signature scheme with high-level security due to the difficulty of decomposing large matrixes. 相似文献
10.
(School of Information Science & Engineering Northeastern University)Wang Yu Xu Xinhe (The department of automation North China Electric Power University)Wang Yong (Changchun Institute of technology) 《微计算机信息》2006,(34)
1 Introduction Omni- directional vision system is a central cata- dioptric system which is composed of mirror and CCD camera. In omni- directional vision systems, lens of CCD camera refracts and mirror reflects rays. It uses mirror to enlarge vision field. It is widely used in robot navigation, virtual reality, video surveillance, teleconferencing, etc. The fields of viewof the robot can reach 360°horizontally by using omni-directional vision sensor and it resolves the limited fields of vi… 相似文献
11.
This paper elaborates the concept and model of protocol migration in network interconnection.Migration strategies and principles are discussed and several cases are studied in detail which show the basic procedure and techniques used in protocol migration. 相似文献
12.
tists to Children and YouthZHAI LiyuanThrough the relevant case study both in China and abroad, based on the questionnaires on a limited scale given t 相似文献
13.
Decompiling,as a means of analysing and understanding software,has great practical value.This paper presents a kind of ecompiling method offered by the anthors,in which the techniques of library-function pattern recognition,intermediate language, symbolic execution, rule-based data type recovery,program transformation,and knowl edge engineering are separately applied to different phases of decompiling.Then it is discussed that the techniques of developing expert systems are adopted to build a decompiling system shell independent of the knowledge of language and program running environment.The shell will become a real decompiler,as long as the new knowledge of application environment is interactively acquired. 相似文献
14.
我很奇怪这样的夜晚我竟然能够心如止水,明天,9月13日,将是我上初中以来第一次半期考的日子,或许对于我来说,明天的这一仗很可能让我拥有和从前一样的自信与勇敢,也可能让我颓丧上很长一段时间。当电灯“啪”的一声关上的时候,我的眼前我的周围一片黑暗,空气中弥漫着夜的静谧,我听不见自己的心跳声,虽然我原以为它会“咚咚”地跳得很响。闭上眼睛,我不愿再想任何事情,铺天盖地的睡意向我袭来——鲜红的“69”在我眼前闪烁着,120分的考卷仅仅拿了69分, 相似文献
15.
16.
the proposed method is not only suitable to the optimistic case of symmetrical three-phase voltage, but also for the cases such as unsymmetrical voltage, non-sinusoidal signal and three-phase four-wire system.instantaneous reacti 相似文献
17.
XU De TU Zhi-Guo TAN Min 《自动化学报》2005,(3)
Monocular visual positioning for indoor mobile robot is concerned in this paper.A new visual positioning method based on homography matrix in Euclidean space is proposed.It can calculate the position and pose of the mobile robot according to the intrinsic parameters of camera and two position-known points in a plane.It is very simple and low cost in computation.The experimental results show its effectiveness. 相似文献
18.
Wenjun Xiao 《计算机科学》2002,29(Z1):101-102
[1]S. B. Akers, B. Krishnamurthy. A group-theoretic model for symmetric interconnection networks. IEEE Trans. Comput,1989,38:555~566
[2]F. F. Annexstein, M. Baumslag,A. L. Rosenberg. Group action graphs and parallel architectures. SIAM J. Comput, 1990,19 相似文献
19.
Object Petri Net (OPN) which combines Petri net with object-oriented theory gives an effective method to use the Petri net in the field of M&S of Discrete Event Dynamic System. The concept and mechanism of object is brought in, and ttie function of ba- sic Petri net is expanded. It is a new idea to apply OPN to missile operational effectiveness assessment system. The expanded func- tion of OPN is helpful for M&S of discrete missile combat system. Since kinds of stochastic factors of the combat are considered in the simulation, the assessment of operational effectiveness has high reliability. The structure and the combat process of ICBM combat system are studied, and then the framework of OPN-based missile operational effectiveness assessment system and its operational mechanism are given. 相似文献
20.
Recently, Su et?al. (Opt Comm 283:4408?C4410, 2010) proposed a quantum blind signature based on the two-state vector formalism. Their protocol is rather practical because the signer and the blind signature requester only have to perform measurement operations to complete the quantum blind signature. This study points out that a dishonest signer in their scheme can reveal the blind signature requester??s secret key and message without being detected by using Trojan horse attacks or the fake photon attack. A modified scheme is then proposed to avoid these attacks. 相似文献