检索结果-南通市图书馆

Modeling Trusted Computing

在线全文

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural Sciences 2006年第6期11卷 1507-1510页

作者： chen shuyi WEN Yingyou ZHAO Hong School of Information Science and Engineering Northeastern University Shenyang 110004 Liaoning China

In this paper, a formal approach based on predicate logic is proposed for representing and reasoning of trusted computing models. Predicates are defined to represent the characteristics of the objects and the relationship among these objects in a trusted system according to trusted computing specifications. Inference rules of trusted relation are given too. With the semantics proposed, some trusted computing models are formalized and verified, which shows that Predicate calculus logic provides a general and effective method for modeling and reasoning trusted computing systems.

关键词： trusted computing group (TCG) trusted platform module (TPM) trusted computing root of trust predicate logic

Regulation of mouse blastocyst adhesion,outgrowth and matrix metalloproteinase-2 by focal adhesion kinase

在线全文

学校读者我要写书评

暂无评论

Chinese Science Bulletin 2003年第5期48卷 475-479页

作者： TIE Guodong TIAN Yongqiang chen shuyi CAO Yujing LIU Zelong DUAN Enkui ZHAO Xingxu State Key Lab of Reproductive Biology Institute of ZoologyChinese Academy of SciencesBeijing 100080China Department of Veterinary Medicine Gansu Agricultural UniversityLanzhou 730070China

The interaction of extracellular matrix-integrin markedly influences the adhesion, outgrowth, differentiation and expression of serine proteinases by the blastocyst, so it is regarded as a vital factor in blastocyst implantation. Al- though the mechanism of extracellular interactions between extracellular matrix and integrins has been well elucidated, the roles of the signaling molecules in the extracellular ma- trix-integrin signal transduction pathway in blastocyst im- plantation are unknown. This limits the understanding of blastocyst implantation and ECM-integrin signal transduc- tion pathway. In the present study, in vitro blastocyst culture and indirect immunocytochemistry, matrix metallopro- teinases (MMPs) zymography and antisense oligodeoxynu- cleotide (ODN) were used to investigate the expression of a fundamental molecule of integrin-dependent signal trans- duction pathways, focal adhesion kinase (FAK), in mouse blastocysts and its influence on mouse blastocyst adhesion, outgrowth and MMP-2. The results showed that mouse blas- tocysts expressed FAK. FAK protein was clustered in the peripheral migrating trophoblast cells and dispersed in the central area of blastocyst outgrowth. Fibronectin triggered pro-MMP-2 and 64 kD MMP-2 activities. The antisense ODN to FAK attenuated pro-MMP-2 and 64 kD MMP-2 activities which decreased abruptly and tended to disappear with increasing concentrations of the antisense ODN. Both mouse blastocyst adhesion and outgrowth on fibronectin were also influenced by the antisense ODN. Up to 20 mg/mL of the antisense ODN concentration, the adhesion and out- growth rates were decreased in a dose-dependent manner. The results indicated that FAK influenced mouse blastocyst adhesion, outgrowth and MMP-2 activity by intracellular signal transduction. In other words, FAK regulates mouse implantation in terms of blastocyst adhesive and invasive abilities.

关键词： focal adhesion kinase matrix metalloproteinase-2 blas-tocyst implantation

在线全文

学校读者我要写书评

暂无评论

污水处理工艺的技术经济综合评价方法

同济大学学报（自然科学版） 2013年第6期41卷 869-874,931页

作者：徐冉迟成龙陈书怡同济大学环境科学与工程学院上海200092 同济大学污染控制与资源化研究国家重点实验室上海200092

采用八种国内污水处理厂常见的工艺进行技术经济综合评价,包括普通曝气工艺、水解-好氧工艺、AB工艺、A/O工艺、A2/O工艺、交替式氧化沟工艺、一体化氧化沟工艺和SBR工艺.通过抽样调查分析比较了这些处理工艺的处理效果、经济水平和工... 详细信息

