法律合约与智能合约一致性综述

从计算机科学的角度对法律合约与智能合约的一致性研究现状进行了总结和分析。首先,分别对法律合约描述语言和智能合约开发语言进行了分类和分析,总结了每种语言的特点;其次,根据合同自动化执行的三个发展阶段对法律合约和智能合约的一致性内涵进行了分析和讨论;分别基于形式化模型和合约模板总结了由法律合约生成智能合约代码的方法和关键技术,并对其进行了讨论和评价;最后,对未来法律合约与智能合约的一致性研究进行了总结和展望。     

多媒体通信协议H.324,H.323及SIP的分析研究

对ITU-T的多媒体通信协议H324和H323以及IETF的SIP进行了介绍,在此基础上对它们进行了分析和比较,并对不同协议间的互通进行了分析和展望.     

计算机软件开发中分层技术的应用探讨

分层技术在软件系统优化、高效配置计算机资源上呈现了巨大的优势而被普遍应用于计算机软件开发中,因此有必要对该技术的具体内涵和具体应用进行探讨.对分层技术的概念和内涵进行了阐述;对分层技术应用于计算机软件开发的特征和可行性进行了分析;对分层技术在计算机软件开发中的具体应用进行描述和探讨;对未来分层技术应用于计算机软件开发领域的未来进行了分析和展望.     

GM(1,1)模型在巡航导弹预测中的应用

为了对巡航导弹的距离进行预测,建立了GM(1,1)模型,详细介绍了建模和计算预测值的过程.采用"等维灰数递补动态预测"的预测方法,对预测模型的可行性进行了分析,提出了对巡航导弹预测建模的原则,并进行了示例分析,用预测值和实际值进行了误差检验,并对模型精度进行了分析.建模和计算结果表明,该模型和方法对巡航导弹的距离进行预测,计算精度高且运算速度快.     

PKI信任机制及在信任模型中的应用

描述了四种PKI信任机制,对它们的功能和特点进行了讨论;对这些机制如何和CA配置形成层次式和桥式信任模型进行了分析,并对这两种信任模型的特性进行了比较.     

设计智能化与设计信息化思想在长输管道CAD软件中的探索与实现

本文对设计智能化和设计信息化的特点进行了简要说明,重点对长输管道工程设计中的约束条件、设计规则和设计要求进行了分析,对设计智能化和设计信息化在长输管道CAD软件中的实现方法、解决的主要技术进行了研究,并对软件的主要功能和应用情况进行了介绍。     

基于嵌入式系统的DNC系统开发

本文对DNC系统在制造业发展中的地位和作用进行了分析,论述了DNC系统的体系结构和软硬件架构,对利用嵌入式系统构建DNC的过程进行了探讨,对DNC系统的功能和实现技术进行了介绍。     

挖掘多关系关联规则

关联规则的挖掘是数据挖掘中的一项重要和基础的技术,已进行了多方面的深入研究,有着广泛的应用.传统数据挖掘算法是针对单表数据进行处理的,在应用于多关系数据挖掘时存在诸多问题.对多关系关联规则的挖掘问题进行了重新定义和总结.提出了多关系关联规则挖掘的一个框架,并对已有算法进行了分类.然后对各类代表性算法进行了描述、分析和对比,对尚存在的问题进行了分析和总结.最后,对该领域未来的研究工作提出了建议.     

基于OPNET的一种典型现场总线的研究与仿真

随着网络规模的扩大,使用仿真软件对网络进行仿真,对关键参数和原理进行验证,已经是一种流行的网络开发模式.首先对现场总线和仿真软件OPNET进行了相关介绍和分析,接着对一种典型的现场总线的特征进行了详细说明,然后基于OPNET对该典型总线进行了建模仿真.基于对采集数据的分析,验证了仿真模型的时延符合典型现场总线标准的要求...     

基于ASON的光传送网在地市级电力通信网络的应用及规划

本文立足于现有通信网络的建设条件,对SDH和ASON技术进行了分析和对比,重点探讨了ASON的保护方式和路由方式,以及业务配置方式,接下来分别从建设角度和业务角度,对地区电力通信网络进行了完整的分析,并对ASON技术应用至地区通信网络进行了可行性分析和比较,最后对地区ASON网络的搭建进行了规划,给出了设计方案。     

Evolution of Languages, Consciousness and Cultures

The knowledge instinct is a fundamental mechanism of the mind that drives evolution of higher cognitive functions. Neural modeling fields and dynamic logic describe it mathematically and relate to language, concepts, emotions, and behavior. Perception and cognition, consciousness and unconsciousness, are described, while overcoming past mathematical difficulties of modeling intelligence. The two main aspects of the knowledge instinct determining evolution are differentiation and synthesis. Differentiation proceeds from and unconscious states to more crisp and conscious, from less knowledge to more knowledge; it separates concepts from emotions, Its main mechanism is language. Synthesis strives to achieve unity and meaning of knowledge; it is necessary for resolving contradictions, concentrating will and for purposeful actions. Synthesis connects language and cognition. Its main mechanisms are emotionality of languages and the hierarchy of the mind. Differentiation and synthesis are in complex relationship of symbiosis and opposition. This Leads to complex dynamics of evolution of consciousness and languages. Its mathematical modeling predicts evolution of cultures. We discuss existing evidence and future research directions.     

生态环境监测与管理决策支持系统的研究

依据空间信息的数据库,模型库,知识库,设计和建立生态环境监测与管理决策支持系统,其目的是综合应用遥感和地理信息系统,对生态系统和各种资源环境问题及时地进行监测分析,为促进生态系统的良性循环提供辅助决策支持。     

非功能需求的结构化定义以及概念性追踪管理框架

针对需求工程中非功能需求概念非常模糊甚至相互矛盾、非功能需求与其他非功能需求及功能需求之间的关系繁复而难以分析和建模、非功能需求与设计阶段制品之间的追踪关系模糊而不易记录和维护等问题,分析了与非功能需求相关的概念在需求分析阶段和体系结构设计阶段的表现形式,给出了一个结构化的非功能需求定义;规范了不同类型需求之间的各种复杂关系,建立了一个跨越分析和设计阶段的概念性非功能需求追踪管理框架,规范了需求分析和体系结构设计阶段与非功能需求相关的概念和制品之间的关系。提出的结构化定义以及概念性追踪管理框架明确地刻画了非功能需求概念的外延,为简化需求模型以及进一步研制系统化、实用化的非功能需求建模及追踪管理技术奠定了理论基础。     

基于.NET的水站实时监测系统设计与实现

介绍了采用微软公司的.NET技术实现水站实时监测查询系统的设计思想、采用的技术方法和实现过程.系统基于B/S模式,采用四层逻辑设计结构,利用.NET组件设计技术和ADO.NET数据访问技术,实现了对水站水情数据查询的实时监测,为调控提供了科学、及时、准确的数据依据.系统的设计与实现是.NET技术在实时监测领域更具实用价值的应用.     

Design and management of image processing pipelines within CPS: Acquired experience towards the end of the FitOptiVis ECSEL Project

Cyber-Physical Systems (CPSs) are dynamic and reactive systems interacting with processes, environment and, sometimes, humans. They are often distributed with sensors and actuators, characterized for being smart, adaptive, predictive and react in real-time. Indeed, image- and video-processing pipelines are a prime source for environmental information for systems allowing them to take better decisions according to what they see. Therefore, in FitOptiVis, we are developing novel methods and tools to integrate complex image- and video-processing pipelines. FitOptiVis aims to deliver a reference architecture for describing and optimizing quality and resource management for imaging and video pipelines in CPSs both at design- and run-time. The architecture is concretized in low-power, high-performance, smart components, and in methods and tools for combined design-time and run-time multi-objective optimization and adaptation within system and environment constraints.     

Intelligent systems in the automotive industry: applications and trends

There is a common misconception that the automobile industry is slow to adapt new technologies, such as artificial intelligence (AI) and soft computing. The reality is that many new technologies are deployed and brought to the public through the vehicles that they drive. This paper provides an overview and a sampling of many of the ways that the automotive industry has utilized AI, soft computing and other intelligent system technologies in such diverse domains like manufacturing, diagnostics, on-board systems, warranty analysis and design. Oleg Gusikhin received the Ph.D. degree from St. Petersburg Institute of Informatics and Automation of the Russian Academy of Sciences and the M.B.A. degree from the University of Michigan, Ann Arbor, MI. Since 1993, he has been with the Ford Motor Company, where he is a Technical Leader at the Ford Manufacturing and Vehicle Design Research Laboratory, and is engaged in different functional areas including information technology, advanced electronics manufacturing, and research and advanced engineering. He has also been involved in the design and implementation of intelligent control applications for manufacturing and vehicle systems. He is the recipient of the 2004 Henry Ford Technology Award. He holds two U.S. patents and has published over 30 articles in refereed journals and conference proceedings. He is an Associate Editor of the International Journal of Flexible Manufacturing Systems. He is also a Certified Fellow of the American Production and Inventory Control Society and a member of IEEE and SME. Nestor Rychtyckyj received the Ph.D. degree in computer science from Wayne State University, Detroit, MI. He is a technical expert in Artificial Intelligence at Ford Motor Company, Dearborn, MI, in Advanced and Manufacturing Engineering Systems. His current research interests include the application of knowledge-based systems for vehicle assembly process planning and scheduling. Currently, his responsibilities include the development of automotive ontologies, intelligent manufacturing systems, controlled languages, machine translation and corporate terminology management. He has published more than 30 papers in referred journals and conference proceedings. He is a member of AAAI, ACM and the IEEE Computer Society. Dimitar P. Filev received the Ph.D. degree in electrical engineering from the Czech Technical University, Prague, in 1979. He is a Senior Technical Leader, Intelligent Control and Information Systems with Ford Research and Advanced Engineering specializing in industrial intelligent systems and technologies for control, diagnostics and decision making. He is conducting research in systems theory and applications, modeling of complex systems, intelligent modeling and control, and has published 3 books and over 160 articles in refereed journals and conference proceedings. He holds 14 granted U.S. patents and numerous foreign patents in the area of industrial intelligent systems He is the recipient of the 1995 Award for Excellence of MCB University Press. He was awarded the Henry Ford Technology Award four times for development and implementation of advanced intelligent control technologies. He is an Associate Editor of International Journal of General Systems and International Journal of Approximate Reasoning. He is a member of the Board of Governors of the IEEE Systems, Man and Cybernetics Society and President of the North American Fuzzy Information Processing Society (NAFIPS).     

