软件开发统一过程应用研究

Rational Unified Process(RUP)是一个先进的较成熟的软件过程框架，Rational Suite是一个可视化的RUP支持软件包，两者结合提供了一个较好的软件工程环境。结合一个物业管理系统的开发过程，介绍了RUP过程的特点和实践过程。     

案例教学在多媒体广告设计教学中的应用

论述了案例教学应用于多媒体广告设计教学中的实施步骤和注意事项.旨在提倡用案例教学方法培养学生的实践操作能力和创新能力.     

关于代数体函数的增长与其例外函数个数的关系

设ｆ（ｚ）为ｎ值的超越代数体函数，其级为λ（λ＞０）．证明了：如果ｆ（ｚ）具有ｎ＋１个Ｂｏｒｅｌ例外函数，则ｆ（ｚ）是正规增长的，级λ为正整数或无穷．如０＜λ＜∞且不为整数，记ｐ为ｆ（ｚ）的Ｂｏｒｅｌ例外函数个数，ｑ为ｆ（ｚ）的亏量等于１的Ｎｅｖａｎｌｉｎｎａ例外函数个数，则ｐ＋ｑ≤ｎ     

有穷下级亚纯函数的唯一性定理

研究了有穷下级亚纯函数的唯一性问题，推广和改进了Ｒ．Ｎｅｖａｎｌｉｎｎａ，Ｍ．Ｏｚａｗａ和本文作者的有关定理，例子证实本文结果是精确的．     

约因制度初探

约因制度作为英美契约法中一项非常重要的制度,有其浓厚的法律文化背景并经历了漫长的历史沉淀过程,通过法官的司法判例确立了一系列特色鲜明的原则。这些原则对当下我们建立诚信社会,从方法论的角度寻“求诚信原则”的法律实现程式,极具借鉴意义。     

基于案例推理的知识管理咨询系统

在分析基于案例推理技术特点和知识管理咨询系统含义的基础上,提出了基于案例推理的知识管理咨询系统架构,并分析了架构的组成,给出了基于案例推理的知识管理咨询系统的定义。研究了实现系统所采用的案例知识表示、检索、存储和案例学习等关键技术。依据提出的架构及其关键技术,企业易于实现其知识管理咨询系统,从而有效地支持知识重用和知识创新,提高知识管理的有效性,以及知识资源的共享和充分运用。     

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

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

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

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

基于亚太地区类SARS传染性疾病流行情景的供应链风险识别

供应链风险识别是指识别影响供应链运行、造成供应链脆弱性的不确定因素的过程。分析了供应链风险的形成过程,提出了包括供应链背景设定,风险因素识别,情景开发,供应链薄弱环节识别,风险组合构建、优化和评估的基于情景分析的供应链风险识别流程,并对总部位于英国的A公司进行了当亚太地区出现类似SARS的传染性疾病流行的情景时,其全球供应链风险的识别。最后对进一步的研究进行了展望。     

浅谈化学教学论案例教学

论文根据基础教育课程改革要求,首先对案例教学在化学教师培养中的作用进行了探讨,并对化学教学论中案例教学的实施要求及组织进行了分析,最后对化学教学论案例教学中应注意的问题提出自己的看法。