Supported in part by the National Key R&D Program of China(No.2020YFA0712300);NSFC(No.61872353)。
Fraction repetition(FR)codes are integral in distributed storage systems(DSS)with exact repair-by-transfer,while pliable fraction repetition codes are vital for DSSs in which both the per-node storage and repetition d...
supported by the National Natural Science Foundation of China(Nos.11301342,61972241);the Natural Science Foundation of Shanghai(No.17ZR1419900);President Foundation of Shanghai Ocean University(NO.A2-2006-20-200212)。
Covering arrays(CA)of strength t,mixed level or fixed level,have been applied to software testing to aim for a minimum coverage of all t-way interactions among components.The size of CA increases with the increase of ...
This work was supported in part by the European Union’s Horizon 2020 program under grant agreements 777523,FREYA;“Connected Open Identifiers for Discovery,Access and Use of Research Resources”,654248,CORBEL;“Coordinated Research Infrastructures Building Enduring Life-science services”,and 823830;Bioexcel2,"BioExcel-2 Centre of Excellence for Computational Biomolecular Research".Many thanks to Paul Groth for his helpful comments on the manuscript.
The FAIR principles describe characteristics intended to support access to and reuse of digital artifacts in the scientific research ecosystem.Persistent,globally unique identifiers,resolvable on the Web,and associate...
Let X be the vertex set of Kn. A k-cycle packing of Kn is a triple (X, C, L), where C is a collection of edge disjoint k-cycles of Kn and L is the collection of edges of Kn not belonging to any of the k-cycles in C....
The traditional combinatorial designs can be used as basic designs for constructing designs of computer experiments which have been used successfully till now in various domains such as engineering, pharmaceutical ind...
Supported by the National Natural Science Foundation of China(Grant No.11471096)
An LRHTS(v) (or LARHTS(v)) is a collection of {(X, Bi) : 1≤i ≤ 4(v - 2)}, where X is a v-set, each (X, Bi) is a resolvable (or almost resolvable) HTS(v), and all Bis form a partition of all cycle tr...
This paper deals with spaces such that their compactification is a resolvable space. A characterization of space such that its one point compactification (resp. Wallman compactification) is a resolvable space is given.
supported in part by the Doctoral Candidate Innovation Research Support Program of the Science & Technology Review of China(No.kjdb200902-4);the Fundamental Research Funds for the Central University of China(No.11D10405)
A high spatial resolution, high velocity resolution all-fiber laser Doppler vibrometry (LDV) based on heterodyne detection for vibration measurements is reported. A linewidth of 1-kHz single-mode continuous fiber la...
Supported by the Specialized Research Fund for the Doctoral Program of Higher Education of MOE, P.R.C (No.20096102120037)
Reasoning with inconsistent ontologies involves using an inconsistency reasoner to get meaningful answers from inconsistent ontologies. This paper introduces an improved inconsistency reasoner, which selects consisten...
the National Natural Science Foundation of China (No.10971051)
An m-cycle system of order v and index λ, denoted by m-CS(v,λ), is a collection of cycles of length m whose edges partition the edges of λKv. An m-CS(v,λ) is α-resolvable if its cycles can be partitioned into cla...