Dynamic Logic of Quantum Information System View Homepage


Ontology type: schema:MonetaryGrant     


Grant Info

YEARS

2011-2013

FUNDING AMOUNT

350000 CNY

ABSTRACT

Fully promote the development of quantum logic programming language based development test program, but the current research on quantum dynamic logic program has just started. The current dynamic logic theory does not adequately show the real quantum systems of many ordinary quantum properties, and thus do not reflect the actual dynamic evolution of quantum information. The main dynamic logical theory of quantum information of the project, the main contents include: (1) draw on modal logic, dynamic logic thinking, quantum logic, quantum computing, the use of formal methods, reflect the establishment of quantum computing model based on the measurement information dynamic logic flow. (2) discuss their existing and quantum dynamic logic circuit model differences and connections, thereby establishing the general quantum information systems dynamic logic. (3) the relationship between analysis and comparison with the traditional von Neumann quantum logic and unsharp quantum logic. Research on this project not only to reproduce a variety of quantum behavior, characterization and quantum information systems reflect the complex problems from a logical point of view, and can provide a logical basis for future quantum verification process, but also promote the development of traditional quantum logic. More... »

URL

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

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"
      }
    ], 
    "amount": {
      "currency": "CNY", 
      "type": "MonetaryAmount", 
      "value": "350000"
    }, 
    "description": "Fully promote the development of quantum logic programming language based development test program, but the current research on quantum dynamic logic program has just started. The current dynamic logic theory does not adequately show the real quantum systems of many ordinary quantum properties, and thus do not reflect the actual dynamic evolution of quantum information. The main dynamic logical theory of quantum information of the project, the main contents include: (1) draw on modal logic, dynamic logic thinking, quantum logic, quantum computing, the use of formal methods, reflect the establishment of quantum computing model based on the measurement information dynamic logic flow. (2) discuss their existing and quantum dynamic logic circuit model differences and connections, thereby establishing the general quantum information systems dynamic logic. (3) the relationship between analysis and comparison with the traditional von Neumann quantum logic and unsharp quantum logic. Research on this project not only to reproduce a variety of quantum behavior, characterization and quantum information systems reflect the complex problems from a logical point of view, and can provide a logical basis for future quantum verification process, but also promote the development of traditional quantum logic.", 
    "endDate": "2013-12-31T00:00:00Z", 
    "funder": {
      "id": "https://www.grid.ac/institutes/grid.419696.5", 
      "type": "Organization"
    }, 
    "id": "sg:grant.4997703", 
    "identifier": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "4997703"
        ]
      }, 
      {
        "name": "nsfc_id", 
        "type": "PropertyValue", 
        "value": [
          "61073023"
        ]
      }
    ], 
    "inLanguage": [
      "zh"
    ], 
    "keywords": [
      "quantum computing", 
      "quantum computing model", 
      "quantum dynamic logic circuit model differences", 
      "relationship", 
      "modal logic", 
      "dynamic logic thinking", 
      "traditional quantum logic", 
      "logical basis", 
      "future quantum verification process", 
      "view", 
      "research", 
      "quantum information systems", 
      "quantum logic programming language", 
      "many ordinary quantum properties", 
      "comparison", 
      "development", 
      "logical point", 
      "characterization", 
      "quantum behavior", 
      "traditional von Neumann quantum logic", 
      "current dynamic logic theory", 
      "use", 
      "main content", 
      "variety", 
      "actual dynamic evolution", 
      "development test program", 
      "current research", 
      "real quantum system", 
      "dynamic logic flow", 
      "dynamic logic programs", 
      "complex problems", 
      "dynamic logic", 
      "connection", 
      "quantum information", 
      "main dynamic logical theory", 
      "general quantum information systems", 
      "quantum logic", 
      "analysis", 
      "unsharp quantum logic", 
      "formal methods", 
      "establishment", 
      "project", 
      "quantum", 
      "measurement information"
    ], 
    "name": "Dynamic Logic of Quantum Information System", 
    "recipient": [
      {
        "id": "https://www.grid.ac/institutes/grid.458463.8", 
        "type": "Organization"
      }, 
      {
        "affiliation": {
          "id": "https://www.grid.ac/institutes/grid.458463.8", 
          "name": "Academy of Mathematics and Systems Science, Chinese Academy of Sciences", 
          "type": "Organization"
        }, 
        "familyName": "Shang", 
        "givenName": "Yun", 
        "id": "sg:person.011531702644.41", 
        "type": "Person"
      }, 
      {
        "member": "sg:person.011531702644.41", 
        "roleName": "PI", 
        "type": "Role"
      }
    ], 
    "sameAs": [
      "https://app.dimensions.ai/details/grant/grant.4997703"
    ], 
    "sdDataset": "grants", 
    "sdDatePublished": "2019-03-07T12:40", 
    "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_1.xml.gz", 
    "startDate": "2011-01-01T00:00:00Z", 
    "type": "MonetaryGrant", 
    "url": "http://npd.nsfc.gov.cn/projectDetail.action?pid=61073023"
  }
]
 

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.4997703'

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

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

Turtle is a human-readable linked data format.

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

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

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


 

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.4997703 schema:about anzsrc-for:2202
2 anzsrc-for:2208
3 schema:amount Nce0a40db0b1d4f4abc14221289b8a5b5
4 schema:description Fully promote the development of quantum logic programming language based development test program, but the current research on quantum dynamic logic program has just started. The current dynamic logic theory does not adequately show the real quantum systems of many ordinary quantum properties, and thus do not reflect the actual dynamic evolution of quantum information. The main dynamic logical theory of quantum information of the project, the main contents include: (1) draw on modal logic, dynamic logic thinking, quantum logic, quantum computing, the use of formal methods, reflect the establishment of quantum computing model based on the measurement information dynamic logic flow. (2) discuss their existing and quantum dynamic logic circuit model differences and connections, thereby establishing the general quantum information systems dynamic logic. (3) the relationship between analysis and comparison with the traditional von Neumann quantum logic and unsharp quantum logic. Research on this project not only to reproduce a variety of quantum behavior, characterization and quantum information systems reflect the complex problems from a logical point of view, and can provide a logical basis for future quantum verification process, but also promote the development of traditional quantum logic.
5 schema:endDate 2013-12-31T00:00:00Z
6 schema:funder https://www.grid.ac/institutes/grid.419696.5
7 schema:identifier N64f4f70ba9ee4e3f9d7d072c1c76a18e
8 Nb56f3ec7824f46d4af515e007bc7bb67
9 schema:inLanguage zh
10 schema:keywords actual dynamic evolution
11 analysis
12 characterization
13 comparison
14 complex problems
15 connection
16 current dynamic logic theory
17 current research
18 development
19 development test program
20 dynamic logic
21 dynamic logic flow
22 dynamic logic programs
23 dynamic logic thinking
24 establishment
25 formal methods
26 future quantum verification process
27 general quantum information systems
28 logical basis
29 logical point
30 main content
31 main dynamic logical theory
32 many ordinary quantum properties
33 measurement information
34 modal logic
35 project
36 quantum
37 quantum behavior
38 quantum computing
39 quantum computing model
40 quantum dynamic logic circuit model differences
41 quantum information
42 quantum information systems
43 quantum logic
44 quantum logic programming language
45 real quantum system
46 relationship
47 research
48 traditional quantum logic
49 traditional von Neumann quantum logic
50 unsharp quantum logic
51 use
52 variety
53 view
54 schema:name Dynamic Logic of Quantum Information System
55 schema:recipient N62b637a3917d43bd82987ca23cd06f4c
56 sg:person.011531702644.41
57 https://www.grid.ac/institutes/grid.458463.8
58 schema:sameAs https://app.dimensions.ai/details/grant/grant.4997703
59 schema:sdDatePublished 2019-03-07T12:40
60 schema:sdLicense https://scigraph.springernature.com/explorer/license/
61 schema:sdPublisher Nb323a97089124ad483c8d428de8d6a8e
62 schema:startDate 2011-01-01T00:00:00Z
63 schema:url http://npd.nsfc.gov.cn/projectDetail.action?pid=61073023
64 sgo:license sg:explorer/license/
65 sgo:sdDataset grants
66 rdf:type schema:MonetaryGrant
67 N62b637a3917d43bd82987ca23cd06f4c schema:member sg:person.011531702644.41
68 schema:roleName PI
69 rdf:type schema:Role
70 N64f4f70ba9ee4e3f9d7d072c1c76a18e schema:name nsfc_id
71 schema:value 61073023
72 rdf:type schema:PropertyValue
73 Nb323a97089124ad483c8d428de8d6a8e schema:name Springer Nature - SN SciGraph project
74 rdf:type schema:Organization
75 Nb56f3ec7824f46d4af515e007bc7bb67 schema:name dimensions_id
76 schema:value 4997703
77 rdf:type schema:PropertyValue
78 Nce0a40db0b1d4f4abc14221289b8a5b5 schema:currency CNY
79 schema:value 350000
80 rdf:type schema:MonetaryAmount
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.011531702644.41 schema:affiliation https://www.grid.ac/institutes/grid.458463.8
86 schema:familyName Shang
87 schema:givenName Yun
88 rdf:type schema:Person
89 https://www.grid.ac/institutes/grid.419696.5 schema:Organization
90 https://www.grid.ac/institutes/grid.458463.8 schema:name Academy of Mathematics and Systems Science, Chinese Academy of Sciences
91 rdf:type schema:Organization
 




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


...