检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

CFSM模型的有限自动机语义

华东理工大学学报（自然科学版） 2001年第5期27卷 437-441页

作者：吴正湘虞慧群华东理工大学计算机科学与工程系上海200237

研究 CFSM模型的自动机语义 ,提出一种从 CFSM到自动机转换的算法。该算法的核心思想是构造一个包含控制自动机、输入自动机、输出自动机的有限状态自动机系统 ,利用自动机的同步性模拟 CFSM的异步行为。本文的工作为进一步利用自动机... 详细信息

研究 CFSM模型的自动机语义 ,提出一种从 CFSM到自动机转换的算法。该算法的核心思想是构造一个包含控制自动机、输入自动机、输出自动机的有限状态自动机系统 ,利用自动机的同步性模拟 CFSM的异步行为。本文的工作为进一步利用自动机理论和工具对

关键词：软硬件协作设计 CFSM模型有限状态自动机语义自动化理论扩展模型

在线全文

学校读者我要写书评

暂无评论

基于多群体公平模型的特征选择算法

计算机研究与发展 2015年第8期52卷 1742-1756页

作者：杨昙冯翔虞慧群华东理工大学信息科学与工程学院上海200237

随着当今世界逐渐从信息化转型为数据化,模式识别和数据挖掘等领域面临越来越大的挑战.爆炸式增大的数据量使得特征选择过程成为大数据模式识别等领域必不可少的环节.受动物界资源争夺行为启发,在由特征选择模型转变为资源分配问题模型... 详细信息

随着当今世界逐渐从信息化转型为数据化,模式识别和数据挖掘等领域面临越来越大的挑战.爆炸式增大的数据量使得特征选择过程成为大数据模式识别等领域必不可少的环节.受动物界资源争夺行为启发,在由特征选择模型转变为资源分配问题模型中加入个体的资源争夺行为,提出多群体公平算法(multi-colony fairness algorithm,MCFA)对该行为进行评判和处理,用以取得更优的分配方案(即更优特征子集),其有机融合随机搜索和启发式搜索,且将filter方法和wrapper方法相结合,降低计算量的同时获得更高的分类准确率.对提出的多群体公平算法进行了分析,从理论上证明了算法的收敛性和有效性;UCI机器学习数据库数据集与4种经典特征选择算法:顺序前向搜索算法(sequential forward selection,SFS)、顺序后向搜索算法(sequential backward selection,SBS)、顺序前向浮动搜索算法(sequential floating forward selection,SFFS)、顺序后向浮动搜索算法(sequential floating backward selection,SBFS)和3种主流特征选择算法:相关性-冗余度特征选择算法(relevance-redundancy feature selection,RRFS)、最大相关最小冗余算法(minimal-redundancy-maximal-relevance,mRMR)、ReliefF算法的对比实验表明,提出的多群体公平算法能够有效选择规模和性能都比较好的特征子集.

关键词：特征选择多群体公平算法资源分配争夺资源行为群内竞争

基于安全进程代数的信息流安全模型的分析与验证

在线全文

学校读者我要写书评

暂无评论

华东理工大学学报（自然科学版） 2012年第1期38卷 102-106,115页

作者：王精明虞慧群华东理工大学计算机科学与工程系上海200237 滁州学院计算机科学与技术系安徽滁州239012

基于信息流的安全模型相对于基于访问控制的安全模型就刻画安全的性质而言更为本质。在安全进程代数统一框架下描述并形式化定义6种信息流安全模型,并且基于迹语义分析其逻辑蕴含关系,进一步对基于安全进程代数的6种信息流安全模型给出... 详细信息

基于信息流的安全模型相对于基于访问控制的安全模型就刻画安全的性质而言更为本质。在安全进程代数统一框架下描述并形式化定义6种信息流安全模型,并且基于迹语义分析其逻辑蕴含关系,进一步对基于安全进程代数的6种信息流安全模型给出验证算法,并开发出验证工具,最后通过实例说明了该验证工具的使用。

关键词：安全进程代数信息流安全模型非推断模型非干扰模型分离模型

企业债务与产品市场战略:基于中国上市公司的实证研究

在线全文

学校读者我要写书评

暂无评论

数量经济技术经济研究 2005年第3期22卷 46-54页

作者：虞慧晖贾婕浙江大学经济学院

我们利用中国上市公司的数据,全面深入研究了企业债务水平的高低对其产品市场决策的影响。通过实讧分析我们得出了如下的主要结论:企业债务水平的差异对企业的产品市场决策的确存在着影响,企业债务水平的提高会导致企业在产品市场竞... 详细信息

我们利用中国上市公司的数据,全面深入研究了企业债务水平的高低对其产品市场决策的影响。通过实讧分析我们得出了如下的主要结论:企业债务水平的差异对企业的产品市场决策的确存在着影响,企业债务水平的提高会导致企业在产品市场竞争中采取更具进攻性的产品市场策略。

关键词：债务产品市场战略上市公司

在线全文

学校读者我要写书评

暂无评论

仿生蚊子追踪算法

计算机学报 2014年第8期37卷 1794-1808页

作者：冯翔张进文虞慧群华东理工大学计算机科学与工程系上海200237

旅行商问题(Traveling Salesman Problem,TSP)是NP完全问题中最为著名的问题,它易于陈述而难于求解,至今尚未找到准确有效的求解大规模TSP问题的方法.文中提出了能求出TSP有效近似最优解的新的蚊子追踪(Mosquito Host-Seeking,MHS)算法... 详细信息

