ARM CPU在桥梁挠度监测系统中的应用

基于ARMCPULPC2132的光电液位挠度传感器的硬件构成、原理及性能分析。以山西高速公路小沟特大桥的安全监测系统为实例,具体介绍本传感器的使用情况。     

基于ZigBee技术的桥梁挠度无线监测系统的设计与应用

针对传统桥梁挠度监测系统存在的弊端,提出一种采用ZigBee技术的桥梁挠度无线监测系统设计方案,重点设计了桥梁挠度无线监测系统中传感器节点的软硬件,实现了挠度数据自动监测和无线传输。现场应用结果表明,该系统具有移动性强、数据传输稳定可靠和成本低的优点。     

连通管式光电液位传感器在桥梁挠度监测中的应用

挠度是评价桥梁安全性的重要指标。根据桥梁各自的结构特点,选用连通管式光电液位传感器进行实际工程应用。介绍了该传感器的基本原理,阐述了实际的连通管式光电液位监测系统的构成,并将该系统实际应用于大佛寺长江大桥的状态监测中,监测结果表明:连通管式光电液位传感器的监测数据能够有效地反映桥梁结构状态变化,监测系统运行正常有效。     

激光投射式位移传感技术在桥梁挠度检测中的应用研究

激光投射式位移传感技术是精确测量桥梁挠度变化的一种有效方法.在介绍现有各种桥梁挠度测量方法的基础上,分析了激光投射式位移传感技术的基本原理和存在的问题,提出了改进措施.实桥测试结果表明,相对精密水准仪的测量效果,改进后的激光投射式挠度传感器在实际桥梁,尤其是高落差、大跨度桥梁的挠度测量中,具有操作方便、测量速度快、测量精度高等优势.该套传感器已成功应用于渝黔高速公路河耳沟大桥的桥梁远程健康监测中.     

基于CAV444的电容式液位传感器设计

介绍了电容式液位传感器的测量原理,提出了一种基于新型电容测量集成电路芯片CAV444的电容式液位传感器的设计方案。测试结果表明,该传感器性能稳定,测量精度较高,误差较小,能够满足低浓度瓦斯输送安全监测系统的水位监测需求。     

大气氮氧化物传感技术研究综述

开展大气环境中氮氧化物的监测对保护环境和控制污染源排放强度具有重要意义。氮氧化物监测的准确率在很大程度上受测量原理与方法、传感器物理参数的影响。介绍了6种测量原理与方法的特点和2类典型的电化学传感器,着重分析了传感器的材料、结构、工艺与性能。最后,总结预测了电化学传感器的改进方向。     

基于无线传感器网络的温度监测系统

无线传感器网络是传感器领域内一个新兴的研究方向,可以在一些特殊的场合实现信号的采集、处理和发送。该文介绍了一个基于无线传感器网络的温度监测系统。其节点以8位AVR单片机AT-mega128L为核心,结合外围传感器和无线收发模块cc2420芯片,实现了对温度的监测。系统采用ZigBee无线通信协议,功耗低、性能稳定。     

波兰CP－10型开停传感器国产化的研制

ＣＰ—１０型开停传感器，是用来监测胶带输送机、扇风机、水泵等电气设备的开停状态的开关量传感器，是波兰ＨＡＤＥＳ生产监测系统的配套产品。本文根据现场应用的情况，提出了引进传感器的存在问题，介绍了国产化传感器的工作原理，主要技术参数的确定和结构设计，并将国产化产品与引进产品的主要性能进行了比较。     

半封闭连通管式差压传感器在桥梁挠度测量中的应用

挠度是评价桥梁结构安全性的重要指标。根据桥梁结构特点,选用半封闭连通管式差压传感器进行实际工程应用。论述了传感器的基本原理,介绍了实际的半封闭连通管式差压传感器及其系统的构成,并将该传感系统应用于荆岳长江公路大桥通车鉴定试验的静载挠度测量中,测量结果表明:半封闭连通管式差压传感器的测量数据能够有效地反映桥梁结构状态变化,且具有较高的测量效率和准确度。     

无线MEMS电容式加速度传感器在港口吊机动挠度测试中的应用

港口吊机抓斗运行时,横梁将产生动挠度.动挠度仪或涡流传感器可以直接测量物理位移,但需要固定的安装点,其使用环境受限.动挠度信号主要以低频为主,普通的直接安装在吊机梁上的传感器因不能测得低频信号而无法测量动挠度.为此,开发了种基于电容式低频振动传感器的无线动挠度测试系统,相对目前其他动挠度测试仪器及测试方法,系统使用方便...     

Free will - even for robots

Human free will is a product of evolution and contributes to the success of the human animal. Useful robots will also require free will of a similar kind, and we will have to design it into them. Free will is not an all-or-nothing thing. Some agents have more free will, or free will of different kinds, than others, and we will try to analyse this phenomenon. Our objectives are primarily technological, i.e. to study what aspects of free will can make robots more useful, and we will not try to console those who find determinism distressing. We distinguish between having choices and being conscious of these choices; both are important, even for robots, and consciousness of choices requires more structure in the agent than just having choices and is important for robots. Consciousness of free will is therefore not just an epiphenomenon of structure serving other purposes. Free will does not require a very complex system. Young children and rather simple computer systems can represent internally ‘I can, but I won't’ and behave accordingly. Naturally I hope this detailed design stance will help understand human free will. It takes the compatibilist philosophical position. There may be some readers interested in what the paper says about human free will and who are put off by logical formulas. The formulas are not important for the arguments about human free will; they are present for people contemplating AI systems using mathematical logic. They can skip the formulas, but the coherence of what remains is not absolutely guaranteed.     

Noise suppresses or expresses exponential growth

In this paper we will show that noise can make a given system whose solutions grow exponentially become a new system whose solutions will grow at most polynomially. On the other hand, we will also show that noise can make a given system whose solutions are bounded become a new system whose solutions will grow exponentially. In other words, we reveal that the noise can suppress or expresses exponential growth.     

Research challenges and perspectives of the Semantic Web

Accessing documents and services on today's Web requires human intelligence. The interface to these documents and services is the Web page, written in natural language, which humans must understand and act upon. The paper discusses the Semantic Web which will augment the current Web with formalized knowledge and data that computers can process. In the future, some services will mix human-readable and structured data so that both humans and computers can use them. Others will support formalized knowledge that only machines will use.     

Peltier Haptic Interface (PHI) for improved sensation of touch in virtual environments

In this report we describe an advanced virtual reality glove that we are developing, called the Peltier Haptic Interface (PHI), which will provide improved sensation of touch in virtual environments. PHI will provide force/pressure feedback that can be varied independently on each finger, as well as temperature sensation that can be varied non-uniformly over the whole hand. The combination of these sensations will provide a more realistic sense of touch and significantly increase the realism of virtual environments. PHI will find extensive applications in biomedical simulations, teaching, industrial line training, and many other areas.     

Induction as the Basis for Program Verification

We will consider the inductive mechanisms in five techniques for verifying iterative/recursive program structures: inductive assertion, predicate transformers, subgoal induction, computation induction, and structural induction. We will discover that all five techniques can be justified by a single theorem about inductive proof techniques. We will also show that all five techniques face the problem of finding properties that will carry an induction. Such properties are called inductive sets. We will see that the inductive sets of the five techniques are easily related to one another and that a program proof by any of the techniques can be easily converted to a proof by any of the other techniques. Our conclusion is that computer programs simply are inductive definitions of the functions they compute. Induction is the only method by which they can be proved. The problems of induction are therefore unavoidable.     

基于XML的嵌入式HTTP服务

Web浏览器已成为远程嵌入式系统进行监控的标准，越来越多的嵌入式系统将添加XML的远程HTTP服务，而支持Web功能的嵌入式处理器可以简化此类系统的设计。本文介绍了可扩展标记语言(XML）和嵌入式系统，分析嵌入式Web功能的特点．并描述采用XML开发嵌入式Web应用的设计要点和远程过程调用(XML—RPC等)。增加开发人员可用的选项范围。     

子阵叠加结构降低宽带阵列副瓣电平方法研究

对于子阵级使用延迟线,单元级使用移相器的阵列,当工作频率改变时,由于子阵级方向图中的栅瓣落入单元级方向图的主瓣区域,使阵列方向图的副瓣电平升高.通过采用子阵叠加结构可以有效降低阵列方向图的副瓣电平.仿真结果表明在子阵叠加结构中,除了在子阵级和单元级使用加权分布降低副瓣电平外,子阵叠加比决定了阵列的副瓣性能.当在子阵级和单元级使用泰勒分布,并且子阵叠加比为2时,工作在宽带、宽角下的阵列可以获得较好的副瓣性能.     

基于ASP.NET的追踪技术研究

追踪技术对于ASP.NET应用开发具有重要作用,通过它可以获取各种各样的背景信息,提高整个调试过程的效率。本文在论述追踪的基本使用方法的同时,重点针对其获取信息量过大,从而难以从中快速寻找出所需信息的问题,从分析追踪输出流的形成过程入手,找出了几个能够在追踪信息被显示之前,对输出流进行修改的切入点,并基于这个切入点提出了几种追踪技术的改进方法,进一步提高了追踪的效率,弥补了追踪存在的问题,使信息显示更加灵活,使得整个调试工作更加快速有效。     

IISICS for intelligent cooperation between sub-systems in a complex system

The overall goal of any manufacturing enterprise integration project is to achieve an enterprise that acts in a coordinated, intelligent fashion to any changes to its internal and external environment. In this paper, we will examine how the information sub-systems within a complex system can interact with each other in such a way that the action of the system as a whole can be seen to be intelligent in a global context. We will examine two ways in which intelligent cooperation can be achieved. We will then elaborate further on the method of cooperation that we find more appropriate and introduce an Information Infrastructure for Intelligent, Cooperating Sub-systems (IISICS).     

Jar文件执行故障排解

Jar文件是Java的可执行文件,在安装有JRE的机器上可以直接执行。然而实际操作时常常会遇到显示"could not find the main class. program will exit"无法执行的故障,有时虽能执行但无图片显示,或音乐失声,或干脆无反应。本文将针对这些执行故障进行分析,并提出排除和解决的方法。