安全性和正确性折中的软件系统开发方法

主要分析和研究如何在软件当前的现实下寻求功能正确性和安全性的折中策略，来解决商业软件长期以来带有“bug”和安全性问题．对功能正确性和安全性的折中方案，亦有详细的分析，最后还提出将软件开发的折中技术融入软件工程以取得实际的效果．     

Spectroscopic study on the photophysical properties of chlorine substituted tetraphenylporphyrin-histidine and its zinc(Ⅱ)complexes

As the structural analogues of (bacterio)chlorophylls in photosynthetic organisms, porphyrins play an important role in building up artificial photosynthetic systems[13]. In natural photosynthetic pigment-protein complexes,certain amino acid residuals modulate the reactions ofcharge transfer and energy transfer via coordination andother types of interactions with chlorophyll molecules.For instance, in higher-plant photosynthetic reaction cen-ter PSⅡ, the oxidization-reduction system consistin…     

谈谈多媒体英语教学

文章介绍综合利用软件，创造良好的多媒体英语教学环境的方法和多媒体在英语课堂上的使用，以及多媒体英语教学需要注意的问题。     

位置伺服系统计算机输入输出信号的处理

主要介绍直流电机位置伺服系统计算机控制输入输出信号的处理，可逆计数器的使用及数的读取方法，输出数字信号的转换．     

发酵监控系统上位计算机软件编程研究

提出了利用上位机参与实时控制,综合分析在线参数、离线参数和间接参数,辅助发酵过程工艺研究和优化控制,并给出了上位机软件包的部分源程序及框图。该软件包对发酵工艺人员进一步了解菌种的遗传特性、细胞代谢调节和反应器工程特性方面有较大帮助。     

处理钻井事故的专家系统

介绍了所研制的处理钻井事故的专家系统,经过井场事故实例检验表明,正确识别率与正确处理率较高。在现场使用一段时间之后,又进行了修改与完善,增加实时监测功能后,它将成为处理现场事故的有力工具。     

变速齿轮传动系统最佳轴向结构布局智能设计的推理机制

本文通过对变速齿轮传动系统轴向结构布局设计规律的研究,提出了一种适合于该类问题的知识表达方式,将改进后的带有启发函数的最佳优先搜索方法引入到该问题的求解中,使得含有多重搜索空间以及带有一定约束的设计问题统一在同一搜索策略下。根据本文提出的方法,用PROLOG语言建造的推理机,通过对实际问题的考证,证明该方法在解决传动结构自动设计上是行之有效的,并且在推理机制上成功地体现了设计过程中反复设计与优化设计的功能特征.     

微机字处理软件CAI开发方法的研究

本文阐述了研究计算机软件ＣＡＩ开发方法学的意义，并介绍了字处理软件Ｗｏｒｄｓｔａｒ的教学软件的开发方法．     

数学规划模型的建模语言（FQL）

对数学规划模型的结构作了深入分析。从纵向揭示了数学规划模型自然、清晰的层次结构；横向又把复合模型分解成若干基本模型，而基本模型又可由决策用户十分熟悉的二维形式加以描述。在此基础上，给出了建模语言（ＦＱＬ）的语法和语义。它除了具有建模能力外，消除了代数形式的索引；更重要的是具有数据库查询和模型操作能力。     

Minkowski时空中的四维力

Ｍｉｎｋｏｗｓｋｉ时空中的四维力刘泽文（物理系）关键词：相对论／类时；类空；类光；四维力分类号：Ｏ４１２在Ｍｉｎｋｏｗｓｋｉ时空中，诸如四维电流密度Ｊ￣μ、粒子的四维加速度ω￣μ＝ｄＵ￣μ／ｄτ以及四维波矢Ｋ￣μ等向量，其类时、类空以及类光性质一般是...