基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

关于人民法院错案追究与再审的法哲学思考

指出了司法腐败是错案的主要根源;认识的主客二重性决定了错案原则上不可避免;反腐倡廉是减少错案的重要措施;加强和完善程序建设是减少错案的法律保证.强调了制定一部监督法是保证司法公正的当务之急.     

大型展览活动对区域产业发展的影响研究——以第四届中国国际进口博览会为例

会展业与国民经济各部门之间存在明显的关联效应,大型展会活动的举办将在区域产业水平提升、产业结构升级等方面产生重要意义。以第四届中国国际进口博览会（以下简称进博会）为研究对象,立足江浙沪区域内986家上市企业数据,采用事件研究法,实证分析了进博会对江浙沪不同细分行业的影响效应及差异。结果表明：进博会的举办可以促进区域产业发展,并在区域产业结构升级方面发挥积极作用;进博会的举办对区域不同细分产业的影响差异具有统计学意义,其中对于高新产业、制造业和服务业产生的促进作用更为明显;进博会对基建相关产业的促进作用呈现先上升后下降的趋势。从微观层面探究大型展览活动对区域不同产业发展的影响,以期为会展业发展的着力方向提供政策依据。     

LINE-SERU转化的评价分析——以某医疗制造企业实施SERU为例

面对日益增加的需求不确定性及激烈的市场竞争,SERU (赛汝)生产方式应运而生,并广泛应用于日本电子装配制造企业.国内一些制造装配业正尝试将传统的流水线转化为SERU装配方式,简称LINE-SERU转化.一些文献报道了日本企业实施LINE-SERU转化的效果,而学术界对国内企业实施SERU装配方式的生产组织与运行效率缺乏理论分析和标杆分析.本文以国内某医疗器械装配企业实施LINE-SERU转化为例,通过理论分析和数据分析,系统地讨论了国内企业实施LINE-SERU转化的背景、过程、影响因素及生产组织形态,从多维度比较分析了改善效果及原因;总结了国内企业与日本企业在SERU系统的构建方式、布局形态和企业文化等方面的差异.研究发现,中国企业处于LINE-SERU转化的初期,SERU系统具有其独特的组织形式,在提高生产效率、缩短生产周期、减少在制品数量、精简作业人数和降低次品率等方面均有显著提升,但改善效果不同于日本企业.建议国内企业依据其人力资源特征构建SERU系统、优化单元布局、培育以人为本的企业文化,以提高系统柔性和改善效率.     

基于Wiener滤波器的波形比较方法及其在最坏情况分析中的应用

提出一种基于Wiener滤波器的波形比较方法,应用于数模混合电路的最坏情况分析.该方法能考虑一定的时间容限和信号容限,自动比较电路在不同的工艺参数、电压和温度(PVT)组合下的仿真波形,通过波形形状的比较来实现电路性能验证,有效地提高了电路验证效率.此方法成功地运用到波形比较软件系统中,并已在Intel技术开发(上海)公司内部推广使用.     

基于网络考试系统的UML建模

通过统一建模语言(UML)对网络考试系统进行了分析和建模,建立了系统用例图,并结合主要用例-学生考试模块,建立了类图、顺序图、活动图.描述了系统的功能需求、功能流程、类的结构与关系、对象之间的交互.最终采用面向对象语言实现在线考试系统.使用这种方法对系统进行建模,优化了开发过程,并有利于提高系统的稳定性、可维护性和可重用性.     

家庭自动化系统中的建模设计

该文以家庭自动化系统为背景,探讨了利用统一建模语言进行面向对象的建模问题,介绍了UML的结构和机制,说明如何在软件开发过程中运用UML建模.按照此模型进行系统的开发,可以大大地提高系统开发的产业化水平,是软件工程的一个发展方向.     

Connecting informal networks to management of tacit knowledge

The relationship between tacit knowledge and informal networks has not been fully explored.Tacit knowledge cannot be well managed directly,because it is deeply embedded in individual actions and experiences.This study proposes an approach to managing informal networks as a new middle way to facilitate the sharing and transferring of tacit knowledge,owing to the fact that tacit knowledge is mostly shared and transferred through informal networks.To support the idea of the approach,an empirical case study of applying the approach to management of a large scientific project is also included.Our findings suggest that informal networks play essential roles for management of tacit knowledge,and thus good management of informal networks can lead to efficient sharing and transferring of tacit knowledge.     

案例教学法在大学英语教学中的应用

案例教学法通过引导学生对实际案例的讨论与分析,正确应用案例教学法可以在提高大学英语课程教学质量的同时,培养其自主学习的能力、分析问题的能力、团队协作的能力以及沟通交际的能力。本文初步探讨了案例教学法在大学英语教学中的应用环节以及在实施过程中的注意事项,只有加深对案例教学法的认识,才能更好地发挥其作用,更好地实现大学英语教学目标。     

案例教学法在MBA教学科研中的应用

MBA教育作为一种高级职业教育，侧重于学生的能力培养。以提高学生理论水平和实践能力为目的的案例教学法能够将理论与实践、知识与能力很好的融合，提高学生分析解决现实经济管理问题的能力，是高校培养MBA学生综合素质的关键环节，同时，案例教学法也有助于提升教师的教学水平和科研水平。