搜索筛选:
搜索耗时2.1798秒,为你在为你在102,285,761篇论文里面共找到 41 篇相符的论文内容
类      型:
[学位论文] 作者:黄镇谨,, 来源:合肥工业大学 年份:2016
模型检测作为一种形式化的自动验证技术,可在设计和开发过程对系统的功能和性能进行分析与验证,从而保证系统在运行过程中的正确性及可靠性。然而由于系统的复杂性及验证属性...
[期刊论文] 作者:黄镇谨, 来源:广西工学院学报 年份:2006
基于web的协同设计要求数据库系统具有很好的响应速度和较高的性能.以建筑物协同设计平台为例,提出了采用不同的数据存取模式存取不同数据的方法,建立了数据库接口层的模型框...
[期刊论文] 作者:黄镇谨,, 来源:华章 年份:2012
在分析了操作系统课程教学的意义、现状与其存在的问题基础上,从培养兴趣、精心选择、实例分析、分层实践与其评价体系等几个方面探讨了操作系统教学组织方式和方法....
[期刊论文] 作者:黄镇谨,, 来源:科技信息(学术版) 年份:2008
冲突是协同设计过程不可避免的问题.从冲突管理流程出发,提出了相应的冲突管理模型,对协同设计中的冲突检测和消解方法进行了探讨,详细描述了解决约束满足问题的区间传播算法...
[期刊论文] 作者:欧阳浩,黄镇谨,, 来源:科技信息 年份:2011
粗糙集理论是一种新的处理含糊性和不确定性的数学工具。本文研究了粗糙集理论.并将粗糙集理论应用于产品的市场评估中.通过謇验证明使用此理论能有效地从市场调查表中获得有价......
[期刊论文] 作者:宾哲桂, 黄镇谨,, 来源:塑料工业 年份:2019
以某平板电脑后壳倒灌注塑模具设计为例,介绍了CAD/CAE软件在塑件成型中的作用,制订了塑件流道及浇口布置方案,通过采用CAE软件对塑件的两种CAE流动方案进行变形与熔接痕等分...
[期刊论文] 作者:黄镇谨,郭荷清, 来源:计算机时代 年份:2008
针对建筑设计过程中分布式和协作性的特点,提出基于JADE的协同设计平台。提出了一个符合FIPA规范并使用JADE框架的建筑协同设计系统,具体介绍了其组织结构、系统框架、工作流程...
[期刊论文] 作者:黄镇谨 胡伟平, 来源:课程教育研究·学法教法研究 年份:2019
【摘 要】工程教育认证是对工程教育质量认可的衡量参考,是实现工程师资格国际认证的重要指标。本文基于广西科技大学软件工程专业工程教育认证的实施,制定了专业的培养目标和毕业要求,通过调整和优化课程设置,搭建分层次、多模块,内外结合的实践教学,系统的完善软件......
[期刊论文] 作者:黄镇谨,阳树洪,, 来源:当代教育实践与教学研究(电子刊) 年份:2016
软件工程专业具有工程性和实践性的特点,因此实践课程是软件类专业教学的重点,其教学效果直接影响学生的培养质量与竞争力。笔者考虑实践类课程的内在联系和学生学习能力的差异......
[期刊论文] 作者:黄镇谨 郭荷清, 来源:计算机时代 年份:2008
摘要:针对建筑设计过程中分布式和协作性的特点,提出基于JADE的协同设计平台。提出了一个符合FIPA规范并使用JADE框架的建筑协同设计系统,具体介绍了其组织结构、系统框架、工作流程及Agent間通信协作的消息格式。  关键词:建筑协同设计;多Agent;JADE;Agent通信语言......
[期刊论文] 作者:黄镇谨, 陈波, 欧阳浩,, 来源:广西科技大学学报 年份:2014
对系统模型进行验证是保证系统安全的一个关键.连续时间Markov过程可以刻画复杂并发系统的随机、概率、不确定性特征.提出时间依赖策略下连续时间Markov过程验证方法,将连续...
[期刊论文] 作者:黄镇谨, 陈波, 欧阳浩,, 来源:制造业自动化 年份:2012
本文研究离散事件系统中输入信息不确定性的处理。针对输入参数概率分布特征难以获取和现有离散事件模糊仿真难以再现系统所有演化的问题,提出一种新的离散事件模糊排序方法。......
[期刊论文] 作者:杨娟,陆阳,黄镇谨,, 来源:自动化学报 年份:2014
系统可靠性的计算依赖于各基本单元的0/1分布关系及其构成的布尔逻辑.本文利用二进神经网络可以完备实现布尔逻辑的特性,提出一种基于二进神经网络的可靠性分析方法.该方法针对每......
[期刊论文] 作者:杨娟,陆阳,黄镇谨,, 来源:计算机科学 年份:2012
二进神经网络中每个二进神经元等价于一个线性可分函数,但每个二进神经元所表达的线性可分函数的逻辑意义仍不完全清楚。对此,首先分析了已有的几种线性可分结构系;其次,讨论...
[期刊论文] 作者:欧阳浩,黄镇谨,OUYang-hao,HUANGZhen-jin, 来源:黑龙江科技信息 年份:2011
鸡西矿业集团公司张辰煤矿西三采区3...
[期刊论文] 作者:欧阳浩,王智文,黄镇谨,, 来源:计算机工程与设计 年份:2017
K-Means算法对于初始中心点敏感,容易受到噪声干扰,无法处理非确定性问题等缺陷,且其改进遗传K-Means容易陷入到局部最优解中,粗糙聚类算法虽提升了算法对于不确定性问题的分...
[期刊论文] 作者:黄镇谨,李春贵,欧阳浩,, 来源:计算机技术与发展 年份:2009
高效的公交服务系统是解决城市交通拥挤的有效途径,公交管理的信息化、监控实时化是提高公共交通服务效率的关键。阐述了一个符合J2EE与J2ME架构,将嵌入式技术、网络技术、GP...
[期刊论文] 作者:黄镇谨,李春贵,陈波,, 来源:计算机仿真 年份:2013
研究短时交通流预测问题。传统的非参数回归预测模型中,输入状态向量的选取没有综合考虑预测点和领域点的情况。为了提高预测的精度,提出了用熵值组合的非参数回归短时交通流预测方法。首先用灰关联度和相关系数法确定邻域点和预测点的输入状态向量,用反馈机制......
[期刊论文] 作者:方欢, 陆阳, 黄镇谨, 魏臻,, 来源:系统仿真学报 年份:2013
排队网络模型是一种经典的性能分析模型,提出按照队列的输入过程、排队规则和服务机构三要素,将排队系统转换为层次颜色Petri网模型的建模规则,利用CPN Tools工具在模型中加...
[期刊论文] 作者:冯文健,黄镇谨,王华金, 来源:工程塑料应用 年份:2019
针对数据线插头盖塑件形状特殊,难以进行脱模及模具整体结构设计的难题,在合理选用分型、布局、浇口并运用CAE分析手段对浇注系统进行验证的基础上,设计了该塑件的一模两腔三...
相关搜索: