一个不完全排错状态下的软件可靠性增长模型

在充分地考虑了软件排错过程特点的基础上,将现有的可靠性增长模型中“完全排错”的假设修改为“不完全排错”,使之更符合实际情况．通过将软件错误分为不同的两类来刻画,得到了一个软件可靠性增长模型,该模型含有两个参数,使用起来较为方便．     

基于数据挖掘的复合聚类法

基于数据挖掘的方法,设计和实现了两种复合聚类的算法,并对图像特征库按此算法建立了索引结构,形成了图像的索引库,通过实验,结果显示聚类方法具有很大的应用潜力.     

基于不完全序关系信息的双边匹配决策方法

针对双方主体给出不完全序关系信息的双边匹配问题,提出了一种匹配决策方法.首先描述了基于不完全序关系信息的双边匹配问题;接着将不完全序关系信息转化为不完全Borda分值矩阵,并进行规范化处理;依据不完全规范化Borda分值矩阵,构建综合Borda分值矩阵和差异度矩阵,进而构建不完全匹配度矩阵.进一步,基于不完全匹配度矩阵构建单目标匹配模型,通过模型求解确定匹配方案.最后,通过人力资源管理中员工与岗位匹配实例来说明所提方法的实用性和有效性.     

基于粗糙近似的Web事务聚类改进算法

针对现有Web使用记录挖掘方法发现的知识和规则存在不精确或不完全的问题,提出了一种改进的基于粗糙近似的Web事务聚类算法.该算法首先对原有算法得到的每个类,用关系矩阵找出在这个类中不满足传递性的对象,然后在该对象的集合(类)上用关系矩阵找出在这个类中不满足传递性的对象,再对每个类进行分割,使其满足关系R的传递性,克服了现有算法不满足关系的传递性和在某些情况下得到的结果不准确的缺点.     

一种基于动态模糊Kohonen网络的聚类模型及应用

提出一种基于动态模糊Kohonen神经网络聚类模型,针对传统的Kohonen神经网络(KNN)聚类需要预先确定聚类数的问题,提出采用树形动态自组织映射网络算法(TGSOM)来确定聚类数,并且利用模糊Kohonen神经网络(FKNN)聚类结果与输入顺序无关的优势进行网络优化,得到更优的聚类结果。该模     

一种基于 k-means 聚类和半监督学习的医学图像分割算法

医学图像分割是计算机视觉和图像处理领域近年来研究的热点问题之一。一种基于k-means聚类和半监督学习的医学图像分割新算法被提出。在k-means聚类模型中,相似度函数是关系到聚类效果好坏的关键因素。所使用的相似度函数通过基于side-information的半监督学习方法来确定;确定后的相似度函数又被运用回k-means聚类模型中来实现对医学图像的分割。为了检验该算法效果,脑部肿瘤患者的磁共振图像被运用在实验中。分析结果表明:该算法在本文所采用的实例中能获得优于传统算法的分割效果。     

基于多属性决策和k-means聚类的车载安全消息中继选择方法

城市车载网络环境中高效的中继选择有利于保证安全消息传输的及时性和可靠性。针对现有中继选择方法在复杂交通环境下难以准确评估中继,且在车流密集场景下性能不佳的问题,提出一种基于多属性决策和k-means聚类的中继选择方法（multi-attribute decision-making and k-means clustering based relay selection,MKRS）。首先充分考虑当前转发车辆与候选中继之间的相对距离和相对速度,候选中继的接收信号强度和区域密度等4种评估指标,分别基于序关系法和熵权法计算候选中继评估指标的主、客观权重,并利用简单加权法计算其综合权重,进一步得到能够更加准确体现候选中继性能的综合效用值。在此基础上,采用基于k-means聚类和优先级-退避时间的方法选出最佳中继。实验结果表明所提MKRS与对比方法相比,在保证较好一跳距离和一跳时延的同时具有最快的传播速度。     

影响销售创造力和销售绩效的双路径模型

基于创造力的双路径模型,探讨动机能否通过灵活性和坚持性这2条路径影响销售创造力和销售绩效.基于212名销售人员数据的路径分析结果显示,内部动机和亲社会动机经由灵活性显著预测销售创造力进而影响销售绩效,而坚持性则显著影响销售绩效但不能显著预测创造力,销售创造力与销售绩效正相关.在现实情境下应用创造力的双路径模型,并将销售绩效纳入研究框架,拓宽了模型的普适性.     

内部动机和亲社会动机影响员工创造力的双路径模型

基于动机性信息加工理论和创造力双路径模型,探讨内部动机和亲社会动机能否通过灵活性和坚持性的路径来影响员工创造力.通过问卷调查法,获得了315名制药公司销售人员的问卷数据.最终,结构方程模型的分析结果表明,内部动机和亲社会动机经由灵活性的中介作用影响销售创造力,而坚持性的中介作用没有得到验证.     

基于双LMDI模型和情景分析的浙江省碳排放影响因素研究

