Abstract Background Wheat ( Triticum aestivum L.) is a significant cereal crop that plays vital role in global food production. To expedite the breeding of wheat cultivars with high protein quality, it necessary to genetically analyze traits related quality. A genome-wide association study (GWAS) was conducted identify genomic regions responsible for quality winter wheat. Results Six were evaluated across two locations and years total 341 accessions. Utilizing 40 K SNP array, GWAS identified...

Towards the formalization of ontological methodologies for dynamic machine learning and semantic analyses, a new form denotational mathematics known as concept algebra is introduced. Concept Algebra (CA) mathematical structure formal knowledge representation manipulation in cognitive computing. CA provides rigorous modeling processing tool, which extends informal, static, application-specific technologies to formal, dynamic, general means. An operational semantics calculus formally...

It is recognized that the generic form of machine learning a knowledge acquisition and manipulation process mimicking brain. Therefore, representation as dynamic concept network centric in design implementation intelligent base Cognitive Learning Engine (CLE). This paper presents Formal Knowledge Representation System (FKRS) for autonomous formation based on algebra. The Object-Attribute-Relation (OAR) model adopted FKRS. conceptual model, architectural behavioral models FKRS system formally...

Starch is the main component of wheat (Triticum aestivum L.) flour, and its quality directly affects processing final product. To investigate genetic basis starch, this study assessed starch traits 341 winter varieties/lines grown in Emin Qitai during years 2019-2020 2020-2021. A genome-wide association was conducted with genotype data obtained from 40K breeding chips using mixed linear model. Wheat exhibited coefficients variation ranging 1.43% to 23.66% broad-sense heritabilities between...

Intelligent knowledge base theories and technologies are fundamentally centric in machine learning cognitive robotics. This paper presents the design of a formal retrieval system (FKTS) for intelligent modeling manipulations based on concept algebra. In order to rigorously implement FKTS, real-time process algebra (RTPA) is adopted formally describe architectures behaviors FKTS. The architectural model FKTS form set unified structure models (USMs) described. On basis USMs, functional...

A real-time operating system (RTOS) provides a platform for the design and implementation of wide range applications in systems, embedded mission-critical systems. This paper presents formal model general RTOS known as RTOS+ that enables specific target to be rigorously efficiently derived real-world applications. The methodology denotational mathematics, Real-Time Process Algebra (RTPA), is described formally modeling refining architectures, static behaviors, dynamic behaviors RTOS+....

Knowledge representation is one of the central problems in design and implementation a cognitive learning engine (CLE). A formal knowledge system (FKRS) developed for autonomous concept formation based on algebra. The object-attribute-relation (OAR) model adopted FKRS. conceptual model, architectural behavioral models FKRS formally designed specified real-time process algebra (RTPA). implemented Java as major component towards development CLE other knowledge-based systems computing...

A real-time operating system (RTOS) provides a platform for the design and implementation of wide range applications in systems, embedded mission-critical systems. This paper presents formal model general RTOS known as RTOS+ that enables specific target to be rigorously efficiently derived real-world applications. The methodology denotational mathematics, Real-Time Process Algebra (RTPA), is described formally modeling refining architectures, static behaviors, dynamic behaviors RTOS+....

In order to understand the genetic basis of starch pasting viscosity characteristics Chinese spring wheat, we assessed variation RVA parameters determined by Rapid Visco Analyser in a panel 192 wheat accessions grown Er’shi, Shihezi and Zhaosu during 2012 2013 cropping seasons. A genome-wide association study with 47,362 single nucleotide polymorphism (SNP) markers was conducted detect marker-trait associations using mixed linear model. Phenotypic variations ranged from 1.6 30.7% broad-sense...

Autonomous on-line knowledge discovery and acquisition play an important role in cognitive informatics, computing, engineering, computational intelligence. On the basis of latest advances informatics denotational mathematics, this paper develops a web engine for document restructuring comprehension, which decodes represented informal documents into by concept algebra networks. A visualized network explorer semantic analyzer are implemented to capture refine queries based on algebra....

Files are a typical abstract data type for objects and software modeling, which provides standard encapsulation access interface manipulating large-volume information persistent data. File management systems an indispensable component of operating real-time file manipulations. This paper develops comprehensive design pattern files Management System (FMS). A rigorous denotational mathematics, Real-Time Process Algebra (RTPA), is adopted, allows both architectural behavioral models FMS to be...

Concept Algebra (CA) is a denotational mathematical structure for formal knowledge representation and manipulations in cognitive computing machine learning. CA provides rigorous dynamic modeling processing tool, which extends the informal, static, application-specific ontological technologies. An operational semantics calculus of formally elaborated using set computational processes real-time process algebra (RTPA). A case study presented on how machines agents may mimic key ability human...

The Telephone Switching Systems (TSS) is a typical real-time system that highly complicated in design and implementation. In order to deal with the extreme complexity real-world settings, suitable efficient mathematical means required beyond any programming language. To this purpose, an precise denotational mathematics known as Real-Time Process Algebra (RTPA) RTPA methodology for modeling are introduced. Empirical experimental results reported paper on implementation of TSS based formal...

Wheat (Triticum aestivum L.) is one of the important grain crops that fulfill global food security requirements. Understanding genetic basis wheat yield and related traits crucial for increasing through marker-assisted selection (MAS). In this study, a phenotypic analysis was conducted on 192 Chinese spring genotypes in six field environments. Based 90K SNP iSelect assay, genome-wide association study (GWAS) identified 84 stable significantly associated signals at 50 loci 8 out 10 analyzed...

A formal theory for abstract concepts and knowledge manipulation is created by Wang recently known as concept algebra. Concept algebra an mathematical structure the treatment of their algebraic relations, operations, associative rules composing complex concepts, which provides a denotational mathematic means system representation manipulation. This paper presents method that shows how implemented simulated using typical computers. visualized tool developed, enables machines learn...

The transformability between the diagram-based UML and mathematics-based real-time process algebra (RTPA) is analyzed experimented. RTPA adopted in order to provide a rigor formal semantics for software system modeling specifications. This paper presents method transform into RTPA. XML Metadata Interchange (XMI) as medium language conversion. A tool designed implemented that links visualized methods rigorous specification notation systems towards RTPA-based automatic code generation engineering.

The cost and network delay are two important requirements of multicast routing, they effect each other. According to the importance, users were divided into three classes. Most haven't clear delay, so we introduce belong function fuzzy logic routing algorithm. Through membership function, algorithm transforms a weight. weight is only parameter used when selecting routing. Simulations had shown that costs can be reduced by adjusting function.