|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Upconversion nano-photosensitizer targeting into mitochondria for cancer apoptosis induction and cyt c fluorescence monitoring显示文摘反应的氧种类(mitoROS ) 玩的 mitochondrial 的混乱在癌症房间 apoptosis 的一个主要角色。这里,我们设计了 core/shell-structured 有由 photosensitizer (PS ) 涂的核心合并了的做 lanthanide 的 upconversion nanoparticle (UCNP ) 的指向线粒体的基于 upconversion 的使 nano 具有感光性(TPP-UC (PS )) 稠密的硅石壳。有外部在红外线附近的激光(NIR ) 的后面的照耀,在引起为激活的基于 upconversion 的光力学的治疗(UC 太平洋夏季时间) 胀大的严肃的 mitochondrial 矩阵的线粒体的 TPP-UC (PS ) ,和细胞色素 c (cyt c ) 的动员响应增加的 mitoROS 被放大。明确地,这包含 heme cyt c 能被改变 TPP-UC (PS ) s upconversion 光信号(UCL ) 监视,它可以便于在里面为 apoptosis 研究的 cyt c 的 situ 察觉。作为概念的一个证明,我们的设计 TPP-UC (PS ) 可以为在 NIR 刺激下面控制癌症房间 apoptosis 并且为用动态 UCL 学习 apoptosis 提供重要机会,它被本地 cyt c 影响。 | Yanyan Liu Jiawen Zhang Changjing Zuo Zhen Zhang Dalong Ni Chen Zhang Jing Wang Hui Zhang Zhenwei Yao Wenbo Bu | 2016 | Nano Research2016，9，11： | 8 |
| 2 | Nonlinear Maps Preserving the Jordan Triple *-Product on Factor von Neumann Algebras显示文摘Let A and B be two factor von Neumann algebras. For A, B ∈ A, define by [A, B]_*= AB-BA~*the skew Lie product of A and B. In this article, it is proved that a bijective map Φ : A → B satisfies Φ([[A, B]_*, C]_*) = [[Φ(A), Φ(B)]_*, Φ(C)]_*for all A, B, C ∈ A if and only if Φ is a linear *-isomorphism, or a conjugate linear *-isomorphism, or the negative of a linear *-isomorphism, or the negative of a conjugate linear *-isomorphism. | Changjing LI Quanyuan CHEN Ting WANG | 2018 | Chinese Annals of Mathematics,Series B2018，39，4： | 5 |
| 3 | Ultra-flat dispersion in an integrated waveguide with five and six zero-dispersion wavelengths for mid-infrared photonics显示文摘We propose a new type of dispersion flattening technology, which can generate an ultra-flat group velocity dispersion profile with five and six zero-dispersion wavelengths(ZDWs). The dispersion value varies from-0.15 to 0.35 ps/(nm·km) from 4 to 8 μm, which to the best of our knowledge is the flattest one reported so far, and the dispersion flatness is improved by more than an order of magnitude. We explain the principle of producing six ZDWs. Mode distribution in this waveguide is made stable over a wide bandwidth. General guidelines to systematically control the dispersion value, sign, and slope are provided, and one can achieve the desired dispersion by properly adjusting the structural parameters. Fabrication tolerance of this waveguide is also examined. | Yuhao Guo Zeinab Jafari Lijuan Xu Changjing Bao Peicheng Liao Guifang Li Anuradha M.Agarwal Lionel C.Kimerling Jurgen Michel Alan E.Willner Lin Zhang | 2019 | Photonics Research2019，7，11： | 3 |
| 4 | A Review of Blockchain Layered Architecture and Technology Application Research显示文摘The development of blockchain is at a nascent stage.Current research on blockchain mainly focuses on a single technology,failing to reflect the correlation between the integrated technologies due to a lack of application in the real world.In this paper,according to the function classification,we divide blockchain technology into five layers:the data layer,the network layer,the consensus layer,the contract layer,and the application layer.For each layer,we elaborate on its technical principles and the latest research status.We also provide empirical cases of blockchain application.This paper summarizes the general functional modules of the blockchain to support the rapid implementation of blockchain applications.In the end,we investigate the challenges faced by blockchain technology and present the research prospects. | WANG Changjing JIANG Huiwen ZENG Jingshan YU Min HUANG Qing ZUO Zhengkang | 2021 | Wuhan University Journal of Natural Sciences2021，26，5： | 2 |
| 5 | Efficient production of chemicals from microorganism by metabolic engineering and synthetic biology显示文摘The use of traditional chemical catalysis to produce chemicals has a series of drawbacks,such as high dependence on fossil resources,high energy consumption,and environmental pollution.With the development of synthetic biology and metabolic engineering,the use of renewable biomass raw materials for chemicals synthesis by constructing efficient microbial cell factories is a green way to replace traditional chemical catalysis and traditional microbial fermentation.This review mainly summarizes several types of bulk chemicals and high value-added chemicals using metabolic engineering and synthetic biology strategies to achieve efficient microbial production.In addition,this review also summarizes several strategies for effectively regulating microbial cell metabolism.These strategies can achieve the coupling balance of material and energy by regulating intracellular material metabolism or energy metabolism,and promote the efficient production of target chemicals by microorganisms. | Yang Zhang Jing Yu Yilu Wu Mingda Li Yuxuan Zhao Haowen Zhu Changjing Chen Meng Wang Biqiang Chen Tianwei Tan | 2021 | Chinese Journal of Chemical Engineering2021，34，2： | 2 |
| 6 | STEADY-STATE RESPONSE OF A TIMOSHENKO BEAM ON AN ELASTIC HALF-SPACE UNDER A MOVING LOAD显示文摘由介绍与一根 Timoshenko 横梁交往的有弹性的一半空间的相等的僵硬,在有弹性的 half-spacesubjected 上休息到动人的负担的横梁的排水量答案被介绍。基于thehalf空间和横梁的波浪速度的相对关系,有 half-spaceand 的不同参数的联合的四格横梁,软横梁的系统和难一半空间, 亚soft 横梁和hardhalf空间的系统, 亚hard 横梁的系统和软一半空间,并且难横梁和softhalf空间的系统被考虑。动人的负担的批评速度用分散曲线被学习。Timoshenko 横梁上的动人的负担的批评速度取决于一半空间和横梁的波浪速度的相对关系,这被发现。在一半空间的瑞利波浪速度总是是批评速度,当负担速度到达它时,系统的反应将是无限的。为软横梁和难一半空间的系统,横梁的波浪速度也是批评速度。除横梁的 shear 波浪速度以外,为亚 soft 横梁和难一半空间的系统有另外的最小的批评速度。当时为系统(潜水艇 --) 难横梁和软一半空间,横梁的波浪速度不再是批评的。有 Euler-Bernoulli 横梁的比较证明横梁的二种类型的批评速度和回答为系统是不同的(潜水艇 --) 软横梁和难一半空间但是类似于为系统的对方(潜水艇 --) 难横梁和软一半空格。横梁的最大的排水量几乎在负担的地点,如果负担速度比最小的批评速度(为软横梁和难一半空间的系统的横梁的 shear 波浪速度) 小,沿着横梁的排水量是几乎对称的。在负担和沿着横梁的排水量的不对称现象后面的横梁移动的最大的排水量由于抑制和波浪放射随负担速度的增加增加。如果负担速度比横梁和一半的最大的波浪速度大,在负担的前面的横梁的排水量是很小的空间。现在的学习的结果为 high-speedtrain 导致的地面颤动的分析提供吸引人的理论、实际的参考书。 | Chen Vunmin Wang Changjing | 2006 | Acta Mechanica Solida Sinica2006，19，1： | 2 |
| 7 | Automatic Algorithm Programming Model Based on the Improved Morgan's Refinement Calculus显示文摘The automatic algorithm programming model can increase the dependability and efficiency of algorithm program development,including specification generation,program refinement,and formal verification.However,the existing model has two flaws:incompleteness of program refinement and inadequate automation of formal verification.This paper proposes an automatic algorithm programming model based on the improved Morgan’s refinement calculus.It extends the Morgan’s refinement calculus rules and designs the C++generation system for realizing the complete process of refinement.Meanwhile,the automation tools VCG(Verification Condition Generator)and Isabelle are used to improve the automation of formal verification.An example of a stock’s maximum income demonstrates the effectiveness of the proposed model.Furthermore,the proposed model has some relevance for automatic software generation. | ZUO Zhengkang HU Ying HUANG Qing WANG Yuan WANG Changjing | 2022 | Wuhan University Journal of Natural Sciences2022，27，5： | 2 |
| 8 | A Unified Strategy for Formal Derivation and Proof of Binary Tree Nonrecursive Algorithms显示文摘In the formal derivation and proof of binary tree algorithms,Dijkstra’s weakest predicate method is commonly used.However,the method has some drawbacks,including a time-consuming derivation process,complicated loop invariants,and the inability to generate executable programs from the specification.This paper proposes a unified strategy for the formal derivation and proof of binary tree non-recursive algorithms to address these issues.First,binary tree problem solving sequences are decomposed into two types of recursive relations based on queue and stack,and two corresponding loop invariant templates are constructed.Second,high-reliability Apla(abstract programming language)programs are derived using recursive relations and loop invariants.Finally,Apla programs are converted automatically into C++executable programs.Two types of problems with binary tree queue and stack recursive relations are used as examples,and their formal derivation and proof are performed to validate the proposed strategy’s effectiveness.This strategy improves the efficiency and correctness of binary tree algorithm derivation. | ZUO Zhengkang HUANG Zhipeng FANG Yue HUANG Qing WANG Yuan WANG Changjing | 2022 | Wuhan University Journal of Natural Sciences2022，27，5： | 2 |
| 9 | Autoimmune pancreatitis: whole-body 18 F-FDG PET/CT findings显示文摘 | Jian Zhang Chengwei Shao Jianhua Wang Chao Cheng Changjing Zuo Gaofeng Sun Bin Cui Aisheng Dong Qinghua Liu Lingshan Kong | 2013 | Abdominal Imaging2013，，3： | 2 |
| 10 | Efficacy and Safety of Cinitapride in the Treatment of Mild to Moderate Postprandial Distress Syndrome–predominant Functional Dyspepsia显示文摘 | Yiqi Du Tun Su Xinmiao Song Jun Gao Duowu Zou Changjing Zuo Weifen Xie Bangmao Wang Zhiguang Zhang Jianming Xu Dean Tian Hesheng Luo Zhenyu Zhang Shaofeng Wang Jianping Chen Jizhong Guo Lei Gong Yanbing Ding Zhaoshen Li | 2014 | Journal of Clinical Gastroenterology2014，，4： | 1 |
| 11 | A Formal Method for Developing Algebraic and Numerical Algorithms显示文摘The development of algebraic and numerical algorithms is a kind of complicated creative work and it is difficult to guarantee the correctness of the algorithms. This paper introduces a systematic and unified formal development method of algebraic and numerical algorithms. The method implements the complete refinement process from abstract specifications to a concrete executable program. It uses the core idea of partition and recursion for formal derivation and combines the mathematical induction based on strict mathematical logic with Hoare axiom for correctness verification. This development method converts creative work into non-creative work as much as possible while ensuring the correctness of the algorithm, which can not only verify the correctness of the existing algebraic and numerical algorithms but also guide the development of efficient unknown algorithms for such problems. This paper takes the non-recursive implementation of the Extended Euclidean Algorithm and Horner's method as examples. Therefore, the effectiveness and feasibility of this method are further verified. | ZUO Zhengkang SU Wei LIANG Zanyang HUANG Qing WANG Yuan WANG Changjing | 2021 | Wuhan University Journal of Natural Sciences2021，26，2： | 1 |
| 12 | Phase Ⅱ study of gemeitabine plus vinorelbine in the treatment of cisplatin-resistant nasopharyngeal carcinoma显示文摘 | WangCC ChangJ Y Liu TW | 2006 | Head Neck2006，28，1： | 1 |
| 13 | F-18 FDG uptake in borderline intraductal papillary neoplasms of the bile duct显示文摘 | Aisheng Dong Hui Dong Ling Zhang Changjing Zuo | 2012 | Annals of Nuclear Medicine2012，，7： | 1 |
| 14 | Clean fog tests on non ceramic insulating materials and a comparison with porcelain 显示文摘 | O De LaA GorurRS ChangJ AC | 1994 | IEEE Transactions on Power Delivery1994，9，4： | 1 |
| 15 | beta(2)-Adrenergicstimulationattenuatesleftventricularremodeling,decreasesapop-tosis,andimprovescalciumhomeostasisinarodentmodelofis-chemiccardiomyopathy显示文摘 | XydasS KheraniAR ChangJS etal | 2006 | JPharmacolExpTher2006，317，2： | 1 |
| 16 | NADPH oxi- dase 4 is involved in the triethylene glycol dimethacry- late-induced reactive oxygen species and apoptosis in human embryonic palatal mesenchymal and dental pulp cells显示文摘 | YehCC ChangJ Z YangW H | 2015 | Clin Oral Investig2015，19，6： | 1 |
| 17 | Field emission of carbon nanotubes on anodic aluminum oxide template with controlled tube density 显示文摘 | CHENP L CHANGJ K KUO C T | 2005 | Appl Phys Lett2005，86，12： | 1 |
| 18 | A mouse model for spinal muscular atrophy显示文摘 | Hsieh-Li H M ChangJ G Jong YJ | 2000 | Nat Genet2000，24，1： | 1 |
| 19 | The effect of contact interface on dynamic characteristics of composite structures 显示文摘 | WuJ SS ChangJ C HungJ P | 2007 | Mathematics and Computers in Simulation2007，74，6： | 1 |
| 20 | In vitro cytotoxicitiy of silicananoparticles at high concentrations strongly depends on the metabolicactivity type of the cell line 显示文摘 | ChangJS Chang KL Hwang DF | 2007 | Environ Sci Technol2007，41，： | 1 |
您所在的机构暂未开通此部分的功能，请联系管理员