一种用于Web应用程序测试的对象模型

Web应用程序开发的复杂性使得Web应用程序测试技术的研究成为软件测试领域的研究热点。提出了一种用于Web应用程序测试的对象模型,该模型从便于测试的角度将Web应用程序抽象成三种对象:客户端对象、服务端对象和组件对象。与以往的模型相比较,该模型不仅有助于测试人员理解Web应用程序,也有助于测试用例的直接提取。     

本原矩阵指数集的三个重要结果的注记

对本原矩阵的三个结果进行重新刻划,发现可将两个定理长期简洁表述为一个定理,而且证明极为简单。     

每一个具有条件(S)的BCK—代数是一个可换负偏序幺半群的剩余元集

本文证明了每一个具有条件(S)的BCK—代数诱导一个交换负偏序剩余幺半群,反之每一个交换负偏序剩余幺半群诱导一个具有条件(S)的BCK—代数。由此进一步说明每一个具有条件(S)的BCK—代数是交换负偏序幺半群的剩余元集。     

直链烷烃的沸点与其分子结构之间的精确定量关系

根据分子结构的特点,用拓扑方法探讨了直链烷烃的沸点与分子结构之间的定量关系,提出了能够精确计算直链烷烃沸点的公式Ｔｂ＝１０５３．３４－９４３．１４ｅｘｐ（－０．２１８４Ｗｋ＾２／３）－３６．３３ｔｈ（０．０１９３２Ｐ３）。对甲烷到一百烷（Ｃ１－Ｃ１００）的计算结果表明,沸点的计算值都很接近实验值,平均误差仅０．０７５％,计算精度显著优于文献方法。     

小波倒频谱及其应用

建立了一种新的二次频谱分析方法,首次提出了小波倒频谱的概念,将基于小倒频谱的多尺度统计特量综合监测法应用于微孔钻削的状态监测,取得了较子的结果。     

科学道德与科学规范

科学需要道德科学规范通常是指科学共同体这一社会群体内部之全体成员应遵行的规则和标准。有了这些规则和标准,科学研究才能正常而有序地开展。一般说来,科学规范较之于作为某种意识形态而存在的科学道德而言显得更为具体一些,科学规范可以内化于科学家个人的道德意识之中并通过这种方式而在事先约束科学家的个人行为,也可作为在事后对科学家行为进行评价或裁决的依据。同样地,在这里我们也可以对科学共同体作广义的理解,将科学规范的覆盖范围推及那些介入了科学事务的非科学家人士。在此,我们不妨对科学规范作一区分,将科学共同体所应遵循的规范看作是科学内部规范——这一部分规范在具体内容上与前面所说的科学职业道德是一致的;而将适用于其他情形的     

保护圣地,保护环境

地球上有不少能激发人们宗教情感的自然景观。据说,这些"神奇"的地方能够"放射"能量。于是,在许多社会中,此类山峰、树林、树木、小岛、湖泊、河流、瀑布等等成了人们世代相传顶礼膜拜的圣地。这些地方,流传着许多故事和传说,成了联系人类过去与未来的桥梁,同时沟通我们的日常生活、梦想乃至超自然力量。它们世世代代发挥这样的作用,因此被人类视为圣地。近年来,自然保护专家和生态学专家们对这些地方产生了浓厚的兴趣,他们一致赞同法国国家科学研究委员会人类学家玛丽·鲁埃提出的一个观点,那就是"运用他们的知识并通过宗教仪式,传统杜会有能力保护生物多样性。"另外有人重视这类地     

科学开展艾滋病预防干预工作

回顾分析了艾滋病检测和监测、感染者及其配偶通知、知识宣传与行为干预、暗娼体检与发放健康证、感染者管理等策略在艾滋病防治实践中存在的问题;讨论了匿名与实名检测、通知与不通知感染者配偶、正确理解和区分防病知识水平与健康行为改变的关系、是否可以通过为娱乐场所服务人员发放体检证以控制艾滋病流行、采用感染者集中管理的利弊等,为科学开展艾滋病预防干预工作、提高实际防治效果提出了建议。     

基于SONIC软件的鄂霍次克海浅表陆坡可燃冰勘探研究

运用自主研发设计的SONIC软件,控制深海勘探设备Echo水声探测系统,对位于西北太平洋边缘的鄂霍次克海海底可燃冰甲烷释放情况进行勘探研究。重点对萨哈林岛东面浅表陆坡进行了大规模的水声测扫,通过采集回声信号,应用SONIC软件处理和成像后,实现了海底甲烷气体渗漏点（GF）、冷泉和海床的可视化。在发现甲烷气体渗漏点后,运用SONIC的成像功能,分析冷泉中甲烷气体浓度及形态的变化,运用GPS系统进行实时跟踪与定位,利用重力取样器等采样工具,在多个海域成功采集到了可燃冰岩心样本,并及时进行了分析,得到了该地区可燃冰中的甲烷排放速率和甲烷排放量等数据。另外,通过梳理本次考察的经验,对规范我国可燃冰资源调查方法也会产生积极影响。     

农药降解规律模拟的一个回归函数模型

在农药使用过程中,农药降解规律的模拟是一个重要环节,是食品安全的重要保证.根据长期从事该方向研究的积累,给出了一个对农药降解规律进行模拟的回归函数模型,并提供了参数估计方法,以解决对农药降解规律进行模拟时回归函数模型确定的困难.应用实例分析表明,所给回归函数模型适于对农药降解规律的模拟.