采用八种国内污水处理厂常见的工艺进行技术经济综合评价,包括普通曝气工艺、水解-好氧工艺、AB工艺、A/O工艺、A2/O工艺、交替式氧化沟工艺、一体化氧化沟工艺和SBR工艺.通过抽样调查分析比较了这些处理工艺的处理效果、经济水平和工程实施三大类13个评价因子,建立了多评价因子的参数评价体系并设定其中各项因子的权值.评价采用模糊数学的改进方法,并将评价结果与专家评价进行比较.结果表明:A2/O,A/O和交替式氧化沟三大工艺较为适用于大中型城市建设中的污水处理厂,其中A2/O的表现尤为突出.

关键词：城市污水处理工艺技术评价经济评价评价体系

在线全文

学校读者我要写书评

暂无评论

从伙伴协作迈向学校完善

上海教育科研 2007年第8期 8-9页

作者：陈淑仪香港道教联合会石围角小学

让我简单介绍我们学校的背景,我校的名称是香港道教联合会石围角小学,地点是新界地区荃湾石围角村。建校的年份是一九八二年三月,今年已经是二十五岁了。为什么我们参与大学与学校的伙伴协作计划呢？这与香港的教育发展有很大的关系，... 详细信息

让我简单介绍我们学校的背景,我校的名称是香港道教联合会石围角小学,地点是新界地区荃湾石围角村。建校的年份是一九八二年三月,今年已经是二十五岁了。为什么我们参与大学与学校的伙伴协作计划呢？这与香港的教育发展有很大的关系，在七十年代初期，香港实行了“九年免费的强逼教育”，将教育普及化，其发展以“数量”为主。到了九十年代开始，

关键词：学校协作伙伴教育发展教育普及化七十年代九十年代联合会

在线全文

学校读者我要写书评

暂无评论

江南汽车公司的公私合营改造

安徽史学 2024年第5期 149-158页

作者：岳谦厚陈曙祎南京大学中华民国史研究中心江苏南京210023

工商业在国民经济发展中具有举足轻重的作用。1949年中华人民共和国成立之后,党和国家工作重心开始转向经济恢复与建设,而合理有序地调整工商业则是初期经济工作的核心。中央人民政府全面贯彻“公私兼顾”“劳资两利”的经济建设总方针... 详细信息

工商业在国民经济发展中具有举足轻重的作用。1949年中华人民共和国成立之后,党和国家工作重心开始转向经济恢复与建设,而合理有序地调整工商业则是初期经济工作的核心。中央人民政府全面贯彻“公私兼顾”“劳资两利”的经济建设总方针,基于各省市不同地情、各种经济成分并存局面,地方政府在具体落实执行时采取不同手段灵活地开展调整工作,以发展生产、繁荣经济。江南汽车公司系国民党大官僚张静江于20世纪30年代出资创办的私营企业,亦是解放前南京市最重要的市区公共交通公司之一。由于该公司的特殊性质与发展背景,南京市军管会与人民政府先后采取代管与公私合营的改造方式,使之变成人民的企业,服务于共和国建设事业。

关键词：江南汽车公司资本主义工商业代管公私合营

在线全文

学校读者我要写书评

暂无评论

敦煌魏晋壁画墓“祥瑞”图像研究

考古 2024年第9期 109-120页

作者：王煜陈姝伊四川大学考古文博学院成都市610064

敦煌地区魏晋壁画墓的一大特色,即是在墓门之上砌筑高大的照墙,并将各种神仙、祥禽瑞兽及历史故事题材集中绘制于其上。其中神仙有伏羲、女娲和西王母、东王公,历史故事有伯牙、子期(或许也与神仙有关)和李广射虎。最具特色的是大量的... 详细信息

敦煌地区魏晋壁画墓的一大特色,即是在墓门之上砌筑高大的照墙,并将各种神仙、祥禽瑞兽及历史故事题材集中绘制于其上。其中神仙有伏羲、女娲和西王母、东王公,历史故事有伯牙、子期(或许也与神仙有关)和李广射虎。最具特色的是大量的祥禽瑞兽,有些为汉晋墓葬中常见题材,有些仅流行于河西地区,更多为敦煌地区所特有。

关键词：敦煌魏晋壁画墓祥瑞谶纬学说世家大族

在线全文

学校读者我要写书评

暂无评论

敦煌佛爷庙湾魏晋壁画墓鹦鹉图像初探

敦煌研究 2022年第3期 31-38页

作者：王煜陈姝伊四川大学考古文博学院四川成都610064

