Quantum Theory and Methods Software View Homepage


Ontology type: schema:MonetaryGrant     


Grant Info

YEARS

2008-2011

FUNDING AMOUNT

2000000 CNY

ABSTRACT

Quantum computing and quantum mechanics, computer science interdisciplinary. Because quantum computers potentially powerful computing capability, which received widespread attention. Computer software is the soul of Quantum software will play a key role to play in future quantum computer capabilities. However, the quantum software research still in its infancy, only some sporadic work. The purpose of this project is to some important aspects of the system in-depth development of quantum theory and method of the software, the main research question as follows: 1. Mathematical model and logical basis for quantum computing, including: simplified universal quantum logic gates and quantum circuit, based on computational theory of quantum logic, quantum entanglement category theory portrayed; 2. Order quantum programming and formal semantics, including: formal semantics quantum cycle program sequence quantum program; 3. Concurrent quantum communication systems, including concurrent process algebra quantum communication system and its application in quantum communication protocols Verification; 4. Software for quantum theory of quantum information and quantum mechanics reaction, including: program design method in quantum quantum algorithm design of physical systems, quantum computing model. More... »

URL

http://npd.nsfc.gov.cn/projectDetail.action?pid=60736011

Related SciGraph Publications

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/2202", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/2208", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/2208", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "type": "DefinedTerm"
      }
    ], 
    "amount": {
      "currency": "CNY", 
      "type": "MonetaryAmount", 
      "value": "2000000"
    }, 
    "description": "Quantum computing and quantum mechanics, computer science interdisciplinary. Because quantum computers potentially powerful computing capability, which received widespread attention. Computer software is the soul of Quantum software will play a key role to play in future quantum computer capabilities. However, the quantum software research still in its infancy, only some sporadic work. The purpose of this project is to some important aspects of the system in-depth development of quantum theory and method of the software, the main research question as follows: 1. Mathematical model and logical basis for quantum computing, including: simplified universal quantum logic gates and quantum circuit, based on computational theory of quantum logic, quantum entanglement category theory portrayed; 2. Order quantum programming and formal semantics, including: formal semantics quantum cycle program sequence quantum program; 3. Concurrent quantum communication systems, including concurrent process algebra quantum communication system and its application in quantum communication protocols Verification; 4. Software for quantum theory of quantum information and quantum mechanics reaction, including: program design method in quantum quantum algorithm design of physical systems, quantum computing model.", 
    "endDate": "2011-12-31T00:00:00Z", 
    "funder": {
      "id": "https://www.grid.ac/institutes/grid.419696.5", 
      "type": "Organization"
    }, 
    "id": "sg:grant.4954580", 
    "identifier": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "4954580"
        ]
      }, 
      {
        "name": "nsfc_id", 
        "type": "PropertyValue", 
        "value": [
          "60736011"
        ]
      }
    ], 
    "inLanguage": [
      "zh"
    ], 
    "keywords": [
      "program design method", 
      "infancy", 
      "quantum programming", 
      "universal quantum logic gates", 
      "depth development", 
      "concurrent process algebra", 
      "quantum computing model", 
      "logical basis", 
      "quantum mechanics reaction", 
      "quantum circuits", 
      "computer science", 
      "formal semantics", 
      "application", 
      "sporadic work", 
      "METHODS", 
      "soul", 
      "quantum cycle program sequence quantum program", 
      "powerful computing capability", 
      "system", 
      "quantum software research", 
      "quantum software", 
      "important aspect", 
      "main research question", 
      "quantum computing", 
      "computer software", 
      "mathematical model", 
      "quantum computer", 
      "software", 
      "computational theory", 
      "Methods Software", 
      "quantum communication systems", 
      "key role", 
      "purpose", 
      "quantum theory", 
      "quantum information", 
      "quantum mechanics", 
      "quantum quantum algorithm design", 
      "widespread attention", 
      "quantum communication protocols Verification", 
      "quantum logic", 
      "quantum entanglement category theory", 
      "project", 
      "physical systems", 
      "future quantum computer capabilities"
    ], 
    "name": "Quantum Theory and Methods Software", 
    "recipient": [
      {
        "id": "https://www.grid.ac/institutes/grid.12527.33", 
        "type": "Organization"
      }, 
      {
        "affiliation": {
          "id": "https://www.grid.ac/institutes/grid.12527.33", 
          "name": "tsinghua university", 
          "type": "Organization"
        }, 
        "familyName": "Ying", 
        "givenName": "Ming Sheng", 
        "id": "sg:person.0720047315.08", 
        "type": "Person"
      }, 
      {
        "member": "sg:person.0720047315.08", 
        "roleName": "PI", 
        "type": "Role"
      }
    ], 
    "sameAs": [
      "https://app.dimensions.ai/details/grant/grant.4954580"
    ], 
    "sdDataset": "grants", 
    "sdDatePublished": "2019-03-07T12:43", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com.uberresearch.data.processor/core_data/20181219_192338/projects/base/nsfc_projects_4.xml.gz", 
    "startDate": "2008-01-01T00:00:00Z", 
    "type": "MonetaryGrant", 
    "url": "http://npd.nsfc.gov.cn/projectDetail.action?pid=60736011"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/grant.4954580'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/grant.4954580'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/grant.4954580'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/grant.4954580'


 

This table displays all metadata directly associated to this object as RDF triples.

91 TRIPLES      19 PREDICATES      67 URIs      58 LITERALS      5 BLANK NODES

Subject Predicate Object
1 sg:grant.4954580 schema:about anzsrc-for:2202
2 anzsrc-for:2208
3 schema:amount N30a156bcb13344bf944c4f0a5b4b2e50
4 schema:description Quantum computing and quantum mechanics, computer science interdisciplinary. Because quantum computers potentially powerful computing capability, which received widespread attention. Computer software is the soul of Quantum software will play a key role to play in future quantum computer capabilities. However, the quantum software research still in its infancy, only some sporadic work. The purpose of this project is to some important aspects of the system in-depth development of quantum theory and method of the software, the main research question as follows: 1. Mathematical model and logical basis for quantum computing, including: simplified universal quantum logic gates and quantum circuit, based on computational theory of quantum logic, quantum entanglement category theory portrayed; 2. Order quantum programming and formal semantics, including: formal semantics quantum cycle program sequence quantum program; 3. Concurrent quantum communication systems, including concurrent process algebra quantum communication system and its application in quantum communication protocols Verification; 4. Software for quantum theory of quantum information and quantum mechanics reaction, including: program design method in quantum quantum algorithm design of physical systems, quantum computing model.
5 schema:endDate 2011-12-31T00:00:00Z
6 schema:funder https://www.grid.ac/institutes/grid.419696.5
7 schema:identifier N326f02c626a64246b80bf3cfb2895cf7
8 Nd97a433c79764a5e840ded34e9703b7d
9 schema:inLanguage zh
10 schema:keywords METHODS
11 Methods Software
12 application
13 computational theory
14 computer science
15 computer software
16 concurrent process algebra
17 depth development
18 formal semantics
19 future quantum computer capabilities
20 important aspect
21 infancy
22 key role
23 logical basis
24 main research question
25 mathematical model
26 physical systems
27 powerful computing capability
28 program design method
29 project
30 purpose
31 quantum circuits
32 quantum communication protocols Verification
33 quantum communication systems
34 quantum computer
35 quantum computing
36 quantum computing model
37 quantum cycle program sequence quantum program
38 quantum entanglement category theory
39 quantum information
40 quantum logic
41 quantum mechanics
42 quantum mechanics reaction
43 quantum programming
44 quantum quantum algorithm design
45 quantum software
46 quantum software research
47 quantum theory
48 software
49 soul
50 sporadic work
51 system
52 universal quantum logic gates
53 widespread attention
54 schema:name Quantum Theory and Methods Software
55 schema:recipient N964da6b80fb54677abff568f55abcd74
56 sg:person.0720047315.08
57 https://www.grid.ac/institutes/grid.12527.33
58 schema:sameAs https://app.dimensions.ai/details/grant/grant.4954580
59 schema:sdDatePublished 2019-03-07T12:43
60 schema:sdLicense https://scigraph.springernature.com/explorer/license/
61 schema:sdPublisher N125e23b3882445ffafd5227840e2a182
62 schema:startDate 2008-01-01T00:00:00Z
63 schema:url http://npd.nsfc.gov.cn/projectDetail.action?pid=60736011
64 sgo:license sg:explorer/license/
65 sgo:sdDataset grants
66 rdf:type schema:MonetaryGrant
67 N125e23b3882445ffafd5227840e2a182 schema:name Springer Nature - SN SciGraph project
68 rdf:type schema:Organization
69 N30a156bcb13344bf944c4f0a5b4b2e50 schema:currency CNY
70 schema:value 2000000
71 rdf:type schema:MonetaryAmount
72 N326f02c626a64246b80bf3cfb2895cf7 schema:name dimensions_id
73 schema:value 4954580
74 rdf:type schema:PropertyValue
75 N964da6b80fb54677abff568f55abcd74 schema:member sg:person.0720047315.08
76 schema:roleName PI
77 rdf:type schema:Role
78 Nd97a433c79764a5e840ded34e9703b7d schema:name nsfc_id
79 schema:value 60736011
80 rdf:type schema:PropertyValue
81 anzsrc-for:2202 schema:inDefinedTermSet anzsrc-for:
82 rdf:type schema:DefinedTerm
83 anzsrc-for:2208 schema:inDefinedTermSet anzsrc-for:
84 rdf:type schema:DefinedTerm
85 sg:person.0720047315.08 schema:affiliation https://www.grid.ac/institutes/grid.12527.33
86 schema:familyName Ying
87 schema:givenName Ming Sheng
88 rdf:type schema:Person
89 https://www.grid.ac/institutes/grid.12527.33 schema:name tsinghua university
90 rdf:type schema:Organization
91 https://www.grid.ac/institutes/grid.419696.5 schema:Organization
 




Preview window. Press ESC to close (or click here)


...