Search | Engineering

订阅投稿

首页工程期刊工程焦点工程成就工程前沿关于我们 English

资源类型

期刊论文 10

年份

2023 1

2022 1

2020 1

2017 1

2016 1

2015 1

2010 1

2002 1

展开︾

关键词

全球导航卫星系统 1

卫星钟差参数 1

国际GNSS服务 1

多GNSS试点项目 1

多处理器系统 1

大数据；大数据存储；NoSQL数据库；分布式数据库；CAP定理；可扩展性；一致性-分区弹性；可用性-分区弹性 1

局部性度量模型 1

并发更新；高可靠性；纠删码；一致性；分布式存储系统 1

数据变换框架 1

数据局部性 1

智能；简约；自洽；编码率减少；深度网络；闭环转录 1

精密轨道确定 1

线程一致性模型 1

计算机 1

页迁移 1

展开︾

检索范围：

排序：展示方式：

Semantic Consistency and Correctness Verification of Digital Traffic Rules

Lei Wan,Changjun Wang,Daxin Luo,Hang Liu,Sha Ma,Weichao Hu,

《工程（英文）》 doi: 10.1016/j.eng.2023.04.016

摘要： The consensus of the automotive industry and traffic management authorities is that autonomous vehicles must follow the same traffic laws as human drivers. Using formal or digital methods, natural language traffic rules can be translated into machine language and used by autonomous vehicles. In this paper, a translation flow is designed. Beyond the translation, a deeper examination is required, because the semantics of natural languages are rich and complex, and frequently contain hidden assumptions. The issue of how to ensure that digital rules are accurate and consistent with the original intent of the traffic rules they represent is both significant and unresolved. In response, we propose a method of formal verification that combines equivalence verification with model checking. Reasonable and reassuring digital traffic rules can be obtained by utilizing the proposed traffic rule digitization flow and verification method. In addition, we offer a number of simulation applications that employ digital traffic rules to assess vehicle violations. The experimental findings indicate that our digital rules utilizing metric temporal logic (MTL) can be easily incorporated into simulation platforms and autonomous driving systems (ADS).

关键词： Autonomous driving Traffic rules Digitization Formalization Verification

HTML PDF 收藏

论智能起源中的简约与自洽原则 Position Paper

马毅1,曹颖2,沈向洋3

《信息与电子工程前沿（英文）》 2022年第23卷第9期页码 1298-1323 doi: 10.1631/FITEE.2200297

摘要：深度学习重振人工智能十年后的今天，我们提出一个理论框架来帮助理解深度神经网络在整个智能系统里面扮演的角色。我们引入两个基本原则：简约与自洽；分别解释智能系统要学习什么以及如何学习。我们认为这两个原则是人工智能和自然智能之所以产生和发展的基石。虽然这两个原则的雏形早已出现在前人的经典工作里，但是我们对这些原则的重新表述使得它们变得可以精准度量与计算。确切地说，简约与自洽这两个原则能自然地演绎出一个高效计算框架：压缩闭环转录。这个框架统一并解释了现代深度神经网络以及众多人工智能实践的演变和进化。尽管本文主要用视觉数据建模作为例子，我们相信这两个原则将会有助于统一对各种自动智能系统的理解，并且提供一个帮助理解大脑工作机理的框架。

关键词：智能；简约；自洽；编码率减少；深度网络；闭环转录

HTML PDF 收藏

Consistency Guarantees for Professional Appraisal of Geotechnical Engineering Design under Market Leading

Jian-ye Zheng

《工程管理前沿（英文）》 2015年第2卷第1期页码 82-85 doi: 10.15302/J-FEM-2015012

摘要： Peer review is central to the process of modern engineering. Open peer review gives the impression that decisions are arrived at in a fair and meritocratic manner with an objective, reliable, consistent process. It is responsible for identifying methodological flaws and for improving the quality. Assistance from somebody in the same discipline is valuable. Clients refer to reviewers as referees since they help to determine the fate of a design. The client sets up a hanging committee to carry out open peer review to decide whether a piece of work should be accepted, revised or rejected. Reviewers in similar specialties make up a professional group. In an open peer review refereeing a retaining and protection structure design of building foundation pit excavation, an outside expert as an assessor, might master the art of review to pay attention to guarantee consistency of processes and outcomes.

关键词： peer review foundation pit excavation retaining and protection structure design introduction

HTML PDF 收藏

Technology and system of constraint programming for industry production scheduling

Yarong CHEN, Zailin GUAN, Yunfang PENG, Xinyu SHAO, Muhammad HASSEB

《机械工程前沿（英文）》 2010年第5卷第4期页码 455-464 doi: 10.1007/s11465-010-0106-x

摘要： The use of techniques and system of constraint programming enables the implementation of precise, flexible, efficient, and extensible scheduling systems. It has been identified as a strategic direction and dominant form for the application into planning and scheduling of industrial production. This paper systematically introduces the constraint modeling and solving technology for production scheduling problems, including various real-world industrial applications based on the Chip system of Cosytec Company. We trend of some concrete technology, such as modeling, search, constraint propagation, consistency, and optimization of constraint programming for scheduling problems. As a result of the application analysis, a generic application framework for real-life scheduling based on commercial constraint propagation (CP) systems is proposed.

关键词： constraint programming production scheduling constraint propagation search consistency optimization

HTML PDF 收藏

MGEX轨道与钟差产品的一致性 Article

Peter Steigenberger, Oliver Montenbruck

《工程（英文）》 2020年第6卷第8期页码 898-903 doi: 10.1016/j.eng.2019.12.005

摘要：

国际全球导航卫星系统（GNSS）服务的多GNSS试点项目的分析中心，为全球导航卫星系统，如全球定位系统（GPS）、格洛纳斯卫星导航系统（GLONASS）、伽利略卫星导航系统（Galileo）、北斗卫星导航系统（BeiDou）以及日本区域系统——准天顶卫星导航系统（QZSS）提供轨道和钟差产品。由于改进了太阳辐射压模型和其他更复杂的模型，近年来这些产品的一致性得到了提高。目前，不同分析中心之间GPS轨道一致性为几厘米，GLONASS和Galileo轨道一致性约为1 dm，北斗二号卫星导航系统（BeiDou-2）轨道一致性为几分米，QZSS轨道一致性为数分米。钟差一致性方面，GPS约为2 cm，GLONASS和Galileo约为5 cm，BeiDou-2约为10 cm。在用于精密单点定位的载波相位建模误差方面，各种产品的一致性分别为GPS 2~3 cm、GLONASS 6~14 cm、Galileo 3~10 cm以及BeiDou-2 10~17 cm。

关键词：全球导航卫星系统国际GNSS服务多GNSS试点项目精密轨道确定卫星钟差参数

HTML PDF 收藏

A multiscale-contour-based interpolation framework for generating a time-varying quasi-dense point cloud sequence

Chu-hua HUANG,Dong-ming LU,Chang-yu DIAO

《信息与电子工程前沿（英文）》 2016年第17卷第5期页码 422-434 doi: 10.1631/FITEE.1500316

摘要： To speed up the reconstruction of 3D dynamic scenes in an ordinary hardware platform, we propose an efficient framework to reconstruct 3D dynamic objects using a multiscale-contour-based interpolation from multi-view videos. Our framework takes full advantage of spatio-temporal-contour consistency. It exploits the property to interpolate single contours, two neighboring contours which belong to the same model, and two contours which belong to the same view at different times, corresponding to point-, contour-, and model-level interpolations, respectively. The framework formulates the interpolation of two models as point cloud transport rather than non-rigid surface deformation. Our framework speeds up the reconstruction of a dynamic scene while improving the accuracy of point-pairing which is used to perform the interpolation. We obtain a higher frame rate, spatio-temporal-coherence, and a quasi-dense point cloud sequence with color information. Experiments with real data were conducted to test the efficiency of the framework.

关键词： Multi-view video Free-viewpoint video Point-pair Multiscale-contour-based interpolation Spatio-temporal-contour Consistency Time-varying point cloud sequence

HTML PDF 收藏

大数据存储技术综述 Review

Aisha SIDDIQA, Ahmad KARIM, Abdullah GANI

《信息与电子工程前沿（英文）》 2017年第18卷第8期页码 1040-1070 doi: 10.1631/FITEE.1500441

摘要：对于容量快速增长、日趋多元化的大数据，业界亟需开发可行性更好的存储工具。为满足大数据存储需求，存储机制已经形成从传统数据管理系统到NoSQL技术的结构化转移。然而，目前可用的大数据存储技术无法为持续增长的异构数据提供一致、可扩展和可用的解决方案。在科学实验、医疗保健、社交网络和电子商务等实际应用中，存储是大数据分析的第一步。截至目前，亚马逊、谷歌和阿帕奇等公司形成了大数据存储方案的行业标准，但尚未有关于大数据存储技术性能和容量提升的深入调查和文献报告。本文旨在对目前可用于大数据的最先进的存储技术进行全面调查，提供了一个明确的大数据存储技术分类方法，以帮助数据分析师和研究人员了解和选择更适合其需求的存储机制。我们使用布鲁尔的CAP定理比较和分析了现有存储方法，评估了不同存储架构的性能，讨论了存储技术的意义、应用及其对其他类别数据的支持。为了加快部署可靠和可扩展的存储系统，文中还突出了未来研究面临的几个挑战。

关键词：大数据；大数据存储；NoSQL数据库；分布式数据库；CAP定理；可扩展性；一致性-分区弹性；可用性-分区弹性

HTML PDF 收藏

Artificial Bear Bile: A Novel Approach to Balancing Medical Requirements and Animal Welfare

Yong Li,Yuhong Huang,Nan Feng,Heping Zhang,Jing Qu,Shuanggang Ma,Yunbao Liu,Jiang Li,Shaofeng Xu,Ling Wang,Mi Zhang,Jie Cai,Weiping Wang,Ru Feng,Hang Yu,Bo Yu,Dailiang Liang,Heping Qin,Suxiang Luo,Yanfen Li,

《工程（英文）》 doi: 10.1016/j.eng.2023.09.017

摘要： Bear bile has been a valuable and effective medicinal material in traditional Chinese medicine (TCM) for over 13 centuries. However, the current practice of obtaining it through bear farming is under scrutiny for its adverse impact on bear welfare. Here, we present a new approach for creating artificial bear bile (ABB) as a high-quality and sustainable alternative to natural bear bile. This study addresses the scientific challenges of creating bear bile alternatives through interdisciplinary collaborations across various fields, including resources, chemistry, biology, medicine, pharmacology, and TCM. A comprehensive efficacy assessment system that bridges the gap between TCM and modern medical terminology has been established, allowing for the systematic screening of therapeutic constituents. Through the utilization of chemical synthesis and enzyme engineering technologies, our research has achieved the environmentally friendly, large-scale production of bear bile therapeutic compounds, as well as the optimization and recomposition of ABB formulations. The resulting ABB not only closely resembles natural bear bile in its composition but also offers advantages such as consistent product quality, availability of raw materials, and independence from threatened or wild resources. Comprehensive preclinical efficacy evaluations have demonstrated the equivalence of the therapeutic effects from ABB and those from commercially available drained bear bile (DBB). Furthermore, preclinical toxicological assessment and phase Ⅰ clinical trials show that the safety of ABB is on par with that of the currently used DBB. This innovative strategy can serve as a new research paradigm for developing alternatives for other endangered TCMs, thereby strengthening the integrity and sustainability of TCM.

关键词： Artificial bear bile Chemical profile Formula optimization Pharmacodynamic consistency Preclinical toxicological assessment

HTML PDF 收藏

多处理器系统中的数据局部性及其优化技术研究

杨学军,戴华东,夏军

《中国工程科学》 2002年第4卷第5期页码 44-52

摘要：

数据局部性是多处理器系统中的重要研究方向之一。结合该领域目前国内外研究现状和我们近一阶段的研究进展，讨论了多处理器系统中的数据局部性及其优化问题。针对现有局部性度量模型存在的不足，提出了一种增强的可用于层次式并行计算机体系结构的局部性度量模型。在静态和动态局部性优化技术方面，分别探讨了基于投影分层的数据变换框架和基于瞬时访问信息的动态页迁移策略，并展开了系列相关的讨论。另外，针对利用数据局部性时必须解决的一个关键问题——存储一致性问题，进行了深入的研究，提出了以操作系统为中心的线程存储一致性模型。

关键词：计算机多处理器系统数据局部性局部性度量模型数据变换框架页迁移线程一致性模型

HTML PDF 收藏

DDUC：数据更新与编码解耦的纠删码系统 Research Article

屠要峰1,2,肖蓉2,韩银俊1,2,陈正华2,金浩2,齐学成2,孙辛远2

《信息与电子工程前沿（英文）》 2023年第24卷第5期页码 716-730 doi: 10.1631/FITEE.2200466

摘要：在分布式存储系统中，常用的数据冗余方法包括副本和纠删码(erasure code，EC)。相较于副本，EC具有更好的存储效率，但是在更新方面的开销更大。此外，并发更新带来的一致性和可靠性问题给EC应用带来了新的挑战。许多研究工作都致力于优化EC技术，包括算法优化、数据更新方法创新等，但并发更新的一致性和可靠性问题尚未得到很好解决。本文介绍了一种将数据更新与EC编码解耦的存储系统，命名为DDUC，并提出了一种副本与校验块结合的放置策略。对于(N, M)的EC系统，按照N组M+1的副本进行数据布局，并将同一条带的冗余数据块都放置在校验节点上，使得校验节点可以自主地执行本地EC编码。基于上述策略，实现了一种两阶段数据更新方法，在第一阶段按照副本模式进行数据更新，在第二阶段由校验节点独立完成EC编码。这样在保证高并发性能的同时，解决了并发更新导致的数据可靠性降低的问题。同时利用PMem硬件的字节寻址和8字节原子写特性实现了一种轻量级的日志机制，在提升性能的同时保证了数据的一致性。实验结果表明，和当前主流的存储系统Ceph相比，本文所提出的存储系统并发访问性能提升至1.70–3.73倍，时延仅为Ceph的3.4%–5.9%。

关键词：并发更新；高可靠性；纠删码；一致性；分布式存储系统

HTML PDF 收藏

标题作者时间类型操作

Semantic Consistency and Correctness Verification of Digital Traffic Rules

Lei Wan,Changjun Wang,Daxin Luo,Hang Liu,Sha Ma,Weichao Hu,

期刊论文

论智能起源中的简约与自洽原则

马毅1,曹颖2,沈向洋3

期刊论文

Consistency Guarantees for Professional Appraisal of Geotechnical Engineering Design under Market Leading

Jian-ye Zheng

期刊论文