检索结果-南通市图书馆

基于细胞膜演算的Web服务事务处理形式化描述与验证

在线全文

学校读者我要写书评

暂无评论

计算机学报 2006年第7期29卷 1137-1144页

作者：戚正伟尤晋元上海交通大学计算机科学与工程系上海200030

采用细胞膜演算具体分析了当前比较主流的Web服务中原子事务协调协议WS-AT．针对WS-AT协议采用简单的状态转换表和转换图,无法描述协调者和多个参与者的复杂协调活动,采用细胞膜演算给出了其形式化描述,用于规范协调者和参与者的活动,... 详细信息

采用细胞膜演算具体分析了当前比较主流的Web服务中原子事务协调协议WS-AT．针对WS-AT协议采用简单的状态转换表和转换图,无法描述协调者和多个参与者的复杂协调活动,采用细胞膜演算给出了其形式化描述,用于规范协调者和参与者的活动,并分析了该协议的活性和安全性,得到了38187个状态．模型检验的实验结果表明,该协议满足稳定性、一致性和非平凡性,而不满足非阻塞性．进而,分析出注册和协调协议混在一起是其不满足非阻塞性的原因．

关键词：细胞膜演算事务处理形式化方法

在线全文

学校读者我要写书评

暂无评论

类型化移动资源(英文)

软件学报 2005年第5期16卷 979-990页

作者：傅城尤晋元上海交通大学计算机科学与工程系上海200030

在移动资源演算(MR)中发现了一种干扰现象,称为直接访问干扰,该现象比移动灰箱演算(MA)中的墙干扰现象更具破坏力,因为在MR中恶意的环境或上下文可以不受限制地访问进程内部的敏感资源.因而该干扰问题当被视为一种程序运行错误.为了控... 详细信息

在移动资源演算(MR)中发现了一种干扰现象,称为直接访问干扰,该现象比移动灰箱演算(MA)中的墙干扰现象更具破坏力,因为在MR中恶意的环境或上下文可以不受限制地访问进程内部的敏感资源.因而该干扰问题当被视为一种程序运行错误.为了控制直接干扰现象,提出了一种MR的变体:安全移动资源演算(SR).它使用了一种类型系统来避免所有的直接访问干扰的发生.基于该研究,MA中的强干扰现象实际上是直接访问干扰的一种特殊形式,自然地,在SR中也得到了相应的控制.最后给出一些用例,说明如何使用新设计的演算系统,以及它的健壮性.

关键词：并发移动计算进程演算类型系统移动计算

Transverse emittance measurement for the heavy ion medical machine cyclotron

在线全文

学校读者我要写书评

暂无评论

Nuclear Science and Techniques 2019年第12期30卷 103-110页

作者： Yong-Chun Feng Min Li Rui-Shi Mao Bing Wang Sheng-Peng Li Wei-Long Li Wei-Nian Ma Xin-Cai Kang jin-Quan Zhang Peng Li Tie-Cheng Zhao Zhi-Guo Xu you-jin yuan Institute of Modern Physics Chinese Academy of SciencesLanzhou 730000China School of Nuclear Science and Technology University of Chinese Academy of SciencesBeijing 100049China Lanzhou Ke jin tai ji Corporation LTDLanzhou 730000China Lanzhou University of Technology Lanzhou 730050China

The transverse emittance of the extracted beam from the heavy ion medical machine cyclotron is measured and then optimized for injection into the *** the purposes of cross-validation,three methods,i.e.,slit-grid,Q-scan,and 3-grid,are used to measure the *** the slit-grid technique,an automatic selection of the region of interest is adopted to isolate the major noise from the beam phase space,which is an improvement over the traditional *** iterating over the contour level,an unbiased measurement of the emittance can be *** improvement in the thin lens technique is implemented in the Q-scan *** results of these measurements are presented.

关键词： Heavy ion medical machine Transverse emittance Slit-grid

Fast-bunching design of compact heavy ion RFQ linac

在线全文

学校读者我要写书评

暂无评论

Nuclear Science and Techniques 2018年第12期29卷 81-88页

作者： Ke-Dong Wang you-jin yuan Xue-Jun Yin Jian-Cheng Yang Heng Du Zhong-Shan Li Xiao-Ni Li He Zhao Zi-Qiang Dong Jie Liu Jia-Wen Xia Institute of Modern Physics Chinese Academy of SciencesLanzhou 730000 China University of Chinese Academy of Sciences Beijing 100049China Huizhou Research Center of Ion Science Huizhou 516003China

We propose the construction of a compact linac as the injector of a cancer therapy facility at the Institute of Modern Physics(IMP) of the Chinese Academy of Sciences(CAS). Based on a traditional setup, a new compact fast-bunching design is first introduced to optimize the 600 keV/u RFQ with a 0.05 pm A ^(12)C^(4+) beam. This shortens the RFQ structure length from the standard design value of272–230 cm while effectively regulating the particle loss and emittance growth. In addition, a detailed error analysis was performed after the optimization process. The error sources cover input beam parameters errors, machining errors and alignment errors. The simulation results show that the beam loss and emittance growth of the RFQ are acceptable and within typical ranges of error.

关键词：线性加速器设计价值 RFQ 重离子单位面积优化过程中国科学院现代物理

Formalization of P Systems by Maude

在线全文

学校读者我要写书评

暂无评论

Journal of Shanghai Jiaotong university(Science) 2005年第3期10卷 260-264页

作者：戚正伟尤晋元 Dept. of Computer Science and Eng. Shanghai Jiaotong Univ. Shanghai 20 0030 China

