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

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

一类四阶方程边值问题正解的存在性

得到了一类四阶方程边值问题相应的Green函数。从而将该问题转化为相应的Hammerstein型积分方程，并利用锥拉伸与锥压缩不动点定理，证明了它在一定条件下，至少有一个正解。     

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.     

高频等离子体化学气相淀积法制备TiO2超细粒子

利用ＴｉＣｌ４＋Ｏ２体系，在高频等离子体化学气相淀积反应器中合成了纯度高、粒度细的ＴｉＯ２粒子。考察了工艺条件对ＴｉＯ２粒子物性的影响；探讨了ＴｉＯ２粒子晶型控制的方法，金红石型质量分数可通过工艺条件控制；探讨了ＴｉＯ２粒子晶型控制的方法。金红石型质量分数可通过工艺条件控制，减少ＴｉＯ２单体浓度可提高金红石型质量分数；也可通过在原料ＴｉＣｌ４中添加ＡｌＣｌ３等晶型转化剂，使可转化为单一金红石型Ｔｉ     

一类供应商逆向选择问题的报酬机制研究

研究了采购企业在缺乏供应商实际业务能力、服务成本等方面信息的情况下 ,利用博弈论显示原理设计不同的供货合同来让供应商选择 ,从而根据供应商的选择结果来判断其真实的能力或类型 ,从而避免了供应商逆向选择问题的发生 .通过分析 ,得出了最优报酬机制的特征 ,并证明了上述报酬机制下的最优合同与采购企业对供应商综合能力和成本的先验认识无关 .     

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

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

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

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

双基阵纯方位水下被动目标跟踪性能仿真分析

研究了基于纯方位信息的双基阵声纳信息融合的跟踪性能，并进行了详细的仿真实验。仿真结果表明，在平台—目标相遇这种较为常见的态势下应用扩展卡尔曼滤波可以快速、稳定地完成目标运动要素的估计，同时还揭示了平台与目标运动的几何态势对跟踪性能的影响，为工程应用提供了参考。     

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

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

上市公司财务状况的动态多指标综合评价方法

针对上市公司财务状况的动态多指标综合评价问题 ,首先建立了评价指标体系 ,并在此基础上 ,综合考虑评价指标的好坏程度和增长程度两种情况 ,提出了一种适用于动态多指标综合评价的理想矩阵法 ,最后给出了一个实际应用算例.