课程群案例嵌入协同教学模式的探索

在课程群的教学中由于每门课程各自独立开展教学,缺乏知识的融合和衔接,导致学生运用综合知识解决问题的能力较弱。在课程群的教学中采用案例嵌入协同教学模式,将完整的工程案例嵌入到课程群各门课程的教学中,协同规划各门课程的教学任务,每门课程再围绕案例展开研究性教学。通过嵌入的工程案例衔接各门课程的知识点,帮助学生建构完整的知识体系,强化工程应用的概念；同时通过研究性教学,培养学生分析问题和解决问题的能力,两部分相结合,提高了学生运用综合知识解决复杂问题的能力。     

一个用户接口管理系统

本文介绍了一个用户接口管理系统NUUIMS的设计和实现.重点叙述了该系统基于规范化目标用户接口模型的设计思想,系统组成及描述方法.文章也讨论了使用NUUIMS设计而成的用户接口的特点.     

C语言学习方法与实践的探讨

针对C语言程序设计课程本身的特点，分析学习过程中存在的问题，强调实践的必要性。结合一些学校课程改革和实践的经验．提出面向应用的，科学的学习内容、方法和模式。同时提高学习者的专业动手能力。     

A Refinement Calculus for Shared-Variable Parallel and Distributed Programming

Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. Moreover, a large variety of very different parallel architectures exists. Porting an implementation from one machine to another may require substantial changes. This paper addresses some of these problems by developing a formal basis for the design of parallel programs in the form of a refinement calculus. The calculus allows the stepwise formal derivation of an abstract, low-level implementation from a trusted, high-level specification. The calculus thus helps structuring and documenting the development process. Portability is increased, because the introduction of a machine-dependent feature can be located in the refinement tree. Development efforts above this point in the tree are independent of that feature and are thus reusable. Moreover, the discovery of new, possibly more efficient solutions is facilitated. Last but not least, programs are correct by construction, which obviates the need for difficult debugging. Our programming/specification notation supports fair parallelism, shared-variable and message-passing concurrency, local variables and channels. The calculus rests on a compositional trace semantics that treats shared-variable and message-passing concurrency uniformly. The refinement relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality. The calculus straddles both concurrency paradigms, that is, a shared-variable program can be refined into a distributed, message-passing program and vice versa. Received July 2001 / Accepted in revised form May 2002     

碳纤维缠绕复合材料在潜水外压容器上的应用

在铝合金圆筒体外以浸渍树脂碳纤维进行缠绕复合增强，增强后的筒体耐静水外压能力大幅度提高；整体缠绕的全复合材料筒体，在耐静水外压能力及减轻自身重量方面也获得了明显的效果。此外，在铝合金细长圆管的外壁复合缠绕碳纤维，能有效地提高圆管对轴向压载荷的抗失稳与抗屈曲破坏能力。     

二阶A型Cooper变换的增强型

对二阶Ａ型Ｃｏｏｐｅｒ变换进行增强，放宽可用性条件，并证明了其正确性，最后举例说明其应用。     

一种自制硬件诊断磁带的方法

牛哲成．一种自制硬件诊断磁带的方法．测并技术，１９９４，１８（２）：１４９～１５４硬件诊断磁带是由用于对计算机硬件系统各组成部分进行功能检查、状态测试和故障检测的诊断测试程序集构成的一种专用工具磁带。本文提出了一种用户在ＰＥ３２００系列计算机裸机环境下自己制作硬件诊断磁带的方法，井涉及到具体的程序实现。用该方法制作的硬件诊断磁带操作简单。对进一步搞好ＰＥ３２００系列计算机的维护，开发完善ＰＥ３２００系列计算机硬件诊断系统具有实际意义。     

浅谈程序设计中一题多解的教学方法

中等职业学校一般开设VB、VC及数据库等涉及程序设计的计算机课程。本文拟就程序设计中一题多解的教学方法进行探讨。     

Cyclamate intake and cyclohexylamine excretion are not related to male fertility in humans

Cyclamate and its metabolite cyclohexylamine affect male fertility in high dose animal studies, but this affect has not been investigated in epidemiological studies. This paper reports the first epidemiological study designed to investigate the possibility of a relationship between cyclamate and cyclohexylamine and male fertility in humans, in which 405 cases of clinically defined infertility in men and 379 controls were surveyed. Semen evaluation, urine analysis for cyclamate and cyclohexylamine and dietary questionnaires were compared between cases and controls. No evidence was found of a significant association between cyclamate intake and male infertility; neither high cyclamate nor high cyclohexylamine excretion were associated with elevated risk. The lack of association remained after adjusting by age, area of residence, education, total energy intake and other variables. No significant correlations were observed between cyclamate intake, metabolism or excretion, and sperm count and motility. The results demonstrate no effect of cyclamate or cyclohexylamine on male fertility at the present levels of cyclamate consumption.