检索结果-南通市图书馆

实验技术与管理 2011年第11期 230-232页

作者：何征上海交通大学实验室与设备处

分析目前高校大型精密贵重仪器设备管理中存在的问题,介绍了上海交通大学建设大型精密贵重仪器设备共享系统的架构,通过对高校建立大型精密贵重仪器设备共享系统的思考,提出大型精密贵重仪器设备管理信息化、准时化、精益化的理念。

关键词：高校大型精密贵重仪器设备共享系统

Generating test case specifications of web service composition using model checking

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of shanghai University(English Edition) 2011年第5期15卷 409-414页

作者：钱铃莉陈怡海 School of Computer Engineering and Science Shanghai University State Key Laboratory of Software Engineering Wuhan University

Model checking techniques have been widely used in verifying web service compositions to ensure the trustworthi- ness. However, little research has focused on testing web services. Based on the research of model checking techniques~ we propose a model checking based approach for testing web service composition which is described by using the web services choreography description language （WS-CDL）. According to worldwide web consortium （W3C） candidate recommendation, the WS-CDL specification provides a language for characterizing interactions between distinct web services using XML. Since the behaviors of web service composition are asynchronous, distributed, low-coupled and platform independent, we employ the guarded automata （GA） model for specifying the composition described in WS-CDL and using the simple promela interpreter （SPIN） model checker for detecting the collaborations of web services. Test cases can be transformed from counterexamples generated by SPIN using adequacy criteria. In this paper we apply the transition coverage criterion for generating counterex- amples. To illustrate our approach, we set ＂E-commerce service system＂ as an example for demonstrating how test cases can be generated using SPIN for compositions specified in WS-CDL.

关键词： model-based testing web services choregraphy description language (WS-CDL) model checking simple promela interpreter (SPIN) test cases

在线全文

学校读者我要写书评

暂无评论

M型正交小波包的构造及在频域内的紧支撑

上海交通大学学报 2001年第9期35卷 1329-1332页

作者：胡英杨杰于志强上海交通大学图像处理与模式识别所上海200030

基于多尺度分析理论 ( MRA)与 A.W.W方法构造了 M型小波包 ,并研究其性质 ,如频谱有限性、双尺度序列 (滤波器 ) hn=φ( n/2 )及当 n→∞ ,hn=O( n-N ) .它在小波包应用的计算中速度可比 Shannon小波包快 .另外 ,着重给出了当 l=2 k-1,k... 详细信息

基于多尺度分析理论 ( MRA)与 A.W.W方法构造了 M型小波包 ,并研究其性质 ,如频谱有限性、双尺度序列 (滤波器 ) hn=φ( n/2 )及当 n→∞ ,hn=O( n-N ) .它在小波包应用的计算中速度可比 Shannon小波包快 .另外 ,着重给出了当 l=2 k-1,k∈ Z+ 时 ,{μ2 l( ω) },{μ2 l+ 1( ω) }的紧支撑区间的通式。

关键词：频谱有限性 M型正交小波包紧支撑双尺度序列信号处理小波分析多尺度分析

在线全文

学校读者我要写书评

暂无评论

新式遗传算法在QoS路由选择中的应用

上海交通大学学报 2003年第6期37卷 939-942页

作者：胡世余谢剑英上海交通大学自动化研究所上海200030

针对服务质量 ( Qo S)路由的特点 ,提出了一种新式遗传算法 .与基于二进制编码的通用遗传算法相比 ,本算法采用节点序列编码 ,编码、解码过程简单、直观 ,并在此基础上引入新的遗传交叉、变异算子 .仿真实验表明 ,该遗传算法用于 Qo S... 详细信息

针对服务质量 ( Qo S)路由的特点 ,提出了一种新式遗传算法 .与基于二进制编码的通用遗传算法相比 ,本算法采用节点序列编码 ,编码、解码过程简单、直观 ,并在此基础上引入新的遗传交叉、变异算子 .仿真实验表明 ,该遗传算法用于 Qo S路由具有全局收敛性。

关键词：服务质量路由遗传算法

在线全文