Rewriting logic is a unified model of concurrency, which provides a formal commo n framework of well-known models of concurrent systems. A new formal method of t he specification and execution of P systems using rewriting logic was proposed. The powerful tool Ma ude 2.0 is used to implement this specification. In order to present the general ideas in a concr ete case study, a simple and classical example from the literature is adopted to present how to formally spe cify and execute a P system.

关键词： rewriting logic P systems Maude

在线全文

学校读者我要写书评

暂无评论

一种提高微内核效率的有效方法

上海交通大学学报 2000年第7期34卷 952-955,959页

作者：刘福岩尤晋元上海交通大学计算机科学及工程系上海200030

提出了一种提高微内核操作系统效率的方法 ,该方法通过在操作系统中实现单地址空间、操作系统内核程序和用户程序在一个处理机状态下运行以及利用 capability实施对资源和特权指令的保护 ,使得当客户进程通过进程通信访问服务器提供的... 详细信息

提出了一种提高微内核操作系统效率的方法 ,该方法通过在操作系统中实现单地址空间、操作系统内核程序和用户程序在一个处理机状态下运行以及利用 capability实施对资源和特权指令的保护 ,使得当客户进程通过进程通信访问服务器提供的服务时 ,不需要执行进程空间的切换和CPU状态的切换。

关键词：操作系统微内核单地址空间进程空间 CPU 切换

Functional analysis of a cotton glucuronosyltransferase promoter in transgenic tobaccos

在线全文

学校读者我要写书评

暂无评论

Cell Research 2007年第2期17卷 174-183页

作者： Ai-Min Wu~1 Shi-you Lv~1 jin-yuan Liu ~1Laboratory of Molecular Biology and Protein Science Laboratory of the Ministry of Education,Department of Biological Sciences and Biotechnology,Tsinghua Universi.ty,Beijing 100084,China Department of Biological Sciences and Biotechnology Laboratory of Molecular Biology and Protein Science Laboratory of the Ministry of Education Tsinghua University Beijing China

The 5’fragment(1647 bp)of the cotton glucuronosyltransferase gene(GhGlcAT1)was transcriptionally fused to theβ-glucuronidase(GUS)gene,and functionally analyzed for important regulatory regions controlling gene expression intransgenic tobacco *** activity analysis revealed that the full-length promoter drives efficient expression of theGUS gene in the root cap,seed coat,pollen grains and *** of the transgenic tobacco to various abioticstresses showed that the promoter was mainly responsive to the sugars(glucose and sucrose)as well as gibberellic *** upstream deletion analyses of the promoter showed that the region from-281 to +30 bp is sufficient to drivestrong GUS expression in the trichomes of shoot,suggesting that the 311 bp region contains all c/s-elements needed fortrichome-specific ***,deletion analysis also revealed that the essential cis-element(s)for sucroseinduction might be located between -635 and -281 *** addition,sequence analysis of the regulatory region indicatedseveral conserved motifs among which some were shared with previously reported seed-specific elements and sugar-responsive elements,while others were related with trichome *** findings indicate that a 1647-bp frag-ment of the cotton GhGlcAT1 promoter contains specific transcription regulatory elements,and provide clues about theroles of GhGlcAT1 in cotton fiber *** analyses of these elements will help to elucidate the molecularmechanisms regulating the expression of the GhGlcAT1 gene during fiber elongation.

关键词： glucuronosyltransferase cotton sugar-induced expression regulatory elements promoter activity transgenic tobacco

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

分布式环境下的访问控制

计算机研究与发展 2001年第6期38卷 735-740页

作者：刘琼波施军尤晋元上海交通大学计算机科学与工程系上海200030

为适应分布式环境下的安全需求 ,提出了一种描述访问控制策略和判定访问请求的方法 .采用类似于无函数的扩展逻辑程序的表示方法对安全访问策略进行描述 ,限定权限传播的深度 ,利用不同的优先次序定义了多种消解冲突的规则 ,并给出了类... 详细信息

为适应分布式环境下的安全需求 ,提出了一种描述访问控制策略和判定访问请求的方法 .采用类似于无函数的扩展逻辑程序的表示方法对安全访问策略进行描述 ,限定权限传播的深度 ,利用不同的优先次序定义了多种消解冲突的规则 ,并给出了类似扩展逻辑程序的回答集语义解释 .结合确定性推理和可能性推理 ,描述了如何判定访问请求的算法 .解决了 3个问题 :分布式授权。

关键词：访问控制私有权限信息安全冲突分布式环境

在线全文

学校读者我要写书评

暂无评论

存储系统的层次性与进程数据存储模型

计算机研究与发展 2000年第11期37卷 1367-1374页

作者：刘福岩尤晋元上海交通大学计算机科学与工程系

计算机系统的各种存储部件 ,包括寄存器、cache、内存、外存 ,被组织成一个层次性的存储结构 .传统操作系统分别在内存和外存这两个层次上为用户构造了两种数据存储模型 :进程逻辑空间和文件 .应该在存储层次的最外层——外存直接为用... 详细信息

计算机系统的各种存储部件 ,包括寄存器、cache、内存、外存 ,被组织成一个层次性的存储结构 .传统操作系统分别在内存和外存这两个层次上为用户构造了两种数据存储模型 :进程逻辑空间和文件 .应该在存储层次的最外层——外存直接为用户构造进程数据存储模型——文件 ,把全部内存作为进程访问外存的缓冲 ,取消了进程逻辑空间的概念 ,实现指令对文件的直接寻址 ,使进程直接在文件上运行 .基于以上思想 ,提出了一个操作系统模型 ,介绍了该模型的结构及其一个实现原型 ,并对其性能进行了测试和评价 ,最后讨论了该操作系统具有的优点及其存在的问题 .

关键词：存储系统进程数据存储模型操作系统