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.

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.

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.

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

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

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

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

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.

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.

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.

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.

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.

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

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

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

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

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

融合知识图谱的矿产资源定量预测

大数据和人工智能极大地促进了矿产勘查的发展,创新了矿产预测研究范式,提升了地质找矿大数据的挖掘与集成能力。在资源定量预测领域,知识-数据联合驱动的综合信息智能预测已逐渐成为行业共识,如何实现数据和知识联合驱动是目前亟待解决的问题。知识图谱可以整合多源、异构的地质找矿大数据,其中蕴含的知识和规则在驱动地球科学领域的知识发现方面具有重要的发展潜力。本文针对大数据和人工智能时代对资源定量预测智能化和自动化的需求,结合知识图谱相关技术的特点,探讨融合知识图谱技术的矿产资源定量预测智能化和自动化的可行性和技术方法路线。重点剖析面向矿产预测的成矿-勘查系统多时序全要素知识图谱构建和基于知识图谱从“求同”和“求异”的角度建立找矿预测模型,知识图谱中的知识嵌入到地物化遥异常信息提取的方法,以及融合知识图谱的资源定量预测工作的机遇和挑战。拟希望将知识图谱中知识表达和推理融入到矿产资源定量预测技术方法流程中,协助地质专家来确定矿产预测模型,提高矿产预测的自动化和智能化。

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.

基于类C语言内存模型的复杂数据结构验证方法

对系统中操作复杂结构程序的正确性验证是保证软件高可信的重要途径,目前大多数基于高层抽象建模和程序结构拆分的方法难以满足复杂数据结构程序的验证要求。针对这一问题,论文提出基于类C语言内存模型的验证方法。首先,以内存块为基础将复杂数据结构的操作进行函数形式的定义和描述,形式化描述内存对象操作性质;其次,针对程序层定义了符合复杂结构描述的文法和语义,并基于符号化的程序逻辑进行推理。实验对嵌入式操作系统内核μC/OS-III中的复杂数据结构进行分析和自动化验证,断言描述和验证条件脚本通过了自动定理证明器的求解。

跨部门政府数据共享的运行逻辑研究——基于理性行为理论(TRA)的分析框架

地方政府跨部门数据共享面临“不愿共享”“不敢共享”“不会共享”等诸多挑战,而学界从行政管理、数据治理和信息技术三个角度出发构建的“权力—权益—信息”三维协同机制无法阐释“纵强横弱”的实践悖论,缺少对多元行动主体与数据共享行为的过程分析。论文沿着“行为—机制”框架,借助理性行为理论(Theory of Reasoned Action, TRA),尝试将多元行动主体划分为决策层、管理层、操作层,构建基于行为态度与共享认知、主观规范与关注焦点、行为意愿与互动策略的分析框架,分别从社会效益、组织效益以及个人效益的角度构建多元行动主体共享认知体系,并分析其在政府跨部门数据共享中的关注焦点。研究表明在治理创新与预期收益权衡中决策层面临认知分歧、在利益受损与潜在风险并存中管理层面临利益冲突、在成本投入与收益补偿博弈中操作层面临激励缺位,这造成了跨部门政府数据共享的治理困境,由此导致多元行动主体采取推动/弱化、合作/抵制、配合/应付等互动策略,最终形成了跨部门数据共享的实际运行效果。