浅谈计算机局域网病毒及防范策略

简述了计算机局域网的病毒的类型,并提出了相应的防范策略。     

低压铸造流动与传热耦合计算的研究

根据低压铸造充型流动的特点 ,利用计算机数值模拟技术 ,对低压铸造充型阶段的流动怀传热过程进行了耦合计算 ,从而保证了模拟结果的准确性和可靠性。在此基础上开发出了模拟软件 ,并对实际低压铸件进行了模拟分析 ,结果与实际生产情况吻合很好     

钢结构稳定设计——理论与实践

本文提出了实际工程结构的非线性理论设计和分析方法(NIDA),并以澳门回归纪念馆的设计为例,展示了本方法的优越性.在设计过程中,设计者无需假设K系数和有效长度,在结构分析完成后便可迅速完成设计,因此本文提出的方法既经济又便利.尽管对于钢框架在往复荷载及动力荷载作用下的弹塑性大位移分析已经非常成熟,但本文的方法开创了结构的非线性分析及设计的新纪元,能够对现行的设计方法理论起到巨大的推动作用.     

叠前地震数据的规则化

本文通过对动校正前积分法DMO原理的探讨，在借鉴Canning(1996)提出的利用DMO实现三维数据规则化的方法和Biondi(1998)提出的三维叠前地震数据方位角校正方法的基础上，从方位角校正的角度入手，利用DMO和DMO^-1相结合的处理流程对地震数据进行规则化，以得到新的规则的观测系统下具有所需特定方位角的观测数据。此方法可用于解决叠前地震数据道插值、陆上地震勘探中不规则观测数据的规则化和海上地震勘探中的羽状现象校正等问题，可将已有地震观测数据转变为特定观测系统的叠前地震数据，以便于某些处理方法的应用。此方法原理简单并具有广泛的适用性。     

Si衬底上横向外延GaN材料的微结构和光学性质的研究

用氢化物气相外延 (HVPE)方法在Si(III)衬底上成功横向外延生长出晶体质量较好的GaN薄膜材料。透射电子显微镜 (TEM )的研究结果表明 ,横向外延区域GaN的位错密度明显减小。由于SiO2 掩膜腐蚀角的不同 (分别为 90°和 6 6°) ,导致了横向外延GaN材料一些独特的微观形貌。微区拉曼光谱由数百条拉曼散射曲线组成 ,每一条曲线有三个振动模 ,分别对应Si振动模式 (5 2 0cm- 1) ,E2 模式 (5 6 6cm- 1)和E1(LO)模式(732cm- 1)。在垂直条纹方向 ,峰位和峰宽没有明显的变化 ,而峰强约 5 μm会发生周期性变化     

成品油销售企业导入顾客满意战略之浅见

从中国石化股份有限公司浙江温岭石油分公司所面临的市场态势和企业的经营状况出发，考虑企业的长足发展，阐述了实施顾客满意（CS）战略的紧迫性，指出必须实施CS战略，必须要在组织落实、宣传发动、具体措施及奖惩分明的激励机制等各方面采取得力措施。     

机电排灌工程管理之我见

机电排灌工程是丘陵、滨湖地区的主要灌溉设施，必须建立适应市场经济的管理新机制，确保工程良性运行和巩固发展，满足不断发展的工农业生产需要。     

数字放大器—3G无线基站的助推器

为了构筑第三代无线网络,人们需要对现有基础设施进行彻底改造,包括网络的发射基站。配置在无线基站中的新型数字控制功率放大器能够改善频谱利用率和功率效率,从而提高系统容量。PMC-Sierra公司的数字控制功率放大器采用了数字校正信号处理器(DCSP)以及自适应控制处理器和补偿估值器(ACPCE),该放大器可改善无线基础设施的可靠性,同时降低系统成本、规模及复杂性。     

Ultrasonic measurement of the inter-electrode gap in electrochemical machining

During the process of electrochemical machining the dependency of the inter-electrode gap with time and process parameters can be used to determine process characteristics and to define the shape of the workpiece surface relative to the tool surface. Defining process variables to map out the required gap-time function requires the use of time-consuming iterative trials. In-line monitoring of the gap would enable process control and tool to workpiece transfer characteristics to be achieved (for ideal conditions) without the requirement to generate such parameter maps. This work explores the use of ultrasound applied as a passive, non-intrusive, in-line gap measurement system for ECM. The accuracy of this technique was confirmed through correspondence between the generated gap-time and current time data and theoretical models applicable to ideal conditions. Gap measurements are also used to demonstrate and quantify the degree of departure from ideal behaviour for an In718/chloride system as the electrolyte flow rate is reduced from 16 to 4 l min⁻¹. The monitoring of the gap size has also been shown to be effective when determining shape convergence under ideal conditions, for the example case of a 2D sinusoidal profile.     

Model checker aided design of a controller for a wafer scanner

For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems. Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained using only a single model. Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/.