基于CATV的一站式电子政务系统的构建

电子政务是Internet网络上的综合应用,利用外交互式技术在CATV网络上构建一站式电子政务是充分利用现有的CATV网络资源的最好选择;在CATV网络上构建电子政务最关键的是要建立起安全的信息通道,安全的信息通道的建立必须借助于PKI技术.     

SCB火工品的研究与发展

文章评述了半导体桥火工品问世以来的研究成果与发展趋势。主要内容有半导体桥作用机理、半导体桥的结构与封装、半导体桥火工品的特点、半导体桥火工品的应用、半导体桥火工品的研究和发展趋势。     

真空铸造高强度C/Mg复合材料

本文介绍用真空铸造法制造抗拉强度超过1000MPa的高强度C/Mg复合材料。将T300纤维经C-Si-O梯度涂层处理后单向排布于型腔内,在真空下注入ZM-5合金液,凝固后即得C/Mg复合材料零件或试样。试样的抗拉强度在纤维体积分数为0.35时达1050MPa。本文讨论C-Si-O梯度涂层对获得高强度复合材料的作用。     

具有阻力特性材料的σ_f－σ关系及一种新的阻力曲线测定方法

通过对相变增韧陶瓷及一种可切削玻璃－陶瓷动态疲劳（恒应力速率）试验中高应力速率区断裂应力下降现象的理论分析，发现这种现象与材料的阻力特性（Ｒ－ｃｕｒｖｅ）密切相关。确立的σ_ｆ－σ理论关系能够很好地描述整个应力速率区间内的动态疲劳试验结果。高应力速率区σ_ｆ－σ在双对数坐标下为负斜率直线，直线斜率为（ｍ为阻力曲线ＫＲ＝ｋ（△ａ）~ｍ的指数），断裂主要由材料阻力行为控制；低应力速率区，σ_ｆ－σ在双对数坐标下为正斜率直线，直线斜率为　（ｎ为应力腐蚀指数），断裂主要由材料应力腐蚀行为控制。建立了测定材料阻力特性的一种新方法，分别用这种方法及压痕／弯曲方法对一种可切削玻璃－陶瓷的阻力特性进行了实验测定，两种方法所得结果有很好的一致性。     

椰子油甲酯化法合成烷基醇酰胺

以国产椰子油为原料,在碱性催化剂作用下先甲酯化再缩合制备烷基醇酰胺,通过多次平行实验,确立了最佳反应条件:甲酯化反应的油醇比(mol)为1:5,催化剂氢氧化钾用量为剂油比(w)0.07:1,反应时间1小时;缩合反应的酯胺比(mol)为1:1.15,催化剂氢氧化钾用量为剂酯比(w)0.01:1,反应温度100～110℃,反应压力40～50mmHg,反应时间3.5小时.     

Evaluating the impact of CASE: an empirical comparison of retrospective and cross-sectional survey approaches

The purpose of this paper is to evaluate two methods of assessing the productivity and quality impact of Computer Aided Software Engineering (CASE) and Fourth Generation Language (4GL) technologies: (1) by the retrospective method; and (2) the cross-sectional method. Both methods involve the use of questionnaire surveys. Developers' perceptions depend on the context in which they are expressed and this includes expectations about the effectiveness of a given software product. Consequently, it is generally not reliable to base inferences about the relative merits of CASE and 4GLs on a cross-sectional comparison of two separate samples of users. The retrospective method that requires each respondent to directly compare different products is shown to be more reliable. However, there may be scope to employ cross-sectional comparisons of the findings from different samples where both sets of respondents use the same reference point for their judgements, and where numerical rather than verbal rating scales are used to measure perceptions.     

冶金过程中复杂夹杂物和钢液化学平衡计算

本文提出一个同温冶炼过程中预测非金属夹杂物沉淀的计算机程序。本研究中，多元硅酸盐溶体的Ｇｉｂｂｓ自由能由基于统计热力学的晶胞模型来计算，该晶胞模型按照氧与周围的阳离子构成的对称和非对称晶胞来描述硅酸盐熔体结构，假定高温冶炼时认与非金属夹杂物平衡，钢液中氧化物元素的活度由Ｗａｇｎｅｒ交互作用系数来计算，利用本程序可以估计炼钢时沉淀的非金属氧化物的成分，为调整冶炼工艺和提高产品质量提供指导，进一步可计     

Presupposition failure — A comedy of errors

Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition.