Data Logic Structure and Key Technologies on Intelligent High-precision Map

Taking autonomous driving and driverless as the research object,we discuss and define intelligent high-precision map.Intelligent high-precision map is considered as a key link of future travel,a carrier of real-time perception of traffic resources in the entire space-time range,and the criterion for the operation and control of the whole process of the vehicle.As a new form of map,it has distinctive features in terms of cartography theory and application requirements compared with traditional navigation electronic maps.Thus,it is necessary to analyze and discuss its key features and problems to promote the development of research and application of intelligent high-precision map.Accordingly,we propose an information transmission model based on the cartography theory and combine the wheeled robot’s control flow in practical application.Next,we put forward the data logic structure of intelligent high-precision map,and analyze its application in autonomous driving.Then,we summarize the computing mode of“Crowdsourcing+Edge-Cloud Collaborative Computing”,and carry out key technical analysis on how to improve the quality of crowdsourced data.We also analyze the effective application scenarios of intelligent high-precision map in the future.Finally,we present some thoughts and suggestions for the future development of this field.

The Fundamental Theory of Artificial Intelligence—Logic Structure and Logic Engineering

The research purpose of this dissertation is threefold: to innovate artificial intelligence methods, to create the intersection of artificial intelligence and biological research, and to innovate human methodology. The work I have done in my research includes: improving logical structure and logical engineering, using my theory to study the innovation of the development path of artificial intelligence, using my theory to create biomimetic logic, a new intersection of artificial intelligence and biological research, and exploring the innovation of human methodology through the previous two works. The results of the research are as follows: 1) Introduction to bionic logic, incorporating simulations of people, society, and life as core principles. 2) Definition of the logical structure as the primary focus of research, with logic mechanics serving as foundational research principles. 3) Examination of the logical structure’s environment through logical fields and networks. 4) Study of logical structure communication via logical networks and main lines. 5) Proposal of data logic. 6) Investigation into the logic of logical structures, employing structural diagrams of logical equations. 7) Development of a theory of life activity within logical structures, encompassing information reasoning, its corresponding control structure, and structural reasoning. 8) Introduction of the lifecycle theory for logical structures and examination of the clock equation. 9) Exploration of logical structure intelligence. 10) Study of logical structures in mathematical forms. 11) Introduction of logic engineering. 12) Examination of artificial intelligence’s significance. 13) Investigation into the significance of human methodology.

Cost of Multicast Logical Key Tree Based on Hierarchical Data Processing

How to design a multicast key management system with high performance is a hot issue now. This paper will apply the idea of hierarchical data processing to construct a common analytic model based on directed logical key tree and supply two important metrics to this problem： re-keying cost and key storage cost. The paper gives the basic theory to the hierarchical data processing and the analyzing model to multieast key management based on logical key tree. It has been proved that the 4-ray tree has the best performance in using these metrics. The key management problem is also investigated based on user probability model, and gives two evaluating parameters to re-keying and key storage cost.

Transition Logic Regression Method to Identify Interactions in Binary Longitudinal Data

Logic regression is an adaptive regression method which searches for Boolean (logic) combinations of binary variables that best explain the variability in the outcome, and thus, it reveals interaction effects which are associated with the response. In this study, we extended logic regression to longitudinal data with binary response and proposed “Transition Logic Regression Method” to find interactions related to response. In this method, interaction effects over time were found by Annealing Algorithm with AIC (Akaike Information Criterion) as the score function of the model. Also, first and second orders Markov dependence were allowed to capture the correlation among successive observations of the same individual in longitudinal binary response. Performance of the method was evaluated with simulation study in various conditions. Proposed method was used to find interactions of SNPs and other risk factors related to low HDL over time in data of 329 participants of longitudinal TLGS study.

EpiData用于数据管理逻辑核查功能的实现

目的:探讨借助EpiData软件实现药物临床试验数据管理逻辑核查以保证数据正确性的有效手段。方法:应用EpiData提供的CHECK命令和WRITENOTE命令,产生变量核查法和记录核查法两种逻辑核查方法,对数据库中的数据进行可靠性检验。变量核查法是以数据库中的变量为单位进行逻辑核查,记录核查法是以数据库中的记录为单位进行逻辑核查。结果:两种逻辑核查方法均能核查出逻辑错误的数据,有效地实现了对数据库中数据的逻辑核查。结论:EpiData用于药物临床试验数据的逻辑核查,方法简便、有效、可靠。

基于模糊逻辑的FBiLSTM-Attention短期负荷预测

针对电力负荷数据由于受多种因素的影响具有高度不确定性的问题,将负荷数据的不确定性与深度学习算法相结合,提出了一种基于模糊逻辑的FBiLSTM-Attention短期负荷预测模型,以提高负荷预测的精度。首先,对原始数据进行数据预处理,包括缺失值填充、相关性分析及数据归一化;其次,通过K-Means聚类将每个特征的数据转换成模糊规则引入模糊逻辑的处理,同时,模型结构方面采用双向长短期记忆网络(BiLSTM)和注意力机制(Attention);最后,对所提方法和传统的LSTM与BiLSTM-Attention模型的预测结果进行对比。结果表明,结合了模糊逻辑的模型精确度和鲁棒性都有了明显的提升,具有更好的预测性能。所提模型可以有效提高处理不确定性数据的能力,为负荷预测研究提供了参考。

基于命题逻辑与数据增强的逻辑推理答题方法

为解决现有面向机器阅读理解的逻辑推理方法对文本中存在的深层逻辑关系利用不足与现有的逻辑推理数据集规模较小的问题,提出一种基于命题逻辑与数据增强的逻辑推理答题方法。将命题逻辑引入到逻辑推理任务,构建符合文本逻辑推理的新规则,将其应用到文本逻辑图的扩充过程中,增加文本中可利用的深层逻辑关系;结合文本中存在的逻辑关系,提出并列关系替换、推理词和推理词组替换的数据增强策略。实验结果表明,该方法比以往的方法取得了更好的效果。

基于逻辑的数据模型Datalog的递归应用

重点探讨了基于逻辑的数据模型 Datalog在以关系数据库为基础的递归查询上的应用 ,给出了求解 Datalog递归规则的两种通用算法 。

数字经济驱动新质生产力发展的理论逻辑及实践路径

新质生产力是中国式现代化的重要推动力,是重塑中国国际合作与竞争新优势、推动经济高质量发展的必由之路。从理论逻辑来看,数字经济赋能新质生产力发展主要体现在数据要素、数字技术、数字基础设施、数字治理等方面,两者的耦合互动关系促使传统生产力实现质态跃迁,有效缓解了中国式现代化进程中存在的创新能力不强、开放不充分等问题。本文通过阐述新质生产力的历史渊源与时代特征,分析数字经济驱动新质生产力发展的理论逻辑,从强化顶层设计,营造良好环境;促进技术创新,激活发展动力;弥合数字鸿沟,强化协调发展;培育数字人才,提供智力支撑等层面提出数字经济赋能新质生产力发展的实现路径,以供参考。

ODMG’93的ODL、OQL语言到F-logic程序的转换

为了分析ODMG’93数据对象模型的语义,本文给出了一套转换规则,将ODMG’93的对象定义语言ODL、对象查询语言OQL转换到F-logic程序,并结合面向对象数据库管理系统O_2,通过具体的实例陈述了该转换规则是完全的。

Modeling and Analysis of Data Dependencies in Business Process for Data-Intensive Services

With the growing popularity of data-intensive services on the Internet, the traditional process-centric model for business process meets challenges due to the lack of abilities to describe data semantics and dependencies, resulting in the inflexibility of the design and implement for the processes. This paper proposes a novel data-aware business process model which is able to describe both explicit control flow and implicit data flow. Data model with dependencies which are formulated by Linear-time Temporal Logic(LTL) is presented, and their satisfiability is validated by an automaton-based model checking algorithm. Data dependencies are fully considered in modeling phase, which helps to improve the efficiency and reliability of programming during developing phase. Finally, a prototype system based on j BPM for data-aware workflow is designed using such model, and has been deployed to Beijing Kingfore heating management system to validate the flexibility, efficacy and convenience of our approach for massive coding and large-scale system management in reality.

Specification and Verification for Semi-Structured Data

Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the tree data more dearly and concisely. By making a distinction between proposition and predicate, a concise semantics interpretation for our modal logic is given. We also develop a model checking algorithm for the logic without △ operator. The correctness of the algorithm is shown. Such work can be seen as the basis of the semi-structured data processing language and more flexible type system.

Fuzzy Logic Based Group Maturity Rating for Software Performance Prediction

Driven by market requirements, software services organizations have adopted various software engineering process models （such as capability maturity model （CMM）, capability maturity model integration （CMMI）, ISO 9001：2000, etc.） and practice of the project management concepts defined in the project management body of knowledge. While this has definitely helped organizations to bring some methods into the software development madness, there always exists a demand for comparing various groups within the organization in terms of the practice of these defined process models. Even though there exist many metrics for comparison, considering the variety of projects in terms of technology, life cycle, etc., finding a single metric that caters to this is a difficult task. This paper proposes a model for arriving at a rating on group maturity within the organization. Considering the linguistic or imprecise and uncertain nature of software measurements, fuzzy logic approach is used for the proposed model. Without the barriers like technology or life cycle difference, the proposed model helps the organization to compare different groups within it with reasonable precision.

A Test Pattern Identification Algorithm and Its Application to CINRAD/SA(B) Data

