检索结果-内蒙古大学图书馆

Declarative semantics of programming in residuated lattice-valued logic

Science China(Technological Sciences) 2000年第5期43卷 481-494页

作者：应明生 State Key Laboratory of Intelligent Technology and Systems Department of Computer Science and Technology Tsinghua University Beijing 100084 China

We give two generalizations of Tarski’s fixpoint theorem in the setting of residuated lattices and use them to establish van Emdem-Kowalski’s least fixpoint semantics for residuated lattice-valued logic programs.

关键词： logic programming declarative semantics residuated lattice fixpoint theorem completion of program.

来源：评论

学校读者我要写书评

暂无评论

20 Years of the Bioengineering Department at the Politecnico, Milano, and Beyond ...

引用

IEEE PULSE 2011年第3期2卷 12-15页

作者： Baselli, Giuseppe Cerutti, Sergio State Key Laboratory of Intelligent Technology and Systems Tsinghua National Laboratory for Information Science and Technology Tsinghua University Beijing China

To celebrate the 20th anniversary of the first Bioengineering Department in Italy at the Politecnico di Milano, a number of articles in this issue highlight the department's achievements. The department was eventually founded in 1990 after many years of research and didactic activity in the area that officially began in 1969 when the first teaching course, called biological electronics, was offered in the electronic engineering specialization.

关键词： Special issues and sections Biomedical imaging Educational institutions Integrated circuit modeling Medical services

来源：评论

学校读者我要写书评

暂无评论

A colorimetric-bionic sensor for multimodal molecular sensing using hierarchical metamaterials

引用

Device 2025年第5期3卷

作者： Geng, Wenhui Zhou, Ying Huang, Kang Ying, Yibin Xie, Lijuan College of Biosystems Engineering and Food Science Zhejiang University 866 Yuhangtang Road Hangzhou 310058 China The National Key Laboratory of Agricultural Equipment Technology Beijing 100083 China Zhejiang Key Laboratory of Intelligent Sensing and Robotics for Agriculture Hangzhou 310058 China Hangzhou Customs Technology Center 398 Jianshe San Road Xiaoshan District Hangzhou City China Department of Biological Systems Engineering Washington State University Pullman 99164 WA United States

Metamaterials can enhance a local electric field for molecular sensing. However, the difficulty in specifically recognizing target molecules and integrating multiple functionalities restricts their development. Here, we present a hierarchical metamaterial-based colorimetric-bionic sensor (HMm-CBs) using a layer-by-layer assembly method for multimodal molecular sensing. The CBs layers offer molecular recognition ability by enabling the specific perception of analytes, and the HMm layers provide coupling of vibrations between analyte molecules at the terahertz (THz) frequency. The HMm-CBs have broadband adaptability in controlling electromagnetic waves from optical to THz frequency. As a proof of principle, we designed a sensor for analyzing tetracycline hydrochlorides (TCHs). The sensor, in conjunction with a back propagation neural network (BPNN), identifies four types of TCHs. As a demonstration, a multichannel indicator is created for real-time monitoring of shrimp freshness and volatile metabolites. © 2025 The Author(s)

关键词： antibiotics carbon nanotubes chemometric algorithms colorimetric sensor array DTI-3: Develop metamaterials

来源：评论

学校读者我要写书评

暂无评论

Impact of digital transformation for sustainable circular economic environments

Carbon Neutral Systems

引用

Carbon Neutral systems 2025年第1期1卷 1-22页

作者： Möller, Dietmar P. F. Wang, Qichen Huang, Liangchao Xiong, Bin Guo, Yilin Shi, Tianle Zhang, Ru Department of Applied Stochastics and Operations Research Clausthal Zellerfeld Germany Sino-German Research Institute of Carbon Neutralization and Green Development Zhengzhou University Zhengzhou China Institute of Subsurface Energy Systems Clausthal University of Technology Clausthal Zellerfeld Germany Research Centre of Energy Storage Technologies Clausthal University of Technology Goslar Germany Faculty of Management and Economics Kunming University of Science and Technology Kunming China China ASEAN Research Centre Kunming University of Science and Technology Kunming China State Key Laboratory of Intelligent Construction and Healthy Operation and Maintenance of Deep Underground Engineering Sichuan University Chengdu China

Digital Transformation is a global phenomenon, capturing the attention in every industry and spurring major investment. However, digital transformation is not a single objective, but a multi-faceted approach depending on specific industrial goals and their digital maturity. Digital transformation is the way of change from a monolithic business approach to fully digitalized business strategies, resulting in digital transformation a key economic objective and a major success factor of a comprehensive corporate transformation. In addition to digital technologies, processes, and procedures, and aside from that also skilled employees required keeping pace in reacting quickly to changes in order to adapt to necessary needs and opportunities in the markets, to drive growth and innovation. In the first of the four industrial evolutions, steam power was a disruptive technology that has changed the working capabilities. In the second it was the assembly line and in the third the computer. Today, in the fourth industrial evolution, everything is digital. intelligent digital technologies such as Artificial Intelligence (AI), Machine Learning (ML), Internet of Things (IoT), Big Data and Analytics, Automated Robots, and others are accelerating a profound transformation in the way industries work and do business. However, beside digital transformation a second transformation narrative occur, which refers to the circularity of business models, based on the foundation, that sustainability, and specifically circularity is a path to an environmentally friendly production and profitability. This business model is not yet widespread everywhere, but economic, social, and technological changes are enabling circularity be enticing. Given this fact, circular economy makes sense not only from an environmental perspective, it’s also likely the way forward to the central goal of waste reduction in production, and also initiating a prosperous environmentally friendly business strategy. In this

关键词：

来源：评论

学校读者我要写书评

暂无评论

Some Issues in Quantum Information Theory

引用

Journal of Computer Science & technology 2006年第5期21卷 776-789页

作者：段润尧季铮锋冯元应明生 State Key Laboratory of Intelligent Technology and Systems Department of Computer Science and Technology Tsinghua University Beijing 100084 P.R. China

Quantum information theory is a new interdisciplinary research field related to quantum mechanics, computer science, information theory, and applied mathematics. It provides completely new paradigms to do information processing tasks by employing the principles of quantum mechanics. In this review, we first survey some of the significant advances in quantum information theory in the last twenty years. We then focus mainly on two special subjects： discrimination of quantum objects and transformations between entanglements. More specifically, we first discuss discrimination of quantum states and quantum apparatus in both global and local settings. Secondly, we present systematical characterizations and equivalence relations of several interesting entanglement transformation phenomena, namely entanglement catalysis, multiple-copy entanglement transformation, and partial entanglement recovery.

关键词： discrimination entanglement transformation quantum computing quantum information

来源：评论

学校读者我要写书评

暂无评论

Real-time drogue recognition and 3D locating for UAV autonomous aerial refueling based on monocular machine vision

引用

Chinese Journal of Aeronautics 2015年第6期28卷 1667-1675页

作者： Wang Xufeng Kong Xingwei Zhi Jianhui Chen Yong Dong Xinmin School of Aeronautics and Astronautics Engineering Air Force Engineering University State Key Laboratory of Intelligent Technology and Systems Tsinghua University

Drogue recognition and 3D locating is a key problem during the docking phase of the autonomous aerial refueling （AAR）. To solve this problem, a novel and effective method based on monocular vision is presented in this paper. Firstly, by employing computer vision with red-ring-shape feature, a drogue detection and recognition algorithm is proposed to guarantee safety and ensure the robustness to the drogue diversity and the changes in environmental condi- tions, without using a set of infrared light emitting diodes （LEDs） on the parachute part of the dro- gue. Secondly, considering camera lens distortion, a monocular vision measurement algorithm for drogue 3D locating is designed to ensure the accuracy and real-time performance of the system, with the drogue attitude provided. Finally, experiments are conducted to demonstrate the effective- ness of the proposed method. Experimental results show the performances of the entire system in contrast with other methods, which validates that the proposed method can recognize and locate the drogue three dimensionally, rapidly and precisely.

关键词： Autonomous aerial refueling Drogue 3D locating Drogue attitudemeasurement Drogue detection Drogue recognition Monocular machine vision

来源：评论

学校读者我要写书评

暂无评论

Path Planning Approach Based on Dual Laser Radar Fusion

引用

