判断程序能否并发执行C语言实例

现代操作系统普遍采用多道程序并发执行方式。由于并发执行的程序具有结果不可再现性的特点,即每次运行结果可能不同,因此操作系统必须按Bernstein条件判断程序间是否可以并发执行。本文提供了用C语言编写的判断程序之间是否可以并发执行的实例。     

浅谈我国民事诉讼第三审程序的设立

我国民事诉讼中现行的两审终审的审级制度是历史选择的结果，发展到如今，它已经凸现出了种种弊端。为了适应时代发展的要求，消除现行两审终审制存在的诸多弊病，有必要设立以法律审、书面审、律师强制代理制度等为特征的第三审程序，重构与优化我国的民事诉讼审级制度。同时，也要相应地对一直以来对审级制度有着明显不良影响的再审制度进行有效的规范。     

公路振动标线划线机控制系统

提出了通过可编程序逻辑控制器（PLC）、编码器和人机界面对公路振动标线划线机进行控制。利用人机界面选择所需线型和划线长度，通过PLC的高速计数器和编码器对划线机所走路程进行精确检测，可在野外恶劣环境中精确划出所需线型。     

面向方面的编程

传统的OOP编程无法完全满足对关注点的分离,因而无法满足可理解与可追踪的软件特征。AOP提供了一种方法对关注点进行分离与组合,使得程序的可理解性与可追踪性得到加强。     

关于完善我国刑事诉讼制度的思考

针对当前我国刑事诉讼制度存在的不足与缺陷，文章围绕程序正义的基本内涵与重要价值探讨了完善我国刑事诉讼制度的基本理念，指出树立程序正义优先观念是完善我国刑事诉讼制度的必然选择，也是保障人权和提高刑事诉讼效率的内在要求。在此基础上，文章还从程序正义的角度探讨了完善我国刑事诉讼制度的基本思路，以期对我国刑事诉讼法的再修改有所裨益。     

PLC在工厂配电站的应用

针对工厂中配电站的电量监测存在的问题,提出了基于PLC的一种电量监测的实现方案：多个配电站分别配置一台PLC,通过网络模块互连,形成单层多位结构.各PLC实现电压、电流、温度、回路状态等的测量控制、实现补偿电容分段投切自动控制.总值班室PLC还实现数据汇总、历史数据保存、数据循环显示、对全厂回路操作以及与上位机通信等功能.用PLC模块构成多路模拟量巡检,用动态I/O模块实现LED显示及扫描键盘按钮,使系统具有较高的经济性.方案在一个制药厂能源管理中得到应用,系统至今运行良好.     

RH-MFB精炼过程中钢水温度预测模型

建立了RH-MFB精炼过程中钢水温度的数学模型,通过Delphi程序计算了精炼过程中钢水的温度.结果表明,RH-MFB精炼开始阶段,钢水温度急剧下降,前10 min降温速率约为3℃·min-1,加Al吹氧、加合金和真空室内壁初始温度对钢水温度影响较大.采用该模型预测了精炼结束时刻的钢水温度,与生产中钢水温度平均误差在±5℃以内的占80%.     

有限族渐近拟非扩张现象的收敛性定理

在Banach空间中,引入和研究了有限族渐近拟非扩张映象的一个新的迭代程序,证明了这类迭代程序的收敛性定理,本质地改进和推广了一些人的最新结果.     

Specification and Verification for Semi-Structured Data

Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the tree data more dearly and concisely. By making a distinction between proposition and predicate, a concise semantics interpretation for our modal logic is given. We also develop a model checking algorithm for the logic without △ operator. The correctness of the algorithm is shown. Such work can be seen as the basis of the semi-structured data processing language and more flexible type system.     

Modeling and Performance Analysis of Dispatching Policies in Dispatcher-Based Web Server Cluster

There are two kinds of dispatching policies in content-aware web server cluster; segregation dispatching policy and mixture dispatching policy. Traditional scheduling algorithms all adopt mixture dispatching policy. They do not consider that dynamic requests＇ serving has the tendency to slow down static requests＇ serving, and that different requests have different resource demands, so they can not use duster＇s resource reasonably and effectively. This paper uses stochastic reward net （SRN） to model and analyze the two dispatching policies, and uses stochastic Petri net package （SPNP） to simulate the models. The simulation results and practical tests both show that segregation dispatching policy is better than mixture dispatching policy. The principle of segregation dispatching policy can guide us to design efficient scheduling algorithm.