浙江省低碳发展条件相对优越,可作为率先实现碳达峰和碳中和(“双碳”)的示范省份.本文采用对数平均迪氏指数分解法(LMDI),从经济活动和居民生活两方面分别考量,对浙江省2000—2019年碳排放变化量的驱动因素进行分解.通过情景分析,即浙江省分别在2060年(国家战略)和2050年(区域率先)实现“双碳”目标,对未来浙江省人均碳排放量趋势进行预测,并结合历史分解结果对两种情景下碳排放变化量的驱动因素进行分解预测.结果表明:(1)经济活动方面,人均GDP增加是碳排放的主要驱动因素(累计增量520 Mt),而单位GDP能耗降低是碳排放的主要抑制因素(累计减量210 Mt);(2)居民生活方面,人均能耗增加是碳排放的主要驱动因素(累计增量12.6 Mt),而能源结构低碳化则是主要的碳排放抑制因素(累计减量1.5 Mt);(3)为实现碳中和目标,两种情景下减排重点均是能源结构的低碳转型,但转型关键时间线有所不同;对于2060年和2050年碳中和情景的转型关键时间线分别在于2031—2045年和2036—2050年.     

一种改进的K_means算法在旅游客户细分中的应用

针对传统K_means算法存在的问题,提出一种基于密度的初始中心点选择方法,并利用几何三角形三边关系理论简化了迭代中的计算次数,以缩短大数据集聚类时间．针对旅游电子商务的特点,基于RFM模型设计了一种RFMVCI扩展模型．新算法的有效性和扩展模型的合理性在实验和旅游客户细分实践中获得了验证．     

基于粗糙集和感知器的模式分类方法

基于粗糙集相容关系给出了一个模式分类算法。先通过感知器神经网络训练属性相容权值和相容阈值,再由相容关系确定每个样本的上下近似,通过引入一个用于决策的粗糙隶属函数,给出了分类算法。最后,对IR IS数据集的实验结果表明本算法是有效的。     

BMAM业务模型静态分析方法

提出了BMAM(Business Modeling Analysis Method)方法,它包括两种视图,一种扩展的用例图,另一种业务流程模型图.本文描述了静态分析方法———扩展的用例图,用来描述组织机构的分解方式、组织单元、层次结构和部门分支机构以及人员角色的职责和角色的隶属关系.     

乌鲁木齐淡水原生动物的种类及分布调查初报

几年来，在对乌鲁木齐淡水浮游生物调查中，对原生动物也作了初步研究．为了对乌鲁木齐的原生动物做一个较为系统的了解，从１９９４年５月～７月在９个样点采集水样，并对分属于植鞭纲、根足纲、辐足纲、寡膜纲、动基片纲及多膜纲等６个纲的１０９种原生物进行了鉴定．同时对各样点的主要生态因素及浮游原生动物的分布特征作了进一步的分析．     

中华圆田螺血细胞的分类和吞噬活性

血细胞作为主要的免疫效应细胞在贝类的免疫和防御中有重要作用。本文通过相差显微镜和透射电子显微镜对中华圆田螺(Viviparus chinensis)血细胞的形态与类型以及血细胞对枯草芽孢杆菌的吞噬观察。结果发现壳高4～6 cm的田螺血细胞浓度为(2.17±0.38)×106个/mL。根据血细胞大     

基于递阶的软件过程模型重用方法

将重用技术应用到软件过程仿真和控制之中,提出了一种基于递阶的软件过程模型重用方法,并对其中的元模型重用进行了重点阐述,将演化计算与元模型重用结合起来,给出了形式化描述,以及重用实现算法.针对每一个软件项目都建立软件过程模型是比较繁琐和费时的工作,因此重用已有的软件过程模型不仅能缩短开发周期,也能提高软件的可维护性和可靠性.     

大学高等研究院的现状、分类及其影响研究

在分析大学高等研究院现状的基础上,构建高等研究院的分类体系,将其分为基础理论型、技术应用与成果转化型、综合型、跨地区服务地方型4种类型.然后分析了高等研究院的影响,认为高等研究院可以提高科研产出的绩效,培养大学的市场意识,但也挑战着大学的管理体制机制,影响大学的科研产出,削弱高校对本地经济社会的贡献.     

杭州城市土地类型与自然区划

杭州城市土地类型分为院落(Yard)、地段(Secicon)和地方(Land svsiem)三级.根据土地地方类型结构,将杭州市区划分为九个自然区     

HPLC测定酱油中的有机酸及其聚类分析

建立了高效液相色谱法测定酱油中有机酸的方法,该方法的样品前处理简单,甲酸、苹果酸、琥珀酸、乳酸、酒石酸、乙酸、柠檬酸、丙酮酸、乙酰丙酸在弱阳离子交换柱上分离效果良好。各有机酸在0.10~20.0 mg/mL范围内,用本方法测定的相关系数均在0.999 0以上,回收率为(96.0~103.9)%     

基于模型检测的软件安全性验证方法

安全性是安全苛求系统第一性能,为了确保系统安全,这类系统在投入使用之前必须进行安全性验证.本文提出一种基于FTA(fault tree analysis)与LTS(labeled transition systems)模型检测的安全性验证方法验证安全苛求软件系统的安全性,并应用到铁路车站联锁系统的安全性验证中,该方法具有较好的通用性,自动化程度较高,可从效率和安全性方面改善安全苛求软件的设计和开发,丰富了软件的形式化开发方法,也为软件的修改和维护提供了方便.