Journal of Donghua University(English Edition) 2012年第1期29卷 9-13页

作者：褚涛孙富春孟丽霞 State Key Laboratory of Intelligent Technology and Systems Department of Computer Science and TechnologyTsinghua University

A dual laser radar based path planning method for mobile robot in general outdoor road environment is proposed. Firstly, the point-wise sequence and target library of the global optimal path are generated based on algorithm A*. Secondly, the local target information and the perceptive information from dual laser radar are combined, and the different field information from both horizontal and aslant fixed laser radars is fused. Finally, the optimal driving angle is computed by the improved angle potential field(APF)algorithm. The practical experiment results validate the robustness and timeliness of the proposed approach.

关键词： mobile robot laser radar path planning

来源：评论

学校读者我要写书评

暂无评论

基于深度强化的考虑阻塞约束的分布式混合流水车间多目标调度方法研究（英文）

引用

Engineering 2025年第3期 278-291页

作者：孙雪颜沈卫明范家昕 Birgit Vogel-Heuser Fandi Bi 张春江 State Key Laboratory of Intelligent Manufacturing Equipment and Technology Huazhong University of Science and Technology Institute of Automation and Information Systems Technical University of Munich

This paper investigates a distributed heterogeneous hybrid blocking flow-shop scheduling problem(DHHBFSP) designed to minimize the total tardiness and total energy consumption simultaneously,and proposes an improved proximal policy optimization(IPPO) method to make real-time decisions for the DHHBFSP.A multi-objective Markov decision process is modeled for the DHHBFSP,where the reward function is represented by a vector with dynamic weights instead of the common objectiverelated scalar value.A factory agent(FA) is formulated for each factory to select unscheduled jobs and is trained by the proposed IPPO to improve the decision *** FAs work asynchronously to allocate jobs that arrive randomly at the shop.A two-stage training strategy is introduced in the IPPO,which learns from both single-and dual-policy data for better data *** proposed IPPO is tested on randomly generated instances and compared with variants of the basic proximal policy optimization(PPO),dispatch rules,multi-objective metaheuristics,and multi-agent reinforcement learning *** experimental results suggest that the proposed strategies offer significant improvements to the basic PPO,and the proposed IPPO outperforms the state-of-the-art scheduling methods in both convergence and solution quality.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Mutual Information Is Copula Entropy

引用

Tsinghua Science and technology 2011年第1期16卷 51-54页

作者：马健孙增圻 State Key Laboratory on Intelligent Technology and Systems Department of Computer Science and TechnologyTsinghua University

Mutual information （MI） is a basic concept in information theory. Therefore, estimates of the MI are fundamentally important in most information theory applications. This paper provides a new way of understanding and estimating the MI using the copula function. First, the entropy of the copula, named the copula entropy, is defined as a measure of the dependence uncertainty represented by the copula function and then the MI is shown to be equivalent to the negative copula entropy. With this equivalence, the MI can be estimated by first estimating the empirical copula and then estimating the entropy of the empirical copula. Thus, the MI estimate is an estimation of the entropy, which reduces the complexity and computational requirements. Tests show that the method is more effective than the traditional method.

关键词： copula entropy mutual information estimation empirical copula

来源：评论

学校读者我要写书评

暂无评论

A New Approach for Multi-Document Update Summarization

引用

Journal of Computer Science & technology 2010年第4期25卷 739-749页

作者：龙翀黄民烈朱小燕李明 State Key Laboratory of Intelligent Technology and Systems Tsinghua National Laboratory for Information Science and TechnologyDepartment of Computer Science and TechnologyTsinghua University School of Computer Science University of Waterloo

Fast changing knowledge on the Internet can be acquired more efficiently with the help of automatic document summarization and updating techniques. This paper describes a novel approach for multi-document update summarization. The best summary is defined to be the one which has the minimum information distance to the entire document set. The best update summary has the minimum conditional information distance to a document cluster given that a prior document cluster has already been read. Experiments on the DUC/TAC 2007 to 2009 datasets （http：//***/, http：//***/tac/） have proved that our method closely correlates with the human summaries and outperforms other programs such as LexRank in many categories under the ROUGE evaluation criterion.

关键词： data mining text mining Kolmogorov complexity information distance

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：