学校读者我要写书评

暂无评论

胶体法制备CdSe纳米晶

无机材料学报 2002年第6期17卷 1284-1291页

作者：陈异高濂中国科学院上海硅酸盐研究所高性能陶瓷与超微结构国家重点实验室上海200050

采用胶体软化学方法,用磷酸三丁酯(TBP)溶解硒粉和氯化镉,在辅助溶剂三辛基氧化磷(TOPO)中加热分解前驱物并化学键合,制备出了边长约为60nm三角锥型的CdSe纳米晶.用TEM、AFM和UV-vis吸收光谱对所得纳米晶进行了表征.

关键词：胶体法制备 CdSe 纳米晶软化学方法 TOPO 硒化镉半导体

Design and Integration of Inventory Management System in E-Commerce Website for B2C Shopping Mall Based on Framework Technology

在线全文

学校读者我要写书评

暂无评论

Design and Integration of Inventory Management System in E-C...

2011年全国电子信息技术与应用学术会议

作者： WANG Anbao 1,XUJie 2 School of Computer and Information,shanghai Second Polytechnic University,shanghai 201209,china

With the rapid development of network technology,the Web applications are used more widely,and the higher requirements on the Web system has been pursued by many *** web applications should become more simple and convenient;also it requires some new internal adjustments in the *** techniques of struts2,spring and the Hibernate are used in this paper,and these three kinds of lightweight frames are very popular at present,also the Ajax technology is introduced in our work to implement the *** to the practical demands of the Back-state management of the B2C Shopping Mall and Inventory management system,this two systems are integrated,and these three framework technologies and Ajax technique are integrated which can in accordance with J2EE three-tier structure as well,finally the framework for Ajax+SSH（Struts+Spring+Hibernate） is realized.

关键词： Struts2 Spring Hibernate Ajax Back-state management Inventory management system

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

互联网信息服务与数字图书馆的定位

上海交通大学学报 2003年第S1期37卷 277-279页

作者：李艳春上海行政学院图书馆上海200233

从互联网对整个信息服务的主体、客体以及方式、理念带来的变化 ,论述了数字图书馆在这样一个大背景下的应对措施 .提出了数字图书馆应该在互联网发展的“第四阶段” ,加强自身的优势 ,更好地实现自己的定位 .

关键词：互联网信息服务数字图书馆

Effect of miR-296 on the Apoptosis of Androgen-independent Prostate Cancer Cells

在线全文

学校读者我要写书评

暂无评论

Journal of Reproduction and Contraception 2009年第1期20卷 1-10页

作者： Pei CHENG Run-sheng LI Biao-yang LIN Wei-qun WANG Yu-hua LI Yan GUO Wei LI Institute for Systems Biomedicine Shanghai Jiao Tong University Shanghai 200240 China shanghai Institute of Planned Parenthood Research Shanghai 200032 China Zhejiang California International NanoSystems Institute Hangzhou 310029 China

Objective To investigate the miR-296＇s function in prostate carcinoma（PCa） cells. Methods In order to profile the miRNA expression in LNCaP cells, the cultured cells were stimulated with androgen after 48-h starvation, miRNA microarray analysis and Q-RT-PCR assay were performed. To characterize the effects of miR296 on PCa cells, CL-1 and PC-3 cells were transfected with miR-296 and antisense-miR-296, cell growth and apoptosis were then analyzed. Results The miR-296-5p expression was up-regulated by 2.22 folds in the CL-1 cells, which do not express significantly androgen receptor, than in LNCaP cells. Knockdown of miR-296-5p induced apoptosis of CL-1 cells, but not LNCaP cells. However, knockdown of miR-296-5p inhibited the growth rate of LNCaP cells cultured in absence of androgen. Conclusion MiR-296-5p could be important for development of prostate cancer from androgen dependence to androgen independence.

关键词： prostate cancer cells miR-296-5p apoptosis

Exotic nuclear structures with isospin dependent interactions in relativistic mean-field models

在线全文

学校读者我要写书评

暂无评论

Exotic nuclear structures with isospin dependent interaction...