《自动控制与计算机科学》第46卷
第46卷第1期，2012年2月
弗拉基米尔·巴什金 
:
活动资源的模块化网络。 1-11 M.布罗特曼 , N.希林斯基 , K.索洛维约夫 :
固定抖动缓冲区的自适应管理算法。 12-17 莫德里斯·格雷坦斯 , 弗拉基米尔·阿里斯托夫 , T.莱米纳 :
Karhunen-Loeve变换在生物辐射定位中的应用：呼吸模拟。 18-24 A.V.泽伦科夫 , D.利普卡尔斯 , A.耶尔索夫 , A.马克拉科夫斯 :
反向交通方向车辆数量和速度的自动雷达记录仪的开发和实验验证。 25-33 V.卡克林斯 :
数字采样转换中具有可变步长的“上下”方法。 34-40 A.V.奥斯特鲁 , N.G.库夫蒂诺娃 :
食品加工业企业生产运输的规划和管理自动化。 41-48 N.I.Sulima公司 :
航空公司超售的概率模型。 49-56
第46卷第2期，2012年4月
Arnis Kirshners公司 , 埃德加斯·利平什 , 谢尔盖·帕舒廷 , 珍妮斯·库卡 , 阿尔卡迪·鲍里索夫 :
药理学问题风险预测系统。 57-65 是的。 伊玛维尔迪耶夫 , 柳德米拉·苏霍斯塔特 :
一种从指纹生成密码密钥的方法。 66-75 Aleksandrs Ipatovs公司 , 尼古拉斯·博格达诺夫 , 欧内斯特斯·彼得森 :
无线网络中车辆和基站之间数据传输速率的评估。 76-82 曼弗雷德·施奈普斯·施奈普 :
基于M-Bus协议的M2M通信。 83-89 德米特里·斯佩兰斯基 :
线性机器输入词识别问题的区间语句。 90-94
第46卷第3期，2012年5月
加赞法尔·A·鲁斯塔莫夫 :
针对数学模型不完备的非线性对象，基于Lyapunov函数方法构造准变控制系统。 95-102 弗拉基米尔·博加泰罗夫 , S.V.Bogatyrev公司 , I.余。 戈卢别夫 :
计算机系统集群之间任务分配的优化和过程。 103-111 V.N.博伊科夫 :
客户在具有两种服务类型的网络中流动。 112-118 V.S.穆哈 :
用于字母识别的线性procutes变换。 119-129 N.M.伊万诺夫 :
天线阵列中电磁场信号的自适应空间处理。 130-138 K.克鲁明什 , 五、Plotsinsh :
使用统计方法对少量样本进行比较器脉冲门变换时的信号失真。 139-145
第46卷第4期，2012年7月
A.B.Sizonenko先生 :
一种用于计算布尔函数多项式表示中的合取项和析取项的高性能算法。 147-156 维塔利·I·莱文 :
区间不确定性优化：确定方法。 157-163 菲克拉特·费齐耶夫 , 梅赫达德·阿拉布卢·巴巴万德·阿斯兰 :
基于Meggitt定理的序列机器类循环码解码描述。 164-169 亚历克桑德拉·埃雷米纳 , 于。 V.马林科夫斯基 :
具有多模式服务、不同类型请求和歧视性处理器共享的网络状态平稳分布的不变性。 170-178 莫德里斯·格雷坦斯 , 弗拉基米尔·阿里斯托夫 :
UWB脉冲信号在第一主成分中的相位调制定律守恒。 179-184
第46卷第5期，2012年9月
D.V.斯佩兰斯基 :
模糊自动机有限状态识别。 185-190 德米特里·亚。 诺维科夫 , 柳德米拉·德·切尔米西诺娃 :
功能不确定性描述的基于仿真的验证方法研究。 191-199 M.V.Shakhanova先生 :
基于角色的访问控制的基本模型和数据处理的“成本-风险”标准。 200-206 马克西姆·瓦什凯维奇 , 亚历山大·彼得罗夫斯基 :
合成任意大小离散余弦变换快速算法的代数方法。 207-213 艾瓦斯·洛伦茨 , 尤里斯·辛尼萨·辛亚夫斯基 :
构建分类器的两阶段方法。 214-222 N.K.卡苏莫夫 :
数据定位作为构造性数据压缩的工具。 223-231 V.卡克林斯 :
具有可变步长的自适应“上下”方法。 232-237
第46卷第6期，2012年11月
M.A.Gladshtein博士 :
Quantum-dot细胞自动机系列十进制减法器。 239-247 亚历山大·西切夫 :
神经结构中逻辑交换网络的组成。 248-260 阿尔迪斯·鲍姆斯 :
移动自主机器人的实时指示器。 261-267 S.G.克里莫夫 , G.S.科里莫娃 :
安排信息内容搜索的方法和手段。 268-272 V.N.博伊科夫 :
评估网络传输服务对象。 273-279 K.克鲁明什 , 五、地块 :
UWB雷达信号比较器式等效时间转换的自适应k向上向下方法。 280-287 A.S.里巴科夫 :
在高精度事件定时下估计信号到达时间算法中使用的压缩函数。 288-298
第46卷第7期，2012年12月
伊戈尔·安努列夫 :
使用原子语言的典型示例。 299-307 M.M.Atuchin先生 , 伊戈尔·安努列夫 :
属性注释及其在C程序演绎验证中的应用。 308-316 弗拉基米尔·巴什金 :
单计数器网络中的近似互模拟。 317-323 米哈伊尔·贝尔亚耶夫 , V.A.Tsesko先生 :
基于LLVM的静态分析工具，使用类型和效果系统。 324-330 娜塔莉亚·奥列戈夫娜·加拉尼娜 :
仿射模型检验中的优化程序。 331-337 M.I.Glukhikh先生 , 弗拉基米尔·伊特西克森 , V.A.Tsesko先生 :
使用依赖项提高代码分析的精度。 338-344 德米特里·阿纳托利·扎伊采夫 :
执行任意给定马尔可夫正规算法的约束Petri网。 345-355 阿列克谢·扎哈罗夫 , 米哈伊尔·莫西耶夫 :
SystemC模型中的自动数据竞争检测。 356-363 A.V.克里莫夫 :
一种求解单调计数器系统覆盖性问题的简单算法。 364-370 谢尔盖·巴拉诺夫 , 弗塞沃洛德·科特利亚洛夫 :
用于代码和测试生成的正式应用程序模型。 371-378 纳塔莉亚·库什克 , 阿梅尔·马玛 , 安娜·R·卡瓦利 , 尼娜·叶夫图申科 , 威利·希梅内兹 , 埃德加多·蒙特斯·德奥卡 :
一种基于SPIN的方法，用于检测C程序中的漏洞。 379-386 德米特里·贝洛格拉佐夫 , 米哈伊尔·马舒科夫 , V.A.尼泊尔 :
使用有色Petri网对使用通信有限状态自动机指定的电信系统进行验证。 387-393 阿列克谢·波姆斯基 :
C程序验证：验证条件说明和标准库。 394-401 尼古拉·席洛夫 :
回溯和分支绑定设计模板的验证。 402-409
