共查询到20条相似文献,搜索用时 0 毫秒
1.
2.
We present the Lambda Context Calculus. This simple lambda-calculus features variables arranged in a hierarchy of strengths such that substitution of a strong variable does not avoid capture with respect to abstraction by a weaker variable. This allows the calculus to express both capture-avoiding and capturing substitution (instantiation). The reduction rules extend the ‘vanilla’ lambda-calculus in a simple and modular way and preserve the look and feel of a standard lambda-calculus with explicit substitutions.Good properties of the lambda-calculus are preserved. The LamCC is confluent, and a natural injection into the LamCC of the untyped lambda-calculus exists and preserves strong normalisation.We discuss the calculus and its design with full proofs. In the presence of the hierarchy of variables, functional binding splits into a functional abstraction λ (lambda) and a name-binder и (new). We investigate how the components of this calculus interact with each other and with the reduction rules, with examples. In two more extended case studies we demonstrate how global state can be expressed, and how contexts and contextual equivalence can be naturally internalised using function application. 相似文献
3.
针对复杂电力通信网络系统的系统可靠性问题,本文提出了一种新的基于正态云和模糊Petri网相结合的系统可靠性评估模型。从分析设计阶段、建设实施阶段和运行维护阶段提出了可靠性管理的相关策略,对电力系统通信部门来说,进行通信系统各阶段可靠性管理具有十分重要的意义。 相似文献
4.
WANG YangYuan Institute of Microelectronics Peking University Beijing China 《中国科学:信息科学(英文版)》2011,(5)
With the development of information technology, integrated circuits (IC) and system which target high performance and low power consumption have widely penetrated to all the aspects of national economy, national defense construction and people’s life. With the continuous increase in IC integration density, the power consumption is becoming the limiting factor. It turns out that the driving force of the future IC and system development is the reduction of the power consumption and improvement of the performa... 相似文献
5.
This paper reviews some of the research on the use and consumption of technology in the domestic space that may not be familiar
to members of the usability and design community, especially those traditionally focused on design for the workplace. The
paper also introduces original research findings and conclusions from a qualitative study of the adoption and use of new ICTs
conducted in a number of households and workplaces in the late 1990s, a time when many new ICT products and services were
becoming available, and more traditional media and communication products were becoming widespread in homes. The paper does
not make recommendations about the type of products and services to be developed, nor those that may be successful, although
it is quite possible to draw this type of conclusion from it. Instead it looks at some rather broader trends in the way that
we engage with technologies, rejecting and adopting them, and the importance of our domestic space and social networks to
the way we will engage with future technologies aimed at the home space.
Electronic Publication 相似文献
6.
光纤通信传输技术的应用探讨 总被引:1,自引:0,他引:1
李建磊 《网络安全技术与应用》2012,(6):15-16
目前人类正处于信息化时代,各种信息之间不断传输,在数量上呈现爆炸式增加,光纤技术的发展与介入,使得现代通信更加快捷、方便。同时也使光纤通信的技术更加复杂化,本文主要探讨光纤技术发展的优势与不足,新技术以及光纤技术的发展展望。 相似文献
7.
Kaplan L.M. Kuo C.-C.J. 《IEEE transactions on pattern analysis and machine intelligence》1995,17(11):1043-1056
The 2D fractional Brownian motion (FBM) model provides a useful tool to model textured surfaces whose roughness is scale-invariant. To represent textures whose roughness is scale-dependent, we generalize the FBM model to the extended self-similar (ESS) model in this research. We present an estimation algorithm to extract the model parameters from real texture data. Furthermore, a new incremental Fourier synthesis algorithm is proposed to generate the 2D realizations of the ESS model. Finally, the estimation and rendering methods are combined to synthesize real textured surfaces 相似文献
8.
Neural networks have been increasingly used in various areas of manufacturing. Modelling of manufacturing processes, to allow experimentation on the model, is one of the areas in which successful applications have been reported. Most literature in this area is focused on network results. This paper concentrates on methods for training neural networks to model complex manufacturing processes. It summarises the use of neural network for process modelling in the past decade and provides some detailed guidelines for network training. A case study of a complex forming process is used to demonstrate a real implementation case in industry, and the issues arising from this case are discussed. 相似文献
9.
10.
Anthony N. LaskovskiAuthor Vitae Mehmet R. YuceAuthor Vitae 《Sensors and actuators. A, Physical》2011,171(2):391-397
This paper develops the concept of Class-E self oscillation for wireless power delivery to implantable sensors with the comparison of several topologies. Power amplifiers and oscillators are considered as two separate blocks in wireless power transmission. By combining these topologies into a self-oscillating power transmitter, greater efficiency can be achieved. Various topologies are compared with measured hardware results, determining that a crystal feedback network provides both accuracy and high power output. A new crystal feedback Class-E self oscillator has been implemented by transmitting power through 2 cm-thick biological tissue. The paper includes a second order modelling and design process that can be used to design a Class-E self oscillator as an inductive power transmitter as well as measured results. 相似文献
11.
光纤作为一种新型的通信材料,对于通信方式的变革起着非常积极的促进作用.要想发挥光纤的优势,就必须要了解其传输特性,然后根据信号传输的需要进行应用上的调整. 相似文献
12.
Jerry L. Trahan Mingxian Jin Wittaya Chantamas Johnnie W. Baker 《Journal of Parallel and Distributed Computing》2010
The MASC (Multiple ASsociative Computing) model is a multi-SIMD model that uses control parallelism to coordinate the interaction of data parallel threads and supports associative SIMD computing on each of its threads. There have been a wide range of algorithms developed for this model. Research on using this model in real-time system applications and building a scalable MASC architecture is currently quite active. In this paper, we present simulations between MASC and reconfigurable bus-based models, e.g., various versions of the Reconfigurable Multiple Bus Machine (RMBM). Constant time simulations of the basic RMBM by MASC and vice versa are obtained. Simulations of the segmenting RMBM, fusing RMBM, and extended RMBM by MASC in non-constant time are also discussed. By taking advantage of previously established relationships between RMBM and two other popular parallel computational models, namely, the Reconfigurable Mesh (RM) and the Parallel Random Access Machine (PRAM), we extend our simulation results to further categorize the power of the MASC model in relation to RM and PRAM. 相似文献
13.
Akihiro Suzuki Norihiko Kato Yoshihiko Nomura Hirokazu Matsui 《Artificial Life and Robotics》2011,16(1):82-85
We have developed a rehabilitation support system that assists exercise training in order to reduce the physical load of therapists. Here, we propose a muscle fatigue evaluation method to decide the appropriate momentum for each patient. Many studies on muscle fatigue by electromyography (EMG) have been reported. However, muscle fatigue evaluation by EMG has the disadvantage of complexity of preparation and it can also give patients mental stress. To solve this problem, we propose muscle fatigue evaluation using an accuracy of muscle power. We verified the proposed method on the abduction/adduction of shoulders. We investigated how the accuracy of muscle power changes repeatedly under abduction/adduction while maintaining a constant power in the tangential direction. From the experimental results, we confirm a correlation between the increase in the amplitude of the EMG and an increase in power in the normal direction by a shift in the direction of power from the tangential direction, i.e., the target direction as the muscle fatigue increases. 相似文献
14.
Some people in the software development community think “process” is a four letter word. They think software processes are rigid, restrictive, and inefficient. They hold that the best way to run a project is to hire the best people you can, give them all the resources they ask for, and turn them loose to do what they do best. Sure, they say, there will be some amount of unproductive work is (also known as “thrashing”). After all, developers will make mistakes. But they will also be able to quickly and efficiently correct these mistakes at a cost that is less overall than the cost of processes. This point of view has intuitive appeal. At the beginning of a project, a focus on process certainly does take time away from productive work. If that trend were to continue throughout the project, it wouldn't make sense to spend much time on process. Software industry experience, however, has found that for projects that don't pay attention to establishing effective processes early are forced to slap them together late, when slapping them together takes more time and does less good. The article points out the problems caused by inattention to process, explains what happens when a project thrashes, and discusses the use of process versus creativity 相似文献
15.
A Markov Modulated Poisson Process (MMPP) is a doubly stochastic Poisson process which has recently received a lot of attention due to its ability to model a highly correlated arrival stream while retaining analytical tractability. In this paper, the cell arrival process from integrated voice and data sources is approximated by a two-state MMPP with batch arrivals (BMMPP). We propose a new matching technique which leads to more accurate performance prediction than other recent work for both delay estimation and evaluation of tail probabilities. While using BMMPP in the model does not noticeably increase the computational complexity over MMPP, it allows better representation of traffic sources with significantly higher burstiness. Another major contribution of the proposed model is its simplicity which makes the model suitable for real-time traffic control. An extended version of the model for integrated video, voice and data sources is also given with numerical examples again showing that the accuracy is quite satisfactory. 相似文献
16.
蓝牙技术在远程电力线通信中的应用 总被引:1,自引:0,他引:1
针对目前电力线通信PLC存在通信距离有限的问题,提出了二种基于蓝牙技术以实现远程通信的方案.该方案以通用电力线载波通信芯片LM1893和蓝牙模块WRAP THOR 2022-1为核心,以AT89C51为主控单元设计了一个远程电力线载波通信系统,以解决音频信号的跨变压器传输问题.硬件系统由8个模块组成,并对系统整体的软件... 相似文献
17.
单片机系统设计中低功耗的探讨 总被引:1,自引:0,他引:1
赵贺 《自动化与仪器仪表》2009,(6):66-68
通过CMOS电路的功耗分析及MCU待机功能的简单介绍,提出了单片机系统低功耗设计的总体原则,并从硬件和软件方面介绍了具体的实现低功耗方法。 相似文献
18.
19.
In this paper we find that the two-round (extended) Lai-Massey scheme is not pseudorandom and three-round (extended) Lai-Massey scheme is not strong pseudorandom. Combined with previous work, we prove that three rounds are necessary and sufficient for the pseudorandomness and four rounds are necessary and sufficient for the strong pseudorandomness. 相似文献
20.
谢东 《自动化与仪器仪表》2007,(2):28-31
分析了电力线路微机保护系统的设计方法,文中着重阐述了系统硬件组成、工作原理和软件流程。本系统在硬件、软件上采取了一些措施,以提高稳定性和抗干扰能力。系统的串行通信采用了CAN现场总线技术,提高了通信的快速性、可靠性。 相似文献