旅行商问题(Traveling Salesman Problem,TSP)是NP完全问题中最为著名的问题,它易于陈述而难于求解,至今尚未找到准确有效的求解大规模TSP问题的方法.文中提出了能求出TSP有效近似最优解的新的蚊子追踪(Mosquito Host-Seeking,MHS)算法,证明了蚊子的目标追踪行为和MHS数学模型的一致性、蚊子追踪算法的收敛性,并通过理论证明确定了MHS算法中各参数的选择范围.蚊子追踪算法是一个全新的仿生算法.文中以TSP问题为载体,详细提出了蚊子追踪算法的动机、生物学模型、数学模型、算法、理论基础(数学证明)及大量实验结果.从理论和实验两方面证明了蚊子追踪算法能够求出TSP问题理论上的优化解.

关键词：仿生算法旅行商问题蚊子追踪算法分布并行算法

二尖瓣脱垂误诊为心神经官能症12例临床分析

在线全文

学校读者我要写书评

暂无评论

上海医学 1993年第12期16卷 715-715,707页

作者：虞慧莉上海市黄浦区中心医院内科

二尖瓣脱垂(以下简称二脱)是二尖瓣的一个或二个瓣叶在收缩晚期或全收缩期脱垂入左房,可伴或不伴有二尖瓣关闭不全所引起的一种临床综合征。根据其临床特点及心动超声图的表现,诊断并不困难,但因其所具症状为非特异性,如忽视了其特征性... 详细信息

二尖瓣脱垂(以下简称二脱)是二尖瓣的一个或二个瓣叶在收缩晚期或全收缩期脱垂入左房,可伴或不伴有二尖瓣关闭不全所引起的一种临床综合征。根据其临床特点及心动超声图的表现,诊断并不困难,但因其所具症状为非特异性,如忽视了其特征性的临床听诊特点,而未作进一步检查,则易误诊。

关键词：二尖瓣脱垂误诊神经官能症

在线全文

学校读者我要写书评

暂无评论

基于能量感知的无线传感器网络拓扑演化

传感技术学报 2010年第12期23卷 1798-1802页

作者：罗小娟虞慧群华东理工大学信息学院

针对无线传感器网络中能源效率的问题,引入复杂网络理论的研究方法,提出基于能量感知无线传感器网络拓扑动态演化模型。在建模过程中考虑到无线传感器网络拓扑变化与节点的度数和剩余能量密切相关,而且网络中节点和链路是有增有减的动... 详细信息

针对无线传感器网络中能源效率的问题,引入复杂网络理论的研究方法,提出基于能量感知无线传感器网络拓扑动态演化模型。在建模过程中考虑到无线传感器网络拓扑变化与节点的度数和剩余能量密切相关,而且网络中节点和链路是有增有减的动态行为,利用连续场理论推导出此模型具有无标度的特征,无标度网络对于节点的随机故障具有较高的鲁棒性。数值计算与实验仿真结果显示,算法可以有效地改善整个网络的结点均衡能耗。

关键词：无线传感器网络能量感知复杂网络拓扑演化

在线全文

学校读者我要写书评

暂无评论

TSP湖水能量优化算法

计算机研究与发展 2013年第9期50卷 2015-2027页

作者：冯翔马美怡虞慧群华东理工大学信息科学与工程学院上海200237

冬季湖面冰冻是一种常见的自然现象.受这一自然现象启发,提出了一种新的智能并行算法——湖水能量优化算法,并应用该算法解决旅行商问题.湖水能量优化算法模拟湖水降温时湖面的冰冻过程.随着温度的降低,湖水分子失去能量,当能量达到冰... 详细信息

冬季湖面冰冻是一种常见的自然现象.受这一自然现象启发,提出了一种新的智能并行算法——湖水能量优化算法,并应用该算法解决旅行商问题.湖水能量优化算法模拟湖水降温时湖面的冰冻过程.随着温度的降低,湖水分子失去能量,当能量达到冰冻阈值时,分子析出结冰.湖水能量受到湖水中心能量、大气能量、湖水分子能量以及湖面风吹动等多方面影响.由此建立湖水能量优化算法的数学模型——湖水能量模型和风动模型等,并通过收敛性定理和Lyapunov稳定性定理进行理论证明,验证了算法的收敛性和解决旅行商问题的有效性.最后,通过实验模拟湖水能量优化算法解决TSPLIB中标准实例问题,并将实验结果与其他经典算法进行比较,进一步说明了湖水能量优化算法解决复杂NP难题时高效率、低迭代次数及强收敛性的特性.

关键词：湖水能量优化冰冻模型启发式算法分布并行算法旅行商问题

基于Statecharts的面向方面软件设计与验证

在线全文

学校读者我要写书评

暂无评论

华东理工大学学报（自然科学版） 2011年第5期37卷 601-608页

作者：文欣秀虞慧群华东理工大学信息科学与工程学院上海200237

为了及时解决由于关注点横切所产生的"代码交织"与"代码散布"问题,提出了一种基于Statecharts的面向方面软件设计方法,并利用线性时态逻辑验证了编织过程的有效性。此外,为了验证方面Statecharts的介入是否破坏了基本Statechart的相关行... 详细信息

为了及时解决由于关注点横切所产生的"代码交织"与"代码散布"问题,提出了一种基于Statecharts的面向方面软件设计方法,并利用线性时态逻辑验证了编织过程的有效性。此外,为了验证方面Statecharts的介入是否破坏了基本Statechart的相关行为,引入扩展层次自动机解释面向方面Statechart的操作语义,使用线性时态逻辑描述系统的关键属性。最后通过一个案例证明了该设计方法的可行性。

关键词：面向方面 Statechart 线性时态逻辑编织模型检测