图与图学

图与文字、数字一样,在人类的社会进步、经济建设和科技发展过程中起 着不可替代的作用。但图与图学的定义与地位从历史和当前角度来看,仍是一个没有深刻和 系统阐明的问题。现在的工程图学、计算机图形学、计算机图像学等各有自己的学科定义、 定位以及各自独立的发展道路,但由于没有与图和图学相关联,致使这些学科呈现出某种分 散性和局限性。从形（几何）的角度揭示图的本质,给出了形与图的科学表述。提出“大图 学”概念,整合分散在其他学科中的与图相关的科学与技术。重新认识与定位图学的地位和 作用,给出它的定位与定义,构建了图学学科的整体框架和三级学科分类体系。认为文学、 数学、图学三者构成了科学与工程发展的基础,昭示了图学的基础性和重要性。     

A field evaluation of driver eye and head movement strategies toward environmental targets and distractors

A new systems approach for evaluating field performance of drivers is presented in a practical experimental demonstration. The emphasis reflected in this paper is on driver head and eye movement behaviour toward environmental targets and distractors. A unique video technology set-up was designed to record eye and head movements. Simultaneous video-tapings of driver eye/head movements and the environmental scene were time synchronised. Two intersections (one busy and one quiet) were carefully selected and analysed for their static and dynamic visual targets and distractors. A subject made 40 repetitive left-turns alternately at busy and quiet intersections in a naturally moving traffic environment. Both head movement patterns and eye movement frequencies differed significantly between the two intersections. Results suggest that the eye and head movements are highly dependent upon the type of turn configuration, type and frequency of targets, type and frequency of distractors, and traffic control configurations.     

面向主动防御的多样性研究进展

不同软件或执行过程通常存在不同的脆弱性,多样性技术基于该前提应用于系统的可靠性、安全性设计中,显著增强了系统的防御能力和入侵容忍能力,然而也存在系统代价高、复杂性高等不足。已有研究中出现了大量的多样性技术实现、系统设计以及相关的评估工作,覆盖范围广泛。针对主动防御领域内的多样性应用,围绕多样性应用性价比的问题,本文梳理了多样性研究中的典型工作和最新进展。首先对多样性综述研究工作进行了对比分析,讨论了多样性研究的主要内容和研究侧重点。其次对多样性概念进行了梳理,给出了时、空多样性的定义。再次,按照时空多样性的分类方法,对基于多样性的主动防御系统的架构和实现技术进行介绍,分析了时、空多样性系统的特点和实现方式。然后,对多样性度量和有效性评估方法进行了分类总结,分析了不同度量、评估方法的优势和不足。最后,提出了多样性技术的下一步研究方向。     

PC机群上JIAJIA与MPI的比较

对JIAJIA和MPI (message passing interface)是进行了比较.JIAJIA和MPI分别代表共享存储和消息传递的编程模式.MPI显式进行数据传输,编程复杂;JIAJIA由底层维护数据一致性,并附加提供简单的消息传递函数,编程容易、灵活.JIAJIA分配共享内存时开销较大,初始化时间比MPI长.提出了一个关于并行加速比与进程数目之间关系的近似经验公式,推出JIAJIA和MPI性能差距随着进程数目的增多而增大的结论.测试结果表明,大部分应用程序的JIAJIA和MPI版本的并行性能差距不超过10%.对于通信量很小的应用程序,其JIAJIA和MPI的性能差距较小,而通信量本身较大的应用程序,其JIAJIA和MPI的性能差距主要取决于运行时产生的实际通信量.