信息与计算科学专业建设的思考

结合职技高师院校的办学特色,论述了在职技高师院校如何办好信息与计算科学专业,探讨了该专业内涵,专业发展,专业建设和市场定位等一系列问题。     

Molecular dynamics study on the structure I helium hydrate

A 368- water molecule structure I gas hydrate, encased by the number of helium (He) molecules ranging from two to twenty-two, are calculated by molecular dynamical simulations. The potential TIP4P (transferable intermolecular potentical with four sites) is used for water interactions and Lennard-Jones for He-He and He-water interactions. He molecules do not affect the water lattice and can stabilize the hydrate when their concentration is small. A trough signature of He encased is found at 80～90 meV in the phonon density of states. He molecules prefer to be more off-center in 51262 cages. Heavier isotope He are energetically favorable to be filled in cages.     

关于M(x)=o(x)的一个初等证明

本文的主要结果为:设μ(n)是M?bius函数,x>0为实数,若M(x)=■,则M(x)=o(x),x→∞.完成了该定理的初等证明.     

消交叉极化偏置双镜天线的分析和设计

偏置双镜天线,由于其结构不对称,交叉极化较难控制。成形时,涉及到一个非线性偏微分方程组,其精确解对任何预先给定的主镜口径场分布和馈源场分布不都存在。为此,本文提出了一个处理这一问题的近似方法,不仅提高了精度,还消除了天线的交叉极化分量。按此方法所设计的一个3米天线在12GHz 时的效率(计算值)为82%。     

一种扩展的3-2-1组合夹具定位方法

针对孔系基础板组合夹具定位方案的确定问题，提出了一种扩展的3—2—1的设计方法，介绍了该方法的基本原理，给出了全部设计公式．利用该方法可以自动确定由直线和圆弧组成定位边界的工件的全部可能定位方案．     

网上3D虚拟商城的设计与实现

分析基于超文本链接和2D场景的网上购物商务平台的不足，设计并实现了具有真实感购物环境的网上3D虚拟商城。系统全面虚拟了购物的浏览、挑选、支付过程，并具有人机交互功能。系统还提供了数字化的商品管理、财务管理和安全系统。同时对虚拟商城的技术扩展及进一步发展作了讨论。     

固定支付利率的抵押贷款定价理论——限于在支付日提前支付或违约

建立限于在支付日提前支付或违约的固定支付利率抵押贷款的定价问题的数学模型,通过沿着利率特征线方向差分偏微分方程,建立模型的离散计算方法,同时根据一些计算实例所得的数字结果,分析和讨论它的风险特性与风险管理方法.     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

慢性萎缩性胃炎与正常胃活检组织RNA分布的研究

采用异硫氰酸荧光素（FITC）标记的核糖核酸酶（FITC－RNase）作为探针，结合半薄切片技术，观察了慢性萎缩性胃炎与正常胃活检组织中RNA的分布变化，结果表明：慢性萎缩性胃啖腺体细胞内RNA明显减少，分布部位与正常胃腺体细胞差异较大，这些结果于慢性萎缩性胃炎的病理诊断提供了一些依据，对进一步从分子水平上研究慢性萎缩性胃炎的病理变化及其与胃癌的关系具有一定的意义。