敦煌佛爷庙湾魏晋壁画墓中出现了较多的鹦鹉图像,该题材并不见于传统汉墓装饰,也未见于其他地区的同时期墓葬,而敦煌地区乃至西域正好有出产鹦鹉的记载,并深刻地影响魏晋文化,鹦鹉图像的出现应该是汉代以来传统丧葬文化与河西本地乃至... 详细信息

敦煌佛爷庙湾魏晋壁画墓中出现了较多的鹦鹉图像,该题材并不见于传统汉墓装饰,也未见于其他地区的同时期墓葬,而敦煌地区乃至西域正好有出产鹦鹉的记载,并深刻地影响魏晋文化,鹦鹉图像的出现应该是汉代以来传统丧葬文化与河西本地乃至西域物产、文化相结合的产物。一方面作为神仙化了的奇禽异兽出现在照墙砖画中;另一方面固定出现在表示墓主灵座的帷帐壁画上,不仅作为一种玩好,还可能具有象征“亡人居宅”的丧葬内涵。

关键词：魏晋时期敦煌壁画墓鹦鹉丧葬文化

Ultracompact multifunctional metalens visor for augmented reality displays

在线全文

学校读者我要写书评

暂无评论

PhotoniX 2022年第1期3卷 23-37页

作者： Yan Li shuyi chen Haowen Liang Xiuying Ren Lingcong Luo Yuye Ling Shuxin Liu Yikai Su Shin‑Tson Wu Department of Electronic Engineering Shanghai Jiao Tong UniversityShanghai 200240China State Key Laboratory of Optoelectronic Materials and Technologies School of PhysicsSun Yat-Sen UniversityGuangzhou 510275China College of Optics and Photonics University of Central FloridaOrlandoFL 32816USA

Virtual reality(VR)and augmented reality(AR)have found widespread applications in education,engineering,healthcare,and ***,these near-eye displays are often bulky and heavy,and thus are not suitable for long-term ***,with an ultra-thin formfactor,subwavelength modulation scale,and high modulation flexibility,are promising candidates to replace the conventional optics in AR display *** this work,we proposed and fabricated a novel reflective dielectric metalens-visor based on Pancharatnam-Berry phase with see-through *** achieves diffraction-limited focusing behavior for the reflected red light,while keeping a good transmission spectrum in the visible ***,this single piece metalensvisor can perform the function of two integrated elements simultaneously:an eyepiece and an optical combiner,which in turn greatly reduces the weight and the size of an AR *** have implemented a proof-of-concept AR display system employing the metalens-visor,and experimentally demonstrated color AR images with good image *** work reveals the great potential of multi-functional metasurface devices which enables optical integration in interdisciplinary applications including wearable displays,biological imaging,and aeronautic optical instruments.

关键词： Metalens-visor Wearable display Augmented reality See-through metasurface Multi-functional

桥墩影响下弯槽冰塞形成临界条件和冰厚变化的试验研究

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

水利学报 2017年第5期48卷 588-593页

作者：王军汪涛李淑祎陈胖胖合肥工业大学土木与水利工程学院安徽合肥230009

天然河道中,桥墩的存在改变了局部水流特性,对冰塞形成及演变产生影响。通过模型试验,研究了桥墩存在及桥墩位置不同时对冰塞演变过程的影响,试验结果表明:桥墩的存在改变了桥墩附近的水流结构,使得桥墩附近水流输冰能力相对增大,冰塞... 详细信息

天然河道中,桥墩的存在改变了局部水流特性,对冰塞形成及演变产生影响。通过模型试验,研究了桥墩存在及桥墩位置不同时对冰塞演变过程的影响,试验结果表明:桥墩的存在改变了桥墩附近的水流结构,使得桥墩附近水流输冰能力相对增大,冰塞厚度减小;相比于将桥墩安置在两弯连接直道段,将桥墩安置于弯道顶点处时,桥墩附近水流输冰能力增大;在两弯连接的直道段和弯道顶点处同时放置桥墩时,弯道平衡冰塞厚度介于单墩放置于两弯连接的直道段与单墩放置于弯道顶点处时的弯道平衡冰塞厚度之间。

关键词：桥墩冰塞厚度输冰能力试验研究