云计算背景下软件企业创新的趋势

云计算是一种基于互联网的计算方式,通过这种方式,共享的软硬件资源和信息可以按需提供给计算机和其他设备,该技术是一种近些年来发展的新兴科技,同时在一定的程度之上遍布于软件企业的各个领域之中,引导着当前软件企业发展的方向.基于此,本文探讨了云计算背景之下软件企业创新的趋势.     

Shape‐memory polyurethane/multiwalled carbon nanotube fibers

Shape‐memory polyurethane/multiwalled carbon nanotube (SMP–MWNT) composites with various multiwalled carbon nanotube (MWNT) contents were synthesized, and the corresponding SMP–MWNT fibers were prepared by melt spinning. The influence of the MWNT content on the spinnability, fracture morphology, thermal and mechanical properties, and shape‐memory behavior of the shape‐memory polymer was studied. The spinning ability of SMP–MWNTs decreased significantly with increasing MWNT content. When the MWNT content reached 8.0 wt %, the fibers could not be produced because of the poor rheological properties of the composites. The melt‐blending, extrusion, and melt‐spinning processes for the shape‐memory fiber (SMF), particularly at low MWNT contents, caused the nanotubes to distribute homogeneously and preferentially align along the drawing direction of the SMF. The crystallization in the SMF was promoted at low MWNT contents because it acted as a nucleation agent. At high MWNT contents, however, the crystallization was hindered because the movement of the polyurethane chains was restricted. The homogeneously distributed and aligned MWNTs preserved the SMF with high tenacity and initial modulus. The recovery ratio and recovery force were also improved because the MWNTs helped to store the internal elastic energy during stretching and fixing. © 2007 Wiley Periodicals, Inc. J Appl Polym Sci, 2007     

试论科技发展中的伦理向度

对于科技发展带来的一些消极影响,有人认为伦理的干预是无济于事的,甚至最终会影响科技本身的发展。但是,现实中科技与社会发展之间的密切关系表明,对科技的发展给予伦理导向是社会发展的必然走向。把科学发展观作为科技发展的伦理向度,能够实现科技发展和社会进步两者的双赢。     

语境在语言理解中的作用

语境在语言理解中起着重要作用,是语言交际的基础。结合具体例子,分析了语境在语言理解中具有消除歧义、转变语义、补充语言省略意义、帮助理解言外之意的作用。指出只有正确地把握语境,才能深入理解语言的真正含义。     

AADL 测试模型的构造研究

目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用.为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误.研究给出了体现系统拓扑结构的AADL测试模型的形式定义及由AADL构造该测试模型的算法,基于该测试模型可以对AADL设计模型中构件交互的输入、输出端口序列和连接的正确性进行测试,并以飞行控制系统的AADL设计模型为例,阐释了研究成果.     

化学铣切槽液中Na2S的分析

本文采用“碘量法”测定化铣液中的硫化钠，分析结果的准确度和精密度完全能够满足生产要求。     

Lattice-based key exchange on small integer solution problem

In this paper, we propose a new hard problem, called bilateral inhomogeneous small integer solution （Bi-ISIS）, which can be seen as an extension of the small integer solution problem on lattices. The main idea is that, instead of choosing a rectangle matrix, we choose a square matrix with small rank to generate Bi-ISIS problem without affecting the hardness of the underlying SIS problem. Based on this new problem, we present two new hardness problems： computational Bi-ISIS and decisional problems. As a direct application of these problems, we construct a new lattice-based key exchange （KE） protocol, which is analogous to the classic Diffie- Hellman KE protocol. We prove the security of this protocol and show that it provides better security in case of worst-case hardness of lattice problems, relatively efficient implementations, and great simplicity.     

Solvent free oxidation of alcohols catalyzed by KMnO4 adsorbed on Kieselguhr

Efficient and selective oxidation of primary and secondary alcohols to the corresponding aldehydes and ketones catalyzed by potassium permanganate supported on Kieselguhr reagent under solvent free conditions are reported.