A variety of faulty radar echoes may cause serious problems with radar data applications,especially radar data assimilation and quantitative precipitation estimates.In this study,＂test pattern＂ caused by test signal or radar hardware failures in CINRAD （China New Generation Weather Radar） SA and SB radar operational observations are investigated.In order to distinguish the test pattern from other types of radar echoes,such as precipitation,clear air and other non-meteorological echoes,five feature parameters including the effective reflectivity data percentage （Rz）,velocity RF （range folding） data percentage （RRF）,missing velocity data percentage （RM）,averaged along-azimuth reflectivity fluctuation （RNr,z） and averaged along-beam reflectivity fluctuation （RNa,z） are proposed.Based on the fuzzy logic method,a test pattern identification algorithm is developed,and the statistical results from all the different kinds of radar echoes indicate the performance of the algorithm.Analysis of two typical cases with heavy precipitation echoes located inside the test pattern are performed.The statistical results show that the test pattern identification algorithm performs well,since the test pattern is recognized in most cases.Besides,the algorithm can effectively remove the test pattern signal and retain strong precipitation echoes in heavy rainfall events.

ENTITY-ROLES MODEL AND OBJECT-ORIENTED KNOWLEDGE/DATA BASES

A Model, called 'Entity-Roles' is proposed in this paper in which the world of Interest is viewed as some mathematical structure. With respect to this structure, a First order (three-valued) Logic Language is constructured.Any world to be modelled can be logically specified in this Language. The integrity constraints on the database and the deducing rules within the Database world are derived from the proper axioms of the world being modelled.

ArcGIS Data Reviewer在林业矢量数据质量管理中的应用

介绍ArcGIS Data Reviewer基本功能和特性,对其应用于林业地理信息矢量数据质量检查,如图斑重复、重叠,图斑间有间隙、多部件、狭长面、急锐角化、漏绘等空间关系,以及属性字段之间的逻辑性检查等的方法和步骤,举例进行了详细叙述,可为该软件模块的使用提供参考。

顾及空间冲突与逻辑一致的不动产登记数据事中监管方法

为提高不动产登记数据的规范性和准确性、避免问题数据逐级积累、提升不动产登记应用服务成效,本文在顾及空间冲突与数据逻辑一致性的条件下,分析设计了不动产登记数据的监管规则和监管技术流程,开发了基于省级不动产登记数据库的统一监管服务,设计了具体部署架构,并在广东省省域范围进行了具体应用实践。通过持续应用与优化,已形成了省域不动产登记数据的事中监管机制,在不动产登记业务办理过程中通过监管服务加强数据监管从而提升数据质量。应用证明,本文提出的技术方法和应用路径能够有效提升不动产登记数据的完整性、规范性和逻辑性。

Soft Computing: Fuzzy Logic Approach in Wireless Sensors Networks

The recent growth of communication and sensor technology results in the enlargement of a new attractive and challenging area-wireless sensor networks (WSNs). A network comprising of several minute wireless sensor nodes which are organized in a dense manner is called as a Wireless Sensor Network (WSN). Every node estimates the state of its surroundings in this network. The estimated results are then converted into the signal form in order to determine the features related to this technique after the processing of the signals. It’s high computational environment with limited and controlled broadcast range, processing, as well as limited energy. The embedded soft computing approach in wireless sensor networks is suggested. This approach means a grouping of embedded fuzzy logic and neural networks models for information processing in complex environment with unsure, rough, fuzzy measuring data. It is generalization of soft computing concept for the embedded, distributed, adaptive systems.

Data Mining Based on Computational Intelligence

This paper combines computational intelligence tools: neural network, fuzzylogic, and genetic algorithm to develop a data mining architecture (NFGDM), which discovers patternsand represents them in understandable forms. In the NFGDM, input data arepreprocesscd byfuzzification, the preprocessed data of input variables arc then used to train a radial basisprobabilistic neural network to classify the dataset according to the classes considered, A ruleextraction technique is then applied in order to extract explicit knowledge from the trained neuralnetworks and represent it m the form of fuzzy if-then rules. In the final stage, genetic algorithmis used as a rule-pruning module to eliminate those weak rules that are still in the rule bases.Comparison with some known neural network classifier, the architecture has fast learning speed, andit is characterized by the incorporation of the possibility information into the consequents ofclassification rules in human understandable forms. The experiments show that the NFGDM is moreefficient and more robust than traditional decision tree method.

基于Logic Pro软件的钢琴即兴伴奏教学平台构建

针对教学平台运行时稳定性较差以及数据传输实时性较低的问题,构建了一种基于Logic Pro软件的钢琴即兴伴奏教学平台。运用浏览器/服务器模式结构,建立教学平台整体架构;应用局域网与广域网,构建平台应用网络拓扑结构,完成校内外平台操作。采用Logic Pro软件,结合香农理论,优化平台信道传输,在短期功率与长期功率约束前提下,分别使用突发传输与注水算法,平衡分配功率,实现教学平台的长期稳定运行。仿真实验结果表明,所建平台运行平稳,能够具有较高的数据传输效率、实时性较强,为教学平台的实际应用